( en | de | ru )

 

Disambiguierung von "Fioravanti, Fabio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient generation of test data structures using constraint logic programming and program transformation.

, , und . J. Log. Comput., 25 (6): 1263-1283 (2015)

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.

Fabio Sternberg

Fabio Farinon

Fabio Galbusera

Fabio Giovannini

Fabio Ruggiero

 

Weitere Publikationen von Autoren mit dem selben Namen

Contextual Specialization of Constraint Logic Programs., und . APPIA-GULP-PRODE, Seite 455-470. (1999)Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach., , , und . CoRR, (2021)Evaluation of complex security scenarios using defense trees and economic indexes., , , und . J. Exp. Theor. Artif. Intell., 24 (2): 161-192 (2012)Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM., , , und . Theory Pract. Log. Program., 19 (4): 629 (2019)Verifying Catamorphism-Based Contracts using Constrained Horn Clauses., , , und . Theory Pract. Log. Program., 22 (4): 555-572 (2022)Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset (short paper)., und . NL4AI@AI*IA, Volume 3551 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Verification of Programs by Combining Iterated Specialization with Interpolation., , , und . HCVS, Volume 169 von EPTCS, Seite 3-18. (2014)A Specification for Security Services on Computational Grids., , , und . GSEM, Volume 3270 von Lecture Notes in Computer Science, Seite 119-135. Springer, (2004)Semantics and Controllability of Time-Aware Business Processes., , , , und . Fundam. Informaticae, 165 (3-4): 205-244 (2019)Multiple Query Satisfiability of Constrained Horn Clauses., , , und . CoRR, (2022)