GIGANTE, Nicola
GIGANTE, Nicola
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A Conservative Approach for Describing Cancer Progression
2022-01-01 Rossi, Nicolò; Gigante, Nicola; Vitacolonna, Nicola; Piazza, Carla
A game-theoretic approach to timeline-based planning with uncertainty
2018-01-01 Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark
A New Tableau-based Satisfiability Checker for Linear Temporal Logic
2016-01-01 Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
2019-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform
2015-01-01 Policriti, Alberto; Gigante, Nicola; Prezza, Nicola
Complexity of qualitative timeline-based planning
2020-01-01 Della Monica, D.; Gigante, N.; la Torre, S.; Montanari, A.
Complexity of timeline-based planning
2017-01-01 Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
2020-01-01 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Decidability and complexity of action-based temporal planning over dense time
2022-01-01 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Expressiveness of Extended Bounded Response LTL
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE
2023-01-01 Rossi, Nicolo; Gigante, Nicola; Vitacolonna, Nicola; Piazza, Carla
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
2016-01-01 Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
Linear Temporal Logic Modulo Theories over Finite Traces
2022-01-01 Geatti, Luca; Gianola, Alessandro; Gigante, Nicola
On timeline-based games and their complexity
2020-01-01 Gigante, N.; Montanari, A.; Orlandini, A.; Cialdea Mayer, M.; Reynolds, M.
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past
2020-01-01 Geatti, L.; Gigante, N.; Montanari, A.; Reynolds, M.
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past
2018-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
Past matters: Supporting LTL+past in the BLACK satisfiability Checker
2021-01-01 Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G.
Planning basato su timeline: espressività e complessità
2019-02-28 Gigante, Nicola
Reactive Synthesis from Extended Bounded Response LTL Specifications
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
2024-01-01 Acampora, Renato; Della Monica, Dario; Geatti, Luca; Gigante, Nicola; Montanari, Angelo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Conservative Approach for Describing Cancer Progression | 1-gen-2022 | Rossi, Nicolò; Gigante, Nicola; Vitacolonna, Nicola; Piazza, Carla | |
| A game-theoretic approach to timeline-based planning with uncertainty | 1-gen-2018 | Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark | |
| A New Tableau-based Satisfiability Checker for Linear Temporal Logic | 1-gen-2016 | Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark | |
| A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL | 1-gen-2019 | Geatti, Luca; Gigante, Nicola; Montanari, Angelo | |
| Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform | 1-gen-2015 | Policriti, Alberto; Gigante, Nicola; Prezza, Nicola | |
| Complexity of qualitative timeline-based planning | 1-gen-2020 | Della Monica, D.; Gigante, N.; la Torre, S.; Montanari, A. | |
| Complexity of timeline-based planning | 1-gen-2017 | Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea | |
| Decidability and Complexity of Action-Based Temporal Planning over Dense Time | 1-gen-2020 | Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico | |
| Decidability and complexity of action-based temporal planning over dense time | 1-gen-2022 | Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico | |
| Expressiveness of Extended Bounded Response LTL | 1-gen-2021 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
| Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE | 1-gen-2023 | Rossi, Nicolo; Gigante, Nicola; Vitacolonna, Nicola; Piazza, Carla | |
| Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau | 1-gen-2016 | Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark | |
| Linear Temporal Logic Modulo Theories over Finite Traces | 1-gen-2022 | Geatti, Luca; Gianola, Alessandro; Gigante, Nicola | |
| On timeline-based games and their complexity | 1-gen-2020 | Gigante, N.; Montanari, A.; Orlandini, A.; Cialdea Mayer, M.; Reynolds, M. | |
| One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past | 1-gen-2020 | Geatti, L.; Gigante, N.; Montanari, A.; Reynolds, M. | |
| One-pass and tree-shaped tableau systems for TPTL and TPTLb+past | 1-gen-2018 | Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark | |
| Past matters: Supporting LTL+past in the BLACK satisfiability Checker | 1-gen-2021 | Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G. | |
| Planning basato su timeline: espressività e complessità | 28-feb-2019 | Gigante, Nicola | |
| Reactive Synthesis from Extended Bounded Response LTL Specifications | 1-gen-2020 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
| Synthesis of Timeline-Based Planning Strategies Avoiding Determinization | 1-gen-2024 | Acampora, Renato; Della Monica, Dario; Geatti, Luca; Gigante, Nicola; Montanari, Angelo |