Paola Quaglia

According to our database, Paola Quaglia authored at least 37 papers between 1993 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Walking on SR-automata to detect grammar ambiguity.

Paola Quaglia

CoRR, 2019

2018

Briefly on Bottom-up.

Paola Quaglia

CoRR, 2018

2016

Symbolic Lookaheads for Bottom-up Parsing.

Paola Quaglia

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2012

An imperative language of self-modifying graphs for biological systems.

Corrado Priami, Paola Quaglia, Roberto Zunino

Proceedings of the ACM Symposium on Applied Computing, 2012

Expressing global priorities by best-matching.

Igor Cappello, Paola Quaglia

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Quantitative Analysis of Services.

Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Approximate Model Checking of Stochastic COWS.

Paola Quaglia, Stefano Schivo

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

A Tool for Checking Probabilistic Properties of COWS Services.

Igor Cappello, Paola Quaglia

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009

BlenX Static and Dynamic Semantics.

Corrado Priami, Paola Quaglia, Alessandro Romanel

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

BlenX4Bio - BlenX for Biologists.

Corrado Priami, Paolo Ballarini, Paola Quaglia

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Process Calculi Abstractions for Biology.

Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia

Proceedings of the Algorithmic Bioprocesses, 2009

2008

An Automatic Translation of SBML into Beta-Binders.

Federica Ciocchetta, Corrado Priami, Paola Quaglia

IEEE ACM Trans. Comput. Biol. Bioinform., 2008

Communicating by compatibility.

Davide Prandi, Corrado Priami, Paola Quaglia

J. Log. Algebraic Methods Program., 2008

A Translation of Beta-binders in a Prioritized Pi-calculus.

Igor Cappello, Paola Quaglia

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

Formal Analysis of BPMN Via a Translation into COWS.

Davide Prandi, Paola Quaglia, Nicola Zannone

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

On Beta-Binders Communications.

Paola Quaglia

Proceedings of the Concurrency, 2008

2007

Stochastic COWS.

Davide Prandi, Paola Quaglia

Proceedings of the Service-Oriented Computing, 2007

2006

Beta-binders for Biological Quantitative Experiments.

Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Developing An Hierarchical Simulator for Beta-binders.

Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher

Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006

2005

Operational Patterns in Beta-Binders.

Corrado Priami, Paola Quaglia

Trans. Comp. Sys. Biology, 2005

Modeling Kohn Interaction Maps with Beta-Binders: An Example.

Federica Ciocchetta, Corrado Priami, Paola Quaglia

Trans. Comp. Sys. Biology, 2005

Types and full abstraction for polyadic <i>pi</i>-calculus.

Paola Quaglia, David Walker

Inf. Comput., 2005

Process Calculi in a Biological Context.

Davide Prandi, Corrado Priami, Paola Quaglia

Bull. EATCS, 2005

2004

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment.

Paola Lecca, Corrado Priami, Paola Quaglia, Barbara Rossi, Carlo Laudanna, Gabriela Constantin

Simul., 2004

Modelling the dynamics of biosystems.

Corrado Priami, Paola Quaglia

Briefings Bioinform., 2004

Performance Analysis of a UML Micro-business Case Study.

Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Beta Binders for Biological Interactions.

Corrado Priami, Paola Quaglia

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

Model Checking Biological Systems Described Using Ambient Calculus.

Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2001

Explicit substitutions for pi-congruences.

Paola Quaglia

Theor. Comput. Sci., 2001

2000

On Synchronous and Asynchronous Mobile Processes.

Paola Quaglia, David Walker

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

The Pi-Calculus: Notes on Labelled Semantic.

Paola Quaglia

Bull. EATCS, 1999

1998

On Encoding p-pi in m-pi.

Paola Quaglia, David Walker

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

Pi-Congruences as CCS Equivalences.

Paola Quaglia

Proceedings of the Algebraic Methodology and Software Technology, 1998

1996

A Pi-Calculus with Explicit Substitutions.

Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia

Theor. Comput. Sci., 1996

1995

The Weak Late pi-Calculus Semantics as Observation Equivalence.

Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

A Pi-Calculus with Explicit Substitutions: the Late Semantics.

Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993

A Fully Parallel Calculus of Synchronizing Processes.

Diego Latella, Paola Quaglia

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993