Paolo Milazzo

According to our database1, Paolo Milazzo authored at least 74 papers between 2005 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Predictors for flat membrane systems.
Theor. Comput. Sci., 2018

A Hybrid Automata model of social networking addiction.
J. Log. Algebr. Meth. Program., 2018

Generalized contexts for reaction systems: definition and study of dynamic causalities.
Acta Inf., 2018

Computing Preimages and Ancestors in Reaction Systems.
Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018

Formalizing a Notion of Concentration Robustness for Biochemical Networks.
Proceedings of the Software Technologies: Applications and Foundations, 2018

An Executable Formal Framework for Safety-Critical Human Multitasking.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

Hidden States in Reaction Systems.
Proceedings of the 27th International Workshop on Concurrency, 2018

Simulating Gene Regulatory Networks using Reaction Systems.
Proceedings of the 27th International Workshop on Concurrency, 2018

2017
A Computational Model of Internet Addiction Phenomena in Social Networks.
Proceedings of the Software Engineering and Formal Methods, 2017

An Algorithm for Simulating Human Selective Attention.
Proceedings of the Software Engineering and Formal Methods, 2017

Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems.
Proceedings of the Membrane Computing, 2017

2016
Investigating dynamic causalities in reaction systems.
Theor. Comput. Sci., 2016

A High-Level Model Checking Language with Compile-Time Pruning of Local Variables.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015
Component identification in biochemical pathways.
Theor. Comput. Sci., 2015

Minimal probabilistic P systems for modelling ecological systems.
Theor. Comput. Sci., 2015

A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems.
Proceedings of the Software Engineering and Formal Methods, 2015

Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates.
Proceedings of the Software Engineering and Formal Methods, 2015

Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design.
Proceedings of the 4th IEEE/ACM International Workshop on Games and Software Engineering, 2015

Specialized Predictor for Reaction Systems with Context Properties.
Proceedings of the 24th International Workshop on Concurrency, 2015

2014
Compositional semantics and behavioural equivalences for reaction systems with restriction.
Theor. Comput. Sci., 2014

Simulation of Spatial P system models.
Theor. Comput. Sci., 2014

Identification of components in biochemical pathways: extensive application to SBML models.
Natural Computing, 2014

A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.
Proceedings of the Software Engineering and Formal Methods, 2014

Systolic Automata and P Systems.
Proceedings of the Computing with New Resources, 2014

2013
An Algorithm for the Identification of Components in Biochemical Pathways.
Electr. Notes Theor. Comput. Sci., 2013

Modular Verification of Qualitative Pathway Models with Fairness.
Sci. Ann. Comp. Sci., 2013

Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models.
Proceedings of the Proceedings Wivace 2013, 2013

A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.
Proceedings of the Software Engineering and Formal Methods, 2013

A Compositional Semantics of Reaction Systems with Restriction.
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012
Foundational aspects of multiscale modeling of biological systems with process algebras.
Theor. Comput. Sci., 2012

On Conditions for Modular Verification in Systems of Synchronising Components.
Fundam. Inform., 2012

Towards modular verification of pathways: fairness and assumptions
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Modelling Population Dynamics Using Grid Systems.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

2011
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach.
Trans. Computational Systems Biology, 2011

Spatial Calculus of Looping Sequences.
Theor. Comput. Sci., 2011

Spatial P systems.
Natural Computing, 2011

An Overview on Operational Semantics in Membrane Computing.
Int. J. Found. Comput. Sci., 2011

Maximally Parallel Probabilistic Semantics for Multiset Rewriting.
Fundam. Inform., 2011

Modular Verification of Interactive Systems with an Application to Biology.
Sci. Ann. Comp. Sci., 2011

2010
Compositional semantics of spiking neural P systems.
J. Log. Algebr. Program., 2010

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.
Fundam. Inform., 2010

A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security.
Fundam. Inform., 2010

Modular Verification of Interactive Systems with an Application to Biology.
Electr. Notes Theor. Comput. Sci., 2010

Aspects of multiscale modelling in a process algebra for biological systems
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Modelling the Dynamics of an Aedes albopictus Population
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

Dynamic Sync-Programs for Modular Verification of Biological Systems.
Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings.
Proceedings of the Membrane Computing, 2010

2009
An intermediate language for the stochastic simulation of biological systems.
Theor. Comput. Sci., 2009

Timed P Automata.
Fundam. Inform., 2009

P Systems with Transport and Diffusion Membrane Channels.
Fundam. Inform., 2009

Translating Stochastic CLS into Maude.
Electr. Notes Theor. Comput. Sci., 2009

Timed P Automata.
Electr. Notes Theor. Comput. Sci., 2009

Spatial Calculus of Looping Sequences.
Electr. Notes Theor. Comput. Sci., 2009

A Process Calculus for Molecular Interaction Maps
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.
Proceedings of the Reachability Problems, 3rd International Workshop, 2009

Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+.
Proceedings of the Perspectives of Systems Informatics, 2009

2008
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways.
Trans. Computational Systems Biology, 2008

Compositional semantics and behavioral equivalences for P Systems.
Theor. Comput. Sci., 2008

Design and verification of long-running transactions in a timed framework.
Sci. Comput. Program., 2008

Security in a Model for Long-running Transactions.
Fundam. Inform., 2008

A P Systems Flat Form Preserving Step-by-step Behaviour.
Fundam. Inform., 2008

Bisimulations in calculi modelling membranes.
Formal Asp. Comput., 2008

An Intermediate Language for the Simulation of Biological Systems.
Electr. Notes Theor. Comput. Sci., 2008

The Calculus of Looping Sequences.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

2007
The Calculus of Looping Sequences for Modeling Biological Membranes.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.
Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007

2006
A Calculus of Looping Sequences for Modelling Microbiological Systems.
Fundam. Inform., 2006

Bisimulation Congruences in the Calculus of Looping Sequences.
Proceedings of the Theoretical Aspects of Computing, 2006

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
A Probabilistic Model for Molecular Systems.
Fundam. Inform., 2005

BoPi - A Distributed Machine for Experimenting Web Services Technologies.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005


  Loading...