KASANGIAN, STEFANO
KASANGIAN, STEFANO
Dipartimento di Matematica Federigo Enriques
Spatial and temporal aspects in visual interaction
2012 P. Bottoni, S. Kasangian, A. Labella
The ziqqurath of exact sequences of $n$-groupoids
2011 S. Kasangian, G. Metere, E.M. Vitale
Generalising Conduché's theorem
2011 S. Kasangian, A. Labella, A. Montoli
A Relational Model of incomplete Data without nulls
2010 M. Johnson, S. Kasangian
Conduché property and Tree-based categories.
2010 S. Kasangian, A. Labella
More-than-coherent logic for operations on images
2009 P. Bottoni, A. Labella, S. Kasangian
The notion of state and models for interaction, categorically
2008 S. Kasangian, A. Labella, A. Montoli
A parallel computing model via pictures in an enriched-categorical context
2008 P. Bottoni, S. Kasangian, A. Labella
External derivations of internal groupoids
2008 S. Kasangian, S. Mantovani, G. Metere, E.M. Vitale
Split extensions, semidirect product and holomorph of categorical groups
2006 S. Kasangian, G. Metere, E.M. Vitale
Coalgebras, braidings, and distributive laws
2004 S. Kasangian, S. Lack, E. Vitale
A bicategorical approach to information flow and security
2000 S. Kasangian, G.M. Kelly, V. Vighi
Factorization systems for symmetric cat-groups
2000 S. Kasangian, E.M. Vitale
Observational trees as models for concurrency
1999 S. Kasangian, A. Labella
The topos of labelled trees : a categorical semantics for SCCS
1997 S. Kasangian, S. Vigna
Process synchronisation as fusion
1996 S. Kasangian, A. Labella, D. Murphy