Schneider, Sven
2842  Ergebnisse:
Personensuche X
?
3

Bounded model checking for interval probabilistic timed gra..:

Schneider, Sven ; Maximova, Maria ; Giese, Holger
Journal of Logical and Algebraic Methods in Programming.  137 (2024)  - p. 100938 , 2024
 
?
4

Approaches to Eliminating Obesogenic Environments:

, In: Handbook of Eating Disorders and Obesity,
Schneider, Sven ; Holzwarth, Bärbel - p. 559-565 , 2024
 
?
5

Socioeconomic Aspects of Obesity:

, In: Handbook of Eating Disorders and Obesity,
Schneider, Sven ; Holzwarth, Bärbel - p. 437-443 , 2024
 
?
9

How can outdoor sports protect themselves against climate c..:

Schneider, Sven ; Niederberger, Marlen ; Kurowski, Luke.
Journal of Science and Medicine in Sport.  27 (2024)  1 - p. 37-44 , 2024
 
?
10

Isolation of an Osmium(III) Hydrido Complex:

Alizadeh, Niyaz ; Abbenseth, Josh ; Bete, Sarah...
Zeitschrift für anorganische und allgemeine Chemie.  650 (2024)  5-6 - p. , 2024
 
?
11

b-it-bots: Winners of RoboCup@Work 2023:

, In: RoboCup 2023: Robot World Cup XXVI; Lecture Notes in Computer Science,
 
?
12

Combining Look-ahead Design-time and Run-time Control-synth..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Xu, He ; Schneider, Sven ; Giese, Holger - p. 77-100 , 2024
 
1-15