Anna Labella

Available identifiers

zbMath Open labella.annaWikidataQ120751343 ScholiaQ120751343MaRDI QIDQ234453

List of research outcomes

Publication	Date of Publication	Type
Modal epistemic logic on contracts: a doctrinal approach	2024-02-23	Paper
On continuous time agents	2023-08-16	Paper
A completeness theorem for nondeterministic Kleene algebras	2022-08-18	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
Initial Algebra for a System of Right-Linear Functors	2017-08-25	Paper
Prefix-suffix square reduction	2017-06-15	Paper
Networks of polarized multiset processors	2016-12-28	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
Generalising Conduché's theorem	2011-03-30	Paper
Tree-functors, determinacy and bisimulations	2010-06-02	Paper
Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof	2010-01-07	Paper
Conduché property and tree-based categories	2009-11-25	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
A Fully Equational Proof of Parikh's Theorem	2004-07-22	Paper
Nondeterministic regular expressions as solutions of equational systems.	2003-08-17	Paper
An Equational Axiomatization of Bisimulation over Regular Expressions	2003-06-16	Paper
Categories enriched on two sides	2003-06-15	Paper
Categories with sums and right distributive tensor product	2003-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q2784335	2002-04-23	Paper
Iteration 2-theories	2002-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4511158	2001-08-05	Paper
A Finite Axiomatization of Nondeterministic Regular Expressions	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4501684	2000-09-04	Paper
Observational trees as models for concurrency	2000-03-23	Paper
Models of nondeterministic regular expressions	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4221610	1999-04-11	Paper
Equational properties of iteration in algebraically complete categories	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4375811	1998-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q4373552	1998-02-16	Paper
Process synchronisation as fusion	1996-12-16	Paper
Enriched categorical semantics for distributed calculi	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3796730	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3769951	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3777427	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780423	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819987	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3736896	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4728237	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707415	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914989	1980-01-01	Paper
Clusters su fuzzy sets ed invarianti algebrico-topologici su tavole oggetto-predicato	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4148827	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4095022	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122059	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5650841	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anna Labella