E-LIB Suche - Ergebnisse für: Wolff, Sebastián

1

Sizing up sustainability: Influence of battery size and cel..:

Schneider, Jakob ; Wolff, Sebastian ; Seidenfus, Moritz.
e-Prime - Advances in Electrical Engineering, Electronics and Energy. 9 (2024) - p. 100656 , 2024

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

2

Verification, Model Checking, and Abstract Interpretation: ..

Lecture Notes in Computer Science, 14499

Dimitrova, Rayna ; Lahav, Ori ; Wolff, Sebastian - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

3

Verification, Model Checking, and Abstract Interpretation: ..

Lecture Notes in Computer Science, 14500

Dimitrova, Rayna ; Lahav, Ori ; Wolff, Sebastian - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

4

Influenza and pneumococcal vaccine prescription for adults ..:

Matta, María Gabriela ; Pulido, Laura ; Herrera-Paz, Juan José...
Vaccine. 41 (2023) 9 - p. 1541-1544 , 2023

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

5

Evaluation of simulated CO2 power plant plumes fromsix high..:

Brunner, Dominik ; Kuhlmann, Gerrit ; Henne, Stephan...
Atmospheric Chemistry and Physics. 23 (2023) 4 - p. 2699-2728 , 2023

Link: https://doi.org/10.5194/..

6

Techno-economic cell selection for battery-electric long-ha..:

Teichert, Olaf ; Link, Steffen ; Schneider, Jakob..
eTransportation. 16 (2023) - p. 100225 , 2023

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

7

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

Link: https://doi.org/10.1007/..

8

nekton: A Linearizability Proof Checker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Meyer, Roland ; Opaterny, Anton ; Wies, Thomas. - p. 170-183 , 2023

Link: https://doi.org/10.1007/..

9

Organ Recital: Baker, Martin - BACH, J.S. / GRIGNY, N. de /..

Naxos Music Library

Widor, Charles-Marie ; Bach, Johann Sebastian ; Grigny, Nicolas de... , 2023

Link: http://suub.naxosmusicli..

10

Quantification of microplastics in wastewater systems of Ge..:

Barkmann-Metaj, Luisa ; Weber, Felix ; Bitter, Hajo...
Science of The Total Environment. 881 (2023) - p. 163349 , 2023

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

11

How to Measure Sustainability? An Open-Data Approach:

Ziegler, David ; Wolff, Sebastian ; Agu, Ana-Beatrice...
Sustainability. 15 (2023) 4 - p. 3203 , 2023

Link: https://doi.org/10.3390/..

12

A concurrent program logic with a future and history:

Meyer, Roland ; Wies, Thomas ; Wolff, Sebastian
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1378-1407 , 2022

Link: https://doi.org/10.1145/..

13

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

Link: https://doi.org/10.1007/..

14

Exercise-Induced Cardiac Fatigue in Recreational Ultramarat..:

Wolff, Sebastián ; Picco, José M. ; Díaz-González, Leonel...
Frontiers in Cardiovascular Medicine. 8 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

15

Time vs. Capacity—The Potential of Optimal Charging Stop St..:

Zähringer, Maximilian ; Wolff, Sebastian ; Schneider, Jakob..
Energies. 15 (2022) 19 - p. 7137 , 2022

Link: https://doi.org/10.3390/..