HERNAN CLAUDIO MELGRATTI

Datos académicos

Lugar de trabajo	CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS / OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA / INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION \| UNIVERSIDAD DE BUENOS AIRES / FACULTAD DE CIENCIAS EXACTAS Y NATURALES / INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Título	PH. D. EN INGENIERIA
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Ciencia y cultura-Ciencia y tecnologia
Especialidad	COMPOSICION DE SERVICIOS

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-19 de 19

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)
Artículo A formal analysis of the global sequence protocol

Melgratti, Hernan Claudio ; Roldán, Christian Hugo (Springer, 2016-05)
Artículo A normal form for stateful connectors

Bruni, Roberto; Melgratti, Hernan Claudio ; Montanari, Ugo (Springer, 2015-08)
Artículo A Petri net view of covalent bonds

Melgratti, Hernan Claudio ; Mezzina, Claudio Antares; Pinna, G. Michele (Elsevier Science, 2022-03)
Artículo A Reversible Perspective on Petri Nets and Event Structures

Melgratti, Hernan Claudio ; Antares Mezzina, Claudio; Pinna, G. Michele (Association for Computing Machinery, 2024-10)
Artículo A Truly Concurrent Semantics for Reversible CCS

Melgratti, Hernan Claudio ; Mezzina, Claudio Antares; Pinna, G. Michele (Technische Universität Braunschweig, 2024-12)
Artículo Bayesian network semantics for Petri nets

Bruni, Roberto; Melgratti, Hernan Claudio ; Montanari, Ugo (Elsevier Science, 2020-02)
Artículo Behaviour, Interaction and Dynamics

Bruni, Roberto; Melgratti, Hernan Claudio ; Montanari, Ugo (Springer, 2014-04)
Artículo Chaperone contracts for higher-order sessions

Melgratti, Hernan Claudio ; Padovani, Luca (ACM, 2017-08)
Artículo CJoin: Join with communicating transactions

Bruni, Roberto; Melgratti, Hernan Claudio ; Montanari, Ugo (Cambridge University Press, 2015-03)
Artículo Concurrency and Probability: Removing Confusion, Compositionally

Bruni, Roberto Hector; Melgratti, Hernan Claudio ; Montanari, Ugo (Tech Univ Braunschweig, 2019-12)
Artículo Connector algebras for C/E and P/T nets' interactions

Bruni, Roberto; Melgratti, Hernan Claudio ; Montanari, Ugo; Soboscinski, Pawel (Logical Methods in Computer Science e.V., 2013-09-17)
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)
Artículo Multiparty testing preorders

De Nicola, Rocco; Melgratti, Hernan Claudio (Technische Universität Braunschweig, 2023-03)
Artículo On Resolving Non-determinism in Choreographies

Bocchi, Laura; Melgratti, Hernan Claudio ; Tuosto, Emilio (Tech Univ Braunschweig, 2020-09)
Artículo On the behaviour of general purpose applications on cloud storages

Bocchi, Laura; Melgratti, Hernan Claudio (Springer London Ltd, 2015-09)
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)
Artículo Resolving Non-determinism in Choreographies

Bocchi, Laura; Melgratti, Hernan Claudio ; Tuosto, Emilio (Springer, 2014-04)
Artículo Reversing place transition nets

Melgratti, Hernan Claudio ; Mezzina, Claudio Antares; Ulidowski, And Irek (Tech Univ Braunschweig, 2020-10)

Mostrando ítems 1-19 de 19