SABADINI, NICOLETTA
SABADINI, NICOLETTA
DIPARTIMENTO DI SCIENZE UMANE E DELL’INNOVAZIONE PER IL TERRITORIO
A #P-complete problem over arithmetical trees, Proc. 6th Coll. on Trees in Algebra and Programming, 112, (E.Astesiano, C.Boehm eds), pp., Springer-Verlag, Berlin, 1981
1981-01-01 Bertoni, A.; Mauri, G.; Sabadini, Nicoletta
A canonical algebra of open transition systems
2021-01-01 Sabadini, Nicoletta
A characterization of the class of functions computable in polynomial time on Random Access Machines
1981-01-01 Bertoni, A.; Mauri, G.; Sabadini, Nicoletta
A formalization of the IWIM model
2000-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A hierarchy of regular trace languages and some combinatorial applications
1982-01-01 Bertoni, A.; Mauri, G.; Sabadini, Nicoletta
A note on recursive functions
1996-01-01 Sabadini, Nicoletta; Vigna, S; Walters, Rfc
A process algebra for the Span(Graph) model of concurrency
2008-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A universal property of categories of automata
2002-01-01 Sabadini, Nicoletta; Walters, R. F. C.
A universal property of the monoidal 2-category of cospans of ordinals and surjections
2007-01-01 M., Menni; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Algebraic and informational aspects of Zielonka's Theorem.
1993-01-01 Bertoni, A.; Mauri, G.; Pighizzini, G.; Sabadini, Nicoletta
An algebra of automata which includes both classical and quantum entities
2011-01-01 de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
An application of the theory of free partially commutative monoids: asymptotic densities of trace languages
1981-01-01 Bertoni, A.; Brambilla, M.; Mauri, G.; Sabadini, Nicoletta
An automata model of distributed computation
2002-01-01 Sabadini, Nicoletta; Walters, R. F. C.
An automata model of distributed systems
2000-01-01 Piergiulio, Katis; R., Rosebrugh; Sabadini, Nicoletta; R., Walters
An automata model of distributed systems
2000-01-01 Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters
Analysis of a class of Algorithms for Problems on trace languages
1987-01-01 Bertoni, A.; Goldwurm, M.; Sabadini, Nicoletta
Bicategories of processes
1997-01-01 Katis, P; Sabadini, Nicoletta; Walters, Rfc
Blocked-Braid Groups
2015-01-01 Maglia, Davide; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Calculating colimits compositionally
2008-01-01 Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Calculating Colimits Compositionally
2008-01-01 Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A #P-complete problem over arithmetical trees, Proc. 6th Coll. on Trees in Algebra and Programming, 112, (E.Astesiano, C.Boehm eds), pp., Springer-Verlag, Berlin, 1981 | 1-gen-1981 | Bertoni, A.; Mauri, G.; Sabadini, Nicoletta | |
| A canonical algebra of open transition systems | 1-gen-2021 | Sabadini, Nicoletta | |
| A characterization of the class of functions computable in polynomial time on Random Access Machines | 1-gen-1981 | Bertoni, A.; Mauri, G.; Sabadini, Nicoletta | |
| A formalization of the IWIM model | 1-gen-2000 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| A hierarchy of regular trace languages and some combinatorial applications | 1-gen-1982 | Bertoni, A.; Mauri, G.; Sabadini, Nicoletta | |
| A note on recursive functions | 1-gen-1996 | Sabadini, Nicoletta; Vigna, S; Walters, Rfc | |
| A process algebra for the Span(Graph) model of concurrency | 1-gen-2008 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| A universal property of categories of automata | 1-gen-2002 | Sabadini, Nicoletta; Walters, R. F. C. | |
| A universal property of the monoidal 2-category of cospans of ordinals and surjections | 1-gen-2007 | M., Menni; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| Algebraic and informational aspects of Zielonka's Theorem. | 1-gen-1993 | Bertoni, A.; Mauri, G.; Pighizzini, G.; Sabadini, Nicoletta | |
| An algebra of automata which includes both classical and quantum entities | 1-gen-2011 | de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| An application of the theory of free partially commutative monoids: asymptotic densities of trace languages | 1-gen-1981 | Bertoni, A.; Brambilla, M.; Mauri, G.; Sabadini, Nicoletta | |
| An automata model of distributed computation | 1-gen-2002 | Sabadini, Nicoletta; Walters, R. F. C. | |
| An automata model of distributed systems | 1-gen-2000 | Piergiulio, Katis; R., Rosebrugh; Sabadini, Nicoletta; R., Walters | |
| An automata model of distributed systems | 1-gen-2000 | Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters | |
| Analysis of a class of Algorithms for Problems on trace languages | 1-gen-1987 | Bertoni, A.; Goldwurm, M.; Sabadini, Nicoletta | |
| Bicategories of processes | 1-gen-1997 | Katis, P; Sabadini, Nicoletta; Walters, Rfc | |
| Blocked-Braid Groups | 1-gen-2015 | Maglia, Davide; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| Calculating colimits compositionally | 1-gen-2008 | Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| Calculating Colimits Compositionally | 1-gen-2008 | Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW |