| 2024 | ITiCSE | Teaching Programming in the Age of Generative AI. | Simone Martini |
| 2024 | ITiCSE | Big Ideas of Cryptography in Primary School. | Michael Lodi, Maria Cristina Carrisi, Simone Martini |
| 2022 | ITiCSE | Cryptography in Grade 10: Core Ideas with Snap! and Unplugged. | Michael Lodi, Marco Sbaraglia, Simone Martini |
| 2021 | ITiCSE | The Good, The Bad, and The Ugly of a Synchronous Online CS1. | Marco Sbaraglia, Michael Lodi, Stefano Pio Zingaro, Simone Martini |
| 2016 | CiE | Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract. | Simone Martini |
| 2016 | ISoLA | A Toolchain for Delta-Oriented Modeling of Software Product Lines. | Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vtor Rodrigues, Sven Schuster |
| 2011 | ICRA | Decentralized classification in societies of autonomous and heterogenous robots. | Simone Martini, Adriano Fagiolini, Giancarlo Zichittella, Magnus Egerstedt, Antonio Bicchi |
| 2010 | IROS | A self-routing protocol for distributed consensus on logical information. | Adriano Fagiolini, Simone Martini, Davide Di Baccio, Antonio Bicchi |
| 2009 | ICALP | On Constructor Rewrite Systems and the Lambda-Calculus. | Ugo Dal Lago, Simone Martini |
| 2009 | ICRA | A switching active sensing strategy to maintain observability for vision-based formation control. | Gian Luca Mariottini, Simone Martini, Magnus Egerstedt |
| 2006 | CiE | An Invariant Cost Model for the Lambda Calculus. | Ugo Dal Lago, Simone Martini |
| 2000 | POPL | (Optimal) Duplication is not Elementary Recursive. | Andrea Asperti, Paolo Coppola, Simone Martini |
| 1989 | ICLP | Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. | Andrea Asperti, Simone Martini |
| 1984 | STACS | Computability in Higher Types and the Universal Domain P_omega. | Giuseppe Longo, Simone Martini |