Concepedia

Hernán Melgratti

HM

7

Publications

350

Citations

7

H-Index

2005

Active since

Affiliations

University of Pisa(Current)

Universidad de Buenos Aires

Hernán Melgratti is an author at University of Pisa specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware DesignProgram AnalysisSoftware AnalysisAutomated ReasoningFormal SpecificationNetwork Analysis

Publications per year

2005–2019

7

Publications

7

Theoretical foundations for compensations in flow composition languages

Roberto Bruni, Hernán Melgratti, Ugo Montanari · 2005 · 200 citations

Engineering, Transactional Calculi, Transaction Processing +16

Connector algebras for C/E and P/T nets' interactions

Roberto Bruni, Hernán Melgratti, Ugo Montanari et al. · Logical Methods in Computer Science · 2013 · 40 citations · Full text

Petri Net, Engineering, Automated Reasoning +15

Modelling Dynamic Software Architectures using Typed Graph Grammars

Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi et al. · Electronic Notes in Theoretical Computer Science · 2008 · 37 citations · Full text

Proceedings of the 24th international conference on Concurrency Theory

Pedro R. D’Argenio, Hernán Melgratti · 2013 · 27 citations

Engineering, Concurrency Theory, Parallel Programming +3

Theoretical foundations for compensations in flow composition languages

Roberto Bruni, Hernán Melgratti, Ugo Montanari · ACM SIGPLAN Notices · 2005 · 25 citations

Engineering, Transactional Calculi, Transaction Processing +16

Rows per page

1–5 of 7