LISTA DELLE PUBLICAZIONI


1) S.Kasangian, F.Rossi, Some remarks on symmetry for a monoidal category, Bulletin of the Australian Mathematical Society, 23 (1981) 2O9 - 214.

2) R.Betti,S.Kasangian, Una proprietà del comportamento per gli automi completi, Rendiconti Ist.Mat. Univ. Trieste XIV (1982) 17-26.

3) R.Betti,S.Kasangian, A quasi - universal realization of automata, Rendiconti Ist. Mat. Univ.Trieste XIV (1982) 41-48.

4) S.Kasangian, G.M.Kelly e F.Rossi, Cofibrations and the realization of non deterministic automata,Cahiers de Topologie et Géometrie Diff., XXIV 1 (1983) 23-46.

5) A.Carboni, S.Kasangian e R.Street, Bicategories of spans and relations, Journal of Pure and Applied Algebra, 33 (1984) 259-267.

6) R.Betti, S.Kasangian, Tree automata and enriched category theory, Rendiconti Ist. Mat. Univ. Trieste, XVII (1985), 71 - 78.

7) S.Kasangian, R.Rosebrugh, Decomposition of automata and enriched category theory, Cahiers de Topologie et Géometrie Diff. Categorique, XXVII-4 (1986) 137-143.

8) S.Kasangian, B-categories and gamutsDiagrammes, 15 (1986) K1-K13.

9) A.Carboni, S.Kasangian e R.Walters, An axiomatics for bicategories of modules, Journal of Pure and Applied Algebra, 45 (1987) 127-141.

10) S.Kasangian, A.Labella e A.Pettorossi, Enriched Categories for Local and Interaction Calculi,Category Theory and Computer Science, Spnger Lecture Notes in Comp. Science 283 (1987), 57-71.

11) S.Kasangian, A.Labella e A.Pettorossi, Enriched Categories for modelling distributed computations, Proc.Conf. on Parallel processing and applications, (1987) North Holland.

12) N.Dioguardi,S.Kasangian, A Categorical Characterization of Liver System Autoisodiasostasis, Dinamica dei Sistemi, 2, 1988.

13) S.Kasangian,A. Labella, The topos of continuous trees as a model for distributed calculi. Abstract.Logic Colloquium'88, Journ. of Symb. Logic

14) N.Dioguardi, S.Kasangian, Liver System II. A Categorical coarse model for its Autoisodiasostasis, Res.Clin.Lab.19, 301-305, 1989.


15) S.Kasangian, A.Labella e A.Pettorossi, Observers, Experiments and agents: a comprehensive approach to concurrency, Ecole de Printemps, Springer Lecture Notes in Comp.Science 469,(1990),375-406

16) S.Kasangian, R.Rosebrugh, Glueing enriched modules and composition of automata, Cahiers deTopologie et Géometrie Diff. Categorique vol. XXXI-4 (1990), 283-290 .

17) S.Kasangian, R.F.C.Walters, The duality between flowcharts and circuits, Bulletin of Australian Mathematical Society, 42 (1990),71-79.

18) S.Kasangian,.S.Vigna, Introducing a Calculus of Trees, TAPSOFT '91 (CAAP), Springer Lecture Notes in Comp.Science 493 (1991) 215-240.

19) P.Degano, S.Kasangian e S.Vigna,Applications of the Calculus of Trees to Process Description Languages, Category Theory and Computer Science '91, Springer Lecture Notes in Comp. Science.530 (1991) 282-301.

20) S.Kasangian, S.Vigna, Trees in Distributive Categories, CT '90, Springer Lecturte Notes in Mathematics.1488 (1991)237-248.

21) S.Kasangian, A.Labella, Enriched categorical semantics for distributed calculi, Journal of Pure and Applied Algebra.(3) 1992

22) S.Kasangian, A.Labella, On continuous time agents, Mathematical Foundations of Program Semantics,'91, Springer Lecture Notes in Comp.Science 598 (1992) 403-425.

23) S.Kasangian, G. Mauri, N.Sabadini, Traces: a categorical view, accepted for publication on CTCS '93.

24) S.Kasangian, R.Rosebrugh, Non Deterministic and Fuzzy Automata in Toposes, Bollettino dell'Unione Matematica Italiana, (7) 8-A, 1994, 313-321

25) S.Kasangian, A.Labella, D.Murphy, Process synchronization as fusion, Applied Categorical Structures 1996, (4), 403-421.

26) S.Kasangian, S.Vigna, The topos of labelled trees: a categorical semantics for SCCS, Fundamenta Informaticae , 1997,(32), 27-45

27) Kasangian, Stefano, Labella, Anna , Observational trees as models for concurrency. Math. Struct. Comput. Sci. 9, No.6, 687-718 (1999). [ISSN 0960-1295]

28) Kasangian, Stefano, Kelly, G.Max,Vighi, Veronica, A bicategorical approach to information flow and securityCategorical studies in Italy. Selected papers presented at the meeting ``The Italian friends meet Bill Lawvere", Perugia, Italy, May 1-3, 1997. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 64, 99-122 (2000).

29) Kasangian, S., Vitale, E.M. Factorization systems for symmetric cat-groups Theory Appl. Categ. 7, 47-70, (2000).

30) Kasangian, Stefano, Lack, Stephen,Vitale, Enrico M. Coalgebras, braidings, and distributive laws. Theory Appl. Categ. 13 (2004), No. 8, 129--146

31) Kasangian, Stefano, Metere, Giuseppe, Vitale, Enrico M. Split extensions, semidirect product and holomorph of categorical groups. Homology, Homotopy Appl. 8 (2006), no. 1,145-167).

32) Kasangian, Stefano, S. Mantovani, G. Metere, E.M. Vitale, External Derivations of internal groupoids, Journal of Pure and Applied Algebra, 212 (2008) 175-192.

33) Kasangian, Stefano, Labella, Anna , Conduché properties and Tree based categories, Journal of Pure and Applied Algebra, 214 (2010) 221_235

34) Kasangian Stefano, Labella Anna, Montoli Andrea, Generalising Conduchés theorem in corso di stampa su Applied Categorical Structures.

35) Paolo Bottoni, Stefano Kasangian, Anna Labella , More-than-coherent logic for operations on images Proceedings of the VLL 2009 workshop on Visual Languages and Logic in Corvallis, Oregon, USA, 20th September 2009, 2009 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 09


36) Mike Johnson, Stefano Kasangian, A Relational Model of incomplete Data without nulls, CATS 2010, Brisbane, Proceeding CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109 Australian Computer Society, Inc. Darlinghurst, Australia, Australia ©2010 ISBN: 978-1-920682-90-3

37) Kasangian, Stefano, Metere, Giuseppe, Vitale, Enrico, The Ziqqurath of exact sequences of N-groupoids, in corso di stampa su Cahiers deTopologie et Géometrie Diff. Categorique.




In preparation:

38) Paolo Bottoni, Stefano Kasangian, Anna Labella, From Reasoning on Images to Reasoning on Computations with Image Overlapping.

39) Mike Johnson, Stefano Kasangian, Robert Rosebrugh, Morita inequivalent representations of partial morphisms, database nulls, and the view updatetheorem.

40) Paolo Bottoni, Stefano Kasangian, Anna Labella, Between coherent and first order logic: the case of a language for parallel computing with pictures.

41) Luca Albergante, Michael Johnson, Stefano Kasangian, Insight into the duality between data and process by enriched categories.


INTERNAL REPORTS

IR1 S.Kasangian, G.Mauri e N.Sabadini, Traces and Pomsets: a categorical view, Technical Report B.R.A-ESPRIT DEMON. TR 193, 1991

IR2 P.Degano, S.Kasangian e S.Vigna, On the construction of canonical representatives for bisimulation-based equivalences, Technical Report TR45/p

IR3 S.Kasangian, F.Rossi, Automi e cofibrazioni, Quaderni matem. Univ.Trieste, II, n 33, 1981.

IR4 A.Carboni S.Kasangian e R.F.C.Walters, Some basic facts about bicategories and modulesQuaderno 6, 1985, Dipart. di Matem. Univ. di Milano.

IR5 S.Kasangian, R.Rosebrugh, Internalizing non-deterministic and fuzzy automata, Mount Allison University Report, 1989.

IR6 C.Diamantini,S.Kasangian, L.Pomello e C.Simone, Elemenatry Nets and 2-categoriesTechnical Report C.N.R. TR 4 .29 (I), 1991