• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2015

Bounded Determinization of Timed Automata with Silent Transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., 2015, Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Berlin [u.a.]: Springer Verlag, Band 9268. S. 288-304 (Lecture Notes in Computer Science; Band 9268).

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

BPEL Integration Testing

Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Angenommen/In Druck) International Conference on Fundamental Approaches to Software Engineering. .

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

Case Study: Automatic Test Case Generation for a Secure Cache Implementation

Bloem, R. P., Hein, D., Röck, F. & Schumi, R. A., 2015, (Angenommen/In Druck) International Conference on Tests And Proofs. .

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

Characterization of extremal antipodal polygons

Aichholzer, O., Caraballo, L., Fabila-Monroy, R., Ochoa, C., Nigsch, P. A. & Diaz-Banez, J. M., 2015, in : Graphs and combinatorics. 31, S. 321-333

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Children discover science: robotics, informatics and artificial intelligence in kindergarten and school

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Eck, H., 2015.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Combining Kanban and FOSS: Can it work?

Harzl, A., 2015, Agile Processes, in Software Engineering, and Extreme Programming. ., S. 352-353

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

Conflict Management for Constraint-based Recommendation

Reinfrank, F-C., 2015, IJCAI 2015, Workshop on Intelligent Personalization. ., S. nx-ny

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

Conflict Management in Interactive Financial Service Selection

Felfernig, A. & Stettinger, M., 2015, 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15). CEUR Proceedings, S. 3-10

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

Constraint-based Recommender Systems

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2015, Recommender Systems Handbook. 2nd Edition Aufl. Springer, S. 161-191

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

Controlling Logistics Robots with the Action-based Language YAGI

Ferrein, A., Maier, C., Mühlbacher, C., Niemüller, T., Steinbauer, G. & Vassos, S., 2015, (Angenommen/In Druck) IROS Workshop on Task Planning for Intelligent Robots in Service and Manufacturing. .

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

Counteracting Anchoring Effects in Group Decision Making

Stettinger, M., Felfernig, A., Leitner, G. & Reiterer, S., 2015, User Modeling, Adaptation and Personalization. Springer, Band 9146. S. 118-130 (Lecture notes in computer science).

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

Counteracting Serial Position Effects in the CHOICLA Group Decision Support Environment

Stettinger, M., Felfernig, A., Leitner, G. & Reiterer, S., 2015, (Angenommen/In Druck) ACM Conference on Intelligent User Interfaces. Association of Computing Machinery

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

Deciding monotonicity of good drawings of the complete graph

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B. & Salazar, G., 2015, Encuentros de Geometría Computacional. ., S. 33-36

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

Designing for Engaging BCI Training: A Jigsaw Puzzle

Pammer-Schindler, V., Simon, J. P., Wilding, K., Keller, S. & Scherer, R., 2015, CHI PLAY '15. New York, NY: Association of Computing Machinery, S. 667-672

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

Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy Education

Spieler, B., 2015, Studies in Health Technology and Informatics. IOS Press, Band Volume 212. S. 182-189 (eHealth2015 – Health Informatics Meets eHealth).

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

Diagnosis of Technical Systems

Koitz, R. & Wotawa, F., 2015, Proceedings of the International Joint Conference on Artificial Intelligence 2015. ., S. 4375-4376

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

Diagnosis of Technical Systems

Koitz, R., 2015.

Publikation: KonferenzbeitragPosterForschung

Disjoint compatibility graph of non-crossing matchings of points in convex position

Aichholzer, O., Asinowski, A. & Miltzow, T., 2015, in : The electronic journal of combinatorics. 22, 1, S. 1-53 Paper #P1.65.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Embedding Four-directional Paths on Convex Point Sets

Aichholzer, O., Hackl, T., Lutteropp, S., Mchedlidze, T. & Vogtenhuber, B., 2015, in : Journal of Graph Algorithms and Applications . 19, 2, S. 743-759

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Empfehlungstechnologien in der Öffenlichen Verwaltung

Reiterer, S., Wundara, M. & Felfernig, A., 2015, in : eGovernment review. S. 18-19

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Empty triangles in good drawings of the complete graph

Aichholzer, O., Hackl, T., Pilz, A., Ramos, P., Sacristán, V. & Vogtenhuber, B., 2015, in : Graphs and combinatorics. 31, 2, S. 335-345

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Europe and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics Center

Stopforth, R., Ferrein, A. & Steinbauer, G., 2015, (Angenommen/In Druck) Developing Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015). .

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

Evaluating the impact of educational robotics on pupils' technical- and social-skills and science related attitudes

Kandlhofer, M. & Steinbauer, G., 2015, in : Robotics and autonomous systems. 75B, S. 679-685

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing

Bozic, J., Garn, B., Simos, D. E. & Wotawa, F., 2015, (Angenommen/In Druck) Eighth International Conference on Software Testing, Verification and Validation Workshops. .

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

Open Access
Datei

Fault Localization in the Light of Faulty User Input

Hofer, B. G. & Wotawa, F., 2015, Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15). ., S. 282-291

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

Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms

Koitz, R. & Wotawa, F., 2015, Proceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning. ., S. 1-7

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

FlexDiag: AnyTime Diagnosis for Reconfiguration

Felfernig, A., Walter, R. & Reiterer, S., 2015, (Angenommen/In Druck) International Workshop on Configuration. .

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

Flip Distance Between Triangulations of a Simple Polygon is NP-Complete

Aichholzer, O., Pilz, A. & Mulzer, W., 2015, in : Discrete & computational geometry. 2;54, S. 368-389

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Focussed Diagnosis for Failing Software Tests

Jehan, S., Pill, I. H., Hofer, B. G. & Wotawa, F., 2015, IEA/AIE 2015. ., S. 712-721

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

Folding Polyominoes into Poly(Cubes)

Aichholzer, O., Demaine, E., Demaine, M., Fekete, S., Biro, M., Eppstein, D., Hesterberg, A., Kostitsyna, I. & Schmidt, C., 2015, (Angenommen/In Druck) Canadian Conference on Computational Geometry. .

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

Fostering Knowledge Exchange Using Group Recommendations

Felfernig, A., Stettinger, M. & Leitner, G., 2015, (Angenommen/In Druck) ACM Recommender Systems 2015 Workshop on Interfaces and Human Decision Making for Recommender Systems. .

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

From Theory to Practice: Model-Based Diagnosis in Industrial Applications

Koitz, R. & Wotawa, F., 2015, Proceedings of the Annual Conference of the PHM Society (PHM). ., S. 197-205

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

Human Computation Based Acquisition Of Financial Service Advisory Practices

Felfernig, A., Jeran, M., Stettinger, M., Absenger, T., Gruber, T., Haas, S., Kirchengast, E., Schwarz, M., Skofitsch, L. & Ulz, T., 2015, 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15). CEUR Proceedings, S. 27-34

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

Human Decision Making and Recommender Systems

Jameson, A., Willemsen, M., Felfernig, A., deGemmis, M., Lops, P., Semeraro, G. & Chen, L., 2015, Recommender Systems Handbook. 2nd Edition Aufl. Springer, S. 619-655

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

ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge bases

Reinfrank, F-C., 2015, IJCAI 2015, Workshop on Intelligent Personalization. ., S. nx-ny

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

Inclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left Behind

Beltrán, M. E., Ursa, Y., Petri, A. C., Schindler, C., Slany, W., Spieler, B., de los Rios, S., Cabrera-Umpierrez, M. F. & Arredondo, M. T., 2015, (Angenommen/In Druck) 4th International Conference, DUXU 2015. Switzerland: Springer International Publishing AG

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

Incremental Model-based Mutation Testing

Tiran, S., 2015, IEEE International Conference on Software Testing, Verification and Validation. ., S. 1-2

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

Intelligent Techniques for Configuration Knowledge Evolution

Felfernig, A., Reiterer, S., Stettinger, M. & Tiihonen, J., 2015, Vamos. Association of Computing Machinery, S. 51-60

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

Intelligent Techniques for the Maintainance of Constraint-based systems

Reinfrank, F-C., 2015, Workshop on Configuration. ., S. nx-ny

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

Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice

Walter, R., Felfernig, A. & Küchlin, W., 2015, (Angenommen/In Druck) International Workshop on Configuration. .

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

Killing Bugs in a Black Box with Model-based Testing

Aichernig, B. & Lorber, F. L., 10 Jun 2015.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

Killing strategies for model-based mutation testing

Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W., Schlick, R. & Tiran, S., 2015, in : Software testing, verification & reliability. 25, 8, S. 716-748

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Learning Games for Configuration and Diagnosis Tasks

Felfernig, A., 2015, (Angenommen/In Druck) International Workshop on Configuration. .

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

Maintaining constraint-based Configuration systems: Challenges ahead

Reinfrank, F-C., 2015, Workshop on Configuration. ., S. nx-ny

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

Making Better Robots – Beiträge Österreichs zur Europäischen Robotics Research Roadmap

Hofbaur, M., Müller, A., Piater, J., Rinner, B., Steinbauer, G., Vincze, M. & Wögerer, C., 2015, in : e&i - Elektrotechnik und Informationstechnik. 132, 4-5, S. 237-248

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Model-Based Mutation Testing via Symbolic Refinement Checking

Aichernig, B., Jöbstl, E. & Tiran, S., 2015, in : Science of computer programming. 97, Part 4, S. 383-404

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

MoMuT::UML - model-based mutation testing for UML

Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W. K., Schlick, R. & Tiran, S., 2015, IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. Institute of Electrical and Electronics Engineers, S. 1-8

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

Monotone Simultaneous Embedding of Upward Planar Digraphs

Aichholzer, O., Hackl, T., Lutteropp, S., Mchedlidze, T., Pilz, A. & Vogtenhuber, B., 2015, in : Journal of Graph Algorithms and Applications . 19, 1, S. 87-110

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

New results on stabbing segments with a polygon

Díaz-Báñez, J. M., Korman, M., Pérez-Lantero, P., Pilz, A., Seara, C. & Silveira, R., 2015, in : Computational geometry. 48, S. 14-29

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

On k-Gons and k-Holes in Point Sets

Aichholzer, O., Hackl, T., Vogtenhuber, B., Fabila-Monroy, R., Gonzales-Aguilar, H., Heredia, M. A., Huemer, C., Urrutia, J. & Valtr, P., 2015, in : Computational geometry. 48, S. 528-537

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung