Nadia Busi
According to our database1,
Nadia Busi
authored at least 84 papers
between 1994 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
1994
1996
1998
2000
2002
2004
2006
2008
0
5
10
1
11
2
1
1
3
1
2
3
1
1
1
7
10
8
4
3
5
4
7
1
3
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cs.unibo.it
On csauthors.net:
Bibliography
2009
Theor. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
J. Log. Algebraic Methods Program., 2009
2008
J. Log. Algebraic Methods Program., 2008
2007
Using well-structured transition systems to decide divergence for catalytic P systems.
Theor. Comput. Sci., 2007
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes.
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007
Proceedings of the Membrane Computing, 8th International Workshop, 2007
Proceedings of the Infinity in Logic and Computation, International Conference, 2007
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007
Proceedings of the Computation and Logic in the Real World, 2007
2006
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006
Proceedings of the Winter Simulation Conference WSC 2006, 2006
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006
Proceedings of the Parallel Problem Solving from Nature, 2006
Proceedings of the Membrane Computing, 7th International Workshop, 2006
Proceedings of the Membrane Computing, 7th International Workshop, 2006
Proceedings of the Service-Oriented Computing, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006
2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism.
Proceedings of the Membrane Computing, 6th International Workshop, 2005
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005
Proceedings of the Service-Oriented Computing, 2005
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005
Proceedings of the Programming Languages and Systems, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
2004
Theor. Comput. Sci., 2004
Theor. Comput. Sci., 2004
Int. J. Cooperative Inf. Syst., 2004
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Perform. Evaluation, 2002
Proceedings of the Foundations of Wide Area Network Computing, 2002
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
Coordination Models: A Guided Tour.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001
2000
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Informaticae, 2000
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.
Proceedings of the Applied Computing 2000, 2000
Integrating Two Towers and GreatSPN.
Proceedings of the ICALP Workshops 2000, 2000
Compact Net Semantics for Process Algebras.
Proceedings of the Formal Techniques for Distributed System Development, 2000
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
Proceedings of the Programming Languages and Systems, 2000
Proceedings of the CONCUR 2000, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Fundam. Informaticae, 1999
Mobile Nets.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
1998
1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
1996
Proceedings of the Application and Theory of Petri Nets 1996, 1996
1995
Comput. J., 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
1994
Axiomatising ST-Bisimulation Equivalence.
Proceedings of the Programming Concepts, 1994
Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994