Suivre
ROSSI GIANFRANCO
ROSSI GIANFRANCO
Professor of Computer Science, Univ. of Parma, Italy
Adresse e-mail validée de math.unipr.it - Page d'accueil
Titre
Citée par
Citée par
Année
Salivary gland echography in primary and secondary Sjögren's syndrome.
S De Vita, G Lorenzon, G Rossi, M Sabella, V Fossaluzza
Clinical and experimental rheumatology 10 (4), 351-356, 1992
2171992
Special Issue on the Italian Conference on Computational Logic: CILC 2011
F Fioravanti, A Pettorossi, G Rossi
FUNDAMENTA INFORMATICAE 124 (4), I-II, 2013
212*2013
Evidence for association of a common variant of the endothelial nitric oxide synthase gene (Glu298→ Asp polymorphism) to the presence, extent, and severity of coronary artery …
MG Colombo, MG Andreassi, U Paradossi, N Botto, S Manfredi, S Masetti, ...
Heart 87 (6), 525-528, 2002
1752002
Sets and constraint logic programming
A Dovier, C Piazza, E Pontelli, G Rossi
ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (5), 861-931, 2000
1452000
{log}: A language for programming in logic with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
The Journal of logic programming 28 (1), 1-44, 1996
1321996
Gasp: Answer set programming with lazy grounding
A Dal Palu, A Dovier, E Pontelli, G Rossi
Fundamenta Informaticae 96 (3), 297-322, 2009
1002009
Photodynamic therapy using a methyl ester of 5-aminolevulinic acid in recurrent Paget's disease of the vulva: a pilot study
F Raspagliesi, R Fontanelli, G Rossi, A Ditto, E Solima, F Hanozet, ...
Gynecologic oncology 103 (2), 581-586, 2006
982006
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES
A Martelli, C Moiso, GF Rossi
TECHNICAL REPORTS-CSELT 14 (6), 459-465, 1986
881986
{log}: A logic programming language with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
Proc. 8th Int. Conf. on Logic Programming, 1991
821991
Set unification
A Dovier, E Pontelli, G Rossi
Theory and Practice of Logic Programming 6 (6), 645-701, 2006
69*2006
Embedding extensional finite sets in CLP.
A Dovier, G Rossi
ILPS, 540-556, 1993
641993
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms
A Dovier, A Policriti, G Rossi
Fundamenta Informaticae 36 (2-3), 201-234, 1998
471998
Extending Horn clause logic with implication goals
L Giordano, A Martelli, G Rossi
Theoretical Computer Science 95 (1), 43-74, 1992
401992
Local definitions with static scope rules in logic programming
L Giordano, A Martelli
Proc. FGCS’88: Int. Conf. on Fifth Generation Computer Systems, 1988
401988
Efficient unification with infinite terms in logic programming
A Martelli
Proc. 5th Generation Computer Systems, 202-209, 1984
391984
{log} as a Test Case Generator for the Test Template Framework
M Cristiá, G Rossi, C Frydman
International Conference on Software Engineering and Formal Methods, 229-243, 2013
382013
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
A Dovier, C Piazza, G Rossi
ACM Transactions on Computational Logic (TOCL) 9 (3), 1-30, 2008
38*2008
Answer set programming with constraints using lazy grounding
A Dal Palù, A Dovier, E Pontelli, G Rossi
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
372009
Integrating finite domain constraints and CLP with sets
AD Palú, A Dovier, E Pontelli, G Rossi
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
372003
Embedding finite sets in a logic programming language
A Dovier, EG Omodeo, E Pontelli, G Rossi
Extensions of Logic Programming: Third International Workshop, ELP'92 …, 1993
341993
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20