Publications

For a pre-print, please send an e-mail to quaglia at disi dot unitn dot it

• A translation of Beta-binders in a prioritized pi-calculus.
  Igor Cappello and Paola Quaglia.
  ENTCS, 229:109-125, 2009. Revised paper of 2nd Workshop on From Biology To Concurrency and back, FBTC 2008.

• Communicating by Compatibility.
  Davide Prandi, Corrado Priami, and Paola Quaglia.
  Journal of Logic and Algebraic Programming, 75:167-181, 2008.

• An automatic translation of SBML into Beta-binders.
  Federica Ciocchetta, Corrado Priami, and Paola Quaglia.
  IEEE/ACM Transactions on Computational Biology and Bioinformatics, 5:80-90, 2008.

• Beta-binders for biological quantitative experiments.
  Pierpaolo Degano, Davide Prandi, Corrado Priami, and Paola Quaglia.
  ENTCS, 164:101-117, 2006. Proc. 4th Workshop on Quantitative Aspects of Programming Languages, QAPL 2006.

• Shape spaces in formal interactions.
  Davide Prandi, Corrado Priami, and Paola Quaglia.
  ComPlexUs, 2:128-139, 2005.

• Types and full abstraction for polyadic pi-calculus.
  Paola Quaglia and David Walker.
  Information and Computation, 200:215-246, 2005.

• Modeling Kohn interaction maps with Beta-binders: an example.
  Federica Ciocchetta, Corrado Priami, and Paola Quaglia.
  Transactions on Computational Systems Biology, LNBI 3737:33-48, Springer©, 2005.

• Process calculi in a biological context.
  Davide Prandi, Corrado Priami, and Paola Quaglia.
  Bulletin of the EATCS, 85:53-69, Feb. 2005.

• Operational Patterns in Beta-binders.
  Corrado Priami and Paola Quaglia.
  Transactions on Computational Systems Biology, LNCS 3380:50-65, Springer©, 2005.

• A Formal Language for Computational Systems Biology.
  Daniel Errampalli, Corrado Priami, and Paola Quaglia.
  OMICS A Journal of Integrative Biology, 8(4):370-380, 2004.

• A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment.
  Paola Lecca, Corrado Priami, Paola Quaglia, Barbara Rossi, Carlo Laudanna, and Gabriela Constantin.
  SIMULATION: Transactions of The Society for Modeling and Simulation International, 80(4):273-288, 2004.

• Modelling the dynamics of biosystems.
  Corrado Priami and Paola Quaglia.
  Briefings in Bioinformatics, 5(3):259-269, 2004.

• Explicit substitutions for pi-congruences.
  Paola Quaglia.
  Theoretical Computer Science, 269(1-2):83-134, 2001.

• The Pi-Calculus: Notes on Labelled Semantics.
  Paola Quaglia.
  Bulletin of the EATCS, 68:104-115, June 1999.

• A pi-calculus with Explicit Substitutions.
  Gian-Luigi Ferrari, Ugo Montanari, and Paola Quaglia.
  Theoretical Computer Science, 168(1):53-103, 1996.

Conferences

• Expressing global priorities by best-matching.
  Igor Cappello, and Paola Quaglia.
  In Proc. 27th ACM Symposium on Applied Computing, SAC 2012, (Vol. 2, Coordination Models, Languages and Applications Track), pages 1544-1550, ACM©, 2012.

• An imperative language of self-modifying graphs for biological systems.
  Corrado Priami, Paola Quaglia, and Roberto Zunino.
  In Proc. 27th ACM Symposium on Applied Computing, SAC 2012, (Vol. 2, Programming Languages Track), pages 1903-1909, ACM©, 2012.

• Approximate Model Checking of Stochastic COWS.
  Paola Quaglia, and Stefano Schivo.
  In M. Wirsing, M. Hofmann, and A. Rauschmayer, editors, Proc. 5th Symposium on Trustworthy Global Computing, TGC 2010, volume 6084 of LNCS, pages 335-347. Springer©, 2010. preliminary version

• A Tool for Checking Probabilistic Properties of COWS Services.
  Igor Cappello, and Paola Quaglia.
  In M. Wirsing, M. Hofmann, and A. Rauschmayer, editors, Proc. 5th Symposium on Trustworthy Global Computing, TGC 2010, volume 6084 of LNCS, pages 364-378. Springer©, 2010. preliminary version

• BlenX Static and Dynamic Semantics.
  Corrado Priami, Paola Quaglia, and Alessandro Romanel.
  In M. Bravetti and G. Zavattaro, editors, Proc. 20th International Conference on Concurrency Theory, CONCUR 2009, volume 5710 of LNCS, pages 37-52. Springer©, 2009. preliminary version

• BlenX4Bio BlenX for biologists.
  Corrado Priami, Paolo Ballarini, and Paola Quaglia.
  In P. Degano and R. Gorrieri, editors, Proc. 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, volume 5688 of LNCS/LNBI, pages 26-51. Springer©, 2009. preliminary version

• Formal analysis of BPMN via a translation into COWS.
  Davide Prandi, Paola Quaglia, and Nicola Zannone.
  In D. Lea and G. Zavattaro, editors, Proc. 10th International Conference on Coordination Models and Languages, COORDINATION 2008, volume 5052 of LNCS, pages 249-263. Springer©, 2008. preliminary version

• Stochastic COWS.
  Davide Prandi and Paola Quaglia.
  In Proc. 5th International Conference on Service Oriented Computing, ICSOC 2007, volume 4749 of LNCS, pages 245-256. Springer©, 2007. preliminary version

• Developing a Hierarchical Simulator for Beta-binders.
  Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, and Adelinde Uhrmacher.
  In Proc. 20th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, 2006.

• Formal Executable Descriptions of Biological Systems.
  Michele Curti, Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia, and Linda Brodo.
  In Proc. 2nd International Conference on Quantitative Evaluation of SysTems, QEST 2005, pages 1-10, 2005.

• Performance Analysis of a UML Micro-business Case Study.
  Katerina Pokozy-Korenblat, Corrado Priami, and Paola Quaglia.
  In Proc. 2nd IST/FET Int. Workshop on Global Computing, GC 2004, volume 3267 of LNCS, pages 106-125. Springer©, 2005. preliminary version

• Beta Binders for Biological Interactions.
  Corrado Priami and Paola Quaglia.
  In Proc. 2nd Int. Workshop on Computational Methods in Systems Biology, CMSB 2004, volume 3082 of Lecture Notes in Bioinformatics, pages 21-34. Springer©, 2005. preliminary version

• Model Checking Biological Systems Described Using Ambient Calculus.
  Radu Mardare, Corrado Priami, Paola Quaglia, and Oleksandr Vagin.
  In Proc. 2nd Int. Workshop on Computational Methods in Systems Biology, CMSB 2004, volume 3082 of Lecture Notes in Bioinformatics, pages 85-103. Springer©, 2005. preliminary version

• On Synchronous and Asynchronous Mobile Processes.
  Paola Quaglia and David Walker.
  In Proc. 3rd Int. Conference on Foundations of Software Science and Computation Structures, FOSSACS 2000, volume 1784 of LNCS, pages 283-296. Springer©, 2000. preliminary version

• Pi-Congruences as CCS Equivalences.
  Paola Quaglia.
  In Proc. 7th Int. Conf. on Algebraic Methodology and Software Technology, AMAST 1998, volume 1548 of LNCS, pages 358-372. Springer©, 1998. preliminary version

• On Encoding p\pi in m\pi.
  Paola Quaglia and David Walker.
  In Proc. 18th Conf. on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 1998, volume 1530 of LNCS, pages 42-53. Springer©, 1998. preliminary version

• Stochastic Analysis via a Probabilistic Process Algebra.
  Diego Latella and Paola Quaglia.
  In Proc. 5th International Workshop on Process Algebra and Performance Modelling, PAPM 1997, CTIT Technical Report 97-14, Centre for Telematics and Information Technology, Computer Science Dept., University of Twente, pages 187-206, 1997.

• Towards a Semantic-Based Verification Environment for the pi-calculus.
  Gian-Luigi Ferrari, Gianfranco Modoni, and Paola Quaglia.
  In Proc. 5th Italian Conference on Theoretical Computer Science, pages 451-465. World Scientific, 1996.

• The Weak Late pi-calculus Semantics as Observation Equivalence.
  Gian-Luigi Ferrari, Ugo Montanari, and Paola Quaglia.
  In Proc. 6th Int. Conference on Concurrency Theory, CONCUR 1995, volume 962 of LNCS, pages 57-71. Springer©, 1995. preliminary version

• A pi-calculus with Explicit Substitutions: the Late Semantics.
  Gian-Luigi Ferrari, Ugo Montanari, and Paola Quaglia.
  In Proc. 19th International Symposium on Mathematical Foundations of Computer Science, MFCS 1994, volume 841 of LNCS, pages 342-351. Springer©, 1994. preliminary version

• A Fully Parallel Calculus of Synchronizing Processes.
  Diego Latella and Paola Quaglia.
  In Proc. 3rd Int. Joint Conference on Theory and Practice of Software Development, TAPSOFT 1993, volume 668 of LNCS, pages 732-745. Springer©, 1993. preliminary version

Books, chapters, etc.

• Quantitative Analysis of Services.
  Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, and Stefano Schivo.
  In Martin Wirsing and Matthias Hölzl, editors, Rigorous Software Engineering for Service-Oriented Systems, volume 6582 of LNCS, pages 522-540. Springer, 2011.

• Network Inference from Time-Dependent Omics Data.
  Paola Lecca, Thanh-Phuong Nguyen, Corrado Priami, and Paola Quaglia.
  In Bioinformatics for Omics Data: Methods and Protocols, volume 719 of the series "Methods in Molecular Biology", B. Mayer (Ed.), pages 435-455, Humana Press, ISBN 978-1-61779-026-3, 2011.

• Proc. 8th International Conference on Computational Methods in Systems Biology, CMSB 2010.
  ACM, ISBN 978-1-4503-0068-1, 2010.
  Paola Quaglia (Ed.).

• Proc. 3rd Workshop From Biology To Concurrency and back, FBTC 2010.
  EPTCS 19, arXiv:1002.4919v1, DOI: 10.4204/EPTCS.19, ISSN: 2075-2180, 2010.
  Emanuela Merelli and Paola Quaglia (Eds.).

• Process Calculi Abstractions for Biology.
  Maria Luisa Guerriero, Davide Prandi, Corrado Priami, and Paola Quaglia.
  In Algorithmic Bioprocesses, A. Condon, D. Harel, J.N. Kok, A. Salomaa, and E. Winfree (Eds.), Springer©, ISBN 978-3-540-88868-0, 2009.

• On Beta-binders communications.
  Paola Quaglia.
  In P. Degano, R. De Nicola, and J. Meseguer, editors, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, volume 5065 of LNCS, pages 457-472. Springer©, 2008. preliminary version

• Proc. 2nd IST/FET Int. Workshop on Global Computing, GC 2004.
  Volume 3267 of LNCS. Springer©, 2005.
  Corrado Priami and Paola Quaglia (Eds.).

Theses

• The pi-calculus with explicit substitutions.
  Paola Quaglia. PhD thesis, Universita' degli Studi di Pisa, Dipartimento di Informatica, 1996. Report TD-09/96.

• Proposta per una variante probabilistica di LOTOS.
  Paola Quaglia. Tesi di Laurea in Scienze dell’Informazione, Universita' degli Studi di Pisa, 1991.