| 2011 | EuroPar | Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. | Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini |
| 2007 | ICSOC | StPowla: SOA, Policies and Workflows. | Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini |
| 2006 | Coordination | A Logical View of Choreography. | Carlo Montangero, Laura Semini |
| 2005 | FM | End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. | Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
| 2004 | Coordination | Logic Based Coordination for Event-Driven Self-healing Distributed Systems. | Carlo Montangero, Laura Semini, Simone Semprini |
| 2002 | COMPSAC | A UML Profile to Support the Formal Presentation of Software Architecture. | Amjad Hudaib, Carlo Montangero |
| 2002 | TIME | istributed States Logic. | Carlo Montangero, Laura Semini |
| 2000 | Coordination | Mobile Agents Coordination in Mob | Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini |
| 1999 | Coordination | Composing Specifications for Coordination. | Carlo Montangero, Laura Semini |
| 1992 | ESOP | Compositional Refinements in Multiple Blackboard Systems. | X. J. Chen, Carlo Montangero |
| 1976 | ECAI | A High Level Machine for Artificial Intelligence. | Giuseppe Attardi, Carlo Montangero, Gianfranco Prini |
| 1975 | IJCAI | MAGMA-LISP: A "Machine Language" For Artificial Intelligence. | Carlo Montangero, Giuliano Pacini, Franco Turini |
| 1974 | ICALP | Graph Representation and Computation Rules for Typeless Recursive Languages. | Giuliano Pacini, Carlo Montangero, Franco Turini |