Andrea Masini

67 papers B 1C 5Misc 3Journal 48Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
On Digital Twins in Defence: Overview and Applications.
CoRR
Marco Giberna, Holger Voos, Paulo Tavares, João Nunes, Tobias Sorg, Andrea Masini, Jose Luis Sanchez-Lopez
2023 J jnl
Natural deduction calculi for classical and intuitionistic S5.
J. Appl. Non Class. Logics
Stefano Guerrini, Andrea Masini, Margherita Zorzi
2023 C conf
Vulcain: A Cubesat Mission for Monitoring Volcanoes and Active Thermal Areas.
IGARSS
Maria Fabrizia Buongiorno, Michèle Roberta Lavagna, Demetrio Labate, Stefan Vlad Tudor, Andrea Masini, Paola De Carlo, Vito Romaniello, Malvina Silvestri, Camille Pirat
2022 C conf
Automatic Processing Chain for the Generation of Simplified Sar Images of Large Scenes.
IGARSS
Maria Pia del Rosso, Andrea Masini, Andrea Bracci, Luigi Ridolfi, Ferdinando Cicciù, Silvia Liberata Ullo
2022 J jnl
Enhancing wall-to-wall forest structure mapping through detailed co-registration of airborne and terrestrial laser scanning data in Mediterranean forests.
Ecol. Informatics
Nicola Puletti, Mirko Grotti, Andrea Masini, Andrea Bracci, Carlotta Ferrara
2021 J jnl
A Distributed Modular Data Processing Chain Applied to Simulated Satellite Ozone Observations.
Remote. Sens.
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, Jean-Christopher Lambert, Antti Arola, Antti Lipponen, Olaf Tuinder
2021 J jnl
Contracting for technology improvement: The effect of asymmetric bargaining power and investment uncertainty.
Eur. J. Oper. Res.
Ali Shantia, Sam Aflaki, Andrea Masini
2021 J jnl
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.
ACM Trans. Comput. Log.
Simone Martini, Andrea Masini, Margherita Zorzi
2021 J jnl
Proof Nets for Classical Logic.
Notre Dame J. Formal Log.
Stefano Guerrini, Andrea Masini
2020 J jnl
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic.
CoRR
Simone Martini, Andrea Masini, Margherita Zorzi
2020 J jnl
A two-dimensional metric temporal logic.
Math. Log. Q.
Stefano Baratella, Andrea Masini
2020 J jnl
Federated Control of Distributed Multi-Partner Cloud Resources for Adaptive C2 in Disadvantaged Networks.
IEEE Commun. Mag.
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
2020 J jnl
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.
CoRR
Simone Martini, Andrea Masini, Margherita Zorzi
2020 J jnl
Real-Time target detection in maritime scenarios based on YOLOv3 model.
CoRR
Alessandro Betti, Benedetto Michelozzi, Andrea Bracci, Andrea Masini
2019 J jnl
A Logic for Quantum Register Measurements.
Axioms
Andrea Masini, Margherita Zorzi
2019 J jnl
A two-dimensional metric temporal logic.
CoRR
Stefano Baratella, Andrea Masini
2019 — conf
Adaptive Information Processing and Distribution to Support Command and Control in Situations of Disadvantaged Battlefield Network Connectivity.
ICMCIS
Harrie Bastiaansen, Casper van den Broek, Thomas Kudla, Anthony W. Isenor, Sean Webb, Niranjan Suri, Andrea Masini, Caglar Bilir, Mustafa Cocelli
2019 J jnl
Impact of IT offerings strategies and IT integration capability on IT vendor value creation.
Eur. J. Inf. Syst.
Federica Ceci, Andrea Masini, Andrea Prencipe
2018 J jnl
A hybrid logic for XML reference constraints.
Data Knowl. Eng.
Carlo Combi, Andrea Masini, Barbara Oliboni, Margherita Zorzi
2017 J jnl
Experimental tests and radiometric calculations for the feasibility of fluorescence LIDAR-based discrimination of oil spills from UAV.
Int. J. Appl. Earth Obs. Geoinformation
Valentina Raimondi, Lorenzo Palombi, David Lognoli, Andrea Masini, Emilio Simeone
2017 J jnl
Quantum Turing Machines Computations and Measurements.
CoRR
Stefano Guerrini, Simone Martini, Andrea Masini
2015 — conf
A Logical Framework for XML Reference Specification.
DEXA (2)
Carlo Combi, Andrea Masini, Barbara Oliboni, Margherita Zorzi
2015 — conf
Real-time algorithm for video fusion evaluation: Application to surveillance system based on UAV platform.
RTSI
Andrea Masini, Marco Maffei, Andrea Bracci, Pier Antonio Catella, Sergio Benco
2015 J jnl
Towards A Theory Of Quantum Computability.
CoRR
Stefano Guerrini, Simone Martini, Andrea Masini
2013 J jnl
A natural deduction system for bundled branching time logic.
J. Appl. Non Class. Logics
Stefano Baratella, Andrea Masini
2013 — conf
Web tools for performance analysis and planning support for solar energy plants (PV, CSP, CPV) starting from remotely sensed optical images.
EnviroInfo
Marco Morelli, Fabrizio Ruffini, Andrea Masini, Marco Alberto Carlo Potenza
2011 J jnl
Labelled natural deduction for a bundled branching temporal logic.
J. Log. Comput.
Andrea Masini, Luca Viganò, Marco Volpe
2011 J jnl
Modal Deduction Systems for Quantum State Transformations.
J. Multiple Valued Log. Soft Comput.
Andrea Masini, Luca Viganò, Margherita Zorzi
2010 J jnl
Back from the future.
J. Appl. Non Class. Logics
Andrea Masini, Luca Viganò, Marco Volpe
2010 C conf
Contribution of Cosmo/SkyMed data into PRIMI: A pilot project on marine oil pollution. results after one year of operations.
IGARSS
Francesco Nirchio, Gianfranco Pandiscia, Giovanni Ruggieri, Rosalia Santoleri, Nadia Pinardi, Paolo Trivero, Chiara Castellani, Francesco Tataranni, Andrea Masini, Maria Adamo, R. Archetti, Walter Biamino, Francesco Bignami, Emanuele Böhm, Maria Borasi, Bruno Buongiorno Nardelli, Marco Cavagnero, F. Colao, Simone Colella, Giovanni Coppini, V. Debettio, Giacomo De Carolis, Marco De Dominicis, Vega Forneris, F. Fontebasso, A. Griffa, Roberto Iacono, E. Lombardi, Salvatore Marullo, G. Manzella, A. Mercatini, E. Napolitano, Andrea Pisano, F. Reseghetti, R. Sorgente, M. Sprovieri, G. Terranova, Gianluca Volpe, E. Zambianchi
2010 J jnl
Quantum implicit computational complexity.
Theor. Comput. Sci.
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2009 J jnl
A History of Until
CoRR
Andrea Masini, Luca Viganò, Marco Volpe
2009 — conf
A History of Until.
M4M
Andrea Masini, Luca Viganò, Marco Volpe
2009 Misc conf
A Labeled Natural Deduction System for a Fragment of CTL*.
LFCS
Andrea Masini, Luca Viganò, Marco Volpe
2009 J jnl
Analysis of Multiresolution-Based Fusion Strategies for a Dual Infrared System.
IEEE Trans. Intell. Transp. Syst.
Andrea Masini, Giovanni Corsini, Marco Diani, Marco Cavallini
2009 — conf
COSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea.
IGARSS (2)
Francesco Nirchio, Gianfranco Pandiscia, Giovanni Ruggieri, Rosalia Santoleri, Francesco Tataranni, Consorzio Innova, Paolo Trivero, Nadia Pinardi, Andrea Masini, Chiara Castellani
2009 J jnl
Confluence Results for a Quantum Lambda Calculus with Measurements
CoRR
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2009 — conf
Confluence Results for a Quantum Lambda Calculus with Measurements.
QPL@MFPS
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2009 J jnl
ERP Competence-Building Mechanisms: An Exploratory Investigation of Configurations of ERP Adopters in the European and U.S. Manufacturing Sectors.
Manuf. Serv. Oper. Manag.
Andrea Masini, Luk N. Van Wassenhove
2009 J jnl
On a measurement-free quantum lambda calculus with classical control.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2009 J jnl
Proofs, tests and continuation passing style.
ACM Trans. Comput. Log.
Stefano Guerrini, Andrea Masini
2008 J jnl
A Qualitative Modal Representation of Quantum Register Transformations
CoRR
Andrea Masini, Luca Viganò, Margherita Zorzi
2008 — conf
A Qualitative Modal Representation of Quantum Register Transformations.
ISMVL
Andrea Masini, Luca Viganò, Margherita Zorzi
2007 J jnl
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
CoRR
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
2007 Misc conf
Sight enhancement through video fusion in a surveillance system.
ICIAP
Andrea Masini, Francesco Branchitta, Marco Diani, Giovanni Corsini
2006 J jnl
A note on unbounded metric temporal logic over dense time domains.
Math. Log. Q.
Stefano Baratella, Andrea Masini
2006 J jnl
Continuations, proofs and tests
CoRR
Stefano Guerrini, Andrea Masini
2006 C conf
Evaluation of Multispectral Image Fusion Methods in Real Time Monitoring Applications.
IGARSS
Giovanni Corsini, Marco Diani, Andrea Masini
2006 C conf
Video Sequence Stabilization for Real-Time Remote Sensing Applications.
IGARSS
Giovanni Corsini, Marco Diani, Andrea Masini
2004 J jnl
A Way of Making World Quantification Explicit.
Log. J. IGPL
Stefano Baratella, Andrea Masini
2004 J jnl
An approach to infinitary temporal proof theory.
Arch. Math. Log.
Stefano Baratella, Andrea Masini
2004 J jnl
An infinitary variant of Metric Temporal Logic over dense time domains.
Math. Log. Q.
Stefano Baratella, Andrea Masini
2003 J jnl
A proof-theoretic investigation of a logic of positions.
Ann. Pure Appl. Log.
Stefano Baratella, Andrea Masini
2003 J jnl
Coherence for sharing proof-nets.
Theor. Comput. Sci.
Stefano Guerrini, Simone Martini, Andrea Masini
2001 J jnl
Parsing MELL proof nets.
Theor. Comput. Sci.
Stefano Guerrini, Andrea Masini
2001 J jnl
Proof nets, garbage, and computations.
Theor. Comput. Sci.
Stefano Guerrini, Simone Martini, Andrea Masini
1998 J jnl
An Analysis of (Linear) Exponentials Based on Extended Sequents.
Log. J. IGPL
Stefano Guerrini, Simone Martini, Andrea Masini
1997 J jnl
Experiments in Linear Natural Deduction.
Theor. Comput. Sci.
Simone Martini, Andrea Masini
1997 — conf
Proof Nets, Garbage, and Computations.
TLCA
Stefano Guerrini, Simone Martini, Andrea Masini
1996 — conf
Coherence for Sharing Proof Nets.
RTA
Stefano Guerrini, Simone Martini, Andrea Masini
1996 Misc conf
Parallelizing A Model Checker.
PDPTA
Marco Danelutto, G. Di Caprio, Andrea Masini
1994 J jnl
A Modal View of Linear Logic.
J. Symb. Log.
Simone Martini, Andrea Masini
1993 J jnl
2-Sequent Calculus: Intuitionism and Natural Deduction.
J. Log. Comput.
Andrea Masini
1992 J jnl
2-Sequent Calculus: A Proof Theory of Modalities.
Ann. Pure Appl. Log.
Andrea Masini
1992 J jnl
Implementation of a synchronous communication in a loosely coupled system: A correctness proof.
Future Gener. Comput. Syst.
Andrea Masini, Marco Danelutto
1992 J jnl
TTL: A formalism to describe local and global properties of distributed systems.
RAIRO Theor. Informatics Appl.
Andrea Masini, Andrea Maggiolo-Schettini
1988 B conf
A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems.
CSL
Marco Danelutto, Andrea Masini