Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Reinhard, Tobias
482  Ergebnisse:
OpenAccess-Volltexte X
englisch X
Personensuche X
?
1

Ghost Signals: Verifying Termination of Busy Waiting (Techn..:

Reinhard, Tobias ; Jacobs, Bart
doi:10.5281/zenodo.4775099.  , 2021
Link: https://zenodo.org/recor..
 
?
2

Ghost Signals: Verifying Termination of Busy Waiting (Techn..:

Reinhard, Tobias ; Jacobs, Bart
doi:10.5281/zenodo.4775099.  , 2021
Link: https://zenodo.org/recor..
 
?
3

A separation logic to verify termination of busy-waiting fo..:

Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart
Reinhard , T , Timany , A & Jacobs , B 2020 , A separation logic to verify termination of busy-waiting for abrupt program exit . in FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs . Association for Computing Machinery , New York , pp. 26-32 , 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020 , Virtual, Online , United States , 23/07/2020 . https://doi.org/10.1145/3427761.3428345.  , 2020
Link: https://pure.au.dk/porta..
 
?
4

Sunlight exposure exerts immunomodulatory effects to reduce..:

Ostkamp, Patrick ; Salmen, Anke ; Pignolet, Béatrice...
info:eu-repo/semantics/altIdentifier/doi/10.1073/pnas.2018457118.  , 2021
Link: https://hal.science/hal-..
 
?
5

Sunlight exposure exerts immunomodulatory effects to reduce..:

Ostkamp, Patrick ; Salmen, Anke ; Pignolet, Béatrice...
info:eu-repo/semantics/altIdentifier/doi/10.1073/pnas.2018457118.  , 2021
Link: https://hal.science/hal-..
 
?
6

Magnetic and Electronic Properties of Supramolecular Archit..:

Umbach, Tobias Reinhard
https://refubium.fu-berlin.de/handle/fub188/239.  , 2013
Link: https://refubium.fu-berl..
 
?
7

Epidemiology of 7375 children and adolescents hospitalized ..:

Maren Doenhardt ; Markus Hufnagel ; Natalie Diffloth...
https://doi.org/10.1038/s41598-023-49210-1.  , 2024
Link: https://doi.org/10.1038/..
 
?
8

Transition for adolescents with a rare disease: results of ..:

Corinna Grasemann ; Jakob Höppner ; Peter Burgard...
https://doi.org/10.1186/s13023-023-02698-2.  , 2023
Link: https://doi.org/10.1186/..
 
?
9

Complement lectin pathway activation is associated with COV..:

Lisa Hurler ; Ágnes Szilágyi ; Federica Mescia...
https://www.frontiersin.org/articles/10.3389/fimmu.2023.1162171/full.  , 2023
Link: https://doi.org/10.3389/..
 
?
10

Radiation and Dose-densification of R-CHOP in Aggressive B-..:

Lorenz Thurner ; Marita Ziepert ; Christian Berdel...
http://journals.lww.com/10.1097/HS9.0000000000000904.  , 2023
Link: https://doi.org/10.1097/..
 
?
11

Early mobilisation in critically ill COVID-19 patients: a s..:

Kloss, Philipp ; Lindholz, Maximilian ; Milnik, Annette...
info:eu-repo/semantics/altIdentifier/pmid/37962748.  , 2023
Link: https://hdl.handle.net/1..
 
?
12

The importance of high quality real-life social interaction..:

Monninger, Maximilian ; Aggensteiner, Pascal-M ; Pollok, Tania M...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9985477/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
13

The interplay of family history of depression and early tra..:

Streit, Fabian ; Völker, Maja P ; Klinger-König, Johanna...
https://repository.publisso.de/resource/frl:6453238.  , 2023
Link: https://repository.publi..
 
?
14

Corynebacterium ulcerans Infections in Eurasian Beavers (Ca..:

Reinhard Sting ; Catharina Pölzelbauer ; Tobias Eisenberg...
Emerging Pathogens.  , 2023
Link: https://doi.org/10.3390/..
 
?
15

Development of In-Line Measurement Techniques for Monitorin..:

Jennifer Frank ; Tobias V. Raiber ; Laura Grotenhoff.
Particle Processes.  , 2023
Link: https://doi.org/10.3390/..
 
1-15