Person: Policriti, A.

 
EPrints.org
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 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 Policriti, A. and Ugel, N. and Mishra, B. (2003) Model Building and Model Checking for Biochemical Processes. Cell Biochemistry and Biophysics.

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.

This list was generated on Mon Sep 10 16:54:16 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 web@agentlink.org.