Matteo Cavaliere

According to our database1, Matteo Cavaliere authored at least 50 papers between 2002 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Preface.
Natural Computing, 2018

An Information-Theoretic Measure for Patterning in Epithelial Tissues.
IEEE Access, 2018

2016
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization.
Bioinformatics, 2016

The Evolutionary Resilience of Distributed Cellular Computing.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2014
The Stochastic Loss of Spikes in Spiking Neural P Systems: Design and Implementation of Reliable Arithmetic Circuits.
Fundam. Inform., 2014

2011
Computing by observing: Simple systems and simple observers.
Theor. Comput. Sci., 2011

On aggregation in multiset-based self-assembly of graphs.
Natural Computing, 2011

An Observer-Based de-Quantisation of Deutsch's Algorithm.
Int. J. Found. Comput. Sci., 2011

2010
Computing by observing.
Scholarpedia, 2010

2009
Asynchronous spiking neural P systems.
Theor. Comput. Sci., 2009

DNA splicing: computing by observing.
Natural Computing, 2009

Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins.
Electr. Notes Theor. Comput. Sci., 2009

Computing by Observing Changes.
Proceedings of the Natural Computing - 4th International Workshop on Natural Computing, 2009

2008
Decision problems in membrane systems with peripheral proteins, transport and evolution.
Theor. Comput. Sci., 2008

A multiset-based model of synchronizing agents: Computability and robustness.
Theor. Comput. Sci., 2008

Membrane systems with proteins embedded in membranes.
Theor. Comput. Sci., 2008

Experiments on the reliability of stochastic spiking neural P systems.
Natural Computing, 2008

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.
Int. J. Found. Comput. Sci., 2008

Complexity through the Observation of Simple Systems
Proceedings of the Proceedings International Workshop on The Complexity of Simple Programs, 2008

Computing by Observing: A Brief Survey.
Proceedings of the Logic and Theory of Algorithms, 2008

2007
Multiset random context grammars, checkers, and transducers.
Theor. Comput. Sci., 2007

Membrane Systems with Peripheral Proteins: Transport and Evolution.
Electr. Notes Theor. Comput. Sci., 2007

Membrane Systems with Marked Membranes.
Electr. Notes Theor. Comput. Sci., 2007

Asynchronous Spiking Neural P Systems: Decidability and Undecidability.
Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

2006
Event-Related Outputs of Computations in P Systems.
Journal of Automata, Languages and Combinatorics, 2006

Communication Membrane Systems with Active Symports.
Journal of Automata, Languages and Combinatorics, 2006

Further results on time-free P systems.
Int. J. Found. Comput. Sci., 2006

Observation of String-Rewriting Systems.
Fundam. Inform., 2006

Modeling Respiration in Bacteria and Respiration/Photosynthesis Interaction in Cyanobacteria Using a P System Simulator.
Proceedings of the Applications of Membrane Computing, 2006

Partial Knowledge in Membrane Systems: A Logical Approach.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Membrane Systems with External Control.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Computing by Only Observing.
Proceedings of the Developments in Language Theory, 10th International Conference, 2006

Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005
Computing using signals: from cells to P systems.
Soft Comput., 2005

Time and Synchronization in Membrane Systems.
Fundam. Inform., 2005

Recognizing DNA Splicing.
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

2004
Evolution and observation--a non-standard way to generate formal languages.
Theor. Comput. Sci., 2004

P Systems with Symport/Antiport of Rules.
J. UCS, 2004

Time-Independent P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Inhibiting/De-inhibiting Rules in P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Evolution and Observation: A Non-standard Way to Accept Formal Languages.
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

Biomolecular Implementation of Computing Devices with Unbounded Memory.
Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

Computing by Observing Bio-systems: The Case of Sticker Systems.
Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

2003
Forbidding and enforcing in membrane computing.
Natural Computing, 2003

Modelling biological processes by using a probabilistic P system software.
Natural Computing, 2003

Evolution and Observation: A New Way to Look at Membrane Systems.
Proceedings of the Membrane Computing, International Workshop, 2003

Proton Pumping P Systems.
Proceedings of the Membrane Computing, International Workshop, 2003

2002
An Application of Dynamic P Systems: Generating Context-Free Languages.
Proceedings of the Membrane Computing, International Workshop, 2002

Evolution-Communication P Systems.
Proceedings of the Membrane Computing, International Workshop, 2002


  Loading...