Andrea Masini

Andrea Bracci

Carlotta Ferrara

Ecol. Informatics, 2022

Automatic Processing Chain for the Generation of Simplified Sar Images of Large Scenes.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

2021

From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2021

A Distributed Modular Data Processing Chain Applied to Simulated Satellite Ozone Observations.

[BibT_eX]

[DOI]

Jean-Christopher Lambert

Antti Arola

Antti Lipponen

Olaf Tuinder

Remote. Sens., 2021

Proof Nets for Classical Logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2021

Contracting for technology improvement: The effect of asymmetric bargaining power and investment uncertainty.

[BibT_eX]

[DOI]

Ali Shantia

Sam Aflaki

Eur. J. Oper. Res., 2021

2020

A two-dimensional metric temporal logic.

[BibT_eX]

[DOI]

Math. Log. Q., 2020

Real-Time target detection in maritime scenarios based on YOLOv3 model.

[BibT_eX]

[DOI]

CoRR, 2020

A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic.

[BibT_eX]

[DOI]

CoRR, 2020

Federated Control of Distributed Multi-Partner Cloud Resources for Adaptive C2 in Disadvantaged Networks.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2020

2019

Impact of IT offerings strategies and IT integration capability on IT vendor value creation.

[BibT_eX]

[DOI]

Federica Ceci

Andrea Prencipe

Eur. J. Inf. Syst., 2019

A Logic for Quantum Register Measurements.

[BibT_eX]

[DOI]

Axioms, 2019

Adaptive Information Processing and Distribution to Support Command and Control in Situations of Disadvantaged Battlefield Network Connectivity.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Military Communications and Information Systems, 2019

2018

A hybrid logic for XML reference constraints.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2018

2017

Quantum Turing Machines Computations and Measurements.

[BibT_eX]

[DOI]

CoRR, 2017

Experimental tests and radiometric calculations for the feasibility of fluorescence LIDAR-based discrimination of oil spills from UAV.

[BibT_eX]

[DOI]

Int. J. Appl. Earth Obs. Geoinformation, 2017

2015

Towards A Theory Of Quantum Computability.

[BibT_eX]

[DOI]

CoRR, 2015

Real-time algorithm for video fusion evaluation: Application to surveillance system based on UAV platform.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

A Logical Framework for XML Reference Specification.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2015

2013

A natural deduction system for bundled branching time logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Web tools for performance analysis and planning support for solar energy plants (PV, CSP, CPV) starting from remotely sensed optical images.

[BibT_eX]

[DOI]

Marco Morelli

Fabrizio Ruffini

Marco Alberto Carlo Potenza

Proceedings of the 27th International Conference on Environmental Informatics for Environmental Protection, 2013

2011

Modal Deduction Systems for Quantum State Transformations.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2011

Labelled natural deduction for a bundled branching temporal logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

2010

Quantum implicit computational complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Back from the future.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

Contribution of Cosmo/SkyMed data into PRIMI: A pilot project on marine oil pollution. results after one year of operations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2009

Proofs, tests and continuation passing style.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Analysis of Multiresolution-Based Fusion Strategies for a Dual Infrared System.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2009

ERP Competence-Building Mechanisms: An Exploratory Investigation of Configurations of ERP Adopters in the European and U.S. Manufacturing Sectors.

[BibT_eX]

[DOI]

Luk N. Van Wassenhove

Manuf. Serv. Oper. Manag., 2009

On a measurement-free quantum lambda calculus with classical control.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

A History of Until.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Confluence Results for a Quantum Lambda Calculus with Measurements.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

A Labeled Natural Deduction System for a Fragment of CTL*.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

COSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

2008

A Qualitative Modal Representation of Quantum Register Transformations.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2007

Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power

[BibT_eX]

[DOI]

CoRR, 2007

Sight enhancement through video fusion in a surveillance system.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Image Analysis and Processing (ICIAP 2007), 2007

2006

A note on unbounded metric temporal logic over dense time domains.

[BibT_eX]

[DOI]

Math. Log. Q., 2006

Continuations, proofs and tests

[BibT_eX]

[DOI]

CoRR, 2006

Evaluation of Multispectral Image Fusion Methods in Real Time Monitoring Applications.

[BibT_eX]

[DOI]

Giovanni Corsini

Marco Diani

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2006

Video Sequence Stabilization for Real-Time Remote Sensing Applications.

[BibT_eX]

[DOI]

Giovanni Corsini

Marco Diani

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2006

2004

An infinitary variant of Metric Temporal Logic over dense time domains.

[BibT_eX]

[DOI]

Math. Log. Q., 2004

A Way of Making World Quantification Explicit.

[BibT_eX]

[DOI]

Log. J. IGPL, 2004

An approach to infinitary temporal proof theory.

[BibT_eX]

[DOI]

Arch. Math. Log., 2004

2003

Coherence for sharing proof-nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

A proof-theoretic investigation of a logic of positions.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2003

2001

Proof nets, garbage, and computations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Parsing MELL proof nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

1998

An Analysis of (Linear) Exponentials Based on Extended Sequents.

[BibT_eX]

[DOI]

Log. J. IGPL, 1998

1997

Experiments in Linear Natural Deduction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

1996

Parallelizing A Model Checker.

[BibT_eX]

Marco Danelutto

G. Di Caprio

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

1994

A Modal View of Linear Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1994

1993

2-Sequent Calculus: Intuitionism and Natural Deduction.

[BibT_eX]

[DOI]

J. Log. Comput., 1993

1992

TTL: A formalism to describe local and global properties of distributed systems.

[BibT_eX]

[DOI]

Andrea Maggiolo-Schettini

RAIRO Theor. Informatics Appl., 1992

Implementation of a synchronous communication in a loosely coupled system: A correctness proof.

[BibT_eX]

[DOI]

Marco Danelutto

Future Gener. Comput. Syst., 1992

2-Sequent Calculus: A Proof Theory of Modalities.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1992

1988

A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems.

[BibT_eX]

[DOI]

Marco Danelutto