| 2009 | ||
|---|---|---|
| 5 | Ingo Feinerer, Gernot Salzer: A comparison of tools for teaching formal software verification. Formal Asp. Comput. 21(3): 293-301 (2009) | |
| 2007 | ||
| 4 | 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 | Ingo Feinerer, Gernot Salzer: Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. TASE 2007: 411-420 | |
| 2006 | ||
| 1 | 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] |