A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems. - Marco Danelutto; Andrea Masini (CSL, 1988)

2-Sequent Calculus: A Proof Theory of Modalities. - Andrea Masini (Ann. Pure Appl. Log., 1992)

Implementation of a synchronous communication in a loosely coupled system: A correctness proof. - Andrea Masini; Marco Danelutto (Future Gener. Comput. Syst., 1992)

TTL: A formalism to describe local and global properties of distributed systems. - Andrea Masini; Andrea Maggiolo-Schettini (RAIRO Theor. Informatics Appl., 1992)

2-Sequent Calculus: Intuitionism and Natural Deduction. - Andrea Masini (J. Log. Comput., 1993)

A Modal View of Linear Logic. - Simone Martini 001; Andrea Masini (J. Symb. Log., 1994)

Parallelizing A Model Checker. - Marco Danelutto; G. Di Caprio; Andrea Masini (PDPTA, 1996)

Experiments in Linear Natural Deduction. - Simone Martini 001; Andrea Masini (Theor. Comput. Sci., 1997)

An Analysis of (Linear) Exponentials Based on Extended Sequents. - Stefano Guerrini; Simone Martini 001; Andrea Masini (Log. J. IGPL, 1998)

Parsing MELL proof nets. - Stefano Guerrini; Andrea Masini (Theor. Comput. Sci., 2001)

Proof nets, garbage, and computations. - Stefano Guerrini; Simone Martini 001; Andrea Masini (Theor. Comput. Sci., 2001)

A proof-theoretic investigation of a logic of positions. - Stefano Baratella; Andrea Masini (Ann. Pure Appl. Log., 2003)

Coherence for sharing proof-nets. - Stefano Guerrini; Simone Martini 001; Andrea Masini (Theor. Comput. Sci., 2003)

An approach to infinitary temporal proof theory. - Stefano Baratella; Andrea Masini (Arch. Math. Log., 2004)

A Way of Making World Quantification Explicit. - Stefano Baratella; Andrea Masini (Log. J. IGPL, 2004)

An infinitary variant of Metric Temporal Logic over dense time domains. - Stefano Baratella; Andrea Masini (Math. Log. Q., 2004)

Video Sequence Stabilization for Real-Time Remote Sensing Applications. - Giovanni Corsini; Marco Diani; Andrea Masini (IGARSS, 2006)

Evaluation of Multispectral Image Fusion Methods in Real Time Monitoring Applications. - Giovanni Corsini; Marco Diani; Andrea Masini (IGARSS, 2006)

Continuations, proofs and tests - Stefano Guerrini; Andrea Masini (CoRR, 2006)

A note on unbounded metric temporal logic over dense time domains. - Stefano Baratella; Andrea Masini (Math. Log. Q., 2006)

Sight enhancement through video fusion in a surveillance system. - Andrea Masini; Francesco Branchitta; Marco Diani; Giovanni Corsini (ICIAP, 2007)

Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power - Ugo Dal Lago; Andrea Masini; Margherita Zorzi (CoRR, 2007)

A Qualitative Modal Representation of Quantum Register Transformations. - Andrea Masini; Luca Viganò 001; Margherita Zorzi (ISMVL, 2008)

COSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea. - Francesco Nirchio; Gianfranco Pandiscia; Giovanni Ruggieri; Rosalia Santoleri; Francesco Tataranni; Consorzio Innova; Paolo Trivero; Nadia Pinardi; Andrea Masini; Chiara Castellani (IGARSS (2), 2009)

A Labeled Natural Deduction System for a Fragment of CTL*. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (LFCS, 2009)

Confluence Results for a Quantum Lambda Calculus with Measurements. - Ugo Dal Lago; Andrea Masini; Margherita Zorzi (QPL@MFPS, 2009)

A History of Until. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (M4M, 2009)

On a measurement-free quantum lambda calculus with classical control. - Ugo Dal Lago; Andrea Masini; Margherita Zorzi (Math. Struct. Comput. Sci., 2009)

ERP Competence-Building Mechanisms: An Exploratory Investigation of Configurations of ERP Adopters in the European and U.S. Manufacturing Sectors. - Andrea Masini; Luk N. Van Wassenhove (Manuf. Serv. Oper. Manag., 2009)

Analysis of Multiresolution-Based Fusion Strategies for a Dual Infrared System. - Andrea Masini; Giovanni Corsini; Marco Diani; Marco Cavallini (IEEE Trans. Intell. Transp. Syst., 2009)

Proofs, tests and continuation passing style. - Stefano Guerrini; Andrea Masini (ACM Trans. Comput. Log., 2009)

Contribution of Cosmo/SkyMed data into PRIMI: A pilot project on marine oil pollution. results after one year of operations. - Francesco Nirchio; Gianfranco Pandiscia; Giovanni Ruggieri; Rosalia Santoleri; Nadia Pinardi; Paolo Trivero; Chiara Castellani; Francesco Tataranni; Andrea Masini; Maria Adamo; R. Archetti; Walter Biamino; et al. (IGARSS, 2010)

Back from the future. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (J. Appl. Non Class. Logics, 2010)

Quantum implicit computational complexity. - Ugo Dal Lago; Andrea Masini; Margherita Zorzi (Theor. Comput. Sci., 2010)

Labelled natural deduction for a bundled branching temporal logic. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (J. Log. Comput., 2011)

Modal Deduction Systems for Quantum State Transformations. - Andrea Masini; Luca Viganò 001; Margherita Zorzi (J. Multiple Valued Log. Soft Comput., 2011)

Web tools for performance analysis and planning support for solar energy plants (PV, CSP, CPV) starting from remotely sensed optical images. - Marco Morelli; Fabrizio Ruffini; Andrea Masini; Marco Alberto Carlo Potenza (EnviroInfo, 2013)

A natural deduction system for bundled branching time logic. - Stefano Baratella; Andrea Masini (J. Appl. Non Class. Logics, 2013)

A Logical Framework for XML Reference Specification. - Carlo Combi; Andrea Masini; Barbara Oliboni; Margherita Zorzi (DEXA (2), 2015)

Real-time algorithm for video fusion evaluation: Application to surveillance system based on UAV platform. - Andrea Masini; Marco Maffei; Andrea Bracci; Pier Antonio Catella; Sergio Benco (RTSI, 2015)

Towards A Theory Of Quantum Computability. - Stefano Guerrini; Simone Martini 001; Andrea Masini (CoRR, 2015)

Experimental tests and radiometric calculations for the feasibility of fluorescence LIDAR-based discrimination of oil spills from UAV. - Valentina Raimondi; Lorenzo Palombi; David Lognoli; Andrea Masini; Emilio Simeone (Int. J. Appl. Earth Obs. Geoinformation, 2017)

Quantum Turing Machines Computations and Measurements. - Stefano Guerrini; Simone Martini 001; Andrea Masini (CoRR, 2017)

A hybrid logic for XML reference constraints. - Carlo Combi; Andrea Masini; Barbara Oliboni; Margherita Zorzi (Data Knowl. Eng., 2018)

Adaptive Information Processing and Distribution to Support Command and Control in Situations of Disadvantaged Battlefield Network Connectivity. - Harrie Bastiaansen; Casper van den Broek; Thomas Kudla; Anthony W. Isenor; Sean Webb; Niranjan Suri; Andrea Masini; Caglar Bilir; Mustafa Cocelli (ICMCIS, 2019)

A Logic for Quantum Register Measurements. - Andrea Masini; Margherita Zorzi (Axioms, 2019)

Impact of IT offerings strategies and IT integration capability on IT vendor value creation. - Federica Ceci; Andrea Masini; Andrea Prencipe (Eur. J. Inf. Syst., 2019)

Federated Control of Distributed Multi-Partner Cloud Resources for Adaptive C2 in Disadvantaged Networks. - Harrie Bastiaansen; Johan van der Geest; Casper van den Broek; Thomas Kudla; Anthony W. Isenor; Sean Webb; Niranjan Suri; Mattia Fogli; Bruno Canessa; Andrea Masini; Robert Goniacz; Joanna Sliwa 001 (IEEE Commun. Mag., 2020)

A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic. - Simone Martini 001; Andrea Masini; Margherita Zorzi (CoRR, 2020)

Real-Time target detection in maritime scenarios based on YOLOv3 model. - Alessandro Betti; Benedetto Michelozzi; Andrea Bracci; Andrea Masini (CoRR, 2020)

A two-dimensional metric temporal logic. - Stefano Baratella; Andrea Masini (Math. Log. Q., 2020)

Contracting for technology improvement: The effect of asymmetric bargaining power and investment uncertainty. - Ali Shantia; Sam Aflaki; Andrea Masini (Eur. J. Oper. Res., 2021)

Proof Nets for Classical Logic. - Stefano Guerrini; Andrea Masini (Notre Dame J. Formal Log., 2021)

A Distributed Modular Data Processing Chain Applied to Simulated Satellite Ozone Observations. - Marco Gai; Flavio Barbara; Simone Ceccherini; Ugo Cortesi; Samuele Del Bianco; Cecilia Tirelli; Nicola Zoppetti; Claudio Belotti; Bruno Canessa; Vincenzo Farruggia; Andrea Masini; Arno Keppens; et al. (Remote. Sens., 2021)

From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. - Simone Martini 001; Andrea Masini; Margherita Zorzi (ACM Trans. Comput. Log., 2021)

Automatic Processing Chain for the Generation of Simplified Sar Images of Large Scenes. - Maria Pia del Rosso; Andrea Masini; Andrea Bracci; Luigi Ridolfi; Ferdinando Cicciù; Silvia Liberata Ullo (IGARSS, 2022)

Enhancing wall-to-wall forest structure mapping through detailed co-registration of airborne and terrestrial laser scanning data in Mediterranean forests. - Nicola Puletti; Mirko Grotti; Andrea Masini; Andrea Bracci; Carlotta Ferrara (Ecol. Informatics, 2022)

Vulcain: A Cubesat Mission for Monitoring Volcanoes and Active Thermal Areas. - Maria Fabrizia Buongiorno; Michèle Roberta Lavagna; Demetrio Labate; Stefan Vlad Tudor; Andrea Masini; Paola De Carlo; Vito Romaniello; Malvina Silvestri; Camille Pirat (IGARSS, 2023)

Natural deduction calculi for classical and intuitionistic S5. - Stefano Guerrini; Andrea Masini; Margherita Zorzi (J. Appl. Non Class. Logics, 2023)

On Digital Twins in Defence: Overview and Applications. - Marco Giberna; Holger Voos; Paulo Tavares; João Nunes; Tobias Sorg; Andrea Masini; José Luis Sánchez-López (CoRR, 2025)