Paola Quaglia

Available identifiers

zbMath Open quaglia.paolaWikidataQ80596613 ScholiaQ80596613MaRDI QIDQ236448

List of research outcomes

Publication	Date of Publication	Type
A fully parallel calculus of synchronizing processes	2022-11-02	Paper
A π-calculus with explicit substitutions: The late semantics	2022-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4608642	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5179003	2015-03-18	Paper
A Translation of Beta-binders in a Prioritized Pi-calculus	2014-03-21	Paper
BlenX Static and Dynamic Semantics	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3396549	2009-09-19	Paper
On Beta-Binders Communications	2008-06-19	Paper
Communicating by compatibility	2008-04-22	Paper
Transactions on Computational Systems Biology III	2006-11-14	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Transactions on Computational Systems Biology I	2005-08-17	Paper
Explicit substitutions for \(\pi\)-congruences	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4266484	1999-09-30	Paper
A \(\pi\)-calculus with explicit substitutions	1997-02-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paola Quaglia