World's Best Scientists 2026 revealed!
Angelo Montanari

Angelo Montanari

D-Index & Metrics

Computer Science

D-Index
31
Citations
5171
World Ranking
13512
National Ranking
485

Overview

Angelo Montanari is affiliated with the University of Udine in Italy and has contributed extensively to the field of Computer Science, focusing primarily on Artificial Intelligence and Computational Theory. Their body of work spans over 105 publications within this domain, with significant engagement in subfields such as Artificial Intelligence, Computational Theory and Mathematics, Electrical and Electronic Engineering, Software, and Computer Networks and Communications.

The scientist's research addresses a variety of topics encompassing formal methods, logic, programming languages, and localization technologies. The main topics covered by Montanari's research include:

  • Formal Methods in Verification
  • Logic, Reasoning, and Knowledge
  • Logic, programming, and type systems
  • Indoor and Outdoor Localization Technologies
  • AI-based Problem Solving and Planning
  • Semigroups and automata theory
  • Model-Driven Software Engineering Techniques

Montanari has coauthored research frequently with the following researchers:

  • Nicola Gigante
  • Luca Geatti
  • Andrea Brunello
  • Nicola Saccomanno
  • Pietro Sala

Their research has been published in various scientific journals and conferences. The most frequent publication venues include:

  • Theoretical Computer Science
  • arXiv (Cornell University)
  • Information and Computation
  • Electronic Proceedings in Theoretical Computer Science
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Recent representative papers by Angelo Montanari illustrate the diversity of the research interests and are as follows:

  • "AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning," 2021, published in Artificial Intelligence in Medicine
  • "Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments," 2021, published in Sensors
  • "OSASUD: A dataset of stroke unit recordings for the detection of Obstructive Sleep Apnea Syndrome," 2022, published in Scientific Data
  • "What You Sense is Not Where You are: on the Relationships Between Fingerprints and Spatial Knowledge in Indoor Positioning," 2021, published in IEEE Sensors Journal
  • "Decidability and complexity of action-based temporal planning over dense time," 2022, published in Artificial Intelligence

These publications demonstrate engagement in topics regarding AI applications in medical diagnostics, environmental monitoring, indoor positioning systems, and theoretical aspects of temporal planning.

Best Publications

  • A consensus glossary of temporal database concepts

    Curtis Dyreson;Fabio Grandi;Wolfgang Käfer;Nick Kline

  • The consensus glossary of temporal database concepts — February 1998 version

    Christian S. Jensen;Curtis E. Dyreson;Michael Böhlen;James Clifford

  • A Road Map of Interval Temporal Logics and Duration Calculi

    Valentin Goranko;Angelo Montanari;Guido Sciavicco

  • Temporal representation and reasoning in artificial intelligence: Issues and approaches

    Luca Chittaro;Angelo Montanari

  • EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS

    Luca Chittaro;Angelo Montanari;Angelo Montanari

  • Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

    Davide Bresolin;Valentin Goranko;Angelo Montanari;Guido Sciavicco

  • Propositional Interval Neighborhood Temporal Logics

    Valentin Goranko;Angelo Montanari;Guido Sciavicco

  • Metric and Layered Temporal Logic for Time Granularity

    A. Montanari

  • Tableaux for Logics of Subinterval Structures over Dense Orderings

    Davide Bresolin;Valentin Goranko;Angelo Montanari;Pietro Sala

  • Dealing with Time Granularity in the Event Calculus.

    Angelo Montanari;Enrico Maim;Emanuele Ciapessoni;Elena Ratto

  • Maximal decidable fragments of Halpern and Shoham's modal logic of intervals

    Angelo Montanari;Gabriele Puppis;Pietro Sala

  • Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification

    Davide Bresolin;Dario Monica;Valentin Goranko;Angelo Montanari

  • Embedding time granularity in a logical specification language for synchronous real-time systems

    E. Ciapessoni;E. Corsetti;A. Montanari;P. San Pietro

  • An Optimal Decision Procedure for Right Propositional Neighborhood Logic

    Davide Bresolin;Angelo Montanari;Guido Sciavicco

  • Interval Temporal Logics: A Journey

    Dario Della Monica;Valentin Goranko;Angelo Montanari;Guido Sciavicco

  • AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning

    Andrea Bernardini;Andrea Brunello;Gian Luigi Gigli;Angelo Montanari

  • Dealing with different time granularities in formal specifications of real-time systems

    Edoardo Corsetti;Angelo Montanari;Elena Ratto

  • A set-theoretic translation method for polymodal logics

    Giovanna D'Agostino;Angelo Montanari;Alberto Policriti

  • The dark side of interval temporal logic: marking the undecidability border

    Davide Bresolin;Dario Della Monica;Valentin Goranko;Angelo Montanari

  • Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments.

    Andrea Brunello;Andrea Urgolo;Federico Pittino;András Montvay

  • The t4sql temporal query language

    Carlo Combi;Angelo Montanari;Giuseppe Pozzi

  • A general tableau method for propositional interval temporal logics: Theory and implementation ✩

    Valentin Goranko;Angelo Montanari;Pietro Sala;Guido Sciavicco

  • Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions.

    Andrea Brunello;Angelo Montanari;Mark Reynolds

Frequent Co-Authors

Luca Chittaro
Luca Chittaro University of Udine
Carlo Combi
Carlo Combi University of Verona
Barbara Pernici
Barbara Pernici Polytechnic University of Milan
Alessandro Cimatti
Alessandro Cimatti Fondazione Bruno Kessler
John F. Roddick
John F. Roddick Flinders University
Richard T. Snodgrass
Richard T. Snodgrass University of Arizona
Maarten de Rijke
Maarten de Rijke University of Amsterdam
Gio Wiederhold
Gio Wiederhold Stanford University
Sushil Jajodia
Sushil Jajodia George Mason University
Arie Segev
Arie Segev University of California, Berkeley

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to a wide range of in-demand online degrees and career pathways. Many students are now considering data science degrees, which blend programming, statistics, and analytics—skills that are highly valued in today’s tech-driven job market.

Engineering enthusiasts might look towards online electrical engineering courses USA. These programs offer flexibility for working professionals and can lead to careers in emerging tech fields including AI, robotics, and renewable energy.

For those who want to boost their employability quickly, you might consider certificate programs that pay well. These accelerated certifications can help you specialize in niche areas and get job-ready in less time.

If your goal is to advance your credentials as fast as possible, explore the fastest online master's degree programs. These options can help you gain advanced expertise and qualify for higher-paying roles in just a year or less.

Best Scientists Citing Angelo Montanari

Trending Scientists

Recently Published Articles