default search action
Andrea Masini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j36]Stefano Guerrini, Andrea Masini, Margherita Zorzi
:
Natural deduction calculi for classical and intuitionistic S5. J. Appl. Non Class. Logics 33(2): 165-205 (2023) - [c19]Maria Fabrizia Buongiorno, Michèle Roberta Lavagna, Demetrio Labate, Stefan Vlad Tudor, Andrea Masini, Paola De Carlo, Vito Romaniello
Vulcain: A Cubesat Mission for Monitoring Volcanoes and Active Thermal Areas. IGARSS 2023: 265-267 - 2022
- [j35]Nicola Puletti, Mirko Grotti, Andrea Masini, Andrea Bracci, Carlotta Ferrara:
Enhancing wall-to-wall forest structure mapping through detailed co-registration of airborne and terrestrial laser scanning data in Mediterranean forests. Ecol. Informatics 67: 101497 (2022) - [c18]Maria Pia del Rosso
Automatic Processing Chain for the Generation of Simplified Sar Images of Large Scenes. IGARSS 2022: 2955-2958 - 2021
- [j34]Ali Shantia, Sam Aflaki
Contracting for technology improvement: The effect of asymmetric bargaining power and investment uncertainty. Eur. J. Oper. Res. 293(2): 481-494 (2021) - [j33]Stefano Guerrini, Andrea Masini:
Proof Nets for Classical Logic. Notre Dame J. Formal Log. 62(2) (2021) - [j32]Marco Gai, Flavio Barbara
A Distributed Modular Data Processing Chain Applied to Simulated Satellite Ozone Observations. Remote. Sens. 13(2): 210 (2021) - [j31]Simone Martini
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. ACM Trans. Comput. Log. 22(3): 19:1-19:29 (2021) - 2020
- [j30]Harrie Bastiaansen, Johan van der Geest, Casper van den Broek, Thomas Kudla, Anthony W. Isenor, Sean Webb, Niranjan Suri, Mattia Fogli
Federated Control of Distributed Multi-Partner Cloud Resources for Adaptive C2 in Disadvantaged Networks. IEEE Commun. Mag. 58(8): 21-27 (2020) - [j29]Stefano Baratella, Andrea Masini:
A two-dimensional metric temporal logic. Math. Log. Q. 66(1): 7-19 (2020) - [i11]Simone Martini, Andrea Masini, Margherita Zorzi:
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic. CoRR abs/2001.02029 (2020) - [i10]Alessandro Betti, Benedetto Michelozzi, Andrea Bracci, Andrea Masini:
Real-Time target detection in maritime scenarios based on YOLOv3 model. CoRR abs/2003.00800 (2020) - [i9]Simone Martini, Andrea Masini, Margherita Zorzi:
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. CoRR abs/2007.11875 (2020)
2010 – 2019
- 2019
- [j28]Andrea Masini, Margherita Zorzi
A Logic for Quantum Register Measurements. Axioms 8(1): 25 (2019) - [j27]Federica Ceci
Impact of IT offerings strategies and IT integration capability on IT vendor value creation. Eur. J. Inf. Syst. 28(6): 591-611 (2019) - [c17]Harrie Bastiaansen, Casper van den Broek, Thomas Kudla, Anthony W. Isenor
Adaptive Information Processing and Distribution to Support Command and Control in Situations of Disadvantaged Battlefield Network Connectivity. ICMCIS 2019: 1-7 - [i8]Stefano Baratella, Andrea Masini:
A two-dimensional metric temporal logic. CoRR abs/1903.05894 (2019) - 2018
- [j26]Carlo Combi
A hybrid logic for XML reference constraints. Data Knowl. Eng. 115: 94-115 (2018) - 2017
- [j25]Valentina Raimondi
Experimental tests and radiometric calculations for the feasibility of fluorescence LIDAR-based discrimination of oil spills from UAV. Int. J. Appl. Earth Obs. Geoinformation 61: 46-54 (2017) - [i7]Stefano Guerrini, Simone Martini, Andrea Masini:
Quantum Turing Machines Computations and Measurements. CoRR abs/1703.07748 (2017) - 2015
- [c16]Carlo Combi
A Logical Framework for XML Reference Specification. DEXA (2) 2015: 258-267 - [c15]Andrea Masini, Marco Maffei, Andrea Bracci, Pier Antonio Catella, Sergio Benco:
Real-time algorithm for video fusion evaluation: Application to surveillance system based on UAV platform. RTSI 2015: 326-333 - [i6]Stefano Guerrini, Simone Martini, Andrea Masini:
Towards A Theory Of Quantum Computability. CoRR abs/1504.02817 (2015) - 2013
- [j24]Stefano Baratella
A natural deduction system for bundled branching time logic. J. Appl. Non Class. Logics 23(3): 268-283 (2013) - [c14]Marco Morelli, Fabrizio Ruffini, Andrea Masini, Marco Alberto Carlo Potenza:
Web tools for performance analysis and planning support for solar energy plants (PV, CSP, CPV) starting from remotely sensed optical images. EnviroInfo 2013: 155-158 - 2011
- [j23]Andrea Masini, Luca Viganò
Labelled natural deduction for a bundled branching temporal logic. J. Log. Comput. 21(6): 1093-1163 (2011) - [j22]Andrea Masini, Luca Viganò, Margherita Zorzi:
Modal Deduction Systems for Quantum State Transformations. J. Multiple Valued Log. Soft Comput. 17(5-6): 475-519 (2011) - 2010
- [j21]Andrea Masini, Luca Viganò, Marco Volpe:
Back from the future. J. Appl. Non Class. Logics 20(3): 241-277 (2010) - [j20]Ugo Dal Lago
Quantum implicit computational complexity. Theor. Comput. Sci. 411(2): 377-409 (2010) - [c13]Francesco Nirchio, Gianfranco Pandiscia, Giovanni Ruggieri, Rosalia Santoleri
Contribution of Cosmo/SkyMed data into PRIMI: A pilot project on marine oil pollution. results after one year of operations. IGARSS 2010: 4799-4802
2000 – 2009
- 2009
- [j19]Ugo Dal Lago
On a measurement-free quantum lambda calculus with classical control. Math. Struct. Comput. Sci. 19(2): 297-335 (2009) - [j18]Andrea Masini
ERP Competence-Building Mechanisms: An Exploratory Investigation of Configurations of ERP Adopters in the European and U.S. Manufacturing Sectors. Manuf. Serv. Oper. Manag. 11(2): 274-298 (2009) - [j17]Andrea Masini, Giovanni Corsini
Analysis of Multiresolution-Based Fusion Strategies for a Dual Infrared System. IEEE Trans. Intell. Transp. Syst. 10(4): 688-694 (2009) - [j16]Stefano Guerrini, Andrea Masini:
Proofs, tests and continuation passing style. ACM Trans. Comput. Log. 10(2): 12:1-12:34 (2009) - [c12]Francesco Nirchio, Gianfranco Pandiscia, Giovanni Ruggieri, Rosalia Santoleri
COSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea. IGARSS (2) 2009: 781-784 - [c11]Andrea Masini, Luca Viganò, Marco Volpe:
A Labeled Natural Deduction System for a Fragment of CTL*. LFCS 2009: 338-353 - [c10]Andrea Masini, Luca Viganò, Marco Volpe:
A History of Until. M4M 2009: 189-204 - [c9]Ugo Dal Lago
Confluence Results for a Quantum Lambda Calculus with Measurements. QPL@MFPS 2009: 251-261 - [i5]Ugo Dal Lago, Andrea Masini, Margherita Zorzi:
Confluence Results for a Quantum Lambda Calculus with Measurements. CoRR abs/0905.4567 (2009) - [i4]Andrea Masini, Luca Viganò, Marco Volpe:
A History of Until. CoRR abs/0910.4500 (2009) - 2008
- [c8]Andrea Masini, Luca Viganò, Margherita Zorzi
A Qualitative Modal Representation of Quantum Register Transformations. ISMVL 2008: 131-137 - [i3]Andrea Masini, Luca Viganò, Margherita Zorzi:
A Qualitative Modal Representation of Quantum Register Transformations. CoRR abs/0802.4057 (2008) - 2007
- [c7]Andrea Masini, Francesco Branchitta, Marco Diani
Sight enhancement through video fusion in a surveillance system. ICIAP 2007: 554-559 - [i2]Ugo Dal Lago, Andrea Masini, Margherita Zorzi:
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power. CoRR abs/cs/0703152 (2007) - 2006
- [j15]Stefano Baratella
A note on unbounded metric temporal logic over dense time domains. Math. Log. Q. 52(5): 450-456 (2006) - [c6]Giovanni Corsini
Video Sequence Stabilization for Real-Time Remote Sensing Applications. IGARSS 2006: 988-991 - [c5]Giovanni Corsini
Evaluation of Multispectral Image Fusion Methods in Real Time Monitoring Applications. IGARSS 2006: 1816-1819 - [i1]Stefano Guerrini, Andrea Masini:
Continuations, proofs and tests. CoRR abs/cs/0605043 (2006) - 2004
- [j14]Stefano Baratella
An approach to infinitary temporal proof theory. Arch. Math. Log. 43(8): 965-990 (2004) - [j13]Stefano Baratella, Andrea Masini:
A Way of Making World Quantification Explicit. Log. J. IGPL 12(3): 199-225 (2004) - [j12]Stefano Baratella
An infinitary variant of Metric Temporal Logic over dense time domains. Math. Log. Q. 50(3): 249-257 (2004) - 2003
- [j11]Stefano Baratella
A proof-theoretic investigation of a logic of positions. Ann. Pure Appl. Log. 123(1-3): 135-162 (2003) - [j10]Stefano Guerrini, Simone Martini
Coherence for sharing proof-nets. Theor. Comput. Sci. 294(3): 379-409 (2003) - 2001
- [j9]Stefano Guerrini, Simone Martini, Andrea Masini:
Proof nets, garbage, and computations. Theor. Comput. Sci. 253(2): 185-237 (2001) - [j8]Stefano Guerrini, Andrea Masini:
Parsing MELL proof nets. Theor. Comput. Sci. 254(1-2): 317-335 (2001)
1990 – 1999
- 1998
- [j7]Stefano Guerrini, Simone Martini, Andrea Masini:
An Analysis of (Linear) Exponentials Based on Extended Sequents. Log. J. IGPL 6(5): 735-753 (1998) - 1997
- [j6]Simone Martini, Andrea Masini:
Experiments in Linear Natural Deduction. Theor. Comput. Sci. 176(1-2): 159-173 (1997) - [c4]Stefano Guerrini, Simone Martini
Proof Nets, Garbage, and Computations. TLCA 1997: 181-195 - 1996
- [c3]Marco Danelutto, G. Di Caprio, Andrea Masini:
Parallelizing A Model Checker. PDPTA 1996: 1118-1128 - [c2]Stefano Guerrini, Simone Martini, Andrea Masini:
Coherence for Sharing Proof Nets. RTA 1996: 215-229 - 1994
- [j5]Simone Martini, Andrea Masini:
A Modal View of Linear Logic. J. Symb. Log. 59(3): 888-899 (1994) - 1993
- [j4]Andrea Masini:
2-Sequent Calculus: Intuitionism and Natural Deduction. J. Log. Comput. 3(5): 533-562 (1993) - 1992
- [j3]Andrea Masini:
2-Sequent Calculus: A Proof Theory of Modalities. Ann. Pure Appl. Log. 58(3): 229-246 (1992) - [j2]Andrea Masini, Marco Danelutto
Implementation of a synchronous communication in a loosely coupled system: A correctness proof. Future Gener. Comput. Syst. 8(1-3): 137-147 (1992) - [j1]Andrea Masini, Andrea Maggiolo-Schettini:
TTL: A formalism to describe local and global properties of distributed systems. RAIRO Theor. Informatics Appl. 26: 115-149 (1992)
1980 – 1989
- 1988
- [c1]Marco Danelutto
A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems. CSL 1988: 63-79
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: