Anna Labella

Giuseppe Perelli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

2021

Transactions and contracts based on reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

A formal model for ledger management systems based on contracts and temporal logic.

[BibT_eX]

[DOI]

Remo Pareschi

CoRR, 2021

2020

Networks of Reaction Systems.

[BibT_eX]

[DOI]

Grzegorz Rozenberg

Int. J. Found. Comput. Sci., 2020

2019

Reaction systems with influence on environment.

[BibT_eX]

[DOI]

Grzegorz Rozenberg

J. Membr. Comput., 2019

Modal Epistemic Logic on Contracts: A Doctrinal Approach.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2018

2017

Prefix-suffix square reduction.

[BibT_eX]

[DOI]

Victor Mitrana

Theor. Comput. Sci., 2017

Networks of picture processors as problem solvers.

[BibT_eX]

[DOI]

Soft Comput., 2017

Networks of polarized multiset processors.

[BibT_eX]

[DOI]

Victor Mitrana

J. Comput. Syst. Sci., 2017

Initial Algebra for a System of Right-Linear Functors.

[BibT_eX]

[DOI]

Acta Cybern., 2017

2014

Accepting Networks of Evolutionary Picture Processors.

[BibT_eX]

[DOI]

Victor Mitrana

Fundam. Informaticae, 2014

Solving 2D-Pattern Matching with Networks of Picture Processors.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing, 2014

2013

Stories and signs in an e-learning environment for deaf people.

[BibT_eX]

[DOI]

Univers. Access Inf. Soc., 2013

2012

Spatial and temporal aspects in visual interaction.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2012

Experimenting dele: a deaf-centered e-learning visual environment.

[BibT_eX]

[DOI]

Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012

2011

Complexity-preserving simulations among three variants of accepting networks of evolutionary processors.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Generalising Conduché's Theorem.

[BibT_eX]

[DOI]

Andrea Montoli

Appl. Categorical Struct., 2011

Color-Based Recognition of Gesture-traced 2D Symbols.

[BibT_eX]

Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

FcBD: An Agent-Based Architecture to Support Sketch Recognition Interfaces.

[BibT_eX]

Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

Context Insertions.

[BibT_eX]

[DOI]

Proceedings of the Computation, 2011

2010

Tree-functors, determinacy and bisimulations.

[BibT_eX]

[DOI]

Daniele Gorla

Math. Struct. Comput. Sci., 2010

A framework for hand-based interaction.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Humans and Computers, 2010

2009

Networks of Evolutionary Picture Processors with Filtered Connections.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 8th International Conference, 2009

Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009

2007

Pointed pictures.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2007

Use of a Dual-Core DSP in a Low-Cost, Touch-Screen Based Musical Instrument.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on New Interfaces for Musical Expression, 2007

2006

Superposition Based on Watson-Crick-Like Complementarity.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2006

Mapping with planning agents in the Max/MSP environment: the GO/Max language.

[BibT_eX]

[DOI]

Proceedings of the New Interfaces for Musical Expression, 2006

Interactive composition, performance and music generation through iterative structures.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Multimedia, 2006

MADCOW: a visual interface for annotating web pages.

[BibT_eX]

[DOI]

Proceedings of the working conference on Advanced visual interfaces, 2006

CHAMBRE: integrating multimedia and virtual tools.

[BibT_eX]

[DOI]

Proceedings of the working conference on Advanced visual interfaces, 2006

2003

Nondeterministic regular expressions as solutions of equational systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2002

An Equational Axiomatization of Bisimulation over Regular Expressions.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Kleene's (unary) star in nondeterministic context.

[BibT_eX]

Proceedings of the Fixed Points in Computer Science, 2002

Rewriting P Systems with Conditional Communication.

[BibT_eX]

[DOI]

Proceedings of the Formal and Natural Computing, 2002

2001

Iteration 2-theories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2001

1999

Observational trees as models for concurrency.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1999

Models of Nondeterministic Regular Expressions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1999

A finite axiomatization of nondeterministic regular expressions.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1999

Graded Modalities and Resource Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Equational Properties of Iteration in Algebraically Complete Categories.

[BibT_eX]

[DOI]

Zoltán Ésik

Theor. Comput. Sci., 1998

Pattern Control on Derivations in Context-Free Rewriting.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 1998

Tree Morphisms and Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1997

Iteration 2-Theories: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Process synchronisation as fusion.

[BibT_eX]

[DOI]

David Murphy

Appl. Categorical Struct., 1996

1995

Fully Abstract Models for Nondeterministic Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

A Completeness Theorem fro Nondeterministic Kleene Algebras.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1991

On Continuous Time Agents.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Observers, Experiments and Agents: a Comprehensive Approach to Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1987

Enriched Categories for Local and Interaction Calculi.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 1987

1986

Universal Models in Categories for Process Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986

1985

Categorical Models of Process Cooperation.

[BibT_eX]

[DOI]