University of Udine, DIMI

Membership Details (University/College)

Contact:
Member node: 109
Via delle Scienze 206, 33100 UDINE
Italy

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

Description

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.

Article

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.