| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters |
The compositional construction of Markov processes II.  |
RAIRO - Theor. Inf. and Applic.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters |
An Algebra of Automata That Includes Both Classical and Quantum Entities. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters |
Tangled Circuits |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters |
The Compositional Construction of Markov Processes. |
Applied Categorical Structures |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters |
The compositional construction of Markov processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters |
An algebra of automata which includes both classical and quantum entities |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters |
The compositional construction of Markov processes. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters |
Calculating Colimits Compositionally. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters |
Minimisation and minimal realisation in Span(Graph). |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters |
Timing in the Cospan-Span Model. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
Compositional Minimization in Span(Graph): Some Examples. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Sabadini, Robert F. C. Walters |
Hierarchical Automata and P-systems. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
Feedback, trace and fixed-point semantics. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters |
Comparing cospan-spans and tiles via a Hoare-style process calculus. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Besozzi, Claudio Zandron, Giancarlo Mauri, Nicoletta Sabadini |
P Systems with Gemmation of Mobile Membranes. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
On Automata with Boundary |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
A Formalization of the IWIM Model. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters |
Minimal Realization in Bicategories of Automata. |
Mathematical Structures in Computer Science |
1998 |
DBLP BibTeX RDF |
|
| 1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
Span(Graph): A Categorial Algebra of Transition Systems. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
Representing Place/Transition Nets in Span(Graph). |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters |
A Note on Recursive Functions. |
Mathematical Structures in Computer Science |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Jesi, Giovanni Pighizzini, Nicoletta Sabadini |
Probabilistic Asynchronous Automata. |
Mathematical Systems Theory |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini |
On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters |
A Notion of Refinement for Automata. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alberto Bertoni, Paolo Massazza, Nicoletta Sabadini |
Holonomic Generating Functions and Context Free Languages. |
Int. J. Found. Comput. Sci. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Paola Bonizzoni, Giancarlo Mauri, Giovanni Pighizzini, Nicoletta Sabadini |
Recognizing sets of labelled acyclic graphs. |
Tree Automata and Languages |
1992 |
DBLP BibTeX RDF |
|
| 1 | Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini |
The Complexity of Computing the Number of Strings of Given Length in Context-Free Languages. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini |
Membership Problems for Regular and Context-Free Trace Languages |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Nicoletta Sabadini |
Generating functions of trace languages. |
Bulletin of the EATCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini |
On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages. |
STACS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini |
Computing the Counting Function of Context-Free Languages. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Massimiliano Goldwurm, Nicoletta Sabadini |
Analysis of a Class of Algorithms for Problems on Trace Languages. |
AAECC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini |
Parallel Algorithms and the Classification of Problems. |
WOPPLOT |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini |
Equivalence and Membership Problems for Regular Trace Languages. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, M. Brambilla, Giancarlo Mauri, Nicoletta Sabadini |
An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages. |
MFCS |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Giancarlo Mauri, Nicoletta Sabadini |
A # P-Complete Problem over Arithmetical Trees. |
CAAP |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini |
A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines |
STOC |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")