Publications (24)
On the Hitting Probability of Max-Stable Processes
Martin Hofmann
Bounded Linear Logic, Revisited
Ugo Dal Lago, Martin Hofmann
Certification for mu-calculus with winning strategies
Martin Hofmann, Harald Ruess
Scaling of genuine multiparticle entanglement at a quantum phase transition
Martin Hofmann, Andreas Osterloh, Otfried Gühne
Analytical characterization of the genuine multiparticle negativity
Martin Hofmann, Tobias Moroder, Otfried Gühne
Büchi Types for Infinite Traces and Liveness
Martin Hofmann, Wei Chen
Device-independent entanglement quantification and related applications
Tobias Moroder, Jean-Daniel Bancal, Yeong-Cherng Liang +2
On the Reflection Type Decomposition of the Adjoint Reduced Phase Space of a Compact Semisimple Lie group
Martin Hofmann, Gerd Rudolph, Matthias Schmidt
Artificial Intelligence and Data Science in the Automotive Industry
Martin Hofmann, Florian Neukart, Thomas Bäck
Optical Scattering Lengths in Large Liquid-Scintillator Neutrino Detectors
Michael Wurm, Franz von Feilitzsch, Marianne Goeger-Neff +12
Max-stable processes and the functional D-norm revisited
Stefan Aulbach, Michael Falk, Martin Hofmann +1
Abstract Effects and Proof-Relevant Logical Relations
Nick Benton, Martin Hofmann, Vivek Nigam
Learn with SAT to Minimize Büchi Automata
Stephan Barth, Martin Hofmann
Analysis of Logarithmic Amortised Complexity
Martin Hofmann, Georg Moser
Linear Tree Constraints
Sabine Bauer, Martin Hofmann
Enforcing Programming Guidelines with Region Types and Effects
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
Power of Nondetreministic JAGs on Cayley graphs
Martin Hofmann, Ramyaa Ramyaa
On generalized max-linear models and their statistical interpolation
Michael Falk, Martin Hofmann, Maximilian Zott
The multivariate Piecing-Together approach revisited
Stefan Aulbach, Michael Falk, Martin Hofmann
On Max-Stable Processes and the Functional D-Norm
Stefan Aulbach, Michael Falk, Martin Hofmann
Sojourn Times and the Fragility Index
Michael Falk, Martin Hofmann
Effect-Dependent Transformations for Concurrent Programs
Nick Benton, Martin Hofmann, Vivek Nigam
An implementation of Deflate in Coq
Christoph-Simon Senjak, Martin Hofmann
Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)
Martin Hofmann, Georg Moser