( en | de | ru )

 

Disambiguierung von "Fioravanti, Fabio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inter-Organizational E-Services Accounting Management on Computational Grids.

, , , und . I3E, Volume 139 von IFIP, Seite 267-278. Kluwer/Springer, (2003)

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 Galbusera

Fabio Farinon

Fabio Giovannini

Fabio Ruggiero

 

Weitere Publikationen von Autoren mit dem selben Namen

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)., , , und . PEPM, Seite 16-38. ACM, (2024)Generation of Test Data Structures Using Constraint Logic Programming., und . TAP@TOOLS, Volume 7305 von Lecture Notes in Computer Science, Seite 115-131. Springer, (2012)Towards Benchmarking of Solidity Verification Tools., , , , und . FMBC@CAV, Volume 118 von OASIcs, Seite 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Catamorphic Abstractions for Constrained Horn Clause Satisfiability., , , und . CoRR, (2024)Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)., und . CoRR, (2017)The Italian Electronic Identity Card: a short introduction., , , , und . DG.O, Digital Government Research Center, (2004)Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates., , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 83-102. Springer, (2020)Preface., , und . Fundam. Informaticae, (2020)Multiple Query Satisfiability of Constrained Horn Clauses., , , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 125-143. Springer, (2023)Contextual Specialization of Constraint Logic Programs., und . APPIA-GULP-PRODE, Seite 455-470. (1999)