Nadia Busi

Available identifiers

zbMath Open busi.nadiaMaRDI QIDQ872195

List of research outcomes

Publication	Date of Publication	Type
Synthesis of nets with inhibitor arcs	2023-05-17	Paper
A Distributed Implementation of Mobile Nets as Mobile Agents	2021-05-20	Paper
Non sequential semantics for contextual P/T nets	2019-05-02	Paper
Expressiveness Issues in Brane Calculi: A Survey	2014-01-17	Paper
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes	2014-01-17	Paper
Comparative analysis of the expressiveness of shared dataspace coordination	2013-07-24	Paper
Structural non-interference in elementary and trace nets	2010-01-12	Paper
Process discovery and Petri nets	2010-01-12	Paper
Efficient computation in rational-valued P systems	2010-01-12	Paper
(Tissue) P systems with cell polarity	2010-01-12	Paper
An expressiveness study of priority in process calculi	2010-01-12	Paper
On the expressive power of recursion, replication and iteration in process calculi	2010-01-12	Paper
Deciding reachability problems in Turing-complete fragments of Mobile Ambients	2010-01-12	Paper
Genetic Systems without Inhibition Rules	2009-11-12	Paper
Stochastic biological modelling in the presence of multiple compartments	2009-08-07	Paper
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS	2009-03-20	Paper
Computational expressiveness of genetic systems	2009-03-02	Paper
On the Expressive Power of Global and Local Priority in Process Calculi	2008-09-18	Paper
Causality in Membrane Systems	2008-03-28	Paper
A process algebraic view of shared dataspace coordination	2008-03-05	Paper
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation	2008-02-26	Paper
Computing with Genetic Gates	2007-11-13	Paper
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers	2007-09-03	Paper
Computing with Genetic Gates, Proteins, and Membranes	2007-09-03	Paper
Using well-structured transition systems to decide divergence for catalytic P systems	2007-03-27	Paper
Membrane Computing	2006-11-13	Paper
Theoretical Computer Science	2006-11-01	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Programming Languages and Systems	2005-09-13	Paper
Automata, Languages and Programming	2005-08-24	Paper
On the expressive power of movement and restriction in pure mobile ambients	2004-10-04	Paper
Domain and event structure semantics for Petri nets with read and inhibitor arcs	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q3046682	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738178	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4449170	2004-02-08	Paper
Expired data collection in shared dataspaces.	2003-05-25	Paper
Integrating TwoTowers and GreatSPN through a compact net semantics	2003-01-21	Paper
On the expressiveness of Linda coordination primitives.	2003-01-14	Paper
Analysis issues in Petri nets with inhibitor arcs	2002-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4536619	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2771054	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2767175	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2729050	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4762643	2001-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4526681	2001-01-25	Paper
Comparing three semantics for Linda-like languages	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4948012	2000-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4251099	2000-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4222913	1998-12-21	Paper
A process algebraic view of Linda coordination primitives	1998-08-13	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: Nadia Busi