| 2016 | MFCS | Symbolic Lookaheads for Bottom-up Parsing. | Paola Quaglia |
| 2012 | SAC | Expressing global priorities by best-matching. | Igor Cappello, Paola Quaglia |
| 2012 | SAC | An imperative language of self-modifying graphs for biological systems. | Corrado Priami, Paola Quaglia, Roberto Zunino |
| 2009 | CONCUR | BlenX Static and Dynamic Semantics. | Corrado Priami, Paola Quaglia, Alessandro Romanel |
| 2008 | Coordination | Formal Analysis of BPMN Via a Translation into COWS. | Davide Prandi, Paola Quaglia, Nicola Zannone |
| 2007 | ICSOC | Stochastic COWS. | Davide Prandi, Paola Quaglia |
| 2006 | PADS | Developing An Hierarchical Simulator for Beta-binders. | Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher |
| 2000 | FOSSACS | On Synchronous and Asynchronous Mobile Processes. | Paola Quaglia, David Walker |
| 1995 | CONCUR | The Weak Late pi-Calculus Semantics as Observation Equivalence. | Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |
| 1994 | MFCS | A Pi-Calculus with Explicit Substitutions: the Late Semantics. | Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |