ROSSI GIANFRANCO
ROSSI GIANFRANCO
Professor of Computer Science, Univ. of Parma, Italy
Email verificata su math.unipr.it - Home page
Titolo
Citata da
Citata da
Anno
How successful are plant species reintroductions?
S Godefroid, C Piazza, G Rossi, S Buord, AD Stevens, R Aguraiuja, ...
Biological Conservation 144 (2), 672-682, 2011
4962011
Special Issue on the Italian Conference on Computational Logic: CILC 2011
F Fioravanti, A Pettorossi, G Rossi
FUNDAMENTA INFORMATICAE 124 (4), I-II, 2013
157*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
1552002
Biomarkers of oxidative stress after controlled human exposure to ozone
M Corradi, R Alinovi, M Goldoni, MV Vettori, G Folesani, P Mozzoni, ...
Toxicology letters 134 (1-3), 219-225, 2002
1452002
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
1222000
{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
1161996
An algorithm for unification in equational theories
A Martelli
Third Conference on Logic Programming, Utah, 1986
871986
{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
Gasp: Answer set programming with lazy grounding
A Dal Pal¨, A Dovier, E Pontelli, G Rossi
Fundamenta Informaticae 96 (3), 297-322, 2009
742009
Embedding extensional finite sets in CLP.
A Dovier, G Rossi
ILPS, 540-556, 1993
651993
Set unification
A Dovier, E Pontelli, G Rossi
Theory and Practice of Logic Programming 6 (6), 645, 2006
53*2006
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
421998
Local definitions with static scope rules in logic programming
L Giordano, A Martelli, GF Rossi
Int. Conf. on Fifth Generation Computer Systems, 689-696, 1988
411988
Pin and bolt bearing strength of fibreglass/aluminium laminates
G Caprino, A Squillace, G Giorleo, L Nele, L Rossi
Composites Part A: Applied Science and Manufacturing 36 (9), 1307-1315, 2005
402005
Answer set programming with constraints using lazy grounding
A Dal Pal¨, A Dovier, E Pontelli, G Rossi
International Conference on Logic Programming, 115-129, 2009
362009
Efficient unification with infinite terms in logic programming
A Martelli
ON FIFTH GENERATION COMPUTER SYSTEMS, 202-209, 1984
361984
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
352003
Extending Horn clause logic with implication goals
L Giordano, A Martelli, G Rossi
Theoretical Computer Science 95 (1), 43-74, 1992
351992
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
34*2008
Embedding finite sets in a logic programming language
A Dovier, EG Omodeo, E Pontelli, G Rossi
International Workshop on Extensions of Logic Programming, 150-167, 1992
331992
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20