Merging Control-Flow and Data-Flow Descriptions of Structured Systems in a Unique Notation. - Marco Maiocchi; Roberto Polillo (GI Jahrestagung, 1975)

Organizing tests during software evolution. - A. Cicu; Marco Maiocchi; Roberto Polillo; A. Sardoni (Reliable Software, 1975)

Extension of Precompilers for Evaluation of Program Tests. - Marco Maiocchi (International Computing Symposium, 1977)

Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars. - Adriana Bicego; M. Jacobone; Marco Maiocchi; U. Poggi (IFIP Congress, 1986)

Reengineering: Can a Program Put Intelligence in Stupid Programs? - Marco Maiocchi (ICSE, 1990)

Software engineering. - Marco Maiocchi (Future Gener. Comput. Syst., 1991)

Applying software reliability models to a large industrial dataset. - Gualtiero Bazzana; G. Zontini; G. Damele; Marco Maiocchi; Massimo Giunchi (Inf. Softw. Technol., 1993)

Designing formal attributes and user experience in public services. - Marco Maiocchi; Margherita Pillan (DPPI, 2011)

Towards Automatic and Unobtrusive Recognition of Primary-Process Emotions in Body Postures. - Marko Radeta; Marco Maiocchi (ACII, 2013)

Flexible robotic strategy for the assembly of ring-shaped elastic objects. - Andrea Monguzzi; Marco Maiocchi; Andrea Maria Zanchettin; Paolo Rocco (ISM, 2021)