Refinar búsqueda

Fecha de publicación

Disciplinas

Tipo de documento

Artículos

10

Tipo de acceso

Idioma

Inglés

10

Autor

Palabras clave

Buscar

Filtros

Use los filtros para refinar su búsqueda.

Filtro actual:


Nuevo filtro:

Autor:Melgratti, Hernan Claudio X

Mostrando 10 de un total de 10 resultados para la colección: Articulos(ICC). (0.02 segundos)

Mostrando ítems 1-10 de 10

Artículo

Chaperone contracts for higher-order sessions

Melgratti, Hernan Claudio ; Padovani, Luca (ACM, 2017-08)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Event structures for Petri nets with persistence

Baldan, Paolo ; Bruni, Roberto Hector ; Corradini, Andrea ; Gadducci, Fabio ; Melgratti, Hernan Claudio ; Montanari, Ugo (Tech Univ Braunschweig, 2018-09)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Concurrency and Probability: Removing Confusion, Compositionally

Bruni, Roberto Hector ; Melgratti, Hernan Claudio ; Montanari, Ugo (Tech Univ Braunschweig, 2019-12)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

A categorical account of replicated data types

Gadducci, Fabio ; Melgratti, Hernan Claudio ; Roldán, Christian Hugo ; Sammartino, Matteo (Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2019-12)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Bayesian network semantics for Petri nets

Bruni, Roberto ; Melgratti, Hernan Claudio ; Montanari, Ugo (Elsevier Science, 2020-02)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Reversing place transition nets

Melgratti, Hernan Claudio ; Mezzina, Claudio Antares ; Ulidowski, And Irek (Tech Univ Braunschweig, 2020-10)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

On Resolving Non-determinism in Choreographies

Bocchi, Laura ; Melgratti, Hernan Claudio ; Tuosto, Emilio (Tech Univ Braunschweig, 2020-09)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Probabilistic analysis of binary sessions

Inverso, Omar ; Melgratti, Hernan Claudio ; Padovani, Luca ; Trubiani, Catia ; Tuosto, Emilio (Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020-08)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

A Petri net view of covalent bonds

Melgratti, Hernan Claudio ; Mezzina, Claudio Antares ; Pinna, G. Michele (Elsevier Science, 2022-03)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Multiparty testing preorders

De Nicola, Rocco ; Melgratti, Hernan Claudio (Technische Universität Braunschweig, 2023-03)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas

Mostrando ítems 1-10 de 10