| 2026 | KR | Over All, PDDL Semantics is Simultaneously Simple and Hard to Get Right. | Nicola Gigante, Andrea Micheli, Enrico Scala, Alessandro Valentini |
| 2025 | AAAI | First-Order Automata. | Luca Geatti, Alessandro Gianola, Nicola Gigante |
| 2025 | KR | Counterfactual Scenarios for Automated Planning. | Nicola Gigante, Francesco Leofante, Andrea Micheli |
| 2025 | TIME | An Introduction to First-Order Linear Temporal Logic (Invited Talk). | Nicola Gigante |
| 2024 | CAV | SMT-Based Symbolic Model-Checking for Operator Precedence Languages. | Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella |
| 2023 | AAAI | Complexity of Safety and coSafety Fragments of Linear Temporal Logic. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | ECAI | Decidable Fragments of LTL | Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler |
| 2023 | ICPM | Declare MoGeS: Model Generator and Specializer. | Manal Laghmouch, Benot Depaire, Nicola Gigante, Mieke Jans, Marco Montali |
| 2023 | IJCAI | On the Compilability of Bounded Numeric Planning. | Nicola Gigante, Enrico Scala |
| 2023 | KR | A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | KR | Standpoint Linear Temporal Logic. | Nicola Gigante, Luca Gmez lvarez, Tim S. Lyon |
| 2023 | TIME | Qualitative past Timeline-Based Games (Extended Abstract). | Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari |
| 2023 | TIME | LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | TIME | Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). | Luca Geatti, Alessandro Gianola, Nicola Gigante |
| 2022 | FOSSACS | A first-order logic characterisation of safety and co-safety languages. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2022 | IJCAI | Linear Temporal Logic Modulo Theories over Finite Traces. | Luca Geatti, Alessandro Gianola, Nicola Gigante |
| 2022 | KR | On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. | Nicola Gigante, Andrea Micheli, Enrico Scala |
| 2021 | SEFM | Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2021 | TIME | Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. | Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato |
| 2020 | AAAI | Decidability and Complexity of Action-Based Temporal Planning over Dense Time. | Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala |
| 2020 | FMCAD | Reactive Synthesis from Extended Bounded Response LTL Specifications. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2020 | TIME | Complexity of Qualitative Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari |
| 2019 | TABLEAUX | A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. | Luca Geatti, Nicola Gigante, Angelo Montanari |
| 2018 | KR | A Novel Automata-Theoretic Approach to Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
| 2018 | TIME | A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds |
| 2017 | IJCAI | On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning. | Nicola Gigante |
| 2017 | IJCAI | Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2017 | LPAR | A One-Pass Tree-Shaped Tableau for LTL+Past. | Nicola Gigante, Angelo Montanari, Mark Reynolds |
| 2016 | IJCAI | Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. | Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds |
| 2016 | TIME | Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini |
| 2015 | LATA | Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. | Alberto Policriti, Nicola Gigante, Nicola Prezza |