Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paola Quaglia
2010 – today
- 2012
[c19]- [c18]Corrado Priami, Paola Quaglia, Roberto Zunino: An imperative language of self-modifying graphs for biological systems. SAC 2012: 1903-1909
- 2011
- [p1]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
- 2010
- [c17]
- [c16]Igor Cappello, Paola Quaglia: A Tool for Checking Probabilistic Properties of COWS Services. TGC 2010: 364-378
- [e3]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
- [e2]Emanuela Merelli, Paola Quaglia (Eds.): Proceedings Third Workshop From Biology To Concurrency and back. EPTCS 19, 2010
2000 – 2009
- 2009
- [j13]Igor Cappello, Paola Quaglia: A Translation of Beta-binders in a Prioritized Pi-calculus. Electr. Notes Theor. Comput. Sci. 229(1): 109-125 (2009)
- [c15]
- [c14]Corrado Priami, Paola Quaglia, Alessandro Romanel: BlenX Static and Dynamic Semantics. CONCUR 2009: 37-52
- 2008
- [j12]Davide Prandi, Corrado Priami, Paola Quaglia: Communicating by compatibility. J. Log. Algebr. Program. 75(2): 167-181 (2008)
- [j11]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)
- [c13]
- [c12]Davide Prandi, Paola Quaglia, Nicola Zannone: Formal Analysis of BPMN Via a Translation into COWS. COORDINATION 2008: 249-263
- 2007
- [c11]
- 2006
- [j10]Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia: Beta-binders for Biological Quantitative Experiments. Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006)
- [c10]Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher: Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102
- 2005
- [j9]Davide Prandi, Corrado Priami, Paola Quaglia: Process Calculi in a Biological Context. Bulletin of the EATCS 85: 53-69 (2005)
- [j8]Paola Quaglia, David Walker: Types and full abstraction for polyadic pi-calculus. Inf. Comput. 200(2): 215-246 (2005)
- [j7]Federica Ciocchetta, Corrado Priami, Paola Quaglia: Modeling Kohn Interaction Maps with Beta-Binders: An Example. : 33-48 (2005)
- [j6]Corrado Priami, Paola Quaglia: Operational Patterns in Beta-Binders. T. Comp. Sys. Biology 1: 50-65 (2005)
- [e1]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
- 2004
- [j5]Corrado Priami, Paola Quaglia: Modelling the dynamics of biosystems. Briefings in Bioinformatics 5(3): 259-269 (2004)
- [j4]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)
- [c9]
- [c8]Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin: Model Checking Biological Systems Described Using Ambient Calculus. CMSB 2004: 85-103
- [c7]Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia: Performance Analysis of a UML Micro-business Case Study. Global Computing 2004: 107-126
- 2001
- [j3]Paola Quaglia: Explicit substitutions for pi-congruences. Theor. Comput. Sci. 269(1-2): 83-134 (2001)
- 2000
- [c6]Paola Quaglia, David Walker: On Synchronous and Asynchronous Mobile Processes. FoSSaCS 2000: 283-296
1990 – 1999
- 1999
- [j2]Paola Quaglia: The Pi-Calculus: Notes on Labelled Semantic. Bulletin of the EATCS 68: 104-114 (1999)
- 1998
- [c5]
- [c4]
- 1996
- [j1]Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996)
- 1995
- [c3]Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71
- 1994
- [c2]Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351
- 1993
- [c1]Diego Latella, Paola Quaglia: A Fully Parallel Calculus of Synchronizing Processes. TAPSOFT 1993: 732-745
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team