Hernán C. Melgratti
Orcid: 0000-0003-0760-0618Affiliations:
- University of Pisa, Italy
According to our database1,
Hernán C. Melgratti
authored at least 62 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on di.unipi.it
On csauthors.net:
Bibliography
2024
ACM Trans. Comput. Log., 2024
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
2023
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Theor. Comput. Sci., 2022
2021
Proceedings of the Reversible Computation - 13th International Conference, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Proceedings of the Reversible Computation - 12th International Conference, 2020
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020
Proceedings of the Coordination Models and Languages, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
Log. Methods Comput. Sci., 2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Sci. Comput. Program., 2018
2017
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017
Proceedings of the Coordination Models and Languages, 2017
2016
Proceedings of the Coordination Models and Languages, 2016
2015
Serv. Oriented Comput. Appl., 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Log. Methods Comput. Sci., 2013
2011
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Perspectives of Systems Informatics, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
2010
Proceedings of the Proceedings Foundations for Interface Technologies, 2010
2009
Proceedings of the Programming Languages and Systems, 2009
2008
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
Proceedings of the Concurrency, 2008
2007
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
2003
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003