Lars Noschinski

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 3

Top Topics

Personal Experiences

Bounded Treewidth

Top Venues

Arch. Formal Proofs

Math. Comput. Sci.

Publications

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