Lars Noschinski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2014
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | HASKELL | Experience report: the next 1100 Haskell programmers. | Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel |
| 2012 | ITP | Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem. | Lars Noschinski |
| 2011 | CADE | A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems. | Lars Noschinski, Fabian Emmes, Jrgen Giesl |