Paola Quaglia

According to our database1, Paola Quaglia authored at least 35 papers between 1993 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Symbolic Lookaheads for Bottom-up Parsing.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2012
An imperative language of self-modifying graphs for biological systems.
Proceedings of the ACM Symposium on Applied Computing, 2012

Expressing global priorities by best-matching.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Quantitative Analysis of Services.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Approximate Model Checking of Stochastic COWS.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

A Tool for Checking Probabilistic Properties of COWS Services.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009
A Translation of Beta-binders in a Prioritized Pi-calculus.
Electr. Notes Theor. Comput. Sci., 2009

BlenX Static and Dynamic Semantics.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

BlenX4Bio - BlenX for Biologists.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Process Calculi Abstractions for Biology.
Proceedings of the Algorithmic Bioprocesses, 2009

2008
An Automatic Translation of SBML into Beta-Binders.
IEEE/ACM Trans. Comput. Biology Bioinform., 2008

Communicating by compatibility.
J. Log. Algebr. Program., 2008

Formal Analysis of BPMN Via a Translation into COWS.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

On Beta-Binders Communications.
Proceedings of the Concurrency, 2008

2007
Stochastic COWS.
Proceedings of the Service-Oriented Computing, 2007

2006
Beta-binders for Biological Quantitative Experiments.
Electr. Notes Theor. Comput. Sci., 2006

Developing An Hierarchical Simulator for Beta-binders.
Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006

2005
Operational Patterns in Beta-Binders.
Trans. Computational Systems Biology, 2005

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

Types and full abstraction for polyadic pi-calculus.
Inf. Comput., 2005

Process Calculi in a Biological Context.
Bulletin of the EATCS, 2005

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

Modelling the dynamics of biosystems.
Briefings in Bioinformatics, 2004

Performance Analysis of a UML Micro-business Case Study.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Beta Binders for Biological Interactions.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

Model Checking Biological Systems Described Using Ambient Calculus.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2001
Explicit substitutions for pi-congruences.
Theor. Comput. Sci., 2001

2000
On Synchronous and Asynchronous Mobile Processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
The Pi-Calculus: Notes on Labelled Semantic.
Bulletin of the EATCS, 1999

1998
On Encoding p-pi in m-pi.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

Pi-Congruences as CCS Equivalences.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1996
A Pi-Calculus with Explicit Substitutions.
Theor. Comput. Sci., 1996

1995
The Weak Late pi-Calculus Semantics as Observation Equivalence.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
A Pi-Calculus with Explicit Substitutions: the Late Semantics.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993
A Fully Parallel Calculus of Synchronizing Processes.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993


  Loading...