• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2014

Benefits of Configuration Systems

Felfernig, A., Bagley, C., Tiihonen, J., Wortley, L. & Hotz, L., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 29-33

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Biases in Decision Making

Felfernig, A., 2014, Proceedings of the International Workshop on Decision Making and Recommender Systems 2014. CEUR Proceedings, Vol. ISSN 1613-0073, Vol 1278. p. 32-37 (CEUR Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane

Aichholzer, O., Cardinal, J., Hackl, T., Hurtado, F., Korman, M., Pilz, A., Silveira, R., Uehara, R., Valtr, P., Vogtenhuber, B. & Welzl, E., 2014, In : Discrete Mathematics & Theoretical Computer Science. 16, 3, p. 317-332

Research output: Contribution to journalArticleResearchpeer-review

Choicla: An Intelligent Group Decision Support Environment

Stettinger, M. & Felfernig, A., 2014, Proceedings of the International Workshop on Decision Making and Recommender Systems 2014. CEUR Proceedings, p. 1-3

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Choicla: Intelligent Decision Support for Groups of Users in Context of Personnel Decisions

Stettinger, M. & Felfernig, A., 2014, ACM RecSys'14 IntRS Workshop. ., p. 28-32

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Comparing and improving dependency-based models for fault localization in spreadsheets

Hofer, B. G. & Wotawa, F., 2014, International Workshop on Principles of Diagnosis. ., p. 1-7

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Comparing Models for Spreadsheet Fault Localization

Hofer, B. G. & Wotawa, F., 2014.

Research output: Contribution to conferencePosterResearch

Comparing Models for Spreadsheet Fault Localization

Hofer, B. G. & Wotawa, F., 2014, European Conference on Artificial Intelligence. ., p. 1029-1030

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Configuration Knowledge Representation and Reasoning

Hotz, L., Felfernig, A., Stumptner, M., Ryabokon, A., Bagley, C. & Wolter, K., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 41-72

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Configuration-Related Research Challenges

Felfernig, A., Hotz, L., Bagley, C. & Tiihonen, J., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 191-195

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Configuration-Related Topics

Felfernig, A., Hotz, L., Tiihonen, J. & Bagley, C., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 21-27

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Configuring Decision Tasks

Stettinger, M., Felfernig, A., Reiterer, S., Jeran, M., Ninaus, G. & Leitner, G., 2014, Workshop on Configuration. ., p. 17-21

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Conflict Detection and Diagnosis in Configuration

Felfernig, A., Reiterer, S., Reinfrank, F-C., Ninaus, G. & Jeran, M., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 73-87

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Consumer Decision-Making and Configuration Systems

Mandl, M., Felfernig, A. & Teppan, E., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 181-190

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Content-based Recommendation Techniques in Requirements Engineering

Ninaus, G., Reinfrank, F-C., Stettinger, M. & Felfernig, A., 2014, First International Workshop on Artificial Intelligence for Requirements Engineering. ., p. 27-34

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Covering Folded Shapes

Aichholzer, O., Aloupis, G., Demaine, E., Demaine, M., Fekete, S., Lubiw, A., Snoeyink, J., Winslow, A. & Hoffmann, M., 2014, In : Journal of Computational Geometry . 5, 1, p. 150-168

Research output: Contribution to journalArticleResearchpeer-review

Debugging with Timed Automata Mutations

Aichernig, B., Hörmaier, K. & Lorber, F. L., 2014, Computer Safety, Reliability, and Security. Bondavalli, A. & Di Giandomenico, F. (eds.). Springer International Publishing AG , Vol. 8666. p. 49-64 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Disseminating Ambient Assisted Living in the Rural Area

Leitner, G., Felfernig, A., Fercher, A. J. & Hitz, M., 2014, In : Sensors . 14, 8, p. 13496-13531

Research output: Contribution to journalArticleResearchpeer-review

Einführung in die angewandte Geometrie

Aichholzer, O., 2014, 1 ed. Basel: Bikhäuser. (Mathematik Kompakt)

Research output: Book/ReportBookResearch

Embedding Four-directional Paths on Convex Point Sets

Aichholzer, O., Hackl, T., Lutteropp, S., Mchedlidze, T. & Vogtenhuber, B., 2014, Proc. 22nd International Symposium on Graph Drawing (GD 2014). ., Vol. 8871. p. 355-366 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers

Koitz, R. & Slany, W., 2014, PLATEAU '14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools. New York, NY, USA: Association of Computing Machinery, p. 21-30

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Empty Monochromatic Simplices

Aichholzer, O., Fabila-Monroy, R., Hackl, T., Huemer, C. & Urrutia, J., 2014, In : Discrete & computational geometry. 52, 2, p. 362-393

Research output: Contribution to journalArticleResearchpeer-review

Evaluating the impact of robotics in education on pupils' skills and attitudes

Kandlhofer, M. & Steinbauer, G., 2014, Robotics in Education 2014. .

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Failure Mode and Effect Analysis for Abductive Diagnosis

Wotawa, F., 2014, International Workshop on Defeasible and Ampliative Reasoning. ., p. 1-13

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Field Report: Civil Protection Exercise Gas Storage

Steinbauer, G., Maurer, J. & Ciossek, A., 2014, (Accepted/In press) IEEE International Symposium on Safety Security and Rescue Robotics. Institute of Electrical and Electronics Engineers

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Flip Distance Between Triangulations of a Planar Point Set is APX-Hard

Pilz, A., 2014, In : Computational geometry. 47, p. 589-604

Research output: Contribution to journalArticleResearchpeer-review

Flips in combinatorial pointed pseudo-triangulations with face degree at most four

Aichholzer, O., Hackl, T., Orden, D., Pilz, A., Saumell, M. & Vogtenhuber, B., 2014, In : International Journal of Computational Geometry and Applications. 24, 3, p. 197-224

Research output: Contribution to journalArticleResearchpeer-review

FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGL

Andrews, K. & Wright, B., 2014, Proc. Eurographics Conference on Visualization (EuroVis 2014). Eurographics, p. 43-47

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Formal Test-Driven Development with Verified Test Cases

Aichernig, B., Lorber, F. L. & Tiran, S., 2014, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon: SCITEPRESS – Science and Technology Publications, p. 626-635

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Functional Diagnosis of a SOA's BPEL Processes

Jehan, S., Hofer, B. G., Pill, I. H. & Wotawa, F., 2014.

Research output: Contribution to conferencePosterResearch

Functional Diagnosis of a SOA's BPEL Processes

Hofer, B. G., Jehan, S., Pill, I. H. & Wotawa, F., 2014, International Workshop on Principles of Diagnosis. ., p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Generation of Relevant Spreadsheet Repair Candidates

Hofer, B. G., Wotawa, F., Abreu, R. & Perez, A., 2014.

Research output: Contribution to conferencePosterResearch

Generation of Relevant Spreadsheet Repair Candidates

Hofer, B. G., Abreu, R., Perez, A. & Wotawa, F., 2014, European Conference on Artificial Intelligence. ., p. 1027-1028

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Geodesic Order Types

Aichholzer, O., Korman, M., Pilz, A. & Vogtenhuber, B., 2014, In : Algorithmica. 70, p. 112-128

Research output: Contribution to journalArticleResearchpeer-review

Geodesic-preserving polygon simplification

Aichholzer, O., Hackl, T., Korman, M., Pilz, A. & Vogtenhuber, B., 2014, In : International Journal of Computational Geometry and Applications. 24, 4, p. 307-323

Research output: Contribution to journalArticleResearchpeer-review

Graph Drawings with Relative Edge Length Specifications

Aichholzer, O., Hoffmann, M., van Kreveld, M. & Rote, G., 2014, Canadian Conference on Computational Geometry. ., p. ---

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Ham-Sandwich Cuts for Abstract Order Types

Felsner, S. & Pilz, A., 2014, International Symposium on Algorithms and Computation. Springer, Vol. 8889. p. 726-737 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations

Peischl, B., Ferk, M. & Holzinger, A., 2014, International Joint Conference on e-Business and Telecommunications. ., p. 185-195

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Integration of Requirements Engineering and Test-Case Generation via OSLC

Aichernig, B., Hörmaier, K., Lorber, F., Nickovic, D., Schlick, R., Tiran, S. & Simoneau, D., 2014, 2014 14th International Conference on Quality Software. ., p. 117-126

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

IntelliReq: Intelligent Techniques for Software Requirements Engineering

Ninaus, G., Felfernig, A., Stettinger, M., Reiterer, S., Leitner, G., Weninger, L. & Schanil, W., 2014, Prestigious Applications of Intelligent Systems (PAIS). ., p. 1161-1166

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Knowledge-Aware Execution of Programs in IndiGolog

Mühlbacher, C. & Steinbauer, G., 2014, (Accepted/In press) International Workshop on Cognitive Robotics. .

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Knowledge-based Configuration: From Research to Business Cases

Felfernig, A. (ed.), Hotz, L. (ed.), Bagley, C. (ed.) & Tiihonen, J. (ed.), 2014, 1 ed. Elsevier B.V.

Research output: Book/ReportBookResearch

Knowledge-based Configuration: Motivation

Felfernig, A., Hotz, L., Bagley, C. & Tiihonen, J., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 3-7

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Knowledge-based Configuration: Overview of the Book

Felfernig, A., Hotz, L., Tiihonen, J. & Bagley, C., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. ., p. 35-37

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Life Sign Detection Based on Sound and Gas Measurements

Imlauer, S., Lassnig, K., Maurer, J. & Steinbauer, G., 2014, (Accepted/In press) Austrian Robotics Workshop. .

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Linear Transformation Distance for Bichromatic Matchings

Aichholzer, O., Barba, L., Hackl, T., Pilz, A. & Vogtenhuber, B., 2014, Proceedings of the Thirtyth Annual Symposium on Computational Geometry (SCG '14). ., p. 154-162

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Lower bounds for the number of small convex k-holes

Aichholzer, O., Fabila-Monroy, R., Hackl, T., Huemer, C., Pilz, A. & Vogtenhuber, B., 2014, In : Computational geometry. 47, 5, p. 605-613

Research output: Contribution to journalArticleResearchpeer-review

Minimum Dual Diameter Triangulations

Korman, M., Stefan, L., Mulzer, W., Pilz, A. & Vogtenhuber, B., 2014, European Workshop on Computational Geometry. ., p. 0-0

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-Based Mutation Testing of an Industrial Measurement Device

Aichernig, B., Auer, J., Jöbstl, E., Korosec, R., Krenn, W., Schlick, R. & Schmidt, B. V., 2014, Tests and Proofs. Springer, Vol. 8570. p. 1-9 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-Based Mutation Testing with Constraint and SMT Solvers

Jöbstl, E., 2014

Research output: ThesisDoctoral ThesisResearch

Open Access
File