Ingo Feinerer

Contact information

Database and Artificial Intelligence Group
Institute of Information Systems
Vienna University of Technology

E-mail: lastname at dbai dot tuwien dot ac dot at
E-mail: lastname at logic dot at (for tm related topics)
PGP: Ingo Feinerer's public key. Fingerprint: D31F 210D B128 0D00 10AE CA98 0C74 2B04 270C D540
TISS: Ingo Feinerer
TUWIS++: Ingo Feinerer

Description

I obtained my PhD in computer science at TU Vienna in 2007. My advisor was Gernot Salzer. Subsequently I was postdoctoral visiting scholar at the computer science department of Carnegie Mellon university collaborating with Edmund Clarke and his group. In 2008 I received my PhD in business administration at WU Vienna under the guidance of Kurt Hornik. Now I am assistant professor at the Database and Artificial Intelligence Group of TU Vienna.

Teaching

Lectures Winter Term 2009/2010

Datenbanksysteme
Grundlagen methodischen Arbeitens
Praktika: Projekt-PK, Informatik-PK 1, Informatik-PK 2, PK aus Internet Computing
Seminare: Seminar für DiplomandInnen, Seminar (mit Bachelorarbeit)

Lectures Summer Term 2009

Datenbanktheorie
Grundlagen methodischen Arbeitens
Praktika: Projekt-PK, Informatik-PK 1, Informatik-PK 2, PK aus Internet Computing
Seminare: Seminar für DiplomandInnen, Seminar (mit Bachelorarbeit)

Current Project and Thesis Topics

Advanced Logfile Processing System (ALPS) (Praktikum)
UML Class Editor with Consistency Checking (Diplom-/Magisterarbeit)

Feel free to contact me if you are interested in one of the topics.

Publications

Journal Papers

[1]	Alexandros Karatzoglou and Ingo Feinerer. Kernel-based machine learning for fast text mining in R. Computational Statistics & Data Analysis, 54(2):290-297, February 2010. [ bib \| DOI ]
[2]	Ingo Feinerer and Gernot Salzer. A comparison of tools for teaching formal software verification. Formal Aspects of Computing, 21(3):293-301, May 2009. [ bib \| DOI ]
[3]	Andreas Falkner, Ingo Feinerer, Gernot Salzer, and Gottfried Schenner. Computing product configurations via UML and integer linear programming. International Journal of Mass Customisation, 2009. Accepted for publication. [ bib ]
[4]	Ingo Feinerer. An introduction to text mining in R. R News, 8(2):19-22, October 2008. [ bib \| http \| .pdf ]
[5]	Ingo Feinerer, Kurt Hornik, and David Meyer. Text mining infrastructure in R. Journal of Statistical Software, 25(5):1-54, March 2008. [ bib \| http ]

Conference Papers

[1]	Alexandros Karatzoglou, Ingo Feinerer, and Kurt Hornik. Nonparametric distribution analysis for text mining. In Advances in Data Analysis, Data Handling and Business Intelligence (Proceedings of the 32nd Annual Conference of the Gesellschaft für Klassifikation e.V., Helmut-Schmidt-Universität / Universität der Bundeswehr Hamburg, July 16-18, 2008), Studies in Classification, Data Analysis, and Knowledge Organization, pages 295-305. Springer-Verlag, 2009. [ bib \| DOI \| Talk ]
[2]	Andreas Falkner, Ingo Feinerer, Gernot Salzer, and Gottfried Schenner. Solving practical configuration problems using UML. In Proceedings of ECAI 2008 Workshop on Configuration Systems, pages 1-6, 2008. [ bib \| Talk \| .pdf ]
[3]	Ingo Feinerer and Kurt Hornik. Text mining of supreme administrative court jurisdictions. In C. Preisach, H. Burkhardt, L. Schmidt-Thieme, and R. Decker, editors, Data Analysis, Machine Learning, and Applications (Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, March 7-9, 2007), Studies in Classification, Data Analysis, and Knowledge Organization, pages 569-576. Springer-Verlag, 2008. [ bib \| DOI \| Talk ]
[4]	Ingo Feinerer and Alexandros Karatzoglou. Fast text mining using kernels in R. In Paula Brito, editor, COMPSTAT 2008-Proceedings in Computational Statistics, pages 813-821. Physica-Verlag, Heidelberg, Germany, 2008. [ bib \| Talk \| .pdf ]
[5]	Ingo Feinerer and Gernot Salzer. Consistency and minimality of UML class specifications with multiplicities and uniqueness constraints. In Proceedings of the 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, June 6-8, 2007, Shanghai, China, pages 411-420. IEEE Computer Society Press, 2007. [ bib \| DOI \| Talk ]
[6]	Ingo Feinerer and Fridolin Wild. Automated coding of qualitative interviews with latent semantic analysis. In H.C. Mayr and D. Karagiannis, editors, Proceedings of the 6th International Conference on Information Systems Technology and its Applications, May 23-25, 2007, Kharkiv, Ukraine, volume 107 of Lecture Notes in Informatics, pages 66-77, Bonn, Germany, 2007. Gesellschaft für Informatik e.V. [ bib \| Talk \| .ps \| .pdf ]
[7]	Alexandros Karatzoglou and Ingo Feinerer. Text clustering with string kernels in R. In R. Decker and H.-J. Lenz, editors, Advances in Data Analysis (Proceedings of the 30th Annual Conference of the Gesellschaft für Klassifikation e.V., Freie Universität Berlin, March 8-10, 2006), Studies in Classification, Data Analysis, and Knowledge Organization, pages 91-98. Springer-Verlag, 2007. [ bib \| DOI \| Talk ]
[8]	Ingo Feinerer and Gernot Salzer. Automated tools for teaching formal software verification. In P. Boca, J.P. Bowen, and D.A. Duce, editors, Proceedings of Teaching Formal Methods: Practice and Experience, Electronic Workshops in Computing (eWiC), pages 15-19, BCS London Office, UK, 15 December 2006. British Computing Society, BCS. [ bib \| .pdf ]

Theses

[1]	Ingo Feinerer. A Text Mining Framework in R and Its Applications. PhD thesis, Department of Statistics and Mathematics, Vienna University of Economics and Business Administration, October 2008. [ bib \| Talk \| http ]
[2]	Ingo Feinerer. A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management. PhD thesis, Theory and Logic Group, Institute of Computer Languages, Vienna University of Technology, March 2007. [ bib \| tar.gz \| Talk \| .ps \| .pdf ]
[3]	Ingo Feinerer. The benefits of formal software verification for software development. Master's thesis, Department of Information Business, Vienna University of Economics and Business Administration, May 2005. [ bib \| tar.gz \| .pdf ]
[4]	Ingo Feinerer. Formal program verification: A comparison of selected tools and their theoretical foundations. Master's thesis, Theory and Logic Group, Institute of Computer Languages, Vienna University of Technology, January 2005. [ bib \| tar.gz \| Talk \| .ps \| .pdf ]
[5]	Ingo Feinerer. Einführung in die Quantencomputik für Informatiker. Bachelor's thesis, Compilers and Languages Group, Institute of Computer Languages, Vienna University of Technology, 2003. [ bib \| .ps \| .pdf ]

Technical Reports

[1]	Angela Bohn, Stefan Theußl, Ingo Feinerer, Kurt Hornik, Patrick Mair, and Norbert Walchhofer. Combining weighted centrality and network clustering. Research report 97, Department of Statistics and Mathematics, Vienna University of Economics and Business Administration, December 2009. [ bib \| http ]
[2]	Angela Bohn, Ingo Feinerer, Kurt Hornik, and Patrick Mair. An approach to incorporate texts into a social network analysis of communication graphs. Research report 96, Department of Statistics and Mathematics, Vienna University of Economics and Business Administration, December 2009. [ bib \| http ]
[3]	Ingo Feinerer and Kurt Hornik. Text mining of supreme administrative court jurisdictions. Research report 51, Department of Statistics and Mathematics, Vienna University of Economics and Business Administration, March 2007. [ bib \| http ]
[4]	Alexandros Karatzoglou and Ingo Feinerer. Text clustering with string kernels in R. Research report 34, Department of Statistics and Mathematics, Vienna University of Economics and Business Administration, May 2006. [ bib \| http ]
[5]	Ingo Feinerer. AL-interpreter in Perfect. Technical report, Theory and Logic Group, Institute of Computer Languages, Vienna University of Technology, 2003. [ bib \| tar.gz \| .ps \| .pdf ]

Software

[1]	Ingo Feinerer. tm: Text Mining Package, 2009. R package version 0.5-1. [ bib \| http ]

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.