Martin Hofmann
Identifiers
- name variant Martin Hofmann 0.60 · backfill
Papers (22)
- Analysis of Logarithmic Amortised Complexity cs.PL · 2018 · author #1
- Linear Tree Constraints cs.LO · 2018 · author #2
- Enforcing Programming Guidelines with Region Types and Effects cs.PL · 2018 · author #2
- Artificial Intelligence and Data Science in the Automotive Industry cs.AI · 2017 · author #1
- An implementation of Deflate in Coq cs.LO · 2016 · author #2
- Effect-Dependent Transformations for Concurrent Programs cs.PL · 2015 · author #2
- Amortised Resource Analysis and Typed Polynomial Interpretations (extended version) cs.LO · 2014 · author #1
- B\"uchi Types for Infinite Traces and Liveness cs.LO · 2014 · author #1
- Analytical characterization of the genuine multiparticle negativity quant-ph · 2014 · author #1
- Certification for mu-calculus with winning strategies cs.LO · 2014 · author #1
- Power of Nondetreministic JAGs on Cayley graphs cs.CC · 2013 · author #1
- Scaling of genuine multiparticle entanglement at a quantum phase transition quant-ph · 2013 · author #1
- On generalized max-linear models and their statistical interpolation math.PR · 2013 · author #2
- Max-stable processes and the functional D-norm revisited math.PR · 2013 · author #3
- On the Reflection Type Decomposition of the Adjoint Reduced Phase Space of a Compact Semisimple Lie group math-ph · 2013 · author #1
- Device-independent entanglement quantification and related applications quant-ph · 2013 · author #4
- Abstract Effects and Proof-Relevant Logical Relations cs.PL · 2012 · author #2
- Learn with SAT to Minimize B\"uchi Automata cs.FL · 2012 · author #2
- On the Hitting Probability of Max-Stable Processes math.PR · 2012 · author #1
- The multivariate Piecing-Together approach revisited math.PR · 2011 · author #3
- Sojourn Times and the Fragility Index math.PR · 2011 · author #2
- On Max-Stable Processes and the Functional D-Norm math.PR · 2011 · author #3
Mentions
- 1510.02419 #2 · backfill · confidence 0.70 Martin Hofmann
- 1402.1922 #1 · backfill · confidence 0.70 Martin Hofmann
- 1401.5107 #1 · backfill · confidence 0.70 Martin Hofmann
- 1401.2424 #1 · backfill · confidence 0.70 Martin Hofmann
- 1401.1693 #1 · backfill · confidence 0.70 Martin Hofmann
- 1310.8317 #1 · backfill · confidence 0.70 Martin Hofmann
- 1309.2217 #1 · backfill · confidence 0.70 Martin Hofmann
- 1303.2602 #2 · backfill · confidence 0.70 Martin Hofmann
- 1303.2452 #3 · backfill · confidence 0.70 Martin Hofmann
- 1302.6118 #1 · backfill · confidence 0.70 Martin Hofmann
- 1302.1336 #4 · backfill · confidence 0.70 Martin Hofmann
- 1212.5692 #2 · backfill · confidence 0.70 Martin Hofmann
- 1210.2452 #2 · backfill · confidence 0.70 Martin Hofmann
- 1206.5913 #1 · backfill · confidence 0.70 Martin Hofmann
- 1108.0920 #3 · backfill · confidence 0.70 Martin Hofmann
- 1107.5696 #2 · backfill · confidence 0.70 Martin Hofmann
- 1107.5136 #3 · backfill · confidence 0.70 Martin Hofmann
Frequent Coauthors
- Michael Falk 5 shared papers
- Otfried G\"uhne 3 shared papers
- Stefan Aulbach 3 shared papers
- Georg Moser 2 shared papers
- Maximilian Zott 2 shared papers
- Nick Benton 2 shared papers
- Tobias Moroder 2 shared papers
- Vivek Nigam 2 shared papers
- Andreas Osterloh 1 shared papers
- Christoph-Simon Senjak 1 shared papers
- Eugen Zalinescu 1 shared papers
- Florian Neukart 1 shared papers
- Gerd Rudolph 1 shared papers
- Harald Ruess 1 shared papers
- Jean-Daniel Bancal 1 shared papers
- Matthias Schmidt 1 shared papers
- Ramyaa Ramyaa 1 shared papers
- Sabine Bauer 1 shared papers
- Serdar Erbatur 1 shared papers
- Stephan Barth 1 shared papers