Sebastian Ullrich
433  results:
Search for persons X
?
2

Beyond Notations: Hygienic Macro Expansion for Theorem Prov..:

Ullrich, Sebastian ; de Moura, Leonardo
Logical Methods in Computer Science.  18, Issue 2 (2022)  - p. , 2022
 
?
6

'do' unchained: embracing local imperativity in a purely fu..:

Ullrich, Sebastian ; de Moura, Leonardo
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 512-539 , 2022
 
?
7

Mental symptoms in MS (MeSyMS): Development and validation ..:

Filser, Melanie ; Baetge, Sharon Jean ; Balloff, Carolin...
Multiple Sclerosis and Related Disorders.  49 (2021)  - p. 102744 , 2021
 
?
8

Granulomatous Inflammation in ANCA-Associated Vasculitis:

Müller, Antje ; Krause, Bettina ; Kerstein-Stähle, Anja...
International Journal of Molecular Sciences.  22 (2021)  12 - p. 6474 , 2021
 
?
11

Fibrinolysis and the Influence of Tranexamic Acid Dosing in..:

Besser, Veronica ; Albert, Alexander ; Sixt, Stephan Urs...
Journal of Cardiothoracic and Vascular Anesthesia.  34 (2020)  10 - p. 2664-2673 , 2020
 
?
12

Mono‐Phosphazenyl Phosphines (R2N)3P=N–P(NR2)2 – Strong P‐B..:

Kögel, Julius F. ; Ullrich, Sebastian ; Kovačević, Borislav..
Zeitschrift für anorganische und allgemeine Chemie.  646 (2020)  13 - p. 923-932 , 2020
 
?
13

CT imaging features of skeletal muscle metastasis: A rare t..:

Meyer, Hans‐Jonas ; Ullrich, Sebastian ; Surov, Alexey
Journal of Medical Imaging and Radiation Oncology.  64 (2020)  5 - p. 674-678 , 2020
 
?
 
1-15