A # P-Complete Problem over Arithmetical Trees. - Giancarlo Mauri; Nicoletta Sabadini (CAAP, 1981)

An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages. - Alberto Bertoni; Marco Brambilla; Giancarlo Mauri; Nicoletta Sabadini (MFCS, 1981)

A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines - Alberto Bertoni; Giancarlo Mauri; Nicoletta Sabadini (STOC, 1981)

Equivalence and Membership Problems for Regular Trace Languages. - Alberto Bertoni; Giancarlo Mauri; Nicoletta Sabadini (ICALP, 1982)

Analysis of a Class of Algorithms for Problems on Trace Languages. - Alberto Bertoni; Massimiliano Goldwurm; Nicoletta Sabadini (AAECC, 1986)

Parallel Algorithms and the Classification of Problems. - Alberto Bertoni; Massimiliano Goldwurm; Giancarlo Mauri; Nicoletta Sabadini (WOPPLOT, 1986)

Computing the Counting Function of Context-Free Languages. - Alberto Bertoni; Massimiliano Goldwurm; Nicoletta Sabadini (STACS, 1987)

On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages. - Danilo Bruschi; Giovanni Pighizzini; Nicoletta Sabadini (STACS, 1988)

Generating functions of trace languages. - Alberto Bertoni; Nicoletta Sabadini (Bull. EATCS, 1988)

Membership Problems for Regular and Context-Free Trace Languages - Alberto Bertoni; Giancarlo Mauri; Nicoletta Sabadini (Inf. Comput., 1989)

The Complexity of Computing the Number of Strings of Given Length in Context-Free Languages. - Alberto Bertoni; Massimiliano Goldwurm; Nicoletta Sabadini (Theor. Comput. Sci., 1991)

Recognizing sets of labelled acyclic graphs. - Paola Bonizzoni; Giancarlo Mauri; Giovanni Pighizzini; Nicoletta Sabadini (Tree Automata and Languages, 1992)

Holonomic Generating Functions and Context Free Languages. - Alberto Bertoni; Paolo Massazza; Nicoletta Sabadini (Int. J. Found. Comput. Sci., 1992)

A Notion of Refinement for Automata. - Nicoletta Sabadini; Sebastiano Vigna; Robert F. C. Walters (AMAST, 1993)

On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages - Danilo Bruschi; Giovanni Pighizzini; Nicoletta Sabadini (Inf. Comput., 1994)

Counting Techniques for Inclusion, Equivalence and Membership Problems. - Alberto Bertoni; Massimiliano Goldwurm; Giancarlo Mauri; Nicoletta Sabadini (The Book of Traces, 1995)

Matrices, machines and behaviors. - Stephen L. Bloom; Nicoletta Sabadini; Robert F. C. Walters (Appl. Categorical Struct., 1996)

A Note on Recursive Functions. - Nicoletta Sabadini; Sebastiano Vigna; Robert F. C. Walters (Math. Struct. Comput. Sci., 1996)

Probabilistic Asynchronous Automata. - S. Jesi; Giovanni Pighizzini; Nicoletta Sabadini (Math. Syst. Theory, 1996)

Span(Graph): A Categorial Algebra of Transition Systems. - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (AMAST, 1997)

Representing Place/Transition Nets in Span(Graph). - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (AMAST, 1997)

Minimal Realization in Bicategories of Automata. - Robert D. Rosebrugh; Nicoletta Sabadini; Robert F. C. Walters (Math. Struct. Comput. Sci., 1998)

A Formalization of the IWIM Model. - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (COORDINATION, 2000)

On Automata with Boundary - R. Gates; Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (CoRR, 2000)

P Systems with Gemmation of Mobile Membranes. - Daniela Besozzi; Claudio Zandron; Giancarlo Mauri; Nicoletta Sabadini (ICTCS, 2001)

Comparing cospan-spans and tiles via a Hoare-style process calculus. - Fabio Gadducci; Piergiulio Katis; Ugo Montanari; Nicoletta Sabadini; Robert F. C. Walters (TOSCA, 2001)

Feedback, trace and fixed-point semantics. - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (RAIRO Theor. Informatics Appl., 2002)

Timing in the Cospan-Span Model. - Alessandra Cherubini; Nicoletta Sabadini; Robert F. C. Walters (COMETA, 2003)

Compositional Minimization in Span(Graph): Some Examples. - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (COMETA, 2003)

Hierarchical Automata and P-systems. - Nicoletta Sabadini; Robert F. C. Walters (CATS, 2003)

Minimisation and minimal realisation in Span(Graph). - Robert D. Rosebrugh; Nicoletta Sabadini; Robert F. C. Walters (Math. Struct. Comput. Sci., 2004)

Calculating Colimits Compositionally. - Robert D. Rosebrugh; Nicoletta Sabadini; Robert F. C. Walters (Concurrency, Graphs and Models, 2008)

An algebra of automata which includes both classical and quantum entities - Luisa de Francesco Albasini; Nicoletta Sabadini; Robert F. C. Walters (CoRR, 2009)

An Algebra of Automata That Includes Both Classical and Quantum Entities. - Luisa de Francesco Albasini; Nicoletta Sabadini; Robert F. C. Walters (QPL@MFPS, 2009)

The Compositional Construction of Markov Processes. - Luisa de Francesco Albasini; Nicoletta Sabadini; Robert F. C. Walters (Appl. Categorical Struct., 2011)

Tangled Circuits - Robert D. Rosebrugh; Nicoletta Sabadini; Robert F. C. Walters (CoRR, 2011)

The compositional construction of Markov processes II. - Luisa de Francesco Albasini; Nicoletta Sabadini; Robert F. C. Walters (RAIRO Theor. Informatics Appl., 2011)

Obituary Alberto Bertoni (1946-2014). - Giancarlo Mauri; Nicoletta Sabadini (Bull. EATCS, 2014)

Blocked-Braid Groups. - D. Maglia; Nicoletta Sabadini; Robert F. C. Walters (Appl. Categorical Struct., 2015)

Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. - Alessandro Gianola; Stefano Kasangian; Nicoletta Sabadini (CALCO, 2017)

On the geometry and algebra of networks with state. - Nicoletta Sabadini; Filippo Schiavio; Robert F. C. Walters (Theor. Comput. Sci., 2017)

Compositional Modeling of Biological Systems in CospanSpan(Graph). - Alessandro Gianola; Stefano Kasangian; Desiree Manicardi; Nicoletta Sabadini; Simone Tini (ICTCS, 2020)

CospanSpan(Graph): a Compositional Description of the Heart System. - Alessandro Gianola; Stefano Kasangian; Desiree Manicardi; Nicoletta Sabadini; Filippo Schiavio; Simone Tini (Fundam. Informaticae, 2020)

A Canonical Algebra of Open Transition Systems. - Elena Di Lavore; Alessandro Gianola; Mario Román; Nicoletta Sabadini; Pawel Sobocinski 001 (FACS, 2021)

Theoretical Computer Science in Italy. - Alessandra Cherubini; Nicoletta Sabadini; Simone Tini (Theor. Comput. Sci., 2021)

Span(Graph): a canonical feedback algebra of open transition systems. - Elena Di Lavore; Alessandro Gianola; Mario Román; Nicoletta Sabadini; Pawel Sobocinski 001 (Softw. Syst. Model., 2023)