Marco Faella
Scholar

Marco Faella

Google Scholar ID: cooc4M4AAAAJ
Università di Napoli "Federico II", Italy
formal methodscontroller synthesisgame theorypreference elicitation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
426
 
H-index
12
 
i10-index
15
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
1 items
Verifying Tree-Manipulating Programs via CHCs
2025
Cited
0
Resume (English only)
Co-authors
11 total
Co-author 1
Co-author 1
Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
axel legay
axel legay
TRAXXEO
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Aniello Murano
Aniello Murano
Full Professor in Computer Science, Università degli Studi di Napoli Federico II
Thomas Henzinger
Thomas Henzinger
IST Austria
Massimo Benerecetti
Massimo Benerecetti
Professore di Informatica, Università di Napoli "Federico II"