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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski