Æȷοì
Agostino Dovier
Agostino Dovier
Professor of Computer Science, University of Udine
uniud.itÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Special issue on 28th International Conference on Logic Programming
A Dovier, V Santos Costa
TPLP 12 (4-5), 421-810, 2012
454*2012
Special issue on Constraint Based Methods for Bioinformatics
A Dal Palù, A Dovier, S Will
Constraints 13 (1-2), 2008
318*2008
Technical Communications of the 28th International Conference on Logic Programming - part I
A Dovier, V Santos Costa
LIPICS 17 (1), 1-246, 2012
291*2012
An efficient algorithm for computing bisimulation equivalence
A Dovier, C Piazza, A Policriti
Theoretical Computer Science 311 (1-3), 221-256, 2004
2162004
Technical Communications of the 28th International Conference on Logic Programming - part II
A Dovier, V Santos Costa
LIPICS 17 (2), 247-480, 2012
205*2012
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
165*2000
25 Years of Logic Programming in Italy
A Dovier, E Pontelli
LNCS. Springer, Heidelberg, 2010
161*2010
Declarative Programming - Selected Papers from AGP 2000
A Dovier, MC Meo, A Omicini
Electronic Notes in Theoretical Computer Science 48, 2001
157*2001
Series of Constraints in Bioinformatics
R Backofen, A Dal Palù, A Dovier, S Will
Algorithms for Molecular Biology, 2012
148*2012
Special issue on New Trends of Constraint Logic Programming
A Dovier
Theory and Practice of Logic Programming 17 (4), 359-683, 2017
137*2017
{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
Constraint logic programming approach to protein structure prediction
A Dal Palu, A Dovier, F Fogolari
BMC bioinformatics 5, 1-12, 2004
1032004
GASP: Answer set programming with lazy grounding
A Dal Palù, A Dovier, E Pontelli, G Rossi
Fundamenta Informaticae 96 (3), 297-322, 2009
1002009
A fast bisimulation algorithm
A Dovier, C Piazza, A Policriti
Computer Aided Verification: 13th International Conference, CAV 2001 Paris ¡¦, 2001
872001
{log}: A logic programming language with finite Sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
Logic Programming: Proceedings of the Eighth International Conference, 111-124, 1991
851991
CUD@SAT: SAT solving on GPUs
A Dal Palu, A Dovier, A Formisano, E Pontelli
Journal of Experimental & Theoretical Artificial Intelligence 27 (3), 293-316, 2015
78*2015
Set unification
A Dovier, E Pontelli, G Rossi
Theory and Practice of Logic Programming 6 (6), 645-701, 2006
74*2006
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
A Dovier, A Formisano, E Pontelli
Journal of Experimental & Theoretical Artificial Intelligence 21 (2), 79-121, 2009
70*2009
Embedding extensional finite sets in CLP.
A Dovier, G Rossi
ILPS, 540-556, 1993
661993
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
62*1998
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20