2015

• On the undecidability of the equivalence of second-order tuple generating dependencies / I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov / Information Systems, 48 (2015), 113 - 129

2014

• Numeric semantics of class diagrams with multiplicity and uniqueness constraints / G. Salzer, I. Feinerer / Software and Systems Modeling, 13 (2014), 3; 1167 - 1187

2013

• UMAP: A universal layer for schema mapping languages / F. Chertes, I. Feinerer / Talk: 24th International Conference on Database and Expert Systems Applications, Prague; 2013-08-26 - 2013-08-29; in: "Proceedings of the 24th International Conference on Database and Expert Systems Applications", H. Decker, L. Lhotská, S. Link, J. Basl, A. Tjoa (ed.); Lecture Notes in Computer Science, 8056 (2013), 349 - 363
• Lossless horizontal decomposition with domain constraints on interpreted attributes / I. Feinerer, P. Guagliardo, E. Franconi / Talk: 29th British National Conference on Databases, Oxford; 2013-07-08 - 2013-07-10; in: "Proceedings of the 29th British National Conference on Databases", G. Gottlob, G. Grasso, D. Olteanu, C. Schallhart (ed.); Lecture Notes in Computer Science, 7968 (2013), 77 - 91
• Class diagrams with equated association chains / I. Feinerer, G. Salzer, T. Sisel / Talk: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 2013-07-01 - 2013-07-03; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), 209 - 216
• Efficient large-scale configuration via integer linear programming / I. Feinerer / Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 27 (2013), 1; 37 - 49
• Beyond the schools of psychology 1: A digital analysis of Psychological Review, 1894-1903 / C. Green, I. Feinerer, J. Burman / Journal of the History of the Behavioral Sciences, 49 (2013), 2; 167 - 189
• The textcat package for n-gram based text categorization in R / K. Hornik, P. Mair, J. Rauch, W. Geiger, Ch. Buchta, I. Feinerer / Journal of Statistical Software, 52 (2013), 6; 1 - 17

2012

• Configuration Repair via Flow Networks / G. Salzer, I. Feinerer, T. Sisel et al. / Talk: 20th International Symbosium, ISMIS 2012, Macao; 2012-12-04 - 2012-12-07; in: "Foundations of Intelligent Systems - 20th International Symbosium, ISMIS 2012", C. Li, A. Felfernig et al. (ed.); Berlin (2012), ISBN: 978-3-642-34623-1; 321 - 330
• Towards hybrid techniques for efficient declarative configuration / I. Feinerer / Talk: ECAI Workshop on Con guration 2012, Montpellier, France; 2012-08-27 - 2012-08-31; in: "Proceedings of the Workshop on Configuration at ECAI 2012", (2012), 27 - 30
• A tm Plug-In for Distributed Text Mining in R / S. Theußl, I. Feinerer, K. Hornik / Journal of Statistical Software, 51 (2012), 5; 1 - 31
• Spherical k-Means Clustering / K. Hornik, I. Feinerer, M. Kober, Ch. Buchta / Journal of Statistical Software, 50 (2012), 10; 1 - 22
• Numeric semantics of class diagrams with multiplicity and uniqueness constraints / I. Feinerer, G. Salzer / Software and Systems Modeling, 2012 (2012), 1 pages

2011

• Reducing multiplicities in class diagrams / I. Feinerer, G. Salzer, T. Sisel / Talk: 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand; 2011-10-16 - 2011-10-21; in: "Lecture Notes in Computer Science", 6981 (2011), ISBN: 978-3-642-24484-1; 379 - 393
• Efficient configuration and verification of software product lines / I. Feinerer / Talk: International Software Product Line Conference, München, Deutschland; 2011-08-21 - 2011-08-26; in: "Proceedings of the 15th International Software Product Line Conference", I. Schäfer, I. John, K. Schmid (ed.); ACM, Volume 2 (2011), ISBN: 978-1-4503-0789-5; 49
• On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies / I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile; 2011-05-09 - 2011-05-12; in: "CEUR Workshop Proceedings", P. Barceló, V. Tannen (ed.); 749 (2011), ISSN: 1613-0073; Paper ID 5, 13 pages
• Content-based social network analysis of mailing lists / A. Bohn, I. Feinerer, K. Hornik, P. Mair / R Journal, 3 (2011), 1; 11 - 18

2010

• Analysis and Algorithms for Stemming Inversion / I. Feinerer / Poster: 6th Asia Information Retrieval Societies Conference, Taipei, Taiwan; 2010-12-01 - 2010-12-03; in: "Information Retrieval Technology - AIRS 2010 Proceedings", P. Cheng, M. Kan, W. Lam, P. Nakov (ed.); Springer, Lecture Notes in Computer Science 6458 (2010), 290 - 299
• Support Vector Machines for Large Scale Text Mining in R / I. Feinerer, A. Karatzoglou / Talk: 19th International Conference on Computational Statistics, Paris, Frankreich; 2010-08-22 - 2010-08-27; in: "COMPSTAT 2010 --- Proceedings in Computational Statistics", Y. Lechevallier, G. Saporta (ed.); Physica, Heidelberg, Deutschland (2010), ISBN: 978-3-7908-2603-6; 999 - 1006
• Computing Product Configurations via UML and Integer Linear Programming / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / International Journal of Mass Customisation (invited), 3 (2010), 4; 351 - 367
• Kernel-based machine learning for fast text mining in R / A. Karatzoglou, I. Feinerer / Computational Statistics and Data Analysis, 54 (2010), 2; 290 - 297

2009

• A New SNA Centrality Measure Quantifying the Distance to the Nearest Center / A. Bohn, S. Theußl, I. Feinerer, K. Hornik, P. Mair, N. Walchhofer / Talk: 11th Conference of the International Federation of Classification Societies, Dresden, Deutschland; 2009-03-13 - 2009-03-18; in: "Classification as a Tool for Research", H. Locarek-Junge, C. Weihs (ed.); Springer, Studies in Classification, Data Analysis, and Knowledge Organization (2010), 579 - 586
• A Comparison of Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Formal Aspects of Computing, 21 (2009), 3; 293 - 301

2008

• Fast text mining using kernels in R / I. Feinerer, A. Karatzoglou / Talk: COMPSTAT 2008 International Conference on Computational Statistics, Porto, Portugal; 2008-08-24 - 2008-08-29; in: "COMPSTAT 2008-Proceedings in Computational Statistics", (2008), ISBN: 978-3-7908-2083-6; 8 pages
• Solving Practical Configuration Problems using UML / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / Talk: ECAI 2008 Workshop on Configuration Systems, Patras, Greece; 2008-07-21 - 2008-07-22; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems", (2008), ISBN: 978-960-6843-01-3; 6 pages
• Nonparametric distribution analysis for text mining / A. Karatzoglou, I. Feinerer, K. Hornik / Talk: 32nd Annual Conference of the Gesellschaft für Klassifikation e.V., Hamburg; 2008-07-16 - 2008-07-18; in: "Advances in Data Analysis, Data Handling and Business Intelligence", Springer, (2009), ISBN: 978-3-642-01045-3; 295 - 305
• Text Mining Infrastructure in R / I. Feinerer, K. Hornik, D. Meyer / Journal of Statistical Software, 25 (2008), 5; 54 pages

2007

• Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints / G. Salzer, I. Feinerer / Talk: TASE 2007, Shanghai; 2007-06-06 - 2007-06-08; in: "Proceedings 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering", J. He, J. Sanders (ed.); (2007), 411 - 420
• A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management / Doctoral Thesis by I. Feinerer / Supervisor, Reviewer: G. Salzer, G. Kappel; E 185 Institut für Computersprachen, 2007; oral examination: 2007-03-23
• Text Mining of Supreme Administrative Court Jurisdictions / I. Feinerer, K. Hornik / Talk: 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, Germany; 2007-03-07 - 2007-03-09; in: "Data Analysis, Machine Learning, and Applications (Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V.)", Springer, (2008), 569 - 576

2006

• Automated Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Talk: Teaching Formal Methods, London; 2006-12-15; in: "Proceedings of Teaching Formal Methods 2006", P. Boca et al. (ed.); BCS, (2006), ISSN: 1477-9358; 5 pages

2005

• Formal Program Verification: A Comparison of Selected Tools and Their Theoretical Foundations / Master Thesis by I. Feinerer / Supervisor: G. Salzer; E 185 Institut für Computersprachen, 2005; final examination: 2005-02-03

• INiTS Award
  2007 / INiTS-Award / Austria

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Ingo Feinerer’s research profile in TISS .