Stephan Adelsberger

Research activity per year

If you made any changes in Pure these will be visible here soon.

A New Domain-Specific Language for MCMC Inference
Winkler, D., Adelsberger, S. & Frühwirth-Schnatter, S., 2021.
Publication: Contribution to conference › Conference poster
Formal Verification for Feature-Based Composition of Workflows
Adelsberger, S., Moser, M. & Savenkov, V., 2018, In: 2018 14th European Dependable Computing Conference (EDCC).
Publication: Scientific journal › Journal article
Formal Verification for Feature-Based Composition of Workflows
Adelsberger, S., Igried, B., Moser, M., Savenkov, V. & Setzer, A., 2018, 14th European Dependable Computing Conference, EDCC 2018, Iasi, Romania, September 10-14, 2018. Emanuel Onica, Pascal Felber, Paolo Lollini (ed.). Iasi: IEEE, p. 173 - 181
Publication: Chapter in book/Conference proceeding › Contribution to conference proceedings
Interactive programming in Agda - Objects and graphical user interfaces
Adelsberger, S., 2017, In: Journal of Functional Programming. 27, p. 1 - 2
Publication: Scientific journal › Journal article › peer-review
The Caylay-Hamilton Theorem
Adelsberger, S., Hetzl, S. & Pollak, F., 1 Dec 2014, In: Archive of Formal Proofs. 2014, p. 1 - 36
Publication: Scientific journal › Journal article › peer-review

A Domain-Specific Language for MCMC Algorithms
Daniel Winkler (Contributor), Stephan Adelsberger (Contributor) & Sylvia Frühwirth-Schnatter (Contributor)
28 Jun 2021 → 2 Jul 2021
Activity: Talk or presentation › Science to science
Formal Verification for Feature-based Composition of Workflows
Stephan Adelsberger (Contributor), Bashar Igried (Contributor), Markus Moser (Contributor), Vadim Savenkov (Contributor) & Anton Setzer (Contributor)
10 Sept 2018 → 14 Sept 2018
Activity: Talk or presentation › Science to science

Dipl.-Ing. Stephan Adelsberger, Ph.D.