( en | de | ru )

 

Disambiguierung von "Griggio, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.

, , , , und . SC-square@SIAM AG, Volume 2460 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alberto Griggio

Alberto Moreira

Alberto Fierro

Alberto Botti

Alberto Moreira

 

Weitere Publikationen von Autoren mit dem selben Namen

New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)., , , und . Dagstuhl Reports, 12 (2): 67-86 (2022)Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , und . CoRR, (2024)Analysis of Cyclic Fault Propagation via ASP., , , , und . LPNMR, Volume 13416 von Lecture Notes in Computer Science, Seite 470-483. Springer, (2022)Automatic Discovery of Fair Paths in Infinite-State Transition Systems., , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 32-47. Springer, (2021)A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System., , , , , , , , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 240-254. Springer, (2020)The VMT-LIB Language and Tools., , und . CoRR, (2021)LTL falsification in infinite-state systems., , und . Inf. Comput., 289 (Part): 104977 (2022)Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization., , , , und . SC-square@SIAM AG, Volume 2460 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Certifying Proofs for LTL Model Checking., , und . FMCAD, Seite 1-9. IEEE, (2018)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 113-132. Springer, (2021)