Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Fabio Fioravanti
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2023 profile
‹Programming› 2019 profile
Not registered as user
Name:
Fabio Fioravanti
Country:
Italy
Affiliation:
University of Chieti-Pescara
Personal website:
https://www.sci.unich.it/~fioravan/
Contributions
2024
PEPM
Author of A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) within the PEPM 2024-track
2023
Symposium on Practical Aspects of Declarative Languages
Author of Multiple Query Satisfiability of Constrained Horn Clauses within the PADL 2023-track
LOPSTR
Author of Constrained Horn Clauses Satisfiability via Catamorphic Abstractions within the LOPSTR 2023-track
2019
HCVS
Committee Member in Program Committee within the HCVS-track
Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track
VPT
Author of Lemma Generation for Horn Clause Satisfiability: A Preliminary Study within the VPT 2019 -track
Share
x
Wed 10 Dec 05:57
