Number of items: 4.
Dovier, A. and Piazza, C. and Policriti, A.
An efficient algorithm for computing bisimulation equivalence.
Theoretical Computer Science, 311 (1-3).
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).
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).
Dovier, A. and Piazza, C.
The Subgraph Bisimulation Problem.
IEEE Transaction on Knowledge and Data Engineering, 15 (4).
This list was generated on Mon Sep 10 16:54:01 BST 2007.