| 2009 |
|---|
| 26 | EE | Igor Cappello,
Paola Quaglia:
A Translation of Beta-binders in a Prioritized Pi-calculus.
Electr. Notes Theor. Comput. Sci. 229(1): 109-125 (2009) |
| 2008 |
|---|
| 25 | EE | Davide Prandi,
Paola Quaglia,
Nicola Zannone:
Formal Analysis of BPMN Via a Translation into COWS.
COORDINATION 2008: 249-263 |
| 24 | EE | Paola Quaglia:
On Beta-Binders Communications.
Concurrency, Graphs and Models 2008: 457-472 |
| 23 | EE | 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) |
| 22 | EE | Davide Prandi,
Corrado Priami,
Paola Quaglia:
Communicating by compatibility.
J. Log. Algebr. Program. 75(2): 167-181 (2008) |
| 2007 |
|---|
| 21 | EE | Davide Prandi,
Paola Quaglia:
Stochastic COWS.
ICSOC 2007: 245-256 |
| 2006 |
|---|
| 20 | EE | Jan Himmelspach,
Paola Lecca,
Davide Prandi,
Corrado Priami,
Paola Quaglia,
Adelinde Uhrmacher:
Developing An Hierarchical Simulator for Beta-binders.
PADS 2006: 92-102 |
| 19 | EE | Pierpaolo Degano,
Davide Prandi,
Corrado Priami,
Paola Quaglia:
Beta-binders for Biological Quantitative Experiments.
Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006) |
| 2005 |
|---|
| 18 | | Corrado Priami,
Paola Quaglia:
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Springer 2005 |
| 17 | | Davide Prandi,
Corrado Priami,
Paola Quaglia:
Process Calculi in a Biological Context.
Bulletin of the EATCS 85: 53-69 (2005) |
| 16 | EE | Paola Quaglia,
David Walker:
Types and full abstraction for polyadic pi-calculus.
Inf. Comput. 200(2): 215-246 (2005) |
| 15 | EE | Federica Ciocchetta,
Corrado Priami,
Paola Quaglia:
Modeling Kohn Interaction Maps with Beta-Binders: An Example.
T. Comp. Sys. Biology: 33-48 (2005) |
| 14 | EE | Corrado Priami,
Paola Quaglia:
Operational Patterns in Beta-Binders.
T. Comp. Sys. Biology 1: 50-65 (2005) |
| 2004 |
|---|
| 13 | EE | Corrado Priami,
Paola Quaglia:
Beta Binders for Biological Interactions.
CMSB 2004: 20-33 |
| 12 | EE | Radu Mardare,
Corrado Priami,
Paola Quaglia,
Oleksandr Vagin:
Model Checking Biological Systems Described Using Ambient Calculus.
CMSB 2004: 85-103 |
| 11 | EE | Katerina Pokozy-Korenblat,
Corrado Priami,
Paola Quaglia:
Performance Analysis of a UML Micro-business Case Study.
Global Computing 2004: 107-126 |
| 10 | | Corrado Priami,
Paola Quaglia:
Modelling the dynamics of biosystems.
Briefings in Bioinformatics 5(3): 259-269 (2004) |
| 2001 |
|---|
| 9 | EE | Paola Quaglia:
Explicit substitutions for pi-congruences.
Theor. Comput. Sci. 269(1-2): 83-134 (2001) |
| 2000 |
|---|
| 8 | EE | Paola Quaglia,
David Walker:
On Synchronous and Asynchronous Mobile Processes.
FoSSaCS 2000: 283-296 |
| 1999 |
|---|
| 7 | | Paola Quaglia:
The Pi-Calculus: Notes on Labelled Semantic.
Bulletin of the EATCS 68: 104-114 (1999) |
| 1998 |
|---|
| 6 | EE | Paola Quaglia:
Pi-Congruences as CCS Equivalences.
AMAST 1998: 358-372 |
| 5 | | Paola Quaglia,
David Walker:
On Encoding p-pi in m-pi.
FSTTCS 1998: 42-53 |
| 1996 |
|---|
| 4 | EE | Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia:
A Pi-Calculus with Explicit Substitutions.
Theor. Comput. Sci. 168(1): 53-103 (1996) |
| 1995 |
|---|
| 3 | | Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia:
The Weak Late pi-Calculus Semantics as Observation Equivalence.
CONCUR 1995: 57-71 |
| 1994 |
|---|
| 2 | | Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia:
A Pi-Calculus with Explicit Substitutions: the Late Semantics.
MFCS 1994: 342-351 |
| 1993 |
|---|
| 1 | | Diego Latella,
Paola Quaglia:
A Fully Parallel Calculus of Synchronizing Processes.
TAPSOFT 1993: 732-745 |
