# Lars Noschinski

According to our database

Collaborative distances:

^{1}, Lars Noschinski authored at least 11 papers between 2011 and 2015.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

A Graph Library for Isabelle.

Mathematics in Computer Science, 2015

Generating Cases from Labeled Subgoals.

Arch. Formal Proofs, 2015

2014

Verification of Certifying Computations through AutoCorres and Simpl.

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Experience report: the next 1100 Haskell programmers.

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013

Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs.

J. Autom. Reasoning, 2013

Lehmer's Theorem.

Arch. Formal Proofs, 2013

Pratt's Primality Certificates.

Arch. Formal Proofs, 2013

Graph Theory.

Arch. Formal Proofs, 2013

2012

A Probabilistic Proof of the Girth-Chromatic Number Theorem.

Arch. Formal Proofs, 2012

Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem.

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011

A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems.

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011