Fabrizio Montesi
Orcid: 0000-0003-4666-901XAffiliations:
- University of Southern Denmark, Department of Mathematics and Computer Science, Odense, Denmark
According to our database1,
Fabrizio Montesi
authored at least 99 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on github.com
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Program. Lang. Syst., March, 2024
Art Sci. Eng. Program., 2024
CoRR, 2024
2023
Sci. Comput. Program., June, 2023
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
Proceedings of the Service-Oriented and Cloud Computing, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Proceedings of the Coordination Models and Languages, 2023
Proceedings of the Coordination Models and Languages, 2023
2022
Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022
Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022
Proceedings of the Logic-Based Program Synthesis and Transformation, 2022
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.
Proceedings of the Coordination Models and Languages, 2022
2021
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes.
CoRR, 2021
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.
CoRR, 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.
Proceedings of the Coordination Models and Languages, 2021
Proceedings of the IEEE International Conference on Services Computing, 2021
2020
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the Coordination Models and Languages, 2019
Proceedings of the 2019 IEEE International Conference on Services Computing, 2019
2018
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018
2017
Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Proceedings of the Distributed Applications and Interoperable Systems, 2017
Proceedings of the Present and Ulterior Software Engineering., 2017
Proceedings of the Present and Ulterior Software Engineering., 2017
2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016
2015
Sci. Comput. Program., 2015
J. Internet Serv. Inf. Secur., 2015
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015
Proceedings of the Software, 2015
2014
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns.
Proceedings of the Distributed Computing and Artificial Intelligence, 2014
Proceedings of the Coordination Models and Languages, 2014
Proceedings of the Web Services Foundations, 2014
2013
Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
2012
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012
Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012
2011
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011
2010
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009
2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the ECOWS 2008, 2008
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008
2007
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007
2006
Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006