Anna Labella

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]