Fabrizio Montesi
According to our database1,
Fabrizio Montesi
authored at least 68 papers
between 2007 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2021
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
Electron. Notes Theor. Comput. Sci., 2007
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007