Person: Piazza, C.
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 4.

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

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.

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:54:01 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