E-LIB Suche - Ergebnisse für: Sabadini, Nicoletta - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Span(Graph): a canonical feedback algebra of open transitio..:

Di Lavore, Elena ; Gianola, Alessandro ; Román, Mario..
Software and Systems Modeling. 22 (2023) 2 - p. 495-520 , 2023

Link: https://doi.org/10.1007/..

2

Theoretical Computer Science in Italy:

Cherubini, Alessandra ; Sabadini, Nicoletta ; Tini, Simone
Theoretical Computer Science. 864 (2021) - p. 138 , 2021

Link: https://doi.org/10.1016/..

3

A Canonical Algebra of Open Transition Systems:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Di Lavore, Elena ; Gianola, Alessandro ; Román, Mario.. - p. 63-81 , 2021

Link: https://doi.org/10.1007/..

4

The Compositional Construction of Markov Processes:

de Francesco Albasini, Luisa ; Sabadini, Nicoletta ; Walters, Robert F. C.
Applied Categorical Structures. 19 (2010) 1 - p. 425-437 , 2010

Link: https://doi.org/10.1007/..

5

Minimisation and minimal realisation in Span(Graph):

ROSEBRUGH, ROBERT ; SABADINI, NICOLETTA ; WALTERS, ROBERT F. C.
Mathematical Structures in Computer Science. 14 (2004) 5 - p. 685-714 , 2004

Link: https://doi.org/10.1017/..

6

Comparing cospan-spans and tiles via a Hoare-style process ..:

Gadducci, Fabio ; Katis, Piergiulio ; Montanari, Ugo..
Electronic Notes in Theoretical Computer Science. 62 (2002) - p. 157-176 , 2002

Link: https://doi.org/10.1016/..

7

The complexity of computing the number of strings of given ..:

Bertoni, Alberto ; Goldwurm, Massimiliano ; Sabadini, Nicoletta
Theoretical Computer Science. 86 (1991) 2 - p. 325-342 , 1991

Link: https://doi.org/10.1016/..

8

A characterization of the class of functions computable in ..:

, In: Proceedings of the thirteenth annual ACM symposium on Theory of computing,

Bertoni, Alberto ; Mauri, Giancarlo ; Sabadini, Nicoletta - p. 168-176 , 1981

Link: https://dl.acm.org/doi/1..

9

Span(Graph): a Canonical Feedback Algebra of Open Transitio..:

Di Lavore, Elena ; Gianola, Alessandro ; Román, Mario..
http://arxiv.org/abs/2010.10069. , 2020

Link: http://arxiv.org/abs/201..

10

Cospan/Span(Graph): an Algebra for Open, Reconfigurable Aut..:

Gianola, Alessandro ; Kasangian, Stefano ; Sabadini, Nicoletta
doi:10.4230/LIPIcs.CALCO.2017.2. , 2017

Link: https://doi.org/10.4230/..

11

Calculating Colimits Compositionally:

ROSEBRUGH R ; SABADINI, NICOLETTA ; WALTERS, ROBERT FRANK CARSLAW
info:eu-repo/semantics/altIdentifier/isbn/9783540686767. , 2008

Link: http://hdl.handle.net/11..

12

Generic commutative separable algebras and cospans of graph:

R. ROSEBRUGH ; SABADINI, NICOLETTA ; WALTERS, ROBERT FRANK CARSLAW
volume:15. , 2005

Link: http://hdl.handle.net/11..

13

Compositional minimization in Span(Graph):Some examples:

P. KATIS ; SABADINI, NICOLETTA ; WALTERS, ROBERT FRANK CARSLAW
volume:104C. , 2004

Link: http://hdl.handle.net/11..

14

Comparing cospan-spans and tiles via a Hoare-style process ..:

Gadducci, Fabio ; Katis, Piergiulio ; Montanari, Ugo..
url:https://www.openaccessrepository.it/communities/itmirror. , 2002

Link: https://www.openaccessre..

15

LIST OF CONTRIBUTORS:

, In: Autoantibodies,

Abu-Shakra, Mahmoud ; Achiron, Anat ; Alderuccio, Frank... - p. xxiii-xxxi , 2007

Link: https://doi.org/10.1016/..

1-15