Stefano Kasangian

Available identifiers

zbMath Open kasangian.stefanoMaRDI QIDQ633800

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
CospanSpan(Graph): a Compositional Description of the Heart System	2020-06-21	Paper
Cospan/Span(Graph): An Algebra for open, reconfigurable automata networks	2018-08-13	Paper
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes	2018-03-09	Paper
The ziqqurath of exact sequences of n-groupoids	2011-10-05	Paper
Generalising Conduché's theorem	2011-03-30	Paper
Conduché property and tree-based categories	2009-11-25	Paper
External derivations of internal groupoids	2007-10-18	Paper
Split extensions, semidirect product and holomorph of categorical groups	2005-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q3156499	2005-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2736345	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4511150	2000-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4948681	2000-04-16	Paper
Observational trees as models for concurrency	2000-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4323101	1999-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4381705	1998-07-15	Paper
Process synchronisation as fusion	1996-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4282583	1994-03-17	Paper
Enriched categorical semantics for distributed calculi	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3978979	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3978743	1992-06-25	Paper
The duality between flow charts and circuits	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3796730	1988-01-01	Paper
An axiomatics for bicategories of modules	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780423	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028349	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3729136	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4721656	1985-01-01	Paper
Bicategories of spans and relations	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3667049	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3692876	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318120	1982-01-01	Paper
Some remarks on symmetry for a monoidal category	1981-01-01	Paper

Research outcomes over time

This page was built for person: Stefano Kasangian