• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2014

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 Aufl. Elsevier B.V., S. 41-72

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

Configuration-Related Research Challenges

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

Configuration-Related Topics

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

Configuring Decision Tasks

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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 Aufl. Elsevier B.V., S. 73-87

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

Consumer Decision-Making and Configuration Systems

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

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. ., S. 27-34

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 150-168

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Debugging with Timed Automata Mutations

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Disseminating Ambient Assisted Living in the Rural Area

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Einführung in die angewandte Geometrie

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

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)Forschung

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). ., Band 8871. S. 355-366 (Lecture Notes in Computer Science (LNCS)).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 21-30

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Empty Monochromatic Simplices

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Failure Mode and Effect Analysis for Abductive Diagnosis

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Field Report: Civil Protection Exercise Gas Storage

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Pilz, A., 2014, in : Computational geometry. 47, S. 589-604

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 197-224

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGL

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 626-635

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Functional Diagnosis of a SOA's BPEL Processes

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

Publikation: KonferenzbeitragPosterForschung

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. ., S. 1-8

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Generation of Relevant Spreadsheet Repair Candidates

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Generation of Relevant Spreadsheet Repair Candidates

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

Publikation: KonferenzbeitragPosterForschung

Geodesic Order Types

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 307-323

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Graph Drawings with Relative Edge Length Specifications

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Ham-Sandwich Cuts for Abstract Order Types

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 185-195

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

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. ., S. 117-126

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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). ., S. 1161-1166

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Knowledge-Aware Execution of Programs in IndiGolog

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Knowledge-based Configuration: From Research to Business Cases

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

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)Forschung

Knowledge-based Configuration: Motivation

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

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 Aufl. ., S. 35-37

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

Life Sign Detection Based on Sound and Gas Measurements

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

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). ., S. 154-162

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 605-613

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Minimum Dual Diameter Triangulations

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, Band 8570. S. 1-9 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Model-Based Mutation Testing with Constraint and SMT Solvers

Jöbstl, E., 2014

Publikation: StudienabschlussarbeitDissertationForschung

Open Access
Datei

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. ., S. 0-0

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. online-only

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 809-832

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

On Order Types, Projective Classes, and Realizations

Scheucher, M., 2014

Publikation: StudienabschlussarbeitBachelorarbeitForschung

Open Access
Datei

On the Usage of Dependency-based Models for Spreadsheet Debugging

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. online-only

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. online-only

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Personalized Configuration

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung