Nicola Gigante
Orcid: 0000-0002-2254-4821
According to our database1,
Nicola Gigante
authored at least 44 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Autom. Reason., June, 2024
Softw. Syst. Model., April, 2024
IEEE ACM Trans. Comput. Biol. Bioinform., 2024
CoRR, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Log. Methods Comput. Sci., 2023
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract).
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa.
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies.
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Proceedings of the 13th International Symposium on Games, 2022
CoRR, 2022
Artif. Intell., 2022
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
2021
Inf. Comput., 2021
Proceedings of the Proceedings 12th International Symposium on Games, 2021
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
2018
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
2017
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
2015
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform.
Proceedings of the Language and Automata Theory and Applications, 2015