E-LIB Suche - Ergebnisse für: Wagner, Lucas - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

A Toolkit for Automated Testing of Dafny:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Fedchin, Aleksandr ; Dean, Tyler ; Foster, Jeffrey S.... - p. 397-413 , 2023

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

2

Synthesis and isolation of a triplet bismuthinidene with a ..:

Pang, Yue ; Nöthling, Nils ; Leutzsch, Markus...
Science. 380 (2023) 6649 - p. 1043-1048 , 2023

Link: https://doi.org/10.1126/..

3

Bio‐Inspired Deaminative Hydroxylation of Aminoheterocycles..:

Ghiazza, Clément ; Wagner, Lucas ; Fernández, Sergio..
Angewandte Chemie. 135 (2022) 2 - p. , 2022

Link: https://doi.org/10.1002/..

4

Bio‐Inspired Deaminative Hydroxylation of Aminoheterocycles..:

Ghiazza, Clément ; Wagner, Lucas ; Fernández, Sergio..
Angewandte Chemie International Edition. 62 (2022) 2 - p. , 2022

Link: https://doi.org/10.1002/..

5

Formal Specification and Analysis of Spacecraft Collision A..:

, In: 2021 IEEE Aerospace Conference (50100),

Hobbs, Kerianne L. ; Davis, Jennifer ; Wagner, Lucas. - p. 1-16 , 2021

Link: https://doi.org/10.1109/..

6

Automating Certification Objectives with SpeAR:

Wagner, Lucas ; Gacek, Andrew
ACM SIGAda Ada Letters. 39 (2020) 1 - p. 35-49 , 2020

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

7

Formal Specification and Analysis of Requirements using Spe..:

Wagner, Lucas
ACM SIGAda Ada Letters. 39 (2020) 1 - p. 20-34 , 2020

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

8

Automating Certification Objectives with SpeAR:

Wagner, Lucas ; Gacek, Andrew
ACM SIGAda Ada Letters. 39 (2020) 1 - p. 35-49 , 2020

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

9

Formal Specification and Analysis of Requirements using Spe..:

Wagner, Lucas
ACM SIGAda Ada Letters. 39 (2020) 1 - p. 20-34 , 2020

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

10

EIGER2 CdTe detectors: tools for hard X-ray studies:

Brandstetter, Stefan ; Wagner, Lucas ; Kaspar, Sebastian
Acta Crystallographica Section A Foundations and Advances. 75 (2019) a2 - p. e622-e622 , 2019

Link: https://doi.org/10.1107/..

11

The JKind Model Checker:

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

Gacek, Andrew ; Backes, John ; Whalen, Mike.. - p. 20-27 , 2018

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

12

The plant leaf movement analyzer (PALMA): a simple tool for..:

Wagner, Lucas ; Schmal, Christoph ; Staiger, Dorothee.
Plant Methods. 13 (2017) 1 - p. , 2017

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

13

Proof-based coverage metrics for formal verification:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,

Ghassabani, Elaheh ; Gacek, Andrew ; Whalen, Michael W... - p. 194-199 , 2017

Link: http://dl.acm.org/citati..

14

Investigation of a Quantum Monte Carlo Protocol To Achieve ..:

Saritas, Kayahan ; Mueller, Tim ; Wagner, Lucas.
Journal of Chemical Theory and Computation. 13 (2017) 5 - p. 1943-1951 , 2017

Link: https://doi.org/10.1021/..

15

SIMPAL: a compositional reasoning framework for imperative ..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Wagner, Lucas ; Greve, David ; Gacek, Andrew - p. 90-93 , 2017

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

1-15

Mehr Literatur finden