Concepedia

Gernot Salzer

GS

Statistics

Publications

16

Citations

591

H-Index

12

Active since

1996

Affiliations

TU Wien(Current)

University of Lisbon

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Delft University of Technology

Gernot Salzer is an author at TU Wien specializing in engineering, computer science, and blockchain.

Top concepts

EngineeringComputer ScienceBlockchainData SecuritySmart ContractsSoftware AnalysisFormal VerificationInformation SecurityCryptographyFormal Methods

Publications per year

1996–2024

16

Publications

16

A Survey of Tools for Analyzing Ethereum Smart Contracts

Monika di Angelo, Gernot Salzer · 2019 · 198 citations

Software Maintenance, Engineering, Information Security +18

Tokens, Types, and Standards: Identification and Utilization in Ethereum

Monika di Angelo, Gernot Salzer · 2020 · 98 citations

Engineering, Information Security, Information Forensics +16

Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum

Heidelinde Rameder, Monika di Angelo, Gernot Salzer · Frontiers in Blockchain · 2022 · 50 citations · Full text

Software Maintenance, Engineering, Information Security +20

Labeled Calculi and Finite-Valued Logics

Matthias Baaz, Christian G. Fermüller, Gernot Salzer et al. · Studia Logica · 1998 · 49 citations

A non-ground realization of the stable and well-founded semantics

Georg Gottlob, Sherry Marcus, Anil Nerode et al. · Theoretical Computer Science · 1996 · 30 citations · Full text

Engineering, Well-founded Semantics, Higher-order Logic +19

1–5 of 16