Salzer, Gernot

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Salzer, Gernot
 
Main Affiliation Organisationszuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Transformational approaches for conditional term rewrite systems.pdf.jpgGmeiner, Karl Transformational approaches for conditional term rewrite systemsThesis Hochschulschrift2014
2Smart Contracts in a DAG Ledger.pdf.jpgHetzenecker, Lukas Smart Contracts in a DAG LedgerThesis Hochschulschrift2020
3Programmanalyse und Verifikation von SPS-Programmen.pdf.jpgKucera, Gernot Programmanalyse und Verifikation von SPS-ProgrammenThesis Hochschulschrift2017
4Privacy-Enhancing Technologies for Distributed Ledgers.pdf.jpgWolf, Mathias Privacy-Enhancing Technologies for Distributed LedgersThesis Hochschulschrift2020
5Parallelizing the commutation property for functions over small domains.pdf.jpgScherer, Markus Parallelizing the commutation property for functions over small domainsThesis Hochschulschrift2016
6Making Object-Z Perfect Verifaktion von Object-Z Spezifikationen unter Verwendung von Perfect Developer.pdf.jpgSwoboda, Sylvia Making Object-Z Perfect; Verifaktion von Object-Z Spezifikationen unter Verwendung von Perfect DeveloperThesis Hochschulschrift2017
7Formal ontology-based quantum security requirements engineering by Petri nets.pdf.jpgDissauer, Gerald Formal ontology-based quantum security requirements engineering by Petri netsThesis Hochschulschrift2016
8Ein generisches Framework fuer entscheidungsunterstuetzende Systeme im medizinischen Bereich.pdf.jpgGepp, Daniel Ein generisches Framework für entscheidungsunterstützende Systeme im medizinischen BereichThesis Hochschulschrift2018
9Decompilation of EVM Bytecode.pdf.jpgKurzmann, Martin Decompilation of EVM BytecodeThesis Hochschulschrift2020