• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2014

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

Monotone Simultaneous Embedding of Directed Paths

Aichholzer, O., Hackl, T., Pilz, A., Lutteropp, S., Mchedlidze, T. & Vogtenhuber, B., 2014, Collection of Abstracts of the 30th European Workshop on Computational Geometry 2014. ., p. 0-0

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

Non-Shellable Drawings of Kn with Few Crossings

Ábrego, B., Aichholzer, O., Fernández-Merchant, S., Ramos, P. & Vogtenhuber, B., 2014, Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014. ., p. online-only

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

On k-Convex Point Sets

Aichholzer, O., Aurenhammer, F., Hackl, T., Hurtado, F., Pilz, A., Ramos, P., Urrutia, J., Valtr, P. & Vogtenhuber, B., 2014, In : Computational geometry. 47, 8, p. 809-832

Research output: Contribution to journalArticleResearchpeer-review

On Order Types, Projective Classes, and Realizations

Scheucher, M., 2014

Research output: ThesisBachelor's ThesisResearch

Open Access
File

On the Usage of Dependency-based Models for Spreadsheet Debugging

Hofer, B. G. & Wotawa, F., 2014, International Workshop on Software Engineering Methods in Spreadsheets. ., p. 1-4

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

Order types and cross-sections of line arrangements in R3

Aichholzer, O., Fabila-Monroy, R., Hurtado, F., Perez-Lantero, P., Ruiz-Vargas, A., Urrutia, J. & Vogtenhuber, B., 2014, (Kopie von) Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014. ., p. online-only

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

Packing Plane Spanning Trees and Paths in Complete Geometric Graphs

Aichholzer, O., Hackl, T., Korman, M., van Kreveld, M., Löffler, M., Pilz, A., Speckmann, B. & Welzl, E., 2014, Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014. ., p. online-only

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

Personalized Configuration

Tiihonen, J., Felfernig, A. & Mandl, M., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 167-179

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Plane graphs with parity constraints

Aichholzer, O., Hackl, T., Hoffmann, M., Pilz, A., Rote, G., Speckmann, B. & Vogtenhuber, B., 2014, In : Graphs and combinatorics. 30, 1, p. 47-69

Research output: Contribution to journalArticleResearchpeer-review

Plan It! Automated Security Testing Based on Planning

Bozic, J. & Wotawa, F., 2014, International Conference on Testing Software and Systems. ., p. 48-62

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

Playing Nine Men's Morris with the Humanoid Robot Nao

Bock, S., Klöbl, R., Hackl, T., Aichholzer, O. & Steinbauer, G., 2014, (Accepted/In press) Austrian Robotics Workshop. .

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

PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo Pill

Quaritsch, T. & Pill, I. H., 2014, International Workshop on Principles of Diagnosis. ., p. 1-5

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

R^3: Request a Rescue Robot

Steinbauer, G., Maurer, J. & Krajnz, H., 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