E-LIB Suche - Ergebnisse für: Reinhard, Tobias - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Completeness Thresholds for Memory Safety of Array Traversi..:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart - p. 47-54 , 2023

Link: https://dl.acm.org/doi/1..

2

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

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs,

Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart - p. 26-32 , 2020

Link: https://dl.acm.org/doi/1..

3

Bone erosion scoring for rheumatoid arthritis with deep con..:

Rohrbach, Janick ; Reinhard, Tobias ; Sick, Beate.
Computers & Electrical Engineering. 78 (2019) - p. 472-481 , 2019

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

4

Static latency tracking with placement types:

, In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops,

Weisenburger, Pascal ; Reinhard, Tobias ; Salvaneschi, Guido - p. 34-36 , 2018

Link: https://dl.acm.org/doi/1..

5

Polycomb repressor complex 1 promotes gene silencing throug..:

Benitz, Simone ; Regel, Ivonne ; Reinhard, Tobias...
Oncotarget. 7 (2015) 10 - p. 11424-11433 , 2015

Link: https://doi.org/10.18632..

6

Epigenetic changes mediated by the polycomb repressor compl..:

Benitz, Simone ; Regel, Ivonne ; Reinhard, Tobias...
Pancreatology. 15 (2015) 3 - p. S44 , 2015

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

7

Epigenetic changes mediated by the polycomb repressor compl..:

Benitz, Simone ; Regel, Ivonne ; Popp, Anna...
Pancreatology. 14 (2014) 3 - p. S64 , 2014

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

8

Tool support for the navigation in graphical models:

, In: Proceedings of the 30th international conference on Software engineering,

Reinhard, Tobias ; Meier, Silvio ; Stoiber, Reinhard.. - p. 823-826 , 2008

Link: https://dl.acm.org/doi/1..

9

Modeling and Evolving Crosscutting Concerns in ADORA:

, In: Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design,

Meier, Silvio ; Reinhard, Tobias ; Stoiber, Reinhard. - p. 3 ff. , 2007

Link: https://dl.acm.org/doi/1..

10

Synergistic effects of antiwear and friction modifier addit..:

Eickworth, Jennifer ; Aydin, Enes ; Dienwiebel, Martin...
Industrial Lubrication and Tribology. 72 (2020) 8 - p. 1019-1025 , 2020

Link: https://doi.org/10.1108/..

11

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

Reinhard, Tobias ; Jacobs, Bart
doi:10.5281/zenodo.4775099. , 2021

Link: https://zenodo.org/recor..

12

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

Reinhard, Tobias ; Jacobs, Bart
doi:10.5281/zenodo.4775099. , 2021

Link: https://zenodo.org/recor..

13

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

14

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

15

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

1-15