Adaptive physical optimization in hybrid OLTP & OLAP main-memory database systems

von Funke, Florian Andreas
Veröffentlicht 2015

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints

von Funke, Florian
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Digitale Bildung in verschiedenen Phasen der Aus- und Weiterbildung von Lehrkräften

von Funke, Florian
Veröffentlicht in DELFI (Veranstaltung : 19. : 2021 : Online) DELFI 2021 (2021)

Minimal Witnesses for Probabilistic Timed Automata

von Jantsch, Simon
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Kritische Erfolgsfaktoren bei Börsengängen am neuen Markt : eine empirische Studie

von Achleitner, Ann-Christin
Veröffentlicht in Die Bank (2001)

On probability-raising causality in Markov decision processes

von Baier, Christel
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Probabilistic Causes in Markov Chains

von Baier, Christel
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

<<The>> L2-torsion polytope of groups and the integral polytope group

von Funke, Florian
Veröffentlicht 2018

Causality-Based Game Solving

von Baier, Christel
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)