Salzer, Gernot

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Profile Profil

Prefix title Titel (vorangestellt)

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Full name Familienname, Vorname

Salzer, Gernot

Main Affiliation Organisationszuordnung

E192-05 - Forschungsbereich Theory and Logic

Contributing Publications Mitbeteiligte Publikationen

Results 1-11 of 11 (Search time: 0.009 seconds).

	Preview	Authors / Editors	Title	Type	Issue Date
1		Gmeiner, Karl	Transformational approaches for conditional term rewrite systems	Thesis Hochschulschrift	2014
2		Hetzenecker, Lukas	Smart contracts in a DAG ledger : Blockchain 5.0	Thesis Hochschulschrift	2020
3		Kucera, Gernot	Programmanalyse und Verifikation von SPS-Programmen	Thesis Hochschulschrift	2017
4		Wolf, Mathias	Privacy enhancing technologies for distributed ledgers	Thesis Hochschulschrift	2020
5		Scherer, Markus	Parallelizing the commutation property for functions over small domains	Thesis Hochschulschrift	2016
6		Swoboda, Sylvia	Making Object-Z Perfect : Verifaktion von Object-Z Spezifikationen unter Verwendung von Perfect Developer	Thesis Hochschulschrift	2017
7		Rizvanovic, Aldin	Language Properties for Smart Contracts	Thesis Hochschulschrift	2021
8		Gorgoris, Philippos	Identifying Administrators of Smart Contracts from Transaction Data	Thesis Hochschulschrift	2021
9		Dissauer, Gerald	Formal ontology-based quantum security requirements engineering by Petri nets	Thesis Hochschulschrift	2016
10		Gepp, Daniel	Ein generisches Framework für entscheidungsunterstützende Systeme im medizinischen Bereich	Thesis Hochschulschrift	2018
11		Kurzmann, Martin	Decompilation of EVM bytecode	Thesis Hochschulschrift	2020