| Publication | Date of Publication | Type |
|---|
Modal epistemic logic on contracts: a doctrinal approach
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Transactions and contracts based on reaction systems
Theoretical Computer Science | 2021-08-11 | Paper |
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting
Theoretical Computer Science | 2021-03-09 | Paper |
Reaction systems with influence on environment
Journal of Membrane Computing | 2020-02-24 | Paper |
Networks of reaction systems
International Journal of Foundations of Computer Science | 2020-02-21 | Paper |
Networks of picture processors as problem solvers
Soft Computing | 2018-04-26 | Paper |
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
Mathematical Structures in Computer Science | 2018-03-09 | Paper |
Prefix-suffix square reduction
Theoretical Computer Science | 2017-06-15 | Paper |
Pattern-based rewriting through abstraction
Fundamenta Informaticae | 2017-03-16 | Paper |
Networks of polarized multiset processors
Journal of Computer and System Sciences | 2016-12-28 | Paper |
Successful visual human-computer interaction is undecidable
Information Processing Letters | 2016-06-09 | Paper |
Accepting networks of evolutionary picture processors
Fundamenta Informaticae | 2014-05-12 | Paper |
Context insertions
Computation, Cooperation, and Life | 2011-06-24 | Paper |
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
Natural Computing | 2011-05-23 | Paper |
Filter position in networks of evolutionary processors does not matter: a direct proof
Lecture Notes in Computer Science | 2010-01-07 | Paper |
Networks of Evolutionary Picture Processors with Filtered Connections
Lecture Notes in Computer Science | 2009-10-22 | Paper |
Superposition based on Watson-Crick-like complementarity
Theory of Computing Systems | 2006-10-25 | Paper |
| scientific article; zbMATH DE number 2087502 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086758 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080935 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2016094 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2006493 (Why is no real title available?) | 2003-11-20 | Paper |
Membrane systems with promoters/inhibitors
Acta Informatica | 2003-09-01 | Paper |
Analyzing, modelling, and specifying visual interaction
Soft Computing | 2003-08-31 | Paper |
| scientific article; zbMATH DE number 1836422 (Why is no real title available?) | 2002-11-27 | Paper |
| scientific article; zbMATH DE number 1786546 (Why is no real title available?) | 2002-08-21 | Paper |
| scientific article; zbMATH DE number 1629834 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1406167 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1354996 (Why is no real title available?) | 1999-10-31 | Paper |
| scientific article; zbMATH DE number 1304458 (Why is no real title available?) | 1999-06-17 | Paper |
| scientific article; zbMATH DE number 1234886 (Why is no real title available?) | 1999-04-11 | Paper |
A notion of information related to computation
Information Processing Letters | 1998-08-13 | Paper |
Knowledge-based contextual recognition and sieving of digital images
Pattern Recognition Letters | 1994-10-30 | Paper |
Metareasoning in the determination of image interpretation strategies
Pattern Recognition Letters | 1994-04-12 | Paper |
