Paola Quaglia

40 papers A 1B 6C 1Misc 2Journal 13Unranked 13
YearRankTypeTitle / Venue / Authors
2019 J jnl
Walking on SR-automata to detect grammar ambiguity.
CoRR
Paola Quaglia
2018 J jnl
Briefly on Bottom-up.
CoRR
Paola Quaglia
2016 B conf
Symbolic Lookaheads for Bottom-up Parsing.
MFCS
Paola Quaglia
2012 Misc conf
An imperative language of self-modifying graphs for biological systems.
SAC
Corrado Priami, Paola Quaglia, Roberto Zunino
2012 Misc conf
Expressing global priorities by best-matching.
SAC
Igor Cappello, Paola Quaglia
2011 — ch.
Quantitative Analysis of Services.
Results of the SENSORIA Project
Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo
2010 — conf
A Tool for Checking Probabilistic Properties of COWS Services.
TGC
Igor Cappello, Paola Quaglia
2010 — conf
Approximate Model Checking of Stochastic COWS.
TGC
Paola Quaglia, Stefano Schivo
2010 — ed.
Computational Methods in Systems Biology, 8th International Conference, CMSB 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings
CMSB
Paola Quaglia
2010 — ed.
Proceedings Third Workshop From Biology To Concurrency and back, FBTC 2010, Paphos, Cyprus, 27th March 2010.
FBTC
Emanuela Merelli, Paola Quaglia
2009 B conf
BlenX Static and Dynamic Semantics.
CONCUR
Corrado Priami, Paola Quaglia, Alessandro Romanel
2009 — conf
BlenX4Bio - BlenX for Biologists.
CMSB
Corrado Priami, Paolo Ballarini, Paola Quaglia
2009 — conf
Process Calculi Abstractions for Biology.
Algorithmic Bioprocesses
Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
2008 — conf
A Translation of Beta-binders in a Prioritized Pi-calculus.
FBTC@ICALP
Igor Cappello, Paola Quaglia
2008 J jnl
An Automatic Translation of SBML into Beta-Binders.
IEEE ACM Trans. Comput. Biol. Bioinform.
Federica Ciocchetta, Corrado Priami, Paola Quaglia
2008 J jnl
Communicating by compatibility.
J. Log. Algebraic Methods Program.
Davide Prandi, Corrado Priami, Paola Quaglia
2008 C conf
Formal Analysis of BPMN Via a Translation into COWS.
COORDINATION
Davide Prandi, Paola Quaglia, Nicola Zannone
2008 — conf
On Beta-Binders Communications.
Concurrency, Graphs and Models
Paola Quaglia
2007 A conf
Stochastic COWS.
ICSOC
Davide Prandi, Paola Quaglia
2006 — conf
Beta-binders for Biological Quantitative Experiments.
QAPL
Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
2006 B conf
Developing An Hierarchical Simulator for Beta-binders.
PADS
Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher
2005 — ed.
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Global Computing
Corrado Priami, Paola Quaglia
2005 J jnl
Modeling Kohn Interaction Maps with Beta-Binders: An Example.
Trans. Comp. Sys. Biology
Federica Ciocchetta, Corrado Priami, Paola Quaglia
2005 J jnl
Operational Patterns in Beta-Binders.
Trans. Comp. Sys. Biology
Corrado Priami, Paola Quaglia
2005 J jnl
Process Calculi in a Biological Context.
Bull. EATCS
Davide Prandi, Corrado Priami, Paola Quaglia
2005 J jnl
Types and full abstraction for polyadic
Inf. Comput.
Paola Quaglia, David Walker
2004 J jnl
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment.
Simul.
Paola Lecca, Corrado Priami, Paola Quaglia, Barbara Rossi, Carlo Laudanna, Gabriela Constantin
2004 — conf
Beta Binders for Biological Interactions.
CMSB
Corrado Priami, Paola Quaglia
2004 — conf
Model Checking Biological Systems Described Using Ambient Calculus.
CMSB
Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin
2004 J jnl
Modelling the dynamics of biosystems.
Briefings Bioinform.
Corrado Priami, Paola Quaglia
2004 — conf
Performance Analysis of a UML Micro-business Case Study.
Global Computing
Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
2001 J jnl
Explicit substitutions for pi-congruences.
Theor. Comput. Sci.
Paola Quaglia
2000 B conf
On Synchronous and Asynchronous Mobile Processes.
FoSSaCS
Paola Quaglia, David Walker
1999 J jnl
The Pi-Calculus: Notes on Labelled Semantic.
Bull. EATCS
Paola Quaglia
1998 — conf
On Encoding p-pi in m-pi.
FSTTCS
Paola Quaglia, David Walker
1998 — conf
Pi-Congruences as CCS Equivalences.
AMAST
Paola Quaglia
1996 J jnl
A Pi-Calculus with Explicit Substitutions.
Theor. Comput. Sci.
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1995 B conf
The Weak Late pi-Calculus Semantics as Observation Equivalence.
CONCUR
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1994 B conf
A Pi-Calculus with Explicit Substitutions: the Late Semantics.
MFCS
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1993 — conf
A Fully Parallel Calculus of Synchronizing Processes.
TAPSOFT
Diego Latella, Paola Quaglia