• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2018

EduRobot Taxonomy: A Provisional Schema for Classifying Educational Robots

Catlin, D., Kandlhofer, M. & Holmquist, S., 2018, Robotics in Education 2018.

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

EduRobot Taxonomy: A Provisional Schema for Classifying Educational Robots

Catlin, D., Kandlhofer, M. & Holmquist, S., 2018.

Research output: Contribution to conferencePosterResearchpeer-review

EduRobot Taxonomy and Papert’s Paradigm

Catlin, D., Kandlhofer, M., Holmquist, S., Csizmadia, A. P., Angel-Fernandez, J. & Cabibihan, J-J., 2018, Constructionism 2018.

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

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 25 Oct 2018, In : Journal of Automated Reasoning. p. 1 - 32 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Testing
Costs
Experiments

Enabling Teenagers to Create and Share Apps

Müller, M., Schindler, C., Luhana, K. K. & Slany, W., 21 Nov 2018, 2018 IEEE Conference on Open Systems (ICOS). Langkawi, Malaysia: Institute of Electrical and Electronics Engineers, p. 25-30 6 p. 5

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

Evolutionary propositionalization of multi-relational data

Wotawa, F. & Kassarnig, V., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Evolutionary Propositionalization of Multi- Relational Data

Wotawa, F. & Kassarnig, V., 2018, In : International journal of software engineering and knowledge engineering. p. 1739–1754

Research output: Contribution to journalArticleResearchpeer-review

Extending Document Exploration with Image Retrieval: Concept and First Results

Shao, L., Glatz, M., Gergely, E., Müller, M., Munter, D., Papst, S. & Schreck, T., 2018, Poster at IEEE/VGTC Conference on Visualization (EuroVis).

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

Extending the Centerpoint Theorem to Multiple Points

Pilz, A. & Schnider, P., 2018, Proc. 29th International Symposium on Algorithms and Computation (ISAAC 2018). Schloss Dagstuhl, Leibniz-Zentrum fü Informatik GmbH, Vol. 123. p. 53:1-53:13 13 p. 53

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

Fault detection and localization using modelica and abductive reasoning

Pill, I. & Wotawa, F., 8 Mar 2018, Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Springer International Publishing AG , p. 45-72 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Female Teenagers and Coding: Create Gender Sensitive and Creative Learning Environments

Spieler, B. & Slany, W., Aug 2018, p. 625 - 636. 10 p.

Research output: Contribution to conferencePaperResearchpeer-review

coding
learning environment
gender
teaching
decision making leeway

Folding Polyominoes into (Poly)Cubes

Aichholzer, O., Biro, M., Demaine, E., Demaine, M., Eppstein, D., Fekete, S. P., Hesterberg, A., Kostitsyna, I. & Schmidt, C., 2018, In : International Journal of Computational Geometry and Applications. 28, 3, p. 197-226 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Vol. 10821. p. 321-353 33 p. (Lecture Notes in Computer Science).

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

Open Access
File

Fragment-based spreadsheet debugging

Jannach, D., Schmitz, T., Hofer, B., Schekotihin, K., Koch, P. & Wotawa, F., 22 Dec 2018, In : Automated Software Engineering.

Research output: Contribution to journalArticleResearchpeer-review

Spreadsheets
Decomposition
Testing

From Ontologies to Input Models for Combinatorial Testing

Wotawa, F. & Li, Y., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Gaining efficiency in human assisted transcription and speech annotation in legislative proceedings

Ruprechter, T., Khosmood, F., Kuboi, T., Dekhtyar, A. & Gütl, C., 30 May 2018, Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age, DG.O 2018. Association of Computing Machinery, a117

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

Transcription

Game Development-Based Learning Experience: Gender Differences in Game Design

Spieler, B. & Slany, W., 3 Oct 2018, p. 616-625. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Application programs
Curricula
Mechanics
Testing

Generating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance Assessment

Tiihonen, J., Raitahila, I., Raatikainen, M., Felfernig, A. & Männistö, T., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 69-76 8 p.

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

Graph Games and Reactive Synthesis

Bloem, R., Chatterjee, K. & Jobstmann, B., 2018, Handbook of Model Checking. Clark, E. M., Henzinger, T. A., Veith, H. & Bloem, R. (eds.). Cham: Springer, p. 921-962 42 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Group Decision Support for Requirements Management Processes

Samer, R., Atas, M., Felfernig, A., Stettinger, M., Falkner, A. A. & Schenner, G., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 19-24 6 p.

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

Group Recommender Systems: An Introduction

Felfernig, A., Stettinger, M., Boratto, L. & Tkalcic, M., 15 Mar 2018, (Accepted/In press) Springer US. 183 p. (Springer Briefs in Electrical and Computer Engineering)

Research output: Book/ReportBookResearchpeer-review

Holes in 2-convex point sets

Aichholzer, O., Balko, M., Hackl, T., Pilz, A., Ramos, P., Valtr, P. & Vogtenhuber, B., 1 Jan 2018, Combinatorial Algorithms - 28th International Workshop, IWOCA 2017, Revised Selected Papers. Springer Verlag Heidelberg, Vol. 10765. p. 169-181 13 p. (Lecture Notes in Computer Science ; vol. 10765 ).

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

Point Sets
Convex Sets
Interior
Simple Polygon
Integer

Holes in 2-convex point sets

Aichholzer, O., Balko, M., Hackl, T., Pilz, A., Ramos, P., Valtr, P. & Vogtenhuber, B., 1 Oct 2018, In : Computational Geometry: Theory and Applications. 74, p. 38-49 12 p.

Research output: Contribution to journalArticleResearchpeer-review

Point Sets
Convex Sets
Interior
Simple Polygon
Integer

How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols

Aichernig, B. K. & Schumi, R. A., 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. Springer

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

Model checking
Network protocols
Testing
Chemical analysis
Internet of things

How to fit a tree in a box

Akitaya, H. A., Löffler, M. & Parada, I., 1 Jan 2018, Graph Drawing and Network Visualization - 26th International Symposium, GD 2018, Proceedings. Springer Verlag Heidelberg, p. 361-367 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11282 LNCS).

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

Binary trees
Binary Tree
Grid
Straight Line
NP-complete problem

In pursuit of a dynamic tree decomposition

Iacono, J. & Vogtenhuber, B., 2018, Proceedings of the of the 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018). Manila, Philippines, p. 23-25 3 p.

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

Intersection Graphs of Rays and Grounded Segments

Cardinal, J., Felsner, S., Miltzow, T., Tompkins, C. & Vogtenhuber, B., 2018, In : Journal of Graph Algorithms and Applications . 22, 2, p. 273-295 23 p.

Research output: Contribution to journalArticleResearchpeer-review

Investigating Serial Position Effects in Sequential Group Decision Making

Tran, T. N. T., Atas, M., Felfernig, A., Samer, R. & Stettinger, M., 2018, Proceedings of the 26th Conference on User Modeling, Adaptation and Personalization, UMAP 2018, Singapore, July 08-11, 2018. p. 239-243 5 p.

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

It's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contexts

Grandl, M., Ebner, M., Slany, W. & Janisch, S., 27 Apr 2018, Conference Proceeding Open Education Global Conference. Delft, 9 p.

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

Open Access

Lazy Conflict Detection with Genetic Algorithms

Uran, C. & Felfernig, A., 2018, Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings. p. 175-186 12 p.

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

LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics

Polat Erdeniz, S. & Felfernig, A., 2018, Joint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz - KI'18). p. 190-197 8 p.

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

Learning to program in a constructionist way

Mattia Monga, Michael Lodi, Dario Malchiodi, Anna Morpurgo & Spieler, B., 22 Aug 2018, Constructionism: Constructionism, Computational thinking and Educational Innovation. p. 888 - 911 23 p.

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

Linear transformation distance for bichromatic matchings

Aichholzer, O., Barba, L., Hackl, T., Pilz, A. & Vogtenhuber, B., 1 Mar 2018, In : Computational Geometry: Theory and Applications. 68, p. 77-88 12 p.

Research output: Contribution to journalArticleResearchpeer-review

Linear transformations
Graph Transformation
Linear transformation
Joining
Perfect Matching

Liquid Democracy in Group-based Configuration

Atas, M., Tran, T. N. T., Samer, R., Felfernig, A., Stettinger, M. & Fucci, D., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 93-98 6 p.

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

Lombardi Drawings of Knots and Links

Kindermann, P., Kobourov, S., Löffler, M., Nöllenburg, M., Schulz, A. & Vogtenhuber, B., 2018, Proceedings of the 25th International Symposium on Graph Drawing (GD 2017). Frati, F. & Ma, K-L. (eds.). Boston, MA, USA: Springer, Cham, p. 113-126 14 p.

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

Minimal Geometric Graph Representations of Order Types

Aichholzer, O., Balko, M., Hoffmann, M., Kyncl, J., Mulzer, W., Parada, I., Pilz, A., Scheucher, M., Valtr, P., Vogtenhuber, B. & Welzl, E., 2018, 34th European Workshop on Computational Geometry (EuroCG '18): Extended Abstracts. Berlin, Germany, p. 21:1-21:6

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

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model

Pill, I. & Wotawa, F., 6 Jan 2018, 28th International Workshop on Principles of Diagnosis (DX'17). EasyChair Ltd, p. 248-263 16 p. (Kalpa Publications in Computing; vol. 4).

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

Open Access

Model Learning and Model-Based Testing

Aichernig, B., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M., 20 Jul 2018, Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Bennaceur, A., Hähnle, R. & Meinke, K. (eds.). Cham: Springer Nature, p. 74 - 100 27 p. (Lecture Notes in Computer Science; vol. 11026).

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Testing

Modem Illumination of Monotone Polygons

Aichholzer, O., Fabila-Monroy, R., Flores-Peñaloza, D., Hackl, T., Urrutia Galicia, J. & Vogtenhuber, B., 2018, In : Computational Geometry: Theory and Applications. 68, p. 101-118 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case study

Fucci, D., Palomares, C., Franch, X., Costal, D., Raatikainen, M., Stettinger, M., Kurtanovic, Z., Kojo, T., Koenig, L., Falkner, A. A., Schenner, G., Brasca, F., Männistö, T., Felfernig, A. & Maalej, W., 2018, Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, Oulu, Finland, October 11-12, 2018. p. 19:1-19:10

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

NP-Completeness of Max-Cut for Segment Intersection Graphs

Aichholzer, O., Mulzer, W., Schnider, P. & Vogtenhuber, B., 2018, Proc. $34^th$ European Workshop on Computational Geometry EuroCG '18. Berlin, Germany, p. 32:1-32:6

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

OCSH: optimized cluster specific heuristics for the university course timetabling problem

Polat Erdeniz, S. & Felfernig, A., Mar 2018, 8th International Conference on Information Systems and Technologies, ACM (ISST'18). p. 13-18 6 p.

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

Online Game Jams to Attract Specific User Groups

Müller, M., 26 Jul 2018.

Research output: Contribution to conferencePosterResearch

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

On the superiority of conflict-driven search in MUs enumeration

Koitz-Hristov, R. & Wotawa, F., 1 Jan 2018, In : CEUR Workshop Proceedings. 2289

Research output: Contribution to journalConference articleResearchpeer-review

Model checking
Set theory

Perfect $k$-Colored Matchings and $(k+2)$-Gonal Tilings

Aichholzer, O., Andritsch, L., Baur, K. & Vogtenhuber, B., 2018, In : Graphs and combinatorics. 34, 6, p. 1333-1346 14 p.

Research output: Contribution to journalArticleResearchpeer-review

Planning-based security testing of web applications

Bozic, J. & Wotawa, F., 28 May 2018, Proceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 2018. IEEE Computer Society, 1998, p. 20-26 7 p.

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

Planning
Testing
Defects
Authentication
Scheduling

Pocket code build variants

Luhana, K. K., 8 Jun 2018, 2018 IEEE International Conference on Innovative Research and Development, ICIRD 2018. Institute of Electrical and Electronics Engineers, p. 1-6 6 p.

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

Flavors
Application programs
Visual Languages
Brick
Computer programming languages

Polarization Effects in Group Decisions

Atas, M., Reiterer, S., Felfernig, A., Tran, T. N. T. & Stettinger, M., 2018, Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization, UMAP 2018, Singapore, July 08-11, 2018. p. 305-310 6 p.

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