Pietro Sala Ph.D.

Associate Professor

Pietro Sala 		University of Verona
Department of Computer Science, University of Verona
Office: Room 1.61
Ca' Vignal 2
strada le Grazie 15
I - 37134 Verona - VR - Italy
e-mail: pietro.sala AT univr.it
phone: ++39 045 802 7850
ORCID: 0000-0002-2612-1519

OFFICE HOURS: Friday, from 5:00 PM to 7:00 PM

On this page:

Education

Short Bio

Pietro Sala was born in 1981. In 2003 he received the Bachelor Degree in Computer Science by the University of Udine. In 2006 he received the Master Degree in Computer Science by the University of Udine. In 2010 he received the Ph.D. in Computer Science by the Department of Mathematics and Computer Science of the University of Udine under the supervision of prof. Angelo Montanari. From March 2010 to February 2012 he was Post-Doc fellow at the Department of Computer Science of the University of Verona under the supervision of prof. Carlo Combi. From March 2012 to February 2013 he was Post-Doc fellow at the Department of Diagnostics and Public Health of the University of Verona under the supervision of prof. Giampaolo Velo and prof. Ugo Moretti. From March 2013 to June 2016 he was Post-Doc fellow at the Department of Computer Science of the University of Verona under the supervision of prof. Carlo Combi. From July 2016 to October 2019 he was Junior Researcher (RTD-A) at the Department of Computer Science of the University of Verona. From November 2019 to November 2022 he was Senior Researcher (RTD-B) at the Department of Computer Science of the University of Verona.

Current position: since December 2022, he works as an Associate Professor at the Department of Computer Science of the University of Verona.

National Academic Qualification (01/A1): on the 5th of June 2023 he attained the National Academic Qualification as Full Professor in Mathematical Logic (01/A1).

National Academic Qualification (09/H1): on the 15th of June 2023 he attained the National Academic Qualification as Full Professor in Information Processing Systems (09/H1).

National Academic Qualification as Associate Professor: on the 7th of August 2018 he attained the National Academic Qualification as Associate Professor in Computer Science (01/B1); on the 19th of April 2019 he attained the National Academic Qualification as Associate Professor in Mathematical Logic (01/A1).

Academic Senate: since a.y. 2024/2025 he is a member of the Academic Senate of the University of Verona (representative of the Associate Professors, Science and Engineering macro-area) and, in that capacity, of the Board (Giunta) of the Department of Computer Science.

Research Interests

Research interests span logic, automata, artificial intelligence and their biomedical applications, along the following lines.

Interval Temporal Logics: Decidability, Complexity and Expressiveness

The core and longest-running research line concerns the theory of interval temporal logics, in particular the Halpern and Shoham (HS) logic and its fragments, such as Propositional Neighborhood Logic (PNL/MPNL) and the logics of Allen's relations. Starting from general tableau methods and optimal decision procedures over different classes of linear orders (dense, discrete, finite, rationals, integers, naturals, reals), this work led to a complete classification of the decidable fragments of HS, with computational complexity ranging from NP-complete to non-primitive recursive, and to the study of extensions with equivalence relations and metric constraints. On the expressiveness side, inter-definability results among modalities yield a complete classification of the fragments by expressive power.

Interval Temporal Logic Model Checking

A systematic investigation of the model checking problem for HS fragments over Kripke structures, carried out from 2016 to 2022. It identified the precise border between tractable and intractable fragments, compared the expressiveness of interval and point temporal logic model checking, and introduced the techniques of track bisimilarity and prefix sampling. The resulting complexity landscape ranges from the low levels of the polynomial time hierarchy up to PSPACE and beyond, and includes a thorough study of satisfiability and model checking under the homogeneity assumption.

Temporal Logic of Prefixes, Infixes and Suffixes

A more recent theoretical thread on logics based on the prefix, infix and suffix interval relations, focusing on the interplay between the choice of operators, homogeneity assumptions and computational complexity. Results include PSPACE-completeness of the logic of sub-intervals and suffixes, EXPSPACE-completeness when the Meets relation or temporal neighborhood is added to the logic of prefixes and infixes, and elementarity of the logic of prefixes and suffixes under the homogeneity assumption. A key connection links satisfiability and model checking for these fragments to the emptiness problem for star-free generalized regular expressions with negation, where concatenation is replaced by prefix/suffix/infix operators.

Extended ω-Regular Languages

This line studies quantitative extensions of ω-regular languages, including bounded, unbounded and infinitely recurring occurrences, and their characterization by means of novel classes of automata and regular expressions. It introduced ωT-regular expressions and counter-check automata as a unifying framework that goes beyond ω-regular and ωB-regular languages, and established a formal connection between these extended language classes and interval temporal logics.

Reactive Synthesis and Timeline-Based Planning

This thread bridges temporal logic and automated reasoning for synthesis and planning problems. It traced the border between decidability and undecidability of the synthesis problem for interval logic specifications, showing that synthesis is strictly harder than satisfiability, and identified large fragments of timeline-based planning where plan existence reduces to the non-emptiness of deterministic finite automata, together with automata-theoretic approaches that avoid determinization. More recently, it extended to reactive synthesis for expected impacts through BPMN+CPI, a formal extension of BPMN with choices, probabilities and impacts whose strategy-existence problem lies in PSPACE, implemented in the PACO software tool.

Spatial Logic

Work on decidable spatial logics, including a decidable weakening of Compass Logic based on cone-shaped cardinal directions and decidable spatial generalizations of Metric Interval Temporal Logic. Tableau-based systems for spatial reasoning about directional relations were also developed.

Temporal Data Mining in Databases

A sustained applied thread on the formal specification, verification and mining of temporal dependencies in databases. It introduced interval-based temporal functional dependencies, mapped their complexity landscape (including approximate variants) and developed algorithms for mining temporal functional dependencies and evolving association rules from clinical data. The framework was extended to multiple granularities, pure temporal grouping and predictive dependencies on multi-temporal relations, with constant validation of the extracted knowledge by domain experts.

Business Process Management

Research on time-aware extensions of business process modeling: time-dependent paths in clinical BPMN processes, a logical formalization of time-critical processes with resources, timeline-based customization of BPMN diagrams and business process compliance verification with impact constraints. Formal methods such as temporal logics, model checking and automata are used to verify temporal properties of processes in time-critical domains such as emergency medicine.

Healthcare AI and Machine Learning

A growing applied direction at the intersection of machine learning and healthcare. It includes TEDAR, an adaptive temporal method for detecting adverse drug reactions developed with the Regional Pharmacovigilance Center of the Veneto Region, a framework for early sepsis prediction in intensive care tested on the MIMIC-III database, and interpretable approaches for healthcare time series such as the Sequence-Walking Decision Tree, TSRF-Dist and the Time Series Step Tree. These works emphasize model interpretability and clinical applicability.

Publications

Additional information about Pietro Sala's publications may be found in DBLP, Google Scholar and Scopus as well as in other sites of this kind.

Peer - reviewed papers in International Conferences

[c59] Emanuele Chini, Daniel Amadori, Pietro Sala, Sidra Nasir Rajput, Matteo Baldi, Mattia Cappelletti. PACO: A Petri Net-Based Tool for Designing, Simulating, and Analyzing Multi-objective Stochastic Processes. PETRI NETS 2026. 335-346

[c58] Cesare Montresor, Pietro Sala. Functional Modularity from Activation Patterns Only. IEEE CAI 2026. 1088-1095

[c57] Sidra Nasir Rajput, Pietro Sala. Towards auto-shot learning of Temporal Constraints in LLMs. IEEE CAI 2026. 383-389

[c56] Daniel Amadori, Emanuele Chini, Pietro Sala. DRIFTS: Distributed Robustness for Time Series is Feasible, Distributed, and Fun. IEEE CAI 2026. 114-121

[c55] Omid Zare, Pietro Sala, Daniel Amadori, Emanuele Chini, Javad Hassannataj Joloudari. Time Series Step Tree: A Novel Interpretable Method for Prompt Classification of Time Series. DIS 2025. 201-216

[c54] Emanuele Chini, Pietro Sala, Andrea Simonetti, Omid Zare. Reactive Synthesis for Expected Impacts. GandALF 2024. 35-52

[c53] Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala. Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. GandALF 2024. 5-18

[c52] Pietro Sala, Omid Zare. Sequence-Walking Decision Tree for Multivariate Healthcare Data. ICHI 2024. 21-30

[c51] Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala. The Logic of Prefixes and Suffixes is Elementary under Homogeneity. LICS 2023. 1-12

[c50] Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala. Discovering Predictive Dependencies on Multi-Temporal Relations. TIME 2023. 4:1-4:19

[c49] Manuel Medina, Pietro Sala. On the early detection of Sepsis in MIMIC-III. ICHI 2021. 171-180

[c48] Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala. Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME 2021. 9:1-9:19

[c47] Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala. Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF 2021. 179-194

[c46] Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala. On a Temporal Logic of Prefixes and Infixes. MFCS 2020. 21:1-21:14

[c45]Carlo Combi, Barbara Oliboni, Pietro Sala. Customizing BPMN Diagrams Using Timelines. TIME 2019. 5:1-5:17

[c44]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala. A Novel Automata-theoretic Approach to Timeline-based Planning. KR 2018. 541-550

[c43]Carlo Combi, Pietro Sala, Francesca Zerbato. A Logical Formalization of Time-Critical Processes with Resources. BPM (Forum) 2018. 20-36.

[c42]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP 2017. 120:1-120:14

[c41]Carlo Combi, Matteo Mantovani, Pietro Sala. Discovering Quantitative Temporal Functional Dependencies on Clinical Data. ICHI 2017. 248-257

[c40]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco. Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI 2017. 1008-1014

[c39]Carlo Combi, Pietro Sala, Francesca Zerbato. Driving time-dependent paths in clinical BPMN processes. SAC 2017. 743-750

[c38]Dario Della Monica, Angelo Montanari, Pietro Sala. Beyond $\omega$BS-regular Languages: $\omega$T-regular Expressions and Counter-Check Automata. GandALF 2017. 223-237

[c37]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR 2016. 389-405

[c36]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. FSTTCS 2016. 26:1-26:14

[c35]Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala. Prompt Interval Temporal Logic. JELIA 2016. 207-222

[c34]Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR 2016. 473-483

[c33]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. GandALF 2016. 76-90

[c32]Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco. On Coarser Interval Temporal Logics and their Satisfiability Problem. CAEPIA 2015. 105-115

[c31]Pietro Sala, Carlo Combi, Matteo Cuccato, Andrea Galvani, Alberto Sabaini. A Framework for Mining Evolution Rules and Its Application to the Clinical Domain. ICHI 2015. 293-302

[c30]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA 2015. 511-523

[c29]Carlo Combi, Romeo Rizzi, Pietro Sala. The Price of Evolution in Temporal Databases. TIME 2015. 47-58

[c28]Angelo Montanari, Gabriele Puppis, Pietro Sala. Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. MFCS (1) 2014. 451-463

[c27]Angelo Montanari, Marco Pazzaglia, Pietro Sala. Metric Propositional Neighborhood Logic with an Equivalence Relation. TIME 2014. 49-58

[c26]Pietro Sala. Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. TIME 2014. 69-78

[c25]Angelo Montanari, Pietro Sala. Interval-based Synthesis. GandALF 2014. 102-115

[c24]Carlo Combi, Paolo Parise, Pietro Sala, Giuseppe Pozzi. Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping. ICDM Workshops 2013. 258-265

[c23]Angelo Montanari, Pietro Sala. Interval Logics and $\omega$B-Regular Languages. LATA 2013. 431-443

[c22]Angelo Montanari, Pietro Sala. Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. LICS 2013. 193-202

[c21]Dario Della Monica, Angelo Montanari, Pietro Sala. The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Logic Programs, Norms and Action 2012. 79-102

[c20]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI 2012. 199-204

[c19]Angelo Montanari, Pietro Sala. An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. TIME 2012. 39-46

[c18]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012. 155-168

[c17]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS 2011. 387-396

[c16]Carlo Combi, Angelo Montanari, Pietro Sala. A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD 2011. 404-421

Peer - reviewed papers in International Journals

[j30]Alberto Azzari, Alessandro Boaro, Federica Basaldella, Sonia Nunes, Francesco Sala, Carlo Combi, Pietro Sala, Manuele Bicego. Detection and Early Detection of Pathological Motor Evoked Potentials: A Novel Approach for Intraoperative Neuromonitoring Assistance. Journal of Healthcare Informatics Research. 10(3): 596-626 (2026)

[j29]Alberto Azzari, Andrea Cracco, Francesco Masillo, Pietro Sala. Algorithm 1061: tsdistances: A High-Performance Python Library for Time Series Distances with GPU Support. ACM Transactions on Mathematical Software. 52(1): 5:1-5:21 (2026)

[j28]Alberto Azzari, Manuele Bicego, Carlo Combi, Andrea Cracco, Pietro Sala. TSRF-Dist: a novel time series distance based on extremely randomized canonical interval forests. Data Mining and Knowledge Discovery. 39(3): 27 (2025)

[j27]Tewabe Chekole Workneh, Pietro Sala, Romeo Rizzi, Matteo Cristani. Business Process Compliance with impact constraints. Information Systems. 129: 102505 (2025)

[j26]Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala. Predictive mining of multi-temporal relations. Information and Computation. 301: 105228 (2024)

[j25]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala. The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Logical Methods in Computer Science. 20(1) (2024)

[j24]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala. Pspace-completeness of the temporal logic of sub-intervals and suffixes. Information and Computation. 294: 105083 (2023)

[j23]Dario Della Monica, Angelo Montanari, Pietro Sala. An interval temporal logic characterization of extended ω-regular languages. Theoretical Computer Science 962: 113929 (2023)

[j22]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Logical Methods in Computer Science 18(1) (2022)

[j21]Angelo Montanari, Pietro Sala. Reactive synthesis from interval temporal logic specifications. Theoretical Computer Science 899: 48-79 (2022)

[j20] Antonino Aparo, Pietro Sala, Vincenzo Bonnici, Rosalba Giugno. TEDAR: Temporal dynamic signal detection of adverse reactions. Artificial Intelligence in Medicine. 122: 102212 (2021).

[j19] Carlo Combi, Romeo Rizzi, Pietro Sala. Checking Sets of Pure Evolving Association Rules Fundamenta Informaticae. 178(4): 283-313 (2021).

[j18]Pietro Sala, Carlo Combi, Matteo Mantovani, Romeo Rizzi. Discovering Evolving Temporal Information: Theory and Application to Clinical Databases. SN Computer Science. 1(3): 153 (2020)

[j17]David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala. Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts Theoretical Computer Science. 813: 270-304 (2020).

[j16]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. Decidability and Complexity of the Fragments of the Modal Logic of Allen’s Relations over the Rationals Information and Computation. 266: 97-125 (2019).

[j15]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison ACM Transactions on Computational Logic. 20(1): 4:1-4:31 (2019).

[j14]Emilio Muñoz-Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan. On Coarser Interval Temporal Logics Artificial Intelligence. 266: 1-26 (2019).

[j13]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? Theoretical Computer Science. 764: 125-144 (2019).

[j12]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy. Information and Computation. 262: 241-264 (2018)

[j11]Carlo Combi, Pietro Sala. Mining approximate interval-based temporal dependencies. Acta Inf. 53(6-8). 547-585 (2016)

[j10]Angelo Montanari, Marco Pazzaglia, Pietro Sala. Metric propositional neighborhood logic with an equivalence relation. Acta Inf. 53(6-8). 621-648 (2016)

[j9]Angelo Montanari, Marco Pazzaglia, Pietro Sala. Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. 629. 116-134 (2016)

[j8]Carlo Combi, Matteo Mantovani, Alberto Sabaini, Pietro Sala, Francesco Amaddeo, Ugo Moretti, Giuseppe Pozzi. Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. Comp. in Bio. and Med. 62. 306-324 (2015)

[j7]Angelo Montanari, Gabriele Puppis, Pietro Sala. A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Logical Methods in Computer Science 11(4) (2015)

[j6]Carlo Combi, Pietro Sala. Interval-based temporal functional dependencies: specification and verification. Ann. Math. Artif. Intell. 71(1-3). 85-130 (2014)

[j5]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560. 269-291 (2014)

[j4]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. 493. 98-115 (2013)

[j3]Davide Bresolin, Pietro Sala, Guido Sciavicco. On Begins, Meets and before. Int. J. Found. Comput. Sci. 23(3). 559-583 (2012)

[j2]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20(1). 133-166 (2010)

[j1]Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco. A general tableau method for propositional interval temporal logics: Theory and implementation. J. Applied Logic 4(3). 305-330 (2006)


[c15]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX 2011. 73-87

[c14]Carlo Combi, Pietro Sala. Temporal Functional Dependencies Based on Interval Relations. TIME 2011. 23-30

[c13]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011. 192-206

[c12]Angelo Montanari, Gabriele Puppis, Pietro Sala. Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) 2010. 345-356

[c11]Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS 2010. 597-608

[c10]Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala. Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. TIME 2010. 27-34

[c9]Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco. A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010. 95-102

[c8]Davide Bresolin, Pietro Sala, Guido Sciavicco. Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. GandALF 2010. 72-88

[c7]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Electr. Notes Theor. Comput. Sci. 231. 131-151 (2009)

[c6]Angelo Montanari, Gabriele Puppis, Pietro Sala. A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL 2009. 394-408

[c5]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009. 123-137

[c4]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008. 62-75

[c3]Davide Bresolin, Angelo Montanari, Pietro Sala. An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008. 110-117

[c2]Davide Bresolin, Angelo Montanari, Pietro Sala. An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007. 549-560

[c1]Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007. 73-89

Professional Activities

Other professional activities are listed below.

Teaching

Teaching activities ordered by academic year:

Students

Ph.D. students
Current Ph.D. students (as supervisor): Completed Ph.D. students (as supervisor):
Supervised master theses
List of the supervised master theses:
Co-supervised master theses
List of the co-supervised master theses in Computer Science:
Research grants and fellowships (scientific responsibility)
Research grants (assegni di ricerca) under his scientific responsibility:

Committees

Chair of the following International Conferences:
Member of the following committees of International Conferences:

Editorial Activity

Editorial activities for international journals:

Patents

Inventor of the following patents:

Academic Councils

Member of the following committees:

Invited Relations

Invited relations so far:

Projects


Principal investigator of the project granted by the Veneto ''Regional Operative Program'' (POR) and funded by the ''European Regional Development Fund'' (FESR) (2019-2021, funded amount 76,500 EUR + 93,500 EUR) entitled:
''Tecniche di Data Mining e controllo del Modello per la previsione del comportamento dei clienti'' in collaboration with CRMVillage.

Principal investigator of the joint-project granted and funded by the University of Verona in 2018-2019 (funded amount 10,000 EUR + 27,000 EUR) entitled:
''Tecniche di Data Mining e Model Checking per predire il comportamento dei clienti in sistemi CRM process-driven'' in collaboration with CRMVillage.

Member of the following National/International research projects:
Commissioned research (scientific responsibility):

Review Activity

Reviews for the following international journals and conferences:
Journals:
■ Information and Computation — 2018, 2021 (x2), 2022, 2023 (x2), 2024, 2025 (x4) ■ Information Systems — 2020, 2021, 2022 (x2), 2024, 2025 ■ Artificial Intelligence in Medicine — 2022, 2024, 2025 ■ Computers in Biology and Medicine — 2024 (x2), 2025 ■ Robotics and Autonomous Systems — 2020, 2021, 2022 ■ IEEE Access — 2019, 2021, 2022, 2023 ■ Logical Methods in Computer Science (LMCS) — 2021 ■ Journal of Computer and System Sciences (JCSS) — 2023 ■ Journal of Logical and Algebraic Methods in Programming — 2024 ■ Autonomous Agents and Multi-Agent Systems — 2022 ■ Theory and Practice of Logic Programming — 2019 ■ Science of Computer Programming (SCICO) — 2019 ■ Applied Mathematical Modelling — 2019 ■ Expert Systems with Applications — 2022 ■ Information and Software Technology — 2025 ■ Journal of Biomedical Informatics (JBI) — 2018 ■ Fundamenta Informaticae ■ Journal of Healthcare Informatics Research (JHIR) ■ Journal of Logic and Computation (JLC) ■ Journal of Applied Logic (JAL) ■ Annals of Mathematics and Artificial Intelligence (AMAI) ■ Mobile Information Systems (MIS) ■ Distributed and Parallel Databases (DAPD)
Conferences:
■ UAI 2026 ■ ICAPS 2024 ■ ICAPS 2026 ■ CILC 2025 ■ IEEE ICHI 2025 ■ KDD 2024 ■ CSL 2025 ■ CiE 2018 ■ CONCUR 2018 ■ IJCAI 2018 ■ ACM BCB 2017 ■ PPDP 2016 ■ HSCC 2015 ■ LICS 2015 ■ GandALF 2013 ■ TIME 2013 ■ TIME 2012 ■ TIME 2010 ■ JELIA 2008

Spin-off

Involved in the following companies:

Awards

Recipient of the following awards: