Lars Noschinski

13 papers A 1B 1C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
Pattern-based Subterm Selection in Isabelle.
CoRR
Lars Noschinski, Christoph Traut
2016 — —
Formalizing Graph Theory and Planarity Certificates (Formalisierung von Graphentheorie und Planaritätszertifikaten)
Lars Noschinski
2015 J jnl
A Graph Library for Isabelle.
Math. Comput. Sci.
Lars Noschinski
2015 J jnl
Generating Cases from Labeled Subgoals.
Arch. Formal Proofs
Lars Noschinski
2014 C conf
Experience report: the next 1100 Haskell programmers.
Haskell
Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel
2014 — conf
Verification of Certifying Computations through AutoCorres and Simpl.
NASA Formal Methods
Lars Noschinski, Christine Rizkallah, Kurt Mehlhorn
2013 J jnl
Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs.
J. Autom. Reason.
Lars Noschinski, Fabian Emmes, Jürgen Giesl
2013 J jnl
Graph Theory.
Arch. Formal Proofs
Lars Noschinski
2013 J jnl
Lehmer's Theorem.
Arch. Formal Proofs
Simon Wimmer, Lars Noschinski
2013 J jnl
Pratt's Primality Certificates.
Arch. Formal Proofs
Simon Wimmer, Lars Noschinski
2012 J jnl
A Probabilistic Proof of the Girth-Chromatic Number Theorem.
Arch. Formal Proofs
Lars Noschinski
2012 B conf
Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem.
ITP
Lars Noschinski
2011 A conf
A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems.
CADE
Lars Noschinski, Fabian Emmes, Jürgen Giesl