|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Buchbeitrag
Anzahl der Publikationen: 6
Zeitschriftenartikel
Hofmann, Martin; Leutgeb, Lorenz; Obwaller, David; Moser, Georg und Zuleger, Florian
(2022):
Type-based analysis of logarithmic amortised complexity.
In: Mathematical Structures in Computer Science, Bd. 32, Nr. 6, PII S0960129521000232: S. 794-826
Hofmann, Martin und Ledent, Jeremy
(2022):
A quantitative model for simply typed lambda-calculus.
In: Mathematical Structures in Computer Science, Bd. 32, Nr. 6, PII S0960129521000256: S. 777-793
Benton, Nick; Hofmann, Martin und Nigam, Vivek
(2018):
Effect-dependent transformations for concurrent programs.
In: Science of Computer Programming, Bd. 155: S. 27-51
Benton, Nick; Hofmann, Martin und Nigam, Vivek
(2018):
Proof-relevant logical relations for name generation.
In: Logical Methods in Computer Science, Bd. 14, Nr. 1, 25
[PDF, 265kB]
Jördis, Ursula; Seidel, Eva; Schlegel, Patrick; Grosse-Hovest, Ludger; Hofmann, Martin; Aulwurm, Steffen; Pyz, Elwira; Schuster, Friedhelm R.; Meisel, Roland; Ebinger, Martin; Feuchtinger, Tobias; Teltschik, Heiko-Manuel; Witte, Kai-Erik; Schwarze, Carl-Philipp; Rammensee, Hans-Georg; Handgretinger, Rupert; Jung, Gundram und Lang, Peter
(2016):
Reduction of Minimal Residual Disease in Pediatric B-lineage Acute Lymphoblastic Leukemia by an Fc-optimized CD19 Antibody.
In: Molecular therapy, Bd. 24, Nr. 9: S. 1634-1643
Buchbeitrag
Senjak, Christoph-Simon und Hofmann, Martin
(2016):
An Implementation of Deflate in Coq.
In: Fitzgerald, John (Hrsg.):
FM 2016: Formal Methods. 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Programming and Software Engineering, Bd. 9995. Cham: Springer. S. 612-627