| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Ingo Feinerer, Gernot Salzer: A comparison of tools for teaching formal software verification. Formal Asp. Comput. 21(3): 293-301 (2009) |
| 2007 | ||
| 4 | EE | Ingo Feinerer, Kurt Hornik: Text Mining of Supreme Administrative Court Jurisdictions. GfKl 2007: 569-576 |
| 3 | Ingo Feinerer, Fridolin Wild: Automated Coding of Qualitative Interviews with Latent Semantic Analysis. ISTA 2007: 66-77 | |
| 2 | EE | Ingo Feinerer, Gernot Salzer: Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. TASE 2007: 411-420 |
| 2006 | ||
| 1 | EE | Alexandros Karatzoglou, Ingo Feinerer: Text Clustering with String Kernels in R. GfKl 2006: 91-98 |
| 1 | Kurt Hornik | [4] |
| 2 | Alexandros Karatzoglou | [1] |
| 3 | Gernot Salzer | [2] [5] |
| 4 | Fridolin Wild | [3] |