Marco Peressotti
According to our database^{1},
Marco Peressotti
authored at least 35 papers
between 2013 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
CoRR, 2021
CoRR, 2021
2020
CoRR, 2020
CoRR, 2020
Proceedings of the SOFSEM 2020 Doctoral Student Research Forum colocated 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
2019
Proc. ACM Program. Lang., 2019
Log. Methods Comput. Sci., 2019
CoRR, 2019
Proceedings of the Coordination Models and Languages, 2019
2018
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018
CoRR, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
2017
CoRR, 2017
CoRR, 2017
CoRR, 2017
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation.
CoRR, 2017
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 colocated with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
2016
Structural operational semantics for nondeterministic processes with quantitative aspects.
Theor. Comput. Sci., 2016
Bull. IEEE Tech. Comm. Digit. Libr., 2016
CoRR, 2016
CoRR, 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
2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the Coordination Models and Languages, 2015
2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
CoRR, 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
2013
CoRR, 2013