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.
Simulazione del processo di ripiegamento di una proteina utilizzando un sistema ad agenti Agent-based Protein Folding Simulation.
Dovier, A. and Piazza, C. and Policriti, A.
An efficient algorithm for computing bisimulation equivalence.
Theoretical Computer Science, 311 (1-3).
Antoniotti, M. and Policriti, A. and Ugel, N. and Mishra, B.
Model Building and Model Checking for Biochemical Processes.
Cell Biochemistry and Biophysics.
Dovier, A. and Piazza, C.
The Subgraph Bisimulation Problem.
IEEE Transaction on Knowledge and Data Engineering, 15 (4).
Cortesi, A. and Dovier, A. and Quintarelli, E. and Tanca, L.
Operational and abstract semantics of a graphical query language.
Theoretical Computer Science, 275 (1-2).
Della Mea, Vincenzo
Agents acting and moving in healthcare scenario - A paradigm for telemedical collaboration.
IEEE TRANSACTIONS ON INFORMATION TECHNOLOGY IN BIOMEDICINE, 5 (1).
Dovier, A. and Piazza, C. and Pontelli, E. and Rossi, G.
Sets and Constraint Logic Programming.
ACM Transaction on Programming Language and Systems, 22 (5).
Della Mea, Vincenzo and Roberto, Vito and Conti, Antonello and Di Gaspero, Luca and Beltrami, Carlo A.
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).
Dal Palù, A. and Dovier, A. and Fogolari, F.
Protein Folding in CLP(FD) with Empirical Contact Energies.
Recent Advances in Constraints 2003.
Antoniotti, M. and Mishra, B. and Park, F. and Policriti, A. and Ugel, N.
Foundations of a query and simulation system for the modeling of biochemical and biological processes.
The Pacific Symposium on Biocomputing (PSB 2003).
World Scientific, .
Antoniotti, M. and Piazza, C. and Policriti, A. and Simeoni, M. and Mishra, B.
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.
Int. Workshop on Computational Methods in Systems Biology (CMSB03).
Conference or Workshop Item
Dal Palu', A. and Dovier, A. and Fogolari, F.
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.