1
0
0
(1 - 16 von 16
)
ACM Digital Library
dl.acm.org
Lennard Gäher. Lennard Gäher. MPI-SWS, Germany. https://orcid.org X · View Profile. , Joseph Tassarotti. Joseph Tassarotti. New York ...
Aarhus Universitet
cpv.au.dk
von S Spies · Zitiert von: 38 — Lennard Gäher. Saarland University. Daniel Gratzer. Aarhus University. Joseph Tassarotti. Boston College. Robbert Krebbers. Radboud University ...
Archive ouverte HAL
hal.science
von C Aubert · · Zitiert von: 1 — [13] Lennard Gäher and Fabian Kunze Mechanising Complex- ity Theory: The Cook-Levin Theorem in Coq. In 12th International. Conference ...
Daniel Gratzer
www.danielgratzer.com
von S Spies · Zitiert von: 38 — Lennard Gäher. Saarland University. Daniel Gratzer. Aarhus ... [48] Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert.
ETH Zürich
www.research-collection.ethz.ch
Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, and Derek Dreyer RefinedRust: A Type. System for High-Assurance Verification of Rust ...
Inriahttp://cambium.inria.fr › iris23PDFReasoning about Heap Space in a Concurrent and Garbage Collected ...
cambium.inria.fr
Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars. Birkedal, and Derek Dreyer. Later credits: Resourceful reasoning for the ...
National Institute of Standards and Technology (.gov)
www.nist.gov
Wojciech Ozga, Lennard Gäher, Guerney D.H. Hunt, Avraham Shinnar,. Elaine R. Palmer, Michael V. Le, Silvio Dragone. 9:30 – 10:00. A Comparison-Based ...
Radboud Repository
repository.ubn.ru.nl
von S Spies · · Zitiert von: 38 — [47] Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert. Krebbers, Derek Dreyer, and Lars Birkedal Transfinite ...
Robbert Krebbers
robbertkrebbers.nl
von S Spies · · Zitiert von: 38 — Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Rob- bert Krebbers, Derek Dreyer, and Lars Birkedal Transfinite. Iris: Resolving an ...
drops.dagstuhl.de
drops.dagstuhl.de
von L Cohen · · Zitiert von: 12 — Authors: Lennard Gäher and Fabian Kunze. Published in: LIPIcs, Volume 193, 12th International Conference on Interactive Theorem Proving (ITP 2021). Abstract.
iris-project.org
iris-project.org
Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung,. Robbert Krebbers, Lars Birkedal, Derek Dreyer. Iris Workshop, May Page 2. Step-Indexed. Logical.
[PDF] arXiv: v2 [cs.LO] 14 Jul 2023arxiv.org › pdf
arxiv.org
· Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek. Dreyer Simuliris: a ...
[PDF] Joseph Tassarotti – - Computer Science Departmentwww.cs.bc.edu › ~tassarot › jtassaro-cv-public
www.cs.bc.edu
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic. Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert ...
[PDF] Semantics Of Data Types Lecture Notes In Computer Pdfdigitalworkgroup.skidmore.edu › file › visit
digitalworkgroup.skidmore.edu
WebSemantics of Type Systems Lecture Notes Derek Dreyer Simon Spies Lennard Gäher Ralf Jung Jan-Oliver Kaiser. Hoang-Hai Dang David Swasey Jan Menz MPI-SWS ...
[PDF] Semantics Of Data Types Lecture Notes In Computer Pdffeatures.kualumni.org › pdf › goto
features.kualumni.org
vor 3 Tagen · Simon Spies Lennard Gäher Ralf Jung Jan-Oliver Kaiser Hoang-. Hai Dang David Swasey Jan Menz MPI-SWS July 26, With first-order ...
Simuliris: a separation logic framework for verifying concurrent ...dl.acm.org › doi
dl.acm.org
· Simuliris: a separation logic framework for verifying concurrent program optimizations. Authors: Lennard Gäher.
Verwandte Suchanfragen zu Lennard Gäher
Fabian Kunze Lars Birkedal Michael Sammler | Lena Becker Hanna Nebelung Derek Dreyer | Ralf Jung Philippe Heim Andrej Dudenhefner |
Personen Vorname "Lennard" (1094) Name "Gäher" (23) |
sortiert nach Relevanz / Datum