• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2014

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

Reconstructing Point Set Order Types from Radial Orderings

Aichholzer, O., 2014, International Symposium on Algorithms and Computation. ., p. 15-26

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

RecSys'14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'14)

Tintarev, N. (ed.), O'Donovan, J. (ed.), Felfernig, A. (ed.), Brusilovsky, P. (ed.), Semeraro, G. (ed.) & Lops, P. (ed.), 2014, .

Research output: Book/ReportAnthologyResearch

RecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems

Tintarev, N., O'Donovan, J., Brusilovsky, P., Felfernig, A., Semeraro, G. & Lops, P., 2014, (Accepted/In press) Proceedings of the ACM Conference on Recommender Systems. .

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

RecTurk: Constraint-based Recommendation based on Human Computation

Felfernig, A., Haas, S., Ninaus, G., Schwarz, M., Ulz, T., Stettinger, M., Isak, K., Jeran, M. & Reiterer, S., 2014, ACM RecSys'14 CrowdRec Workshop. ., p. 1-6

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

Redundancy Detection in Configuration Knowledge

Felfernig, A., Reinfrank, F-C., Ninaus, G. & Blazek, P., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. ., p. 157-165

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Reprint of: Extreme points and halving edge search in abstract order types

Aichholzer, O., Miltzow, T. & Pilz, A., 2014, In : Computational geometry. p. 518-526

Research output: Contribution to journalArticleResearchpeer-review

Require, Test and Trace IT

Lorber, F. L., Aichernig, B., Tiran, S. & Nickovic, D., 2014, .

Research output: Book/ReportOther reportResearch

Open Access
File

Retaining Consistency for Knowledge-based Security Testing

Bernauer, A., Bozic, J., Simos, D., Winkler, S. & Wotawa, F., 2014, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., p. 88-97

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

Risk-Aware Exploration

Maurer, J. & Steinbauer, G., 2014, (Accepted/In press) euRathlon/ARCAS WORKSHOP AND SUMMER SCHOOL 2014 ON FIELD ROBOTICS. .

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

Sales Configurator Information Systems Design Theory

Tiihonen, J., Männistö, T. & Felfernig, A., 2014, Workshop on Configuration. ., p. 67-74

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

Security Testing Based on Attack Patterns

Bozic, J. & Wotawa, F., 2014, The 5th International Workshop on Security Testing (SECTEST). ., p. 1-8

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

Shellable drawings and the cylindrical crossing number of K_n

Aichholzer, O., Ábrego, B., Fernández-Merchant, S., Ramos, P. A. & Salazar, G., 2014, In : Discrete & computational geometry. 52, 4, p. 743-573

Research output: Contribution to journalArticleResearchpeer-review

Shellable drawings and the cylindrical crossing number of Kn

Aichholzer, O., Ábrego, B., Fernández-Merchant, S., Ramos, P. A. & Salazar, G., 2014, In : Discrete & computational geometry. 52, p. 743-753

Research output: Contribution to journalArticleResearchpeer-review

SOA Testing Via Random Paths in BPEL Models

Jehan, S., Pill, I. H. & Wotawa, F., 2014, IEEE International Conference on Software Testing, Verification and Validation. ., p. 260-263

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

Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality

Hofer, B. G., 2014, 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops. ., p. 263-268

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

Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions

Aichholzer, O., Hackl, T., Huber, S. & 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

TEDUSAR White Book - State of the Art in Search and Rescue Robots

Maurer, J., Steinbauer, G., Lepej, P. & Uran, S., 2014, .

Research output: Book/ReportCommissioned reportResearch

Open Access
File

Testing Configuration Knowledge-Bases

Wotawa, F. & Pill, I. H., 2014, Proceedings of the 16th International Configuration Workshop. ., p. 39-46

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

Testing Methods Used in the Automotive Industry: Results from a Survey

Altinger, H., Wotawa, F. & Schurius, M., 2014, The second workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA 14). ., p. 1-6

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

Theta-3 is connected

Aichholzer, O., Bae, S. W., Barba, L., Bose, P., Korman, M., Renssen, A., Taslakian, P. & Verdonschot, S., 2014, In : Computational geometry. 47, 9, p. 910-917

Research output: Contribution to journalArticleResearchpeer-review

Tool-supported fault localization in spreadsheets: Limitations of current research practice

Hofer, B. G., Jannach, D., Schmitz, T., Shchekotykhin, K. & Wotawa, F., 2014, International Workshop on Software Engineering Methods in Spreadsheets. ., p. 1-2

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

Towards Autonomous Manipulation in RoboCup Rescue

Nitsch, J., Buchegger, A., Koert, D., Rose, C., Maurer, J., Kohlbrecher, S., Von Stryk, O. & Steinbauer, G., 2014, (Accepted/In press) 18th annual RoboCup International Symposium. .

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Towards Open Configuration

Felfernig, A., Stettinger, M., Ninaus, G., Reiterer, S., Jeran, M., Falkner, A., Tiihonen, J. & Leitner, G., 2014, Workshop on Configuration. ., p. 89-94

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

User Interfaces for Configuration Environments

Leitner, G., Felfernig, A., Blazek, P., Reinfrank, F-C. & Ninaus, G., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 89-106

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Using Answer Set Programming for Feature Model Representation and Configuration

Myllärniemi, V., Raatikainen, M., Tiihonen, J. & Felfernig, A., 2014, Workshop on Configuration. ., p. 1-8

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

Using Common Sense Invariants in Belief Management for Autonomous Agents

Mühlbacher, C. & Steinbauer, G., 2014, Modern Advances in Applied Intelligence. ., p. 49-59 (Lecture notes in computer science; vol. 8481).

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

Using Common Sense Invariants in Belief Management for Autonomous Agents

Mühlbacher, C. & Steinbauer, G., 2014, (Accepted/In press) AAAI Spring Symposium Series. .

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

WeeVis

Felfernig, A., Reiterer, S., Blazek, P., Leitner, G., Reinfrank, F-C. & Ninaus, G., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 297-307

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

What Stakeholders Need to Know About Requirements

Maalej, W., Kurtanovic, Z. & Felfernig, A., 2014, 4th IEEE International Workshop on Empirical Requirements Engineering. ., p. 1-8

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

Why does my spreadsheet compute wrong values?

Hofer, B. G. & Wotawa, F., 2014, International Symposium on Software Reliability Engineering. ., p. 112-121

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

2013

(Re-)configuration of Communication Networks in the Context of M2M Applications

Nica, I-D. & Wotawa, F., 2013, Proceedings of the International Configuration Workshop. ., p. 101-108

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

A cross-generational robotics project day: Pre-school children, pupils and grandparents learn together

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Eck, J., 2013, Robotics in Education 2013. .

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

Akzeptanz von Location Based Services im Einzelhandel

Koitz, R., 2013

Research output: ThesisDiploma ThesisResearch

And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm

Pill, I. H. & Quaritsch, T., 2013, International Workshop on Principles of Diagnosis. ., p. 210-215

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

And Yet Another Variant of Reiter's Hitting Set Algorithm

Pill, I. H. & Quaritsch, T., 2013.

Research output: Contribution to conferencePosterResearch

An integrated Diagnosis and Repair Architecture for ROS-Based Robot Systems

Zaman, S., Steinbauer, G., Maurer, J., Lepej, P. & Uran, S., 2013, (Accepted/In press) International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers

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

An Overview of Recommender Systems in Requirements Engineering

Felfernig, A., Ninaus, G., Grabner, H., Reinfrank, F-C., Weninger, L., Pagano, D. & Maalej, W., 2013, Managing Requirements Knowledge. 1 ed. Springer, p. 315-332

Research output: Chapter in Book/Report/Conference proceedingChapterResearch