E-LIB Suche - Ergebnisse für: Sebastian Ullrich

1

Mapping the functional impact of non-coding regulatory elem..:

Alda-Catalinas, Celia ; Ibarra-Soria, Ximena ; Flouri, Christina...
Genome Biology. 25 (2024) 1 - p. , 2024

Link: https://doi.org/10.1186/..

2

Untersuchung zum Schadensbild der EHEC 0104:H4 assoziierten..:

Leuffert, Julia , 2022

Link: https://nbn-resolving.de..

3

Multi-hallmark long noncoding RNA maps reveal non-small cel..:

Esposito, Roberta ; Polidori, Taisia ; Meise, Dominik F....
Cell Genomics. 2 (2022) 9 - p. 100171 , 2022

Link: https://doi.org/10.1016/..

4

Paired guide RNA CRISPR-Cas9 screening for protein-coding g..:

Arnan, Carme ; Ullrich, Sebastian ; Pulido-Quetglas, Carlos...
BMC Genomics. 23 (2022) 1 - p. , 2022

Link: https://doi.org/10.1186/..

5

Diagnostic benefit of high b-value computed diffusion-weigh..:

Ablefoni, Maxime ; Ullrich, Sebastian ; Surov, Alexey..
Journal of Neuroradiology. 49 (2022) 1 - p. 47-52 , 2022

Link: https://doi.org/10.1016/..

6

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

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

Link: https://doi.org/10.46298..

7

'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

Link: https://doi.org/10.1145/..

8

Klinische Umsetzbarkeit der kognitiven Screeningbatterie BI..:

Penner, Iris-Katharina ; Filser, Melanie ; Bätge, Sharon Jean...
Der Nervenarzt. 92 (2021) 10 - p. 1031-1041 , 2021

Link: https://doi.org/10.1007/..

9

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

Link: https://doi.org/10.1016/..

10

The Lean 4 Theorem Prover and Programming Language:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Moura, Leonardo de ; Ullrich, Sebastian - p. 625-635 , 2021

Link: https://doi.org/10.1007/..

11

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

Link: https://doi.org/10.3390/..

12

42 Monate nach EHEC O104:H4 - Outcome und klinische Verläu..:

Albersmeier, Jan Philipp , 2020

Link: https://nbn-resolving.de..

13

A case report of an unrecognized osteoid osteoma of the pro..:

Samland, Marie ; Ullrich, Sebastian ; Petersen, Tim-Ole.
Radiology Case Reports. 15 (2020) 6 - p. 722-726 , 2020

Link: https://doi.org/10.1016/..

14

Characterizing cognitive deficits and potential predictors ..:

Renner, Alina ; Baetge, Sharon J. ; Filser, Melanie...
Journal of Neuropsychology. 14 (2020) 3 - p. 347-369 , 2020

Link: https://doi.org/10.1111/..

15

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

, In: Automated Reasoning; Lecture Notes in Computer Science,

Ullrich, Sebastian ; de Moura, Leonardo - p. 167-182 , 2020

Link: https://doi.org/10.1007/..