Paolo Bottoni

Available identifiers

zbMath Open bottoni.paoloMaRDI QIDQ293297

List of research outcomes

Publication	Date of Publication	Type
Modal epistemic logic on contracts: a doctrinal approach	2024-02-23	Paper
Transactions and contracts based on reaction systems	2021-08-11	Paper
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting	2021-03-09	Paper
Reaction systems with influence on environment	2020-02-24	Paper
Networks of reaction systems	2020-02-21	Paper
Networks of picture processors as problem solvers	2018-04-26	Paper
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes	2018-03-09	Paper
Prefix-suffix square reduction	2017-06-15	Paper
Pattern-based rewriting through abstraction	2017-03-16	Paper
Networks of polarized multiset processors	2016-12-28	Paper
Successful visual human-computer interaction is undecidable	2016-06-09	Paper
Accepting networks of evolutionary picture processors	2014-05-12	Paper
Context insertions	2011-06-24	Paper
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors	2011-05-23	Paper
Filter position in networks of evolutionary processors does not matter: a direct proof	2010-01-07	Paper
Networks of Evolutionary Picture Processors with Filtered Connections	2009-10-22	Paper
Superposition based on Watson-Crick-like complementarity	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4738302	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4737315	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4474005	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4438803	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4435867	2003-11-20	Paper
Membrane systems with promoters/inhibitors	2003-09-01	Paper
Analyzing, modelling, and specifying visual interaction	2003-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4782107	2002-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q4547843	2002-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q2728864	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4939199	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4269219	1999-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4251223	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4221610	1999-04-11	Paper
A notion of information related to computation	1998-08-13	Paper
Knowledge-based contextual recognition and sieving of digital images	1994-10-30	Paper
Metareasoning in the determination of image interpretation strategies	1994-04-12	Paper

Research outcomes over time

This page was built for person: Paolo Bottoni