• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2016

An improved lower bound on the number of triangulations

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B., Alvarez, V. & Speckmann, B., 2016, Proceedings of the Int. Sympos. Comput. Geom. (SoCG) of Leibniz International Proceedings in Informatics. 51 Aufl. S. 7:1-7:16

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

A Note on the Number of General 4-holes in (Perturbed) Grids

Aichholzer, O., Hackl, T., Valtr, P. & Vogtenhuber, B., 2016, Discrete and Computational Geometry and Graphs. JCDCGG 2015.. Akiyama, J., Ito, H., Sakai, T. & Uno, Y. (Hrsg.). Springer, Cham, Band 9943. S. 1-12 12 S. (Lecture Notes in Computer Science (LNCS)).

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

Application of Constraint-based Technologies in Financial Services Recommendation: none

Felfernig, A., 1 Jun 2016, 2nd International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'16): none. Bari, S. 22-23 2 S.

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

Application of Constraint-based Technologies in Financial Services Recommendation: none

Felfernig, A., 19 Jun 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Artificial Intelligence and Computer Science in Education

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Huber, P., 2016.

Publikation: KonferenzbeitragAbstractForschungBegutachtung

Artificial Intelligence and Computer Science in Education: From Kindergarten to University

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Huber, P., 2016, IEEE Conference on Frontiers in Education (FIE) 2016.

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

A survey on software fault localization

Wong, W. E., Gao, R., Li, Y., Abreu, R. & Wotawa, F., 1 Aug 2016, in : IEEE Transactions on Software Engineering. 42, 8, S. 707-740 34 S., 7390282.

Publikation: Beitrag in einer FachzeitschriftReview eines Fachbereichs (Review article)ForschungBegutachtung

Program debugging

Belief Management using the Action History and Consistency-Based-Diagnosis

Mühlbacher, C. & Steinbauer, G., 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Classifying test suite effectiveness via model inference and ROBBDs

Felbinger, H., Pill, I. & Wotawa, F., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag Italia, Band 9762. S. 76-93 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9762).

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

Boolean functions
Binary decision diagrams
Learning systems
Boolean Functions
Specifications

Combining FOSS and Kanban: An action research

Harzl, A., 2016, IFIP Advances in Information and Communication Technology. Springer New York LLC, Band 472. S. 71-84 14 S. (IFIP Advances in Information and Communication Technology; Band 472).

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

Open source software
Kanban
Agile software development
Software

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking

Aichernig, B. K., Lorber, F. & Tappler, M., 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Band 9660. S. 15-32 18 S. (Lecture Notes in Computer Science).

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

Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems: no subtitle

Walter, R., Küchlin, W. & Felfernig, A., 31 Dez 2016, in : Journal of Intelligent Information Systems. 1, 1, S. 1-32 32 S., 2.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Controlling logistics robots with the action-based language YAGI

Ferrein, A., Maier, C., Mühlbacher, C., Niemueller, T., Steinbauer, G. & Vassos, S., 2016, Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Proceedings. Springer Verlag, S. 525-537 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9834).

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

Logistics
Robot
Robots
Programming
Reactive Oxygen Species
Electromagnetic waves
Redundancy
Internet of things
Hot Temperature

Diagnosis makes the difference for a successful execution of high-level robot control programs

Mühlbacher, C. & Steinbauer, G., 2016, Intelligent Autonomous Systems - Proceedings of the 13th International Conference IAS, 2014. Springer Verlag, Band 302. S. 1119-1132 14 S. (Advances in Intelligent Systems and Computing; Band 302).

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

Robots
Fault tolerance
Repair

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Aichernig, B. K., Jöbstl, E. & Tappler, M., 2016, in : The journal of logic and algebraic programming. 85, 5, Part 2, S. 806-823 18 S., 85:5,Part 2.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Einsatz von Gruppenempfehlungssystemen

Nungesser, S., Eixelsberger, W., Felfernig, A., Stettinger, M., Reiterer, S. & Jeran, M., 31 Dez 2016, in : Tourismus Wissen Quarterly. 5, S. 1-4 4 S., 1.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment

Felbinger, H., Wotawa, F. & Nica, M., 2016. 7 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Engaging and playful activities with smartphones in school contexts

Petri, A. C. & Spieler, B., 5 Aug 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels

Leingartner, M., Maurer, J., Ferrein, A. & Steinbauer, G., 2016, in : Journal of field robotics. 33, 8, S. 1037-1057

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.

Koitz, R. & Wotawa, F., 2016, (In Vorbereitung) Proceedings of the 27th International Workshop on Principles of Diagnosis (DX). S. 1-7 7 S.

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

FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis

Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 2016, S. 330. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Fungi
Robots
Communication

Formula Composition and Manipulation in Educational Programming Languages for Children and Teenagers

Koitz, R., 28 Apr 2016, 170 S.

Publikation: StudienabschlussarbeitMasterarbeitForschung

Computer programming languages
Education
Computer science
Chemical analysis
Smartphones

Fragment-Based Diagnosis of Spreadsheets

Schmitz, T., Hofer, B., Jannach, D. & Wotawa, F., 2016, Software Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop). 9946 Aufl. Band Lecture Notes in Computer Science. S. 372-387 16 S.

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

FST Algorithm: Can Tides Assist Bio-Inspired Gradient Taxis?

Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Game Design with Pocket Code: Providing a Constructionist Environment for Girls in the School Context

Petri, A. C., Schindler, C., Slany, W. & Spieler, B., Feb 2016, S. 111 - 118. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access
Datei
school
Austria
learning
pupil
learning environment

Geometric achromatic and pseudoachromatic indices

Aichholzer, O., Araujo-Pardo, G., García-Colín, N., Hackl, T., Lara, N., Rubio-Montinel, C. & Urrutia, J., 2016, in : Graphs and combinatorics. S. 431-451

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy

Mühlbacher, C. & Steinbauer, G., 16 Mai 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots

Imlauer, S., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 14 Jun 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Holes in two convex point set

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B., Ramos, P., Balko, M. & Valtr, P., 2016, Proceedings of European Workshop on Computational Geometry 2016. S. 263-266

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

Human Computation for Constraint-based Recommenders

Ulz, T., Schwarz, M., Felfernig, A., Haas, S., Shehadeh, A., Reiterer, S. & Stettinger, M., 31 Dez 2016, in : Journal of Intelligent Information Systems. 1, 1, S. 1-21 21 S., 1.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Human Interaction with Artificial Advice Givers

Tintarev, N., O'Donovan, J. & Felfernig, A., 2 Jul 2016, in : ACM Transactions on Interactive Intelligent Systems. 6, 4, S. 1-10 10 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Human Interaction with Artificial Advice Givers: no subtitle

Tintarev, N., O'Donovan, J. & Felfernig, A., 31 Dez 2016, in : ACM Transactions on Interactive Intelligent Systems. 6, 4, S. 1-10 10 S., 6.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Improving Abductive Diagnosis Through Structural Features: A Meta-Approach

Koitz, R. & Wotawa, F., 13 Sep 2016, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16). CEUR WS Proceedings, Band Vol-1626. 9 S.

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

Open Access
Structural properties
Computational complexity
Classifiers
Experiments

Improving Dependability of Industrial Transport Robots Using Model-Based Techniques

Mühlbacher, C., Reip, M., Gspandl, S. & Steinbauer, G., 16 Mai 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Integration of Failure Assessments into the Diagnostic Process

Koitz, R. & Wotawa, F., 2016, (In Vorbereitung) Proceedings of the Annual Conference of the Prognostics and Health Management Society 2016. S. 124-135 12 S.

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

iRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in Highschools

Burgsteiner, H., Kandlhofer, M. & Steinbauer, G., 2016, in : Lecture notes in computer science. 9904, 2016, S. 218-223

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

iRobot: Teaching the Basics of Artificial Intelligence in High Schools

Burgsteiner, H., Kandlhofer, M. & Steinbauer, G., 2016, AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence. Phoenix, USA

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

Learning Models of a Network Protocol using Neural Network Language Models

Aichernig, B., Bloem, R., Pernkopf, F., Röck, F., Schrank, T. & Tappler, M., 2016, IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016.

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

Message from the QRS 2016 General Chair

Wotawa, F., 12 Okt 2016, Proceedings of the IEEE International Conference on Quality, Reliability, and Security. Institute of Electrical and Electronics Engineers, S. xiii 1 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandVorwort/NachwortForschung

Minimal hitting set computation via hypothesis exploration

Zanella, M. & Pill, I. P., 2016, 27th International Workshop on Principles of Diagnosis. 6 S.

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

On Structural Properties to Improve FMEA-Based Abductive Diagnosis

Koitz, R. & Wotawa, F., 10 Jul 2016, Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning. New York City, USA: CEUR WS Proceedings, Band Vol-1648. 7 S.

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

Structural properties

On-the-Fly Determinization of Networks of Timed Automata

Aichernig, B. K. & Lorber, F. L., 2016, Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society, S. 14-21 8 S.

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

On the practical performance of minimal hitting set algorithms from a diagnostic perspective

Pill, I. H., Quaritsch, T. & Wotawa, F., 2016, in : International Journal of Prognostics and Health Management. 7, 2

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Program debugging
Data storage equipment
Planning

On the use of qualitative deviation models for diagnosis

Wotawa, F., 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Packing Short Plane Spanning Trees in Complete Geometric Graphs

Aichholzer, O., Hackl, T., Pilz, A., Korman, M., Rote, G., van Renssen, A., Vogtenhuber, B. & Roeloffzen, M., 2016, Proceedings of the 27th Internationel Symposium on Algorithms and Computation. 64 Aufl. S. 9:1--9:12

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

Planar L-Shaped Point Set Embedding of Trees

Aichholzer, O., Hackl, T. & Scheucher, M., 2016, Proceedings of the European Workshop on Computational Geometry 2016. S. 51-54

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

POCKET CODE: A MOBILE APP FOR GAME JAMS TO FACILITATE CLASSROOM LEARNING THROUGH GAME CREATION

Spieler, B., Petri, A. C., Slany, W., Schindler, C., Beltrán, M. E., Smith, J., Gaeta, E. & Boulton, H., Sep 2016, S. 61 - 79. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Pocket Code: Computational Thinking for all

Müller, M. & Spieler, B., Dez 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Pocket Code: Learn how to program by creating games/apps directly on your smartphone

Spieler, B. & Slany, W., 20 Apr 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung