According to our database1, Marco Peressotti authored at least 35 papers between 2013 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020), 2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Proceedings of the Graph Transformation - 13th International Conference, 2020
Proc. ACM Program. Lang., 2019
Proceedings of the Coordination Models and Languages, 2019
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
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation.
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Structural operational semantics for non-deterministic processes with quantitative aspects.
Theor. Comput. Sci., 2016
Bull. IEEE Tech. Comm. Digit. Libr., 2016
Proceedings of the Digital Libraries and Multimedia Archives, 2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
J. Log. Algebraic Methods Program., 2015
Proceedings of the Coordination Models and Languages, 2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014
Proceedings of the Distributed Applications and Interoperable Systems, 2014