Concepedia

Gernot Salzer

GS

Statistics

Publications

17

Citations

616

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 computing, computer science, and cybersecurity.

ORCID

Publications per year

1996–2024

17

Publications

17

A Survey of Tools for Analyzing Ethereum Smart Contracts

Monika di Angelo, Gernot Salzer · 2019 · 200 citations

, , +10

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

Monika di Angelo, Gernot Salzer · 2020 · 100 citations

, , +9

Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum

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

, , +17

Labeled Calculi and Finite-Valued Logics

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

, , +9

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

, , +7

1–5 of 17