"Building partial differential equations models using cell-devs" (2019) Wainer, G.; Ruiz-Martín, C.; Castro, R. 2018 Winter Simulation Conference, WSC 2018. 2018-December:1382-1393

"Logics of repeating values on data trees and branching counter systems" (2017) Abriola, S.;Figueira, D.;Figueira, S. (...)Murawski A.S. 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017. 10203 LNCS:196-212

"A normal form for stateful connectors" (2015) Bruni, R.;Melgratti, H.;Montanari, U. (...)Marti-Oliet N. Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015. 9200:205-227

"Connector algebras for C/E and P/T nets' interactions" (2013) Bruni, R.; Melgratti, H.; Montanaric, U.; Sobociński, P.L. Logical Methods in Computer Science. 9(3)

"Connector algebras, Petri nets, and BIP" (2012) Bruni, R.; Melgratti, H.; Montanari, U. 8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011. 7162 LNCS:19-38

"A connector algebra for P/T nets interactions" (2011) Bruni, R.; Melgratti, H.; Montanari, U. 22nd Conference on Concurrency Theory, CONCUR 2011. 6901 LNCS:312-326

"Linear time analysis of properties of conflict-free and general Petri nets" (2011) Alimonti, P.; Feuerstein, E.; Laura, L.; Nanni, U. Theoretical Computer Science. 412(4-5):320-338

"Linear time analysis of properties of conflict-free and general Petri nets" (2011) Alimonti, P.; Feuerstein, E.; Laura, L.; Nanni, U. Theoretical Computer Science. 412(4-5):320-338

"Synchronous multiparty synchronizations and transactions" (2008) Lanese, I.; Melgratti, H. Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. 5065 LNCS:76-95

"VTS-based specification and verification of behavioral properties of AADL models" (2008) Monteverde, D.; Olivero, A.; Yovine, S.; Braberman, V. 1st International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008. 503:23-37

"A formal design notation for real-time systems" (2002) Felder, M.; Pezzè, M. ACM Transactions on Software Engineering and Methodology. 11(2):149-190