iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/51/1554.xml
Andrea Masini
Stefano Guerrini Andrea Masini Margherita Zorzi Natural deduction calculi for classical and intuitionistic S5. 165-205 2023 April 33 J. Appl. Non Class. Logics 2 https://doi.org/10.1080/11663081.2023.2233750 db/journals/jancl/jancl33.html#GuerriniMZ23
Maria Fabrizia Buongiorno Michèle Roberta Lavagna Demetrio Labate Stefan Vlad Tudor Andrea Masini Paola De Carlo Vito Romaniello Malvina Silvestri Camille Pirat Vulcain: A Cubesat Mission for Monitoring Volcanoes and Active Thermal Areas. 265-267 2023 IGARSS https://doi.org/10.1109/IGARSS52108.2023.10282753 conf/igarss/2023 db/conf/igarss/igarss2023.html#BuongiornoLLTMCRSP23
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. 101497 2022 67 Ecol. Informatics https://doi.org/10.1016/j.ecoinf.2021.101497 https://www.wikidata.org/entity/Q114188835 db/journals/ecoi/ecoi67.html#PulettiGMBF22
Maria Pia del Rosso Andrea Masini Andrea Bracci Luigi Ridolfi Ferdinando Cicciù Silvia Liberata Ullo Automatic Processing Chain for the Generation of Simplified Sar Images of Large Scenes. 2955-2958 2022 IGARSS https://doi.org/10.1109/IGARSS46834.2022.9883859 conf/igarss/2022 db/conf/igarss/igarss2022.html#RossoMBRCU22
Ali Shantia Sam Aflaki Andrea Masini Contracting for technology improvement: The effect of asymmetric bargaining power and investment uncertainty. 481-494 2021 293 Eur. J. Oper. Res. 2 https://doi.org/10.1016/j.ejor.2020.12.031 db/journals/eor/eor293.html#ShantiaAM21
Stefano Guerrini Andrea Masini Proof Nets for Classical Logic. 2021 62 Notre Dame J. Formal Log. 2 https://doi.org/10.1215/00294527-2021-0016 db/journals/ndjfl/ndjfl62.html#GuerriniM21
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 A Distributed Modular Data Processing Chain Applied to Simulated Satellite Ozone Observations. 210 2021 13 Remote. Sens. 2 https://doi.org/10.3390/rs13020210 db/journals/remotesensing/remotesensing13.html#GaiBCCBTZBCFMKL21
Simone Martini 0001 Andrea Masini Margherita Zorzi From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. 19:1-19:29 2021 22 ACM Trans. Comput. Log. 3 https://doi.org/10.1145/3461661 db/journals/tocl/tocl22.html#MartiniMZ21
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 0001 Federated Control of Distributed Multi-Partner Cloud Resources for Adaptive C2 in Disadvantaged Networks. 21-27 2020 58 IEEE Commun. Mag. 8 https://doi.org/10.1109/MCOM.001.2000246 db/journals/cm/cm58.html#BastiaansenGBKI20
Stefano Baratella Andrea Masini A two-dimensional metric temporal logic. 7-19 2020 66 Math. Log. Q. 1 https://doi.org/10.1002/malq.201700036 db/journals/mlq/mlq66.html#BaratellaM20
Simone Martini 0001 Andrea Masini Margherita Zorzi A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic. 2020 abs/2001.02029 CoRR http://arxiv.org/abs/2001.02029 db/journals/corr/corr2001.html#abs-2001-02029
Alessandro Betti Benedetto Michelozzi Andrea Bracci Andrea Masini Real-Time target detection in maritime scenarios based on YOLOv3 model. 2020 abs/2003.00800 CoRR https://arxiv.org/abs/2003.00800 db/journals/corr/corr2003.html#abs-2003-00800
Simone Martini 0001 Andrea Masini Margherita Zorzi From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. 2020 abs/2007.11875 CoRR https://arxiv.org/abs/2007.11875 db/journals/corr/corr2007.html#abs-2007-11875
Andrea Masini Margherita Zorzi A Logic for Quantum Register Measurements. 25 2019 8 Axioms 1 https://doi.org/10.3390/axioms8010025 db/journals/axioms/axioms8.html#MasiniZ19
Federica Ceci Andrea Masini Andrea Prencipe Impact of IT offerings strategies and IT integration capability on IT vendor value creation. 591-611 2019 28 Eur. J. Inf. Syst. 6 https://doi.org/10.1080/0960085X.2019.1627488 db/journals/ejis/ejis28.html#CeciMP19
Harrie Bastiaansen Casper van den Broek Thomas Kudla Anthony W. Isenor Sean Webb Niranjan Suri Andrea Masini Caglar Bilir Mustafa Cocelli Adaptive Information Processing and Distribution to Support Command and Control in Situations of Disadvantaged Battlefield Network Connectivity. 1-7 2019 ICMCIS https://doi.org/10.1109/ICMCIS.2019.8842794 conf/icmcis/2019 db/conf/icmcis/icmcis2019.html#BastiaansenBKIW19
Stefano Baratella Andrea Masini A two-dimensional metric temporal logic. 2019 abs/1903.05894 CoRR http://arxiv.org/abs/1903.05894 db/journals/corr/corr1903.html#abs-1903-05894
Carlo Combi Andrea Masini Barbara Oliboni Margherita Zorzi A hybrid logic for XML reference constraints. 94-115 2018 115 Data Knowl. Eng. https://doi.org/10.1016/j.datak.2018.02.005 https://www.wikidata.org/entity/Q62612973 db/journals/dke/dke115.html#CombiMOZ18
Valentina Raimondi Lorenzo Palombi David Lognoli Andrea Masini Emilio Simeone Experimental tests and radiometric calculations for the feasibility of fluorescence LIDAR-based discrimination of oil spills from UAV. 46-54 2017 61 Int. J. Appl. Earth Obs. Geoinformation https://doi.org/10.1016/j.jag.2017.04.012 db/journals/aeog/aeog61.html#RaimondiPLMS17
Stefano Guerrini Simone Martini 0001 Andrea Masini Quantum Turing Machines Computations and Measurements. 2017 abs/1703.07748 CoRR http://arxiv.org/abs/1703.07748 db/journals/corr/corr1703.html#Guerrini0M17
Carlo Combi Andrea Masini Barbara Oliboni Margherita Zorzi A Logical Framework for XML Reference Specification. 258-267 2015 DEXA (2) https://doi.org/10.1007/978-3-319-22852-5_22 https://www.wikidata.org/entity/Q62612989 conf/dexa/2015-2 db/conf/dexa/dexa2015-2.html#CombiMOZ15 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. 326-333 2015 RTSI https://doi.org/10.1109/RTSI.2015.7325119 conf/rtsi/2015 db/conf/rtsi/rtsi2015.html#MasiniMBCB15
Stefano Guerrini Simone Martini 0001 Andrea Masini Towards A Theory Of Quantum Computability. 2015 abs/1504.02817 CoRR http://arxiv.org/abs/1504.02817 db/journals/corr/corr1504.html#GuerriniMM15
Stefano Baratella Andrea Masini A natural deduction system for bundled branching time logic. 268-283 2013 23 J. Appl. Non Class. Logics 3 https://doi.org/10.1080/11663081.2013.830401 db/journals/jancl/jancl23.html#BaratellaM13
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. 155-158 2013 EnviroInfo conf/enviroinfo/2013 db/conf/enviroinfo/enviroinfo2013.html#MorelliRMP13 http://iai-uiserv1.iai.fzk.de/ictensure/site?mod=litdb&subject=art&pid=XA40CFD7C&action=detail
Andrea Masini Luca Viganò 0001 Marco Volpe 0001 Labelled natural deduction for a bundled branching temporal logic. 1093-1163 2011 21 J. Log. Comput. 6 https://doi.org/10.1093/logcom/exq028 db/journals/logcom/logcom21.html#MasiniVV11
Andrea Masini Luca Viganò 0001 Margherita Zorzi Modal Deduction Systems for Quantum State Transformations. 475-519 2011 17 J. Multiple Valued Log. Soft Comput. 5-6 http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-17-number-5-6-2011/mvlsc-17-5-6-p-475-519/ db/journals/mvl/mvl17.html#MasiniVZ11
Andrea Masini Luca Viganò 0001 Marco Volpe 0001 Back from the future. 241-277 2010 20 J. Appl. Non Class. Logics 3 https://doi.org/10.3166/jancl.20.241-277 db/journals/jancl/jancl20.html#MasiniVV10
Ugo Dal Lago Andrea Masini Margherita Zorzi Quantum implicit computational complexity. 377-409 2010 411 Theor. Comput. Sci. 2 https://doi.org/10.1016/j.tcs.2009.07.045 db/journals/tcs/tcs411.html#LagoMZ10
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 V. 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 Contribution of Cosmo/SkyMed data into PRIMI: A pilot project on marine oil pollution. results after one year of operations. 4799-4802 2010 conf/igarss/2010 IGARSS https://doi.org/10.1109/IGARSS.2010.5654006 https://www.wikidata.org/entity/Q60546126 db/conf/igarss/igarss2010.html#NirchioPRSPTCTMAABBBBNCCCCDCDFFGILMMMNPRSSTVZ10
Ugo Dal Lago Andrea Masini Margherita Zorzi On a measurement-free quantum lambda calculus with classical control. 297-335 2009 19 Math. Struct. Comput. Sci. 2 https://doi.org/10.1017/S096012950800741X db/journals/mscs/mscs19.html#LagoMZ09
Andrea Masini Luk N. Van Wassenhove ERP Competence-Building Mechanisms: An Exploratory Investigation of Configurations of ERP Adopters in the European and U.S. Manufacturing Sectors. 274-298 2009 11 Manuf. Serv. Oper. Manag. 2 https://doi.org/10.1287/msom.1080.0215 db/journals/msom/msom11.html#MasiniW09
Andrea Masini Giovanni Corsini Marco Diani Marco Cavallini Analysis of Multiresolution-Based Fusion Strategies for a Dual Infrared System. 688-694 2009 10 IEEE Trans. Intell. Transp. Syst. 4 https://doi.org/10.1109/TITS.2009.2026314 db/journals/tits/tits10.html#MasiniCDC09
Stefano Guerrini Andrea Masini Proofs, tests and continuation passing style. 2009 10 ACM Trans. Comput. Log. 2 https://doi.org/10.1145/1462179.1462184 db/journals/tocl/tocl10.html#GuerriniM09 12:1-12:34
Francesco Nirchio Gianfranco Pandiscia Giovanni Ruggieri Rosalia Santoleri Francesco Tataranni Consorzio Innova Paolo Trivero Nadia Pinardi Andrea Masini Chiara Castellani COSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea. 781-784 2009 IGARSS (2) https://doi.org/10.1109/IGARSS.2009.5418209 conf/igarss/2009 db/conf/igarss/igarss2009-2.html#NirchioPRSTITPMC09 Andrea Masini Luca Viganò 0001 Marco Volpe 0001 A Labeled Natural Deduction System for a Fragment of CTL*. 338-353 2009 LFCS https://doi.org/10.1007/978-3-540-92687-0_23 conf/lfcs/2009 db/conf/lfcs/lfcs2009.html#MasiniVV09 Andrea Masini Luca Viganò 0001 Marco Volpe 0001 A History of Until. 189-204 2009 conf/m4m/2009 M4M https://doi.org/10.1016/j.entcs.2010.04.014 db/journals/entcs/entcs262.html#MasiniVV10 Ugo Dal Lago Andrea Masini Margherita Zorzi Confluence Results for a Quantum Lambda Calculus with Measurements. 251-261 2009 conf/qpl/2009 QPL@MFPS https://doi.org/10.1016/j.entcs.2011.01.035 https://www.wikidata.org/entity/Q113318302 db/conf/qpl/qpl2009.html#LagoMZ11
Ugo Dal Lago Andrea Masini Margherita Zorzi Confluence Results for a Quantum Lambda Calculus with Measurements http://arxiv.org/abs/0905.4567 2009 CoRR abs/0905.4567 db/journals/corr/corr0905.html#abs-0905-4567
Andrea Masini Luca Viganò 0001 Marco Volpe 0001 A History of Until http://arxiv.org/abs/0910.4500 2009 CoRR abs/0910.4500 db/journals/corr/corr0910.html#abs-0910-4500
Andrea Masini Luca Viganò 0001 Margherita Zorzi A Qualitative Modal Representation of Quantum Register Transformations. 131-137 2008 ISMVL https://doi.org/10.1109/ISMVL.2008.36 https://doi.ieeecomputersociety.org/10.1109/ISMVL.2008.36 conf/ismvl/2008 db/conf/ismvl/ismvl2008.html#MasiniVZ08
Andrea Masini Luca Viganò 0001 Margherita Zorzi A Qualitative Modal Representation of Quantum Register Transformations http://arxiv.org/abs/0802.4057 2008 CoRR abs/0802.4057 db/journals/corr/corr0802.html#abs-0802-4057
Andrea Masini Francesco Branchitta Marco Diani Giovanni Corsini Sight enhancement through video fusion in a surveillance system. 554-559 2007 conf/iciap/2007 ICIAP https://doi.org/10.1109/ICIAP.2007.4362836 https://doi.ieeecomputersociety.org/10.1109/ICIAP.2007.117 db/conf/iciap/iciap2007.html#MasiniBDC07
Ugo Dal Lago Andrea Masini Margherita Zorzi Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power http://arxiv.org/abs/cs/0703152 2007 CoRR abs/cs/0703152 db/journals/corr/corr0703.html#abs-cs-0703152
Stefano Baratella Andrea Masini A note on unbounded metric temporal logic over dense time domains. 450-456 2006 52 Math. Log. Q. 5 https://doi.org/10.1002/malq.200510043 db/journals/mlq/mlq52.html#BaratellaM06
Giovanni Corsini Marco Diani Andrea Masini Video Sequence Stabilization for Real-Time Remote Sensing Applications. 988-991 2006 IGARSS https://doi.org/10.1109/IGARSS.2006.254 conf/igarss/2006 db/conf/igarss/igarss2006.html#CorsiniDM06 Giovanni Corsini Marco Diani Andrea Masini Evaluation of Multispectral Image Fusion Methods in Real Time Monitoring Applications. 1816-1819 2006 IGARSS https://doi.org/10.1109/IGARSS.2006.469 conf/igarss/2006 db/conf/igarss/igarss2006.html#CorsiniDM06a
Stefano Guerrini Andrea Masini Continuations, proofs and tests http://arxiv.org/abs/cs/0605043 2006 CoRR abs/cs/0605043 db/journals/corr/corr0605.html#abs-cs-0605043
Stefano Baratella Andrea Masini An approach to infinitary temporal proof theory. 965-990 2004 43 Arch. Math. Log. 8 https://doi.org/10.1007/s00153-004-0237-z db/journals/aml/aml43.html#BaratellaM04
Stefano Baratella Andrea Masini A Way of Making World Quantification Explicit. 199-225 2004 12 Log. J. IGPL 3 https://doi.org/10.1093/jigpal/12.3.199 db/journals/igpl/igpl12.html#BaratellaM04
Stefano Baratella Andrea Masini An infinitary variant of Metric Temporal Logic over dense time domains. 249-257 2004 50 Math. Log. Q. 3 https://doi.org/10.1002/malq.200310096 db/journals/mlq/mlq50.html#BaratellaM04
Stefano Baratella Andrea Masini A proof-theoretic investigation of a logic of positions. 135-162 2003 123 Ann. Pure Appl. Log. 1-3 https://doi.org/10.1016/S0168-0072(03)00021-6 db/journals/apal/apal123.html#BaratellaM03
Stefano Guerrini Simone Martini 0001 Andrea Masini Coherence for sharing proof-nets. 379-409 2003 294 Theor. Comput. Sci. 3 db/journals/tcs/tcs294.html#GuerriniMM03 https://doi.org/10.1016/S0304-3975(01)00162-1
Stefano Guerrini Simone Martini 0001 Andrea Masini Proof nets, garbage, and computations. 185-237 2001 253 Theor. Comput. Sci. 2 db/journals/tcs/tcs253.html#GuerriniMM01 https://doi.org/10.1016/S0304-3975(00)00094-3
Stefano Guerrini Andrea Masini Parsing MELL proof nets. 317-335 2001 254 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs254.html#GuerriniM01 https://doi.org/10.1016/S0304-3975(99)00299-6
Stefano Guerrini Simone Martini 0001 Andrea Masini An Analysis of (Linear) Exponentials Based on Extended Sequents. 735-753 1998 6 Log. J. IGPL 5 https://doi.org/10.1093/jigpal/6.5.735 db/journals/igpl/igpl6.html#GuerriniMM98
Simone Martini 0001 Andrea Masini Experiments in Linear Natural Deduction. 159-173 1997 176 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs176.html#MartiniM97 https://doi.org/10.1016/S0304-3975(96)00055-2
Stefano Guerrini Simone Martini 0001 Andrea Masini Proof Nets, Garbage, and Computations. 181-195 1997 conf/tlca/1997 TLCA db/conf/tlca/tlca97.html#GuerriniMM97 https://doi.org/10.1007/3-540-62688-3_36 Marco Danelutto G. Di Caprio Andrea Masini Parallelizing A Model Checker. 1118-1128 1996 conf/pdpta/1996 PDPTA db/conf/pdpta/pdpta1996.html#DaneluttoCM96 Stefano Guerrini Simone Martini 0001 Andrea Masini Coherence for Sharing Proof Nets. 215-229 1996 conf/rta/1996 RTA db/conf/rta/rta96.html#GuerriniMM96 https://doi.org/10.1007/3-540-61464-8_54
Simone Martini 0001 Andrea Masini A Modal View of Linear Logic. 888-899 1994 59 J. Symb. Log. 3 db/journals/jsyml/jsyml59.html#MartiniM94 https://doi.org/10.2307/2275915 http://projecteuclid.org/euclid.jsl/1183744555
Andrea Masini 2-Sequent Calculus: Intuitionism and Natural Deduction. 533-562 1993 3 J. Log. Comput. 5 db/journals/logcom/logcom3.html#Masini93 https://doi.org/10.1093/logcom/3.5.533
Andrea Masini 2-Sequent Calculus: A Proof Theory of Modalities. 229-246 1992 58 Ann. Pure Appl. Log. 3 db/journals/apal/apal58.html#Masini92 https://doi.org/10.1016/0168-0072(92)90029-Y
Andrea Masini Marco Danelutto Implementation of a synchronous communication in a loosely coupled system: A correctness proof. 137-147 1992 8 Future Gener. Comput. Syst. 1-3 https://doi.org/10.1016/0167-739X(92)90035-A db/journals/fgcs/fgcs8.html#MasiniD92
Andrea Masini Andrea Maggiolo-Schettini TTL: A formalism to describe local and global properties of distributed systems. 115-149 1992 26 RAIRO Theor. Informatics Appl. db/journals/ita/ita26.html#MasiniM92 https://doi.org/10.1051/ita/1992260201151
Marco Danelutto Andrea Masini A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems. 63-79 1988 conf/csl/1988 CSL db/conf/csl/csl88.html#DaneluttoM88 https://doi.org/10.1007/BFb0026295 Maria Adamo Sam Aflaki R. Archetti Antti Arola Stefano Baratella Flavio Barbara Harrie Bastiaansen Claudio Belotti Sergio Benco Alessandro Betti Walter Biamino Samuele Del Bianco Francesco Bignami Caglar Bilir Emanuele Böhm Maria Borasi Andrea Bracci Francesco Branchitta Casper van den Broek Maria Fabrizia Buongiorno Bruno Canessa G. Di Caprio Paola De Carlo Giacomo De Carolis Chiara Castellani Pier Antonio Catella Marco Cavagnero Marco Cavallini Simone Ceccherini Federica Ceci Ferdinando Cicciù Mustafa Cocelli F. Colao Simone Colella Carlo Combi Giovanni Coppini Giovanni Corsini Ugo Cortesi Marco Danelutto V. Debettio Marco Diani Marco De Dominicis Vincenzo Farruggia Carlotta Ferrara Mattia Fogli F. Fontebasso V. Forneris Marco Gai Johan van der Geest Robert Goniacz A. Griffa Mirko Grotti Stefano Guerrini Roberto Iacono Consorzio Innova Anthony W. Isenor Arno Keppens Thomas Kudla Demetrio Labate Ugo Dal Lago Jean-Christopher Lambert Michèle Roberta Lavagna Antti Lipponen David Lognoli E. Lombardi Marco Maffei Andrea Maggiolo-Schettini G. Manzella Simone Martini 0001 Salvatore Marullo A. Mercatini Benedetto Michelozzi Marco Morelli E. Napolitano Bruno Buongiorno Nardelli Francesco Nirchio Barbara Oliboni Lorenzo Palombi Gianfranco Pandiscia Nadia Pinardi Camille Pirat Andrea Pisano Marco Alberto Carlo Potenza Andrea Prencipe Nicola Puletti Valentina Raimondi F. Reseghetti Luigi Ridolfi Vito Romaniello Maria P. del RossoMaria Pia del Rosso Fabrizio Ruffini Giovanni Ruggieri Rosalia Santoleri Ali Shantia Malvina Silvestri Emilio Simeone Joanna Sliwa 0001 R. Sorgente M. Sprovieri Niranjan Suri Francesco Tataranni G. Terranova Cecilia Tirelli Paolo Trivero Stefan Vlad Tudor Olaf Tuinder Silvia Liberata Ullo Luca Viganò 0001 Gianluca Volpe Marco Volpe 0001 Luk N. Van Wassenhove Sean Webb E. Zambianchi Nicola Zoppetti Margherita Zorzi