Graph Representation and Computation Rules for Typeless Recursive Languages. - Giuliano Pacini; Carlo Montangero; Franco Turini (ICALP, 1974)

A model for structured parallel processing in block-structured programming languages. - Carlo Montangero; Giuliano Pacini; Franco Turini (Symposium on Programming, 1974)

An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers. - Carlo Montangero (IEEE Trans. Computers, 1974)

MAGMA-LISP: A "Machine Language" For Artificial Intelligence. - Carlo Montangero; Giuliano Pacini; Franco Turini (IJCAI, 1975)

A High Level Machine for Artificial Intelligence. - Giuseppe Attardi; Carlo Montangero; Gianfranco Prini (AISB (ECAI), 1976)

Two-Level Control Structure for Nondeterministic Programming. - Carlo Montangero; Giuliano Pacini; Franco Turini (Commun. ACM, 1977)

Information Management in Context Trees. - Carlo Montangero; Giuliano Pacini; Maria Simi; Franco Turini (Acta Informatica, 1978)

The use of Ada in the design of distributed systems. - Paola Inverardi; Franco Mazzanti; Carlo Montangero (SIGAda, 1985)

Automatic generation of execution tools in a GANDALF environment. - Vincenzo Ambriola; Carlo Montangero (J. Syst. Softw., 1985)

Is Type Checking Practical for System Configuration? - Paola Inverardi; Simone Martini 001; Carlo Montangero (TAPSOFT, Vol.2, 1989)

Software processes as a hierarchy. - Vincenzo Ambriola; Paolo Ciancarini; Carlo Montangero (ISPW, 1990)

The Logic Language ESP and its Programming Environment. - Vincenzo Ambriola; Paolo Ciancarini; Carlo Montangero (LPE, 1990)

Software process enactment in Oikos. - Vincenzo Ambriola; Paolo Ciancarini; Carlo Montangero (SDE, 1990)

Hierarchical specification of software processes in Oikos. - Vincenzo Ambriola; Carlo Montangero (ISPW, 1991)

OIKOS at the Age of Three. - Vincenzo Ambriola; Carlo Montangero (EWSPT, 1992)

Modeling the Software Development Process. - Vincenzo Ambriola; Carlo Montangero (Advances in Software Engineering and Knowledge Engineering, 1993)

The Oikos Services for Object Management in the Software Process. - Vincenzo Ambriola; Giovanni A. Cignoni; Carlo Montangero (EWSPT, 1994)

The "process in the tool syndrome": is it becoming worse? - Carlo Montangero (ISPW, 1994)

Software Process Monitoring Mechanisms in Oikos. - Carlo Montangero; Franco Scarselli (Int. J. Softw. Eng. Knowl. Eng., 1994)

ESP-MC: An Experiment in the Use of Verification Tools. - Xiaojun Chen; Paola Inverardi; Carlo Montangero (ASIAN, 1995)

Open Issues in the Design of PM Languages. - Carlo Montangero (EWSPT, 1995)

In Favour of a Coherent Process Coding Language. - Carlo Montangero (EWSPT, 1995)

Compositional Refinements in Multiple Blackboard Systems. - X. J. Chen; Carlo Montangero (Acta Informatica, 1995)

Refining by architectural styles or architecting by refinements. - Carlo Montangero; Laura Semini (ISAW/Viewpoints@FSE, 1996)

Report on the Fifth European Workshop on Software Process Technology. - Carlo Montangero (Softw. Process. Improv. Pract., 1996)

Composing Specifications for Coordination. - Carlo Montangero; Laura Semini (COORDINATION, 1999)

Software Process - Standards, Assessments and Improvement. - Wolfgang Emmerich; Anthony Finkelstein; Alfonso Fuggetta; Carlo Montangero; Jean-Claude Derniame (Software Process: Principles, Methodology, Technology, 1999)

The Software Process: Modelling and Technology. - Carlo Montangero; Jean-Claude Derniame; Badara Ali Kaba; Brian Warboys (Software Process: Principles, Methodology, Technology, 1999)

The Human Dimension of the Software Process. - David Graham Wastell; Selma Arbaoui; Jacques Lonchamp; Carlo Montangero (Software Process: Principles, Methodology, Technology, 1999)

A Refinement Calculus for Tuple Spaces. - Laura Semini; Carlo Montangero (Sci. Comput. Program., 1999)

Managing Standards Compliance. - Wolfgang Emmerich; Anthony Finkelstein; Carlo Montangero; Stefano Antonelli; Stephen Armitage; Richard Stevens (IEEE Trans. Software Eng., 1999)

Mobile Agents Coordination in Mobadtl. - Gian-Luigi Ferrari 002; Carlo Montangero; Laura Semini; Simone Semprini (COORDINATION, 2000)

A UML Profile to Support the Formal Presentation of Software Architecture. - Amjad Hudaib; Carlo Montangero (COMPSAC, 2002)

istributed States Logic. - Carlo Montangero; Laura Semini (TIME, 2002)

Mark, a Reasoning Kit for Mobility. - Gian-Luigi Ferrari 002; Carlo Montangero; Laura Semini; Simone Semprini (Autom. Softw. Eng., 2002)

Distributed States Temporal Logic - Carlo Montangero; Laura Semini (CoRR, 2003)

Logic Based Coordination for Event-Driven Self-healing Distributed Systems. - Carlo Montangero; Laura Semini; Simone Semprini (COORDINATION, 2004)

For-LySa: UML for Authentication Analysis. - Mikael Buchholtz; Carlo Montangero; Lara Perrone; Simone Semprini (Global Computing, 2004)

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. - Mikael Buchholtz; Stephen Gilmore; Valentin Haenel; Carlo Montangero (FM, 2005)

A Logical View of Choreography. - Carlo Montangero; Laura Semini (COORDINATION, 2006)

Logic-Based Detection of Conflicts in AppelPolicies. - Carlo Montangero; Stephan Reiff-Marganiec; Laura Semini (FSEN, 2007)

StPowla: SOA, Policies and Workflows. - Stephen Gorton; Carlo Montangero; Stephan Reiff-Marganiec; Laura Semini (ICSOC Workshops, 2007)

Barbed Model-Driven Software Development: A Case Study. - Carlo Montangero; Laura Semini (TTSS, 2007)

Dynamically Evolvable Dependable Software: From Oxymoron to Reality. - Carlo Ghezzi; Paola Inverardi; Carlo Montangero (Concurrency, Graphs and Models, 2008)

Logic-based Conflict Detection for Distributed Policies. - Carlo Montangero; Stephan Reiff-Marganiec; Laura Semini (Fundam. Informaticae, 2008)

Detecting policy conflicts by model checking UML state machines. - Maurice H. ter Beek; Stefania Gnesi; Carlo Montangero; Laura Semini (ICFI, 2009)

UML Extensions for Service-Oriented Systems. - Howard Foster; László Gönczy; Nora Koch; Philip Mayer; Carlo Montangero; Dániel Varró (Results of the SENSORIA Project, 2011)

Model-Driven Development of Adaptable Service-Oriented Business Processes. - Carlo Montangero; Stephan Reiff-Marganiec; Laura Semini (Results of the SENSORIA Project, 2011)

Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management. - Marco Danelutto; Peter Kilpatrick; Carlo Montangero; Laura Semini (Euro-Par Workshops (1), 2011)

Managing Adaptivity in Parallel Systems. - Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Carlo Montangero; Laura Semini (FMCO, 2011)

Preserving landmark legacy software with the Software Heritage Acquisition Process. - Roberto Di Cosmo; Carlo Montangero; Guido Scatena; Laura Bussi (iPRES, 2021)