Person: Dovier, A.

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

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). pp. 221-256.

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). pp. 521-560.

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). pp. 861-931.

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). pp. 1055-1056.

This list was generated on Mon Sep 10 16:42:59 BST 2007.

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.