Paola Quaglia

Igor Cappello, Paola Quaglia: Expressing global priorities by best-matching. SAC 2012: 1544-1550

Corrado Priami, Paola Quaglia, Roberto Zunino: An imperative language of self-modifying graphs for biological systems. SAC 2012: 1903-1909

Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo: Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540

Paola Quaglia, Stefano Schivo: Approximate Model Checking of Stochastic COWS. TGC 2010: 335-347

Igor Cappello, Paola Quaglia: A Tool for Checking Probabilistic Properties of COWS Services. TGC 2010: 364-378

Paola Quaglia (Ed.): Computational Methods in Systems Biology, 8th International Conference, CMSB 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings. ACM 2010, isbn 978-1-4503-0068-1

Emanuela Merelli, Paola Quaglia (Eds.): Proceedings Third Workshop From Biology To Concurrency and back. EPTCS 19, 2010

Igor Cappello, Paola Quaglia: A Translation of Beta-binders in a Prioritized Pi-calculus. Electr. Notes Theor. Comput. Sci. 229(1): 109-125 (2009)

Corrado Priami, Paolo Ballarini, Paola Quaglia: BlenX4Bio - BlenX for Biologists. CMSB 2009: 26-51

Corrado Priami, Paola Quaglia, Alessandro Romanel: BlenX Static and Dynamic Semantics. CONCUR 2009: 37-52

Davide Prandi, Corrado Priami, Paola Quaglia: Communicating by compatibility. J. Log. Algebr. Program. 75(2): 167-181 (2008)

Federica Ciocchetta, Corrado Priami, Paola Quaglia: An Automatic Translation of SBML into Beta-Binders. IEEE/ACM Trans. Comput. Biology Bioinform. 5(1): 80-90 (2008)

Paola Quaglia: On Beta-Binders Communications. Concurrency, Graphs and Models 2008: 457-472

Davide Prandi, Paola Quaglia, Nicola Zannone: Formal Analysis of BPMN Via a Translation into COWS. COORDINATION 2008: 249-263

Davide Prandi, Paola Quaglia: Stochastic COWS. ICSOC 2007: 245-256

Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia: Beta-binders for Biological Quantitative Experiments. Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006)

Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher: Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102

Davide Prandi, Corrado Priami, Paola Quaglia: Process Calculi in a Biological Context. Bulletin of the EATCS 85: 53-69 (2005)

Paola Quaglia, David Walker: Types and full abstraction for polyadic pi-calculus. Inf. Comput. 200(2): 215-246 (2005)

Federica Ciocchetta, Corrado Priami, Paola Quaglia: Modeling Kohn Interaction Maps with Beta-Binders: An Example. : 33-48 (2005)

Corrado Priami, Paola Quaglia: Operational Patterns in Beta-Binders. T. Comp. Sys. Biology 1: 50-65 (2005)

Corrado Priami, Paola Quaglia (Eds.): Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3267, Springer 2005, isbn 3-540-24101-9

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

Paola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, Carlo Laudanna, G. Constantin: A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. Simulation 80(6): 273-288 (2004)

Corrado Priami, Paola Quaglia: Beta Binders for Biological Interactions. CMSB 2004: 20-33

Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin: Model Checking Biological Systems Described Using Ambient Calculus. CMSB 2004: 85-103

Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia: Performance Analysis of a UML Micro-business Case Study. Global Computing 2004: 107-126

Paola Quaglia: Explicit substitutions for pi-congruences. Theor. Comput. Sci. 269(1-2): 83-134 (2001)

Paola Quaglia, David Walker: On Synchronous and Asynchronous Mobile Processes. FoSSaCS 2000: 283-296

Paola Quaglia: The Pi-Calculus: Notes on Labelled Semantic. Bulletin of the EATCS 68: 104-114 (1999)

Paola Quaglia: Pi-Congruences as CCS Equivalences. AMAST 1998: 358-372

Paola Quaglia, David Walker: On Encoding p-pi in m-pi. FSTTCS 1998: 42-53

Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996)

Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71

Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351

Diego Latella, Paola Quaglia: A Fully Parallel Calculus of Synchronizing Processes. TAPSOFT 1993: 732-745