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

1

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

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

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

Risk factors for nosocomial SARS-CoV-2 infections in patien..:

Aghdassi, Seven Johannes Sam ; Schwab, Frank ; Peña Diaz, Luis Alberto...
Antimicrobial Resistance & Infection Control. 11 (2022) 1 - p. , 2022

Link: https://doi.org/10.1186/..

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

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