×

Sabadini, Nicoletta

Author ID: sabadini.nicoletta Recent zbMATH articles by "Sabadini, Nicoletta"
Published as: Sabadini, N.; Sabadini, Nicoletta

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 255 times in 150 Documents Cited by Year
Membership problems for regular and context-free trace languages. Zbl 0682.68040
Bertoni, A.; Mauri, G.; Sabadini, N.
25
1989
Equivalence and membership problems for regular trace languages. Zbl 0486.68079
Bertoni, A.; Mauri, G.; Sabadini, N.
21
1982
Generic commutative separable algebras and cospans of graphs. Zbl 1087.18003
Rosebrugh, R.; Sabadini, N.; Walters, R. F. C.
20
2005
Span(Graph): A categorical algebra of transition systems. Zbl 0885.18004
Katis, Piergiolio; Sabadini, N.; Walters, R. F. C.
20
1997
An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages. Zbl 0468.68081
Bertoni, A.; Brambilla, M.; Mauri, G.; Sabadini, N.
19
1981
The complexity of computing the number of strings of given length in context-free languages. Zbl 0744.68066
Bertoni, Alberto; Goldwurm, Massimiliano; Sabadini, Nicoletta
10
1991
Unambiguous regular trace languages. Zbl 0627.68060
Bertoni, A.; Mauri, G.; Sabadini, N.
10
1986
Bicategories of processes. Zbl 0933.18008
Katis, P.; Sabadini, N.; Walters, R. F. C.
10
1997
Calculating colimits compositionally. Zbl 1144.18003
Rosebrugh, Robert; Sabadini, Nicoletta; Walters, Robert F. C.
9
2008
Representing place/transition nets in Span(Graph). Zbl 0885.18005
Katis, Piergiulio; Sabadini, N.; Walters, R. F. C.
9
1997
Computing the counting function of context-free languages. Zbl 0634.68069
Bertoni, A.; Goldwurm, M.; Sabadini, N.
8
1987
A hierarchy of regular trace languages and some combinatorial applications. Zbl 0512.68056
Bertoni, A.; Mauri, G.; Sabadini, N.
8
1982
On the algebra of feedback and systems with boundary. Zbl 1003.94051
Katis, Piergiulio; Sabadini, Nicoletta; Walters, Robert F. C.
8
2000
Feedback, trace and fixed-point semantics. Zbl 1050.68100
Katis, P.; Sabadini, Nicoletta; Walters, Robert F. C.
7
2002
Simulations among classes of random access machines and equivalence among numbers succinctly represented. Zbl 0609.68039
Bertoni, A.; Mauri, G.; Sabadini, N.
6
1985
Analysis of a class of algorithms for problems on trace languages. Zbl 0648.68079
Bertoni, A.; Goldwurm, M.; Sabadini, N.
6
1988
Matrices, machines and behaviors. Zbl 0859.18005
Bloom, Stephen L.; Sabadini, N.; Walters, R. F. C.
5
1996
P systems with gemmation of mobile membranes. Zbl 1042.68044
Besozzi, Daniela; Zandron, Claudio; Mauri, Giancarlo; Sabadini, Nicoletta
5
2001
On the existence of the minimum asynchronous automaton and on decision problems for unambiguous regular trace languages. Zbl 0644.68099
Bruschi, D.; Pighizzini, G.; Sabadini, N.
4
1988
Holonomic generating functions and context free languages. Zbl 0754.68064
Bertoni, A.; Massazza, P.; Sabadini, N.
4
1992
A note on recursive functions. Zbl 0844.03025
Sabadini, Nicoletta; Vigna, Sebastiano; Walters, Robert F. C.
3
1996
Minimisation and minimal realisation in Span(Graph). Zbl 1093.68068
Rosebrugh, Robert; Sabadini, Nicoletta; Walters, Robert F. C.
3
2004
Context free trace languages. Zbl 0548.68072
Bertoni, A.; Mauri, G.; Sabadini, N.
3
1982
On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages. Zbl 0804.68078
Bruschi, Danilo; Pighizzini, Giovanni; Sabadini, Nicoletta
3
1994
Tangled circuits. Zbl 1275.18008
Rosebrugh, R.; Sabadini, N.; Walters, R. F. C.
3
2012
The compositional construction of Markov processes. II. Zbl 1216.18005
de Francesco Albasini, L.; Sabadini, N.; Walters, R. F. C.
3
2011
The compositional construction of Markov processes. Zbl 1225.18006
de Francesco Albasini, Luisa; Sabadini, Nicoletta; Walters, Robert F. C.
3
2011
Generating functions of trace languages. Zbl 0681.68096
Bertoni, A.; Sabadini, N.
2
1988
Parallel algorithms and the classification problems. Zbl 0629.68048
Bertoni, A.; Goldwurm, M.; Mauri, G.; Sabadini, N.
2
1987
Probabilistic asynchronous automata. Zbl 0840.68079
Jesi, S.; Pighizzini, G.; Sabadini, N.
2
1996
Minimal realization in bicategories of automata. Zbl 0915.18003
Rosebrugh, Robert; Sabadini, N.; Walters, R. F. C.
2
1998
Non deterministic machines and their generalizations. Zbl 0566.68043
Bertoni, A.; Mauri, G.; Sabadini, N.
2
1984
Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126
Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C.
2
2002
Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. Zbl 1433.68223
Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta
2
2017
Concurrent automata, prime event structures and universal domains. Zbl 0803.68035
Boldi, P.; Cardone, F.; Sabadini, N.
1
1993
On characterizing classes of efficiently parallelizable problems. Zbl 0567.68031
Bertoni, A.; Bollina, M. C.; Mauri, G.; Sabadini, N.
1
1985
A #P-complete problem over arithmetical trees. Zbl 0469.68048
Mauri, Giancarlo; Sabadini, Nicoletta
1
1981
CospanSpan(Graph): a compositional description of the heart system. Zbl 1435.68206
Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Schiavio, Filippo; Tini, Simone
1
2020
Algebraic and informational aspects of Zielonka’s theorem. Zbl 0828.20067
Bertoni, A.; Mauri, G.; Pighizzini, G.; Sabadini, N.
1
1993
A universal property of the monoidal 2-category of cospans of ordinals and surjections. Zbl 1153.18007
Menni, M.; Sabadini, N.; Walters, R. F. C.
1
2007
CospanSpan(Graph): a compositional description of the heart system. Zbl 1435.68206
Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Schiavio, Filippo; Tini, Simone
1
2020
Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. Zbl 1433.68223
Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta
2
2017
Tangled circuits. Zbl 1275.18008
Rosebrugh, R.; Sabadini, N.; Walters, R. F. C.
3
2012
The compositional construction of Markov processes. II. Zbl 1216.18005
de Francesco Albasini, L.; Sabadini, N.; Walters, R. F. C.
3
2011
The compositional construction of Markov processes. Zbl 1225.18006
de Francesco Albasini, Luisa; Sabadini, Nicoletta; Walters, Robert F. C.
3
2011
Calculating colimits compositionally. Zbl 1144.18003
Rosebrugh, Robert; Sabadini, Nicoletta; Walters, Robert F. C.
9
2008
A universal property of the monoidal 2-category of cospans of ordinals and surjections. Zbl 1153.18007
Menni, M.; Sabadini, N.; Walters, R. F. C.
1
2007
Generic commutative separable algebras and cospans of graphs. Zbl 1087.18003
Rosebrugh, R.; Sabadini, N.; Walters, R. F. C.
20
2005
Minimisation and minimal realisation in Span(Graph). Zbl 1093.68068
Rosebrugh, Robert; Sabadini, Nicoletta; Walters, Robert F. C.
3
2004
Feedback, trace and fixed-point semantics. Zbl 1050.68100
Katis, P.; Sabadini, Nicoletta; Walters, Robert F. C.
7
2002
Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126
Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C.
2
2002
P systems with gemmation of mobile membranes. Zbl 1042.68044
Besozzi, Daniela; Zandron, Claudio; Mauri, Giancarlo; Sabadini, Nicoletta
5
2001
On the algebra of feedback and systems with boundary. Zbl 1003.94051
Katis, Piergiulio; Sabadini, Nicoletta; Walters, Robert F. C.
8
2000
Minimal realization in bicategories of automata. Zbl 0915.18003
Rosebrugh, Robert; Sabadini, N.; Walters, R. F. C.
2
1998
Span(Graph): A categorical algebra of transition systems. Zbl 0885.18004
Katis, Piergiolio; Sabadini, N.; Walters, R. F. C.
20
1997
Bicategories of processes. Zbl 0933.18008
Katis, P.; Sabadini, N.; Walters, R. F. C.
10
1997
Representing place/transition nets in Span(Graph). Zbl 0885.18005
Katis, Piergiulio; Sabadini, N.; Walters, R. F. C.
9
1997
Matrices, machines and behaviors. Zbl 0859.18005
Bloom, Stephen L.; Sabadini, N.; Walters, R. F. C.
5
1996
A note on recursive functions. Zbl 0844.03025
Sabadini, Nicoletta; Vigna, Sebastiano; Walters, Robert F. C.
3
1996
Probabilistic asynchronous automata. Zbl 0840.68079
Jesi, S.; Pighizzini, G.; Sabadini, N.
2
1996
On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages. Zbl 0804.68078
Bruschi, Danilo; Pighizzini, Giovanni; Sabadini, Nicoletta
3
1994
Concurrent automata, prime event structures and universal domains. Zbl 0803.68035
Boldi, P.; Cardone, F.; Sabadini, N.
1
1993
Algebraic and informational aspects of Zielonka’s theorem. Zbl 0828.20067
Bertoni, A.; Mauri, G.; Pighizzini, G.; Sabadini, N.
1
1993
Holonomic generating functions and context free languages. Zbl 0754.68064
Bertoni, A.; Massazza, P.; Sabadini, N.
4
1992
The complexity of computing the number of strings of given length in context-free languages. Zbl 0744.68066
Bertoni, Alberto; Goldwurm, Massimiliano; Sabadini, Nicoletta
10
1991
Membership problems for regular and context-free trace languages. Zbl 0682.68040
Bertoni, A.; Mauri, G.; Sabadini, N.
25
1989
Analysis of a class of algorithms for problems on trace languages. Zbl 0648.68079
Bertoni, A.; Goldwurm, M.; Sabadini, N.
6
1988
On the existence of the minimum asynchronous automaton and on decision problems for unambiguous regular trace languages. Zbl 0644.68099
Bruschi, D.; Pighizzini, G.; Sabadini, N.
4
1988
Generating functions of trace languages. Zbl 0681.68096
Bertoni, A.; Sabadini, N.
2
1988
Computing the counting function of context-free languages. Zbl 0634.68069
Bertoni, A.; Goldwurm, M.; Sabadini, N.
8
1987
Parallel algorithms and the classification problems. Zbl 0629.68048
Bertoni, A.; Goldwurm, M.; Mauri, G.; Sabadini, N.
2
1987
Unambiguous regular trace languages. Zbl 0627.68060
Bertoni, A.; Mauri, G.; Sabadini, N.
10
1986
Simulations among classes of random access machines and equivalence among numbers succinctly represented. Zbl 0609.68039
Bertoni, A.; Mauri, G.; Sabadini, N.
6
1985
On characterizing classes of efficiently parallelizable problems. Zbl 0567.68031
Bertoni, A.; Bollina, M. C.; Mauri, G.; Sabadini, N.
1
1985
Non deterministic machines and their generalizations. Zbl 0566.68043
Bertoni, A.; Mauri, G.; Sabadini, N.
2
1984
Equivalence and membership problems for regular trace languages. Zbl 0486.68079
Bertoni, A.; Mauri, G.; Sabadini, N.
21
1982
A hierarchy of regular trace languages and some combinatorial applications. Zbl 0512.68056
Bertoni, A.; Mauri, G.; Sabadini, N.
8
1982
Context free trace languages. Zbl 0548.68072
Bertoni, A.; Mauri, G.; Sabadini, N.
3
1982
An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages. Zbl 0468.68081
Bertoni, A.; Brambilla, M.; Mauri, G.; Sabadini, N.
19
1981
A #P-complete problem over arithmetical trees. Zbl 0469.68048
Mauri, Giancarlo; Sabadini, Nicoletta
1
1981
all top 5

Cited by 194 Authors

11 Goldwurm, Massimiliano
10 Sabadini, Nicoletta
9 Sobociński, Paweł
8 Walters, Robert F. C.
7 Otto, Friedrich
6 Bertoni, Alberto
6 Choffrut, Christian
6 Montanari, Ugo G.
5 Aalbersberg, Ijsbrand Jan
5 Baez, John C.
5 Bruni, Roberto
5 Gadducci, Fabio
5 Mauri, Giancarlo
5 Zanasi, Fabio
4 Bonchi, Filippo
4 Fong, Brendan
4 Lohrey, Markus
4 Nagy, Benedek
4 Rozenberg, Grzegorz
3 Courser, Kenny
3 de Luca, Aldo
3 Guaiana, Giovanna
3 Hoogeboom, Hendrik Jan
3 Oliveira, José Nuno
3 Pighizzini, Giovanni
3 Restivo, Antonio
3 Spivak, David I.
2 Besozzi, Daniela
2 Bruschi, Danilo
2 Carpi, Arturo
2 Clerbout, Mireille
2 de Francesco Albasini, Luisa
2 Delzanno, Giorgio
2 Ehrenfeucht, Andrzej
2 Hemaspaandra, Lane A.
2 Huynh, Dung T.
2 Liu, Haining
2 Massazza, Paolo
2 Mereghetti, Carlo
2 Nester, Chad
2 Palano, Beatrice
2 Piedeleu, Robin
2 Rytter, Wojciech
2 Salemi, Sergio
2 Tiwari, S. P.
2 Van Begin, Laurent
2 Varricchio, Stefano
2 Yadav, Vijay Kumar
2 Zandron, Claudio
2 Zetzsche, Georg
1 Abascal, Jackson
1 Allender, Eric W.
1 Alur, Rajeev
1 Àlvarez, Carme
1 Andrés Montoya, Juan
1 Anselmo, Marcella
1 Antonopoulos, Timos
1 Baas, Andrew
1 Banderier, Cyril
1 Bartha, Miklós
1 Beardsley, Jonathan
1 Bianchi, Maria Paola
1 Book, Ronald Vernon
1 Breveglieri, Luca
1 Bruggink, H. J. Sander
1 Campadelli, Paola
1 Castiglione, Giusi
1 Černý, Pavol
1 Chantawibul, Apiwat
1 Cicala, Daniel
1 Clarke, Edmund Melson jun.
1 Courcelle, Bruno
1 Coya, Brandon
1 Crespi Reghizzi, Stefano
1 Csuhaj-Varjú, Erzsébet
1 Culbertson, Jared
1 D’Alessandro, Flavio
1 Dang Van Hung
1 Davydov, Alekseĭ Aleksandrovich
1 Dean, Walter
1 Di Lavore, Elena
1 Došen, Kosta
1 Dubey, Maneesh Kumar
1 Erickson, Jeff
1 Etessami, Kousha
1 Fairbanks, James P.
1 Feng, Jun’e
1 Figelius, Michael
1 Geerts, Floris
1 Ghica, Dan R.
1 Giammarresi, Dora
1 Giansiracusa, Jeffrey
1 Gibbons, Alan M.
1 Grandjean, Etienne
1 Guerra, Leucio
1 Gustafson, Paul P.
1 Haase, Christoph
1 Hackney, Philip
1 Hasuo, Ichiro
1 Heindel, Tobias
...and 94 more Authors

Citations by Year