Lars Noschinski
Lars Noschinski
Verified email at in.tum.de
Title
Cited by
Cited by
Year
Analyzing innermost runtime complexity of term rewriting by dependency pairs
L Noschinski, F Emmes, J Giesl
Journal of Automated Reasoning 51 (1), 27-56, 2013
422013
A dependency pair framework for innermost complexity analysis of term rewrite systems
L Noschinski, F Emmes, J Giesl
International Conference on Automated Deduction, 422-438, 2011
262011
A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems
L Noschinski, F Emmes, J Giesl
262011
A graph library for isabelle
L Noschinski
Mathematics in Computer Science 9 (1), 23-39, 2015
222015
Verification of certifying computations through AutoCorres and Simpl
L Noschinski, C Rizkallah, K Mehlhorn
NASA Formal Methods Symposium, 46-61, 2014
192014
Pattern-based subterm selection in isabelle
C Traut, L Noschinski
Proceedings of Isabelle Workshop 2014, 2014
62014
Formalizing graph theory and planarity certificates
L Noschinski
Technische Universität München, 2016
52016
Proof pearl: A probabilistic proof for the Girth-Chromatic number theorem
L Noschinski
International Conference on Interactive Theorem Proving, 393-404, 2012
32012
A probabilistic proof of the girth-chromatic number theorem
L Noschinski
The Archive of Formal Proofs (February 2012), http://afp. sf. net/entries …, 2016
22016
Experience report: The next 1100 haskell programmers
JC Blanchette, L Hupel, T Nipkow, L Noschinski, D Traytel
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 25-30, 2014
22014
Generating Cases from Labeled Subgoals
L Noschinski
Archive of Formal Proofs (July 2015). Formal proof development, 2015
12015
A Formalisation of Lehmer’s primality criterion
S Wimmer, L Noschinski
Arch. Formal Proofs, Isabelle, 2013
12013
June 11, 2019
L Noschinski
2019
A Formalization of Pratt’s Primality Certificates
S Wimmer, L Noschinski
2016
February 22, 2016
L Noschinski
2016
September 19, 2015
L Noschinski
2015
May 27, 2015
L Noschinski
2015
August 28, 2014
L Noschinski
2014
May 2, 2013
L Noschinski
2013
Pattern-based Subterm Selection in Isabelle
L Noschinski, C Traut
The system can't perform the operation now. Try again later.
Articles 1–20