Paola Quaglia

Publication Activity (10 Years)

Years Active: 1993-2019
Publications (10 Years): 3

Top Topics

Symbolic Description

Natural Language

Complex Biological Systems

Top Venues

Publications

Paola Quaglia
Walking on SR-automata to detect grammar ambiguity. CoRR (2019)
Paola Quaglia
Briefly on Bottom-up. CoRR (2018)
Paola Quaglia
Symbolic Lookaheads for Bottom-up Parsing. MFCS (2016)
Igor Cappello, Paola Quaglia
Expressing global priorities by best-matching. SAC (2012)
Corrado Priami, Paola Quaglia, Roberto Zunino
An imperative language of self-modifying graphs for biological systems. SAC (2012)
Paola Quaglia, Stefano Schivo
Approximate Model Checking of Stochastic COWS. TGC (2010)
Igor Cappello, Paola Quaglia
A Tool for Checking Probabilistic Properties of COWS Services. TGC (2010)
Corrado Priami, Paola Quaglia, Alessandro Romanel
BlenX Static and Dynamic Semantics. CONCUR (2009)
Igor Cappello, Paola Quaglia
A Translation of Beta-binders in a Prioritized Pi-calculus. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi Abstractions for Biology. Algorithmic Bioprocesses (2009)
Corrado Priami, Paolo Ballarini, Paola Quaglia
BlenX4Bio - BlenX for Biologists. CMSB (2009)
Federica Ciocchetta, Corrado Priami, Paola Quaglia
An Automatic Translation of SBML into Beta-Binders. IEEE ACM Trans. Comput. Biol. Bioinform. 5 (1) (2008)
Davide Prandi, Paola Quaglia, Nicola Zannone
Formal Analysis of BPMN Via a Translation into COWS. COORDINATION (2008)
Paola Quaglia
On Beta-Binders Communications. Concurrency, Graphs and Models (2008)
Davide Prandi, Corrado Priami, Paola Quaglia
Communicating by compatibility. J. Log. Algebraic Methods Program. 75 (2) (2008)
Davide Prandi, Paola Quaglia
Stochastic COWS. ICSOC (2007)
Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
Beta-binders for Biological Quantitative Experiments. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher
Developing An Hierarchical Simulator for Beta-binders. PADS (2006)
Federica Ciocchetta, Corrado Priami, Paola Quaglia
Modeling Kohn Interaction Maps with Beta-Binders: An Example. Trans. Comp. Sys. Biology 3 (2005)
Corrado Priami, Paola Quaglia
Operational Patterns in Beta-Binders. Trans. Comp. Sys. Biology 1 (2005)
Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi in a Biological Context. Bull. EATCS 85 (2005)
Paola Quaglia, David Walker
-calculus. Inf. Comput. 200 (2) (2005)
Corrado Priami, Paola Quaglia
Beta Binders for Biological Interactions. CMSB (2004)
Paola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, Carlo Laudanna, Gabriela Constantin
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. Simul. 80 (6) (2004)
Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
Performance Analysis of a UML Micro-business Case Study. Global Computing (2004)
Corrado Priami, Paola Quaglia
Modelling the dynamics of biosystems. Briefings Bioinform. 5 (3) (2004)
Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin
Model Checking Biological Systems Described Using Ambient Calculus. CMSB (2004)
Paola Quaglia
Explicit substitutions for pi-congruences. Theor. Comput. Sci. 269 (1-2) (2001)
Paola Quaglia, David Walker
On Synchronous and Asynchronous Mobile Processes. FoSSaCS (2000)
Paola Quaglia
The Pi-Calculus: Notes on Labelled Semantic. Bull. EATCS 68 (1999)
Paola Quaglia, David Walker
On Encoding p-pi in m-pi. FSTTCS (1998)
Paola Quaglia
Pi-Congruences as CCS Equivalences. AMAST (1998)
Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168 (1) (1996)
Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR (1995)
Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS (1994)
Diego Latella, Paola Quaglia
A Fully Parallel Calculus of Synchronizing Processes. TAPSOFT (1993)