|
Number of items: 7.
Dovier, A. and Piazza, C. and Policriti, A.
(2004)
An efficient algorithm for computing bisimulation equivalence.
Theoretical Computer Science, 311 (1-3).
.
Cortesi, A. and Dovier, A. and Quintarelli, E. and Tanca, L.
(2002)
Operational and abstract semantics of a graphical query language.
Theoretical Computer Science, 275 (1-2).
.
Dal Palù, A. and Dovier, A. and Fogolari, F.
(2004)
Protein Folding in CLP(FD) with Empirical Contact Energies.
In:
Recent Advances in Constraints 2003.
LNAI, 3010.
.
Dal Palu', A. and Dovier, A. and Fogolari, F.
(2004)
Protein Folding Simulation in CCP.
In: 20th International Conference, ICLP 2004, 6-10 Sep 2004, Saint-Malo, France.
Dovier, A. and Piazza, C. and Pontelli, E. and Rossi, G.
(2000)
Sets and Constraint Logic Programming.
ACM Transaction on Programming Language and Systems, 22 (5).
.
Bortolussi, L. and Dal Palu', A. and Dovier, A. and Fogolari, F.
(2005)
Simulazione del processo di ripiegamento di una proteina utilizzando un sistema ad agenti Agent-based Protein Folding Simulation.
Intelligenza artificiale.
Dovier, A. and Piazza, C.
(2003)
The Subgraph Bisimulation Problem.
IEEE Transaction on Knowledge and Data Engineering, 15 (4).
.
This list was generated on Mon Sep 10 16:42:59 BST 2007.
|
