Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. - Alberto Policriti; Nicola Gigante; Nicola Prezza (LATA, 2015)

Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. - Matteo Bertello; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (IJCAI, 2016)

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. - Nicola Gigante; Angelo Montanari; Marta Cialdea Mayer; Andrea Orlandini (TIME, 2016)

Complexity of Timeline-Based Planning. - Nicola Gigante; Angelo Montanari; Marta Cialdea Mayer; Andrea Orlandini (ICAPS, 2017)

On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning. - Nicola Gigante (IJCAI, 2017)

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 (IJCAI, 2017)

A One-Pass Tree-Shaped Tableau for LTL+Past. - Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (LPAR, 2017)

A Novel Automata-Theoretic Approach to Timeline-Based Planning. - Dario Della Monica; Nicola Gigante; Angelo Montanari; Pietro Sala (KR, 2018)

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. - Nicola Gigante; Angelo Montanari; Marta Cialdea Mayer; Andrea Orlandini; Mark Reynolds 001 (TIME, 2018)

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. - Luca Geatti; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (GandALF, 2018)

A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. - Luca Geatti; Nicola Gigante; Angelo Montanari (TABLEAUX, 2019)

Timeline-based planning: Expressiveness and Complexity. - Nicola Gigante (CoRR, 2019)

Reactive Synthesis from Extended Bounded Response LTL Specifications. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (FMCAD, 2020)

Complexity of Qualitative Timeline-Based Planning. - Dario Della Monica; Nicola Gigante; Salvatore La Torre; Angelo Montanari (TIME, 2020)

On timeline-based games and their complexity. - Nicola Gigante; Angelo Montanari; Andrea Orlandini; Marta Cialdea Mayer; Mark Reynolds 001 (Theor. Comput. Sci., 2020)

BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. - Luca Geatti; Nicola Gigante; Angelo Montanari (OVERLAY@GandALF, 2021)

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. - Luca Geatti; Nicola Gigante; Angelo Montanari; Gabriele Venturato (TIME, 2021)

Expressiveness of Extended Bounded Response LTL. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (GandALF, 2021)

One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. - Luca Geatti; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (Inf. Comput., 2021)

LTL Modulo Theories over Finite Traces: modeling, verification, open questions. - Alessandro Gianola; Nicola Gigante (OVERLAY@AI*IA, 2022)

A first-order logic characterisation of safety and co-safety languages. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (FoSSaCS, 2022)

Linear Temporal Logic Modulo Theories over Finite Traces. - Luca Geatti; Alessandro Gianola; Nicola Gigante (IJCAI, 2022)

On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. - Nicola Gigante; Andrea Micheli; Enrico Scala (KR, 2022)

Decidability and complexity of action-based temporal planning over dense time. - Nicola Gigante; Andrea Micheli; Angelo Montanari; Enrico Scala (Artif. Intell., 2022)

Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). - Luca Geatti; Alessandro Gianola; Nicola Gigante (CoRR, 2022)

Controller Synthesis for Timeline-based Games. - Renato Acampora; Luca Geatti; Nicola Gigante; Angelo Montanari; Valentino Picotti (GandALF, 2022)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (AAAI, 2023)

Decidable Fragments of LTLf Modulo Theories. - Luca Geatti; Alessandro Gianola; Nicola Gigante; Sarah Winkler (ECAI, 2023)

Declare MoGeS: Model Generator and Specializer. - Manal Laghmouch; Benoît Depaire; Nicola Gigante; Mieke Jans; Marco Montali (ICPM Doctoral Consortium / Demo, 2023)

On the Compilability of Bounded Numeric Planning. - Nicola Gigante; Enrico Scala (IJCAI, 2023)

A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (KR, 2023)

Standpoint Linear Temporal Logic. - Nicola Gigante; Lucía Gómez Álvarez; Tim S. Lyon (KR, 2023)

A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo (OVERLAY@AI*IA, 2023)

Qualitative past Timeline-Based Games (Extended Abstract). - Renato Acampora; Luca Geatti; Nicola Gigante; Angelo Montanari (TIME, 2023)

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 (TIME, 2023)

Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). - Luca Geatti; Alessandro Gianola; Nicola Gigante (TIME, 2023)

Decidable Fragments of LTLf Modulo Theories (Extended Version). - Luca Geatti; Alessandro Gianola; Nicola Gigante; Sarah Winkler (CoRR, 2023)

GR(1) is equivalent to R(1). - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Inf. Process. Lett., 2023)

A first-order logic characterization of safety and co-safety languages. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Log. Methods Comput. Sci., 2023)

SMT-Based Symbolic Model-Checking for Operator Precedence Languages. - Michele Chiari; Luca Geatti; Nicola Gigante; Matteo Pradella (CAV (1), 2024)

A Declarative Framework for Temporal Reasoning in Green-Aware Applications. - Giuseppe De Giacomo; Valeria Fionda; Nicola Gigante; Antonio Ielo; Francesco Ricca; Alessandra Russo (GreenAI@AI*IA, 2024)

A General Automata Model for First-Order Temporal Logics (Extended Version). - Luca Geatti; Alessandro Gianola; Nicola Gigante (CoRR, 2024)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. - Renato Acampora; Dario Della Monica; Luca Geatti; Nicola Gigante; Angelo Montanari; Pietro Sala (GandALF, 2024)

Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE. - Nicolò Rossi; Nicola Gigante; Nicola Vitacolonna; Carla Piazza (IEEE ACM Trans. Comput. Biol. Bioinform., 2024)

Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Softw. Syst. Model., 2024)

SAT Meets Tableaux for Linear Temporal Logic Satisfiability. - Luca Geatti; Nicola Gigante; Angelo Montanari; Gabriele Venturato (J. Autom. Reason., 2024)

Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Formal Methods Syst. Des., 2024)

First-Order Automata. - Luca Geatti; Alessandro Gianola; Nicola Gigante (AAAI, 2025)

Succinctness issues for LTL and safety and cosafety fragments of LTL. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (Inf. Comput., 2025)