Nicoletta Sabadini

50 papers A* 2A 2B 2C 1Journal 24Unranked 16
YearRankTypeTitle / Venue / Authors
2023 J jnl
Span(Graph): a canonical feedback algebra of open transition systems.
Softw. Syst. Model.
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2021 — conf
A Canonical Algebra of Open Transition Systems.
FACS
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2021 J jnl
Theoretical Computer Science in Italy.
Theor. Comput. Sci.
Alessandra Cherubini, Nicoletta Sabadini, Simone Tini
2020 J jnl
A canonical algebra of open transition systems.
CoRR
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2020 — conf
Compositional Modeling of Biological Systems in CospanSpan(Graph).
ICTCS
Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini
2020 J jnl
CospanSpan(Graph): a Compositional Description of the Heart System.
Fundam. Informaticae
Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Filippo Schiavio, Simone Tini
2019 — ed.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019.
ICTCS
Alessandra Cherubini, Nicoletta Sabadini, Simone Tini
2017 B conf
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks.
CALCO
Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini
2017 J jnl
On the geometry and algebra of networks with state.
Theor. Comput. Sci.
Nicoletta Sabadini, Filippo Schiavio, Robert F. C. Walters
2015 J jnl
Blocked-Braid Groups.
Appl. Categorical Struct.
D. Maglia, Nicoletta Sabadini, Robert F. C. Walters
2014 J jnl
Obituary Alberto Bertoni (1946-2014).
Bull. EATCS
Giancarlo Mauri, Nicoletta Sabadini
2011 J jnl
Tangled Circuits
CoRR
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
2011 J jnl
The Compositional Construction of Markov Processes.
Appl. Categorical Struct.
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2011 J jnl
The compositional construction of Markov processes II.
RAIRO Theor. Informatics Appl.
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2009 — conf
An Algebra of Automata That Includes Both Classical and Quantum Entities.
QPL@MFPS
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2009 J jnl
An algebra of automata which includes both classical and quantum entities
CoRR
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2009 J jnl
The compositional construction of Markov processes
CoRR
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2009 — conf
The compositional construction of Markov processes.
ICTCS
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2008 — conf
Calculating Colimits Compositionally.
Concurrency, Graphs and Models
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
2004 J jnl
Minimisation and minimal realisation in Span(Graph).
Math. Struct. Comput. Sci.
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
2003 — conf
Compositional Minimization in Span(Graph): Some Examples.
COMETA
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
2003 — conf
Hierarchical Automata and P-systems.
CATS
Nicoletta Sabadini, Robert F. C. Walters
2003 — conf
Timing in the Cospan-Span Model.
COMETA
Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters
2002 J jnl
Feedback, trace and fixed-point semantics.
RAIRO Theor. Informatics Appl.
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
2001 — conf
Comparing cospan-spans and tiles via a Hoare-style process calculus.
TOSCA
Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
2001 — conf
P Systems with Gemmation of Mobile Membranes.
ICTCS
Daniela Besozzi, Claudio Zandron, Giancarlo Mauri, Nicoletta Sabadini
2000 C conf
A Formalization of the IWIM Model.
COORDINATION
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
2000 J jnl
On Automata with Boundary
CoRR
R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
1998 J jnl
Minimal Realization in Bicategories of Automata.
Math. Struct. Comput. Sci.
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
1997 — conf
Representing Place/Transition Nets in Span(Graph).
AMAST
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
1997 — conf
Span(Graph): A Categorial Algebra of Transition Systems.
AMAST
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
1996 J jnl
A Note on Recursive Functions.
Math. Struct. Comput. Sci.
Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters
1996 J jnl
Matrices, machines and behaviors.
Appl. Categorical Struct.
Stephen L. Bloom, Nicoletta Sabadini, Robert F. C. Walters
1996 J jnl
Probabilistic Asynchronous Automata.
Math. Syst. Theory
S. Jesi, Giovanni Pighizzini, Nicoletta Sabadini
1995 — ch.
Counting Techniques for Inclusion, Equivalence and Membership Problems.
The Book of Traces
Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini
1994 J jnl
On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages
Inf. Comput.
Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini
1993 — conf
A Notion of Refinement for Automata.
AMAST
Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters
1992 J jnl
Holonomic Generating Functions and Context Free Languages.
Int. J. Found. Comput. Sci.
Alberto Bertoni, Paolo Massazza, Nicoletta Sabadini
1992 — ch.
Recognizing sets of labelled acyclic graphs.
Tree Automata and Languages
Paola Bonizzoni, Giancarlo Mauri, Giovanni Pighizzini, Nicoletta Sabadini
1991 J jnl
The Complexity of Computing the Number of Strings of Given Length in Context-Free Languages.
Theor. Comput. Sci.
Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini
1989 J jnl
Membership Problems for Regular and Context-Free Trace Languages
Inf. Comput.
Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini
1988 J jnl
Generating functions of trace languages.
Bull. EATCS
Alberto Bertoni, Nicoletta Sabadini
1988 A conf
On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages.
STACS
Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini
1987 A conf
Computing the Counting Function of Context-Free Languages.
STACS
Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini
1986 — conf
Analysis of a Class of Algorithms for Problems on Trace Languages.
AAECC
Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini
1986 — conf
Parallel Algorithms and the Classification of Problems.
WOPPLOT
Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini
1982 A* conf
Equivalence and Membership Problems for Regular Trace Languages.
ICALP
Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini
1981 — conf
A # P-Complete Problem over Arithmetical Trees.
CAAP
Giancarlo Mauri, Nicoletta Sabadini
1981 A* conf
A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines
STOC
Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini
1981 B conf
An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages.
MFCS
Alberto Bertoni, Marco Brambilla, Giancarlo Mauri, Nicoletta Sabadini