Wolff, Sebastián
29  Ergebnisse:
Personensuche X
?
1

Make Flows Small Again: Revisiting the Flow Framework:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Meyer, Roland ; Wies, Thomas ; Wolff, Sebastian - p. 628-646 , 2023
 
?
2

nekton: A Linearizability Proof Checker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Meyer, Roland ; Opaterny, Anton ; Wies, Thomas. - p. 170-183 , 2023
 
?
3

Model-Based Fault Classification for Automotive Software:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Becker, Mike ; Meyer, Roland ; Runge, Tobias... - p. 110-131 , 2022
 
?
4

Review of Trends and Potentials in the Vehicle Concept Deve..:

, In: 2020 Fifteenth International Conference on Ecological Vehicles and Renewable Energies (EVER),
 
?
5

Impact of Electric Machine Design Parameters and Loss Types..:

, In: 2019 8th International Conference on Power Science and Engineering (ICPSE),
 
?
6

'Staatsprojekt Europa' in der Krise?:

, In: Europäische Staatlichkeit,
Wissel, Jens ; Wolff, Sebastian - p. 223-240 , 2015
 
?
7

I. MULTISKALARE KRÄFTEVERHÄLTNISSE IN EUROPA: Vorbemerkung ..:

, In: Kultur und soziale Praxis; Kämpfe um Migrationspolitik,
 
?
9

"Warum will jemand hier wohnen?" - Rollenexkursionen im Sac..:

, In: Exkursionsdidaktik. Geographische Bildung in der Grundschule.,
 
?
10

Introduction:

, In: Challenges in Tropical Coastal Zone Management,
 
?
11

Evaluation and Synopsis:

, In: Challenges in Tropical Coastal Zone Management,
 
?
13

The Future of International Soil Governance:

, In: International Yearbook of Soil Law and Policy 2019; International Yearbook of Soil Law and Policy,
 
?
14

Contributors:

, In: Advanced Ceramics for Energy Conversion and Storage,
Adamczyk, Evan ; Arinicheva, Yulia ; Bakan, Emine... - p. ix-xiii , 2020
 
?
15

Pregnancy and Birth After Cancer in the Youth:

, In: Late Treatment Effects and Cancer Survivor Care in the Young,
 
1-15