Gernot Salzer
Scholar

Gernot Salzer

Google Scholar ID: O5y-QJgAAAAJ
Associate Professor of Computer Science, Technische Universität Wien
Blockchain ProgrammingCode AnalysisConstraint Satisfaction ProblemsMany-valued LogicsAutomated Reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,026
 
H-index
14
 
i10-index
17
 
Publications
20
 
Co-authors
0
 
Contact
Emailgernot.salzer@tuwien.ac.at
Publications
2 items
Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations
2026
Cited
0
Testing for Renamability to Classes of Clause Sets
2025
Cited
0
Resume
Academic Achievements
  • Has multiple publications, which can be found on DBLP or ORCID.
Research Experience
  • Conducts research at the Theory and Logic Group of Technische Universität Wien.
Background
  • Associate Professor for Theoretical Computer Science, focusing on Theory and Logic.
Miscellany
  • Other information such as hobbies and interests are not provided.