University of Udine, DIMI

Membership Details (University/College)

Member node: 109
Via delle Scienze 206, 33100 UDINE

>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details


The Department of Mathematics and Computer Science (DIMI)
of the University of Udine includes several researchers in
the area of Declarative Programming. Recently, some of
them, usually working in Constraint Logic Programming,
constitute a Bioinformatics research group. In this
research area agent-based techniques are
needed for developing simulation tools.


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. and Policriti, A. (2004) An efficient algorithm for computing bisimulation equivalence. Theoretical Computer Science, 311 (1-3). pp. 221-256.

Antoniotti, M. and Policriti, A. and Ugel, N. and Mishra, B. (2003) Model Building and Model Checking for Biochemical Processes. Cell Biochemistry and Biophysics.

Dovier, A. and Piazza, C. (2003) The Subgraph Bisimulation Problem. IEEE Transaction on Knowledge and Data Engineering, 15 (4). pp. 1055-1056.

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.

Della Mea, Vincenzo (2001) Agents acting and moving in healthcare scenario - A paradigm for telemedical collaboration. IEEE TRANSACTIONS ON INFORMATION TECHNOLOGY IN BIOMEDICINE, 5 (1). pp. 10-13.

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.

Della Mea, Vincenzo and Roberto, Vito and Conti, Antonello and Di Gaspero, Luca and Beltrami, Carlo A. (1999) Internet agents for telemedicine services Della Mea V, Roberto V, Conti A, Di Gaspero L, Beltrami CA. MEDICAL INFORMATICS AND THE INTERNET IN MEDICINE, 24 (3). pp. 181-188.

Book Section

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. .

Antoniotti, M. and Mishra, B. and Park, F. and Policriti, A. and Ugel, N. (2003) Foundations of a query and simulation system for the modeling of biochemical and biological processes. In: The Pacific Symposium on Biocomputing (PSB 2003). World Scientific, pp. 116-127.

Antoniotti, M. and Piazza, C. and Policriti, A. and Simeoni, M. and Mishra, B. (2003) Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. In: Int. Workshop on Computational Methods in Systems Biology (CMSB03). LNCS. Springer.

Conference or Workshop Item

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.

This list was generated on Mon Sep 10 16:39:22 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