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

Completeness Thresholds for Memory Safety of Array Traversi..:

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2305.03606.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Completeness Thresholds for Memory Safety: Unbounded Guaran..:

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2309.09731.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

Completeness Thresholds for Memory Safety of Array Traversi..:

Reinhard, Tobias
http://arxiv.org/abs/2211.11885.  , 2022
Link: http://arxiv.org/abs/221..
 
?
4

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

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

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

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

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..
 
?
7

A Separation Logic to Verify Termination of Busy-Waiting fo..:

Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart
http://arxiv.org/abs/2007.10215.  , 2020
Link: http://arxiv.org/abs/200..
 
?
8

A Separation Logic to Verify Termination of Busy-Waiting fo..:

Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart
http://arxiv.org/abs/2010.07800.  , 2020
Link: http://arxiv.org/abs/201..
 
?
9

A Core Calculus for Static Latency Tracking with Placement ..:

Reinhard, Tobias
http://arxiv.org/abs/2007.15617.  , 2020
Link: http://arxiv.org/abs/200..
 
?
10

Ghost Signals: Verifying Termination of Busy-Waiting (Exten..:

Reinhard, Tobias ; Jacobs, Bart
http://arxiv.org/abs/2010.11762.  , 2020
Link: http://arxiv.org/abs/201..
 
?
11

Polycomb repressor complex 1 promotes gene silencing throug..:

Benitz, Simone ; Regel, Ivonne ; Reinhard, Tobias...
https://mediatum.ub.tum.de/1398854.  , 2015
Link: https://mediatum.ub.tum...
 
?
12

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-..
 
?
13

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-..
 
?
14

Magnetic and Electronic Properties of Supramolecular Archit..:

Umbach, Tobias Reinhard
http://www.helmholtz-berlin.de/pubbin/oai_publication?VT=1&ID=106357.  , 2013
Link: http://www.helmholtz-ber..
 
?
15

Magnetic and Electronic Properties of Supramolecular Archit..:

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