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/Q3318120	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3692876	1982-01-01	Paper
Some remarks on symmetry for a monoidal category	1981-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: Stefano Kasangian