| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 3 |      | Johannes Hölzl, Armin Heller: Three Chapters of Measure Theory in Isabelle/HOL. ITP 2011: 135-151 |
| 2009 | ||
| 2 | | Armin Heller: A Fast SAT Solver for Isabelle in Standard ML. Archive of Formal Proofs 2009: (2009) |
| 1 | | Christoph Knoll, Hanns Kerschner, Armin Heller, Philipp Rastner: A GIS-based Reconstruction of Little Ice Age Glacier Maximum Extents for South Tyrol, Italy. T. GIS 13(5-6): 449-463 (2009) |
| 1 | Johannes Hölzl | [3] |
| 2 | Hanns Kerschner | [1] |
| 3 | Christoph Knoll | [1] |
| 4 | Philipp Rastner | [1] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page