- cases, but with a
fixed seed to
always provide deterministic behavior.
Lammich,
Peter (2020).
Efficient Verified Implementation of
Introsort and Pdqsort...
- 9581. Springer. pp. IVI–XVII. ISBN 978-3-319-28033-2. Kanav, Sudeep;
Lammich, Peter; Popescu,
Andrei (2014). "A
Conference Management System with Verified...
-
Computing Expertise & Legacy. 2019-04-04.
Retrieved 2023-08-30. Ammer, Thomas;
Lammich, Peter. "van Emde Boas Trees".
Archive of
Formal Proofs.
Retrieved 26 November...
- 2011, Springer, 2011.
Jasmin Christian Blanchette,
Mathias Fleury,
Peter Lammich &
Christoph Weidenbach, "A
Verified SAT
Solver Framework with Learn, Forget...
- (6): 1242–52. doi:10.1038/sj.emboj.7601031. PMC 1422162. PMID 16511561.
Lammich S,
Okochi M,
Takeda M,
Kaether C,
Capell A,
Zimmer AK,
Edbauer D, Walter...
-
similarities to APP
processing and is also
regulated in part by ADAM10.
Lammich, S; Kojro, E; Postina, R; Gilbert, S; Pfeiffer, R; Jasionowski, M; Ha****...
- Sozeau ::
Dependent Finger Trees in Coq Nordhoff, Benedikt; Körner, Stefan;
Lammich, Peter. "Finger Trees".
Archive of
Formal Proofs.
Retrieved 26 November...
- 489–93. doi:10.1016/j.bbrc.2009.09.117. PMID 19800317.
Anders L,
Mertins P,
Lammich S,
Murgia M,
Hartmann D,
Saftig P, Ha**** C,
Ullrich A (2006). "Furin-,...
