Faculty of Computer Science and Biomedical Engineering (7000)

  • 8010

    Inffeldgasse 10 Graz

    Austria

Research Output 1970 2019

Filter
Conference contribution
2016

Static Spreadsheet Analysis

Koch, P. W., Hofer, B. & Wotawa, F., 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops: International Workshop on Program Debugging (IWPD). p. 167-174 8 p.

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

Statistical Fault Attacks on Nonce-Based Authenticated Encryption Schemes

Dobraunig, C. E., Eichlseder, M., Korak, T., Lomné, V. & Mendel, F., 2016, Advances in Cryptology - ASIACRYPT 2016. Cheon, J. H. & Takagi, T. (eds.). Springer, Vol. 1. p. 369-395 (Lecture Notes in Computer Science; vol. 10031).

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

Open Access

StudyBattles: A Learning Environment for Knowledge-based Configuration

Felfernig, A., Shehadeh, A., Jeran, M., Gütl, C., Tran, T., Atas, M., Polat Erdeniz, S., Stettinger, M., Akcay, A. & Reiterer, S., 31 Dec 2016, International Workshop on Configuration 2016: none. Toulouse, p. 109-116 8 p.

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

E-learning
Sales
Engineers

Styrian Diversity Visualisation: Visualising Statistical Open Data with a Lean Web App and Data Server

Andrews, K., Traunmüller, T., Wolkinger, T., Goldgruber, E., Gutounig, R. & Ausserhofer, J., 6 Jun 2016, Proc. Eurographics / VGTC Conference on Visualization (EuroVis 2016). Eurographics, 3 p.

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

Subspace Trail Cryptanalysis and its Applications to AES

Grassi, L., Rechberger, C. & Rønjom, S., 2016, FSE 2017 - 24th International Conference on Fast Software Encryption. Vol. 2016. p. 592 1 p.

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

Successful transition from secondary to higher education using learning analytics

De Laet, T., Broos, T., van Staalduinen, J-P., Leitner, P. & Ebner, M., 20 Sep 2016, Conference Proceeding 44th SEFI Conference. 3 p.

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

Support Teachers' Predictions of Learning Success by Structural Competence Modelling

Kickmeier-Rust, M. & Albert, D., 2016, Proceedings of the Fourth International Workshop on Teaching Analytics, in conjunction with EC-TEL 2016. CEUR Workshop Proceedings, Vol. 1738. p. 35-39 5 p.

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

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Aichernig, B. K. & Tappler, M., 2016, The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. p. 3-19 17 p. (Electronic Notes in Theoretical Computer Science; vol. 320).

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

Synthesis of self-stabilising and byzantine-resilient distributed systems

Braud-Santoni, N., Jacobs, S. & Bloem, R., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Springer-Verlag Italia, Vol. 9779. p. 157-176 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

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

Distributed Systems
Synthesis
Distributed Algorithms
Fault-tolerant
Parallel algorithms

Technical Concept and Technology Choices for Implementing a Tangible Version of the Sokoban Game

Luzhnica, G., Öjeling, C., Veas, E. E. & Pammer-Schindler, V., 2016, 2016 IEEE International Symposium on Mixed and Augmented Reality (ISMAR-Adjunct). Institute of Electrical and Electronics Engineers, p. 113 114 p.

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

Mobile phones
Virtual reality
Glass

Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing

Wotawa, F., 21 Sep 2016, Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016. Institute of Electrical and Electronics Engineers, p. 305-310 6 p. 7573762

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

Adaptive systems
Testing

Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test

Felbinger, H., Wotawa, F. & Nica, M., 21 Sep 2016, Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016. Institute of Electrical and Electronics Engineers, p. 23-30 8 p. 7573720

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

Software testing
Fault detection
Redundancy

The 3D-PITOTI Project with a Focus on Multi-Scale 3D Reconstruction using Semi-Autonomous UAVs

Mostegel, C., Poier, G., Reinbacher, C., Hofer, M., Fraundorfer, F., Bischof, H., Höll, T., Holler, G. & Pinz, A., May 2016, 1st OAGM-ARW Joint Workshop: Vision Meets Robotics. p. 51-52 2 p.

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

The development of a simulation tool for clinical use in image-guided percutaneous minimally invasive cancer treatment (MICT)-the GoSmart project

Voigt, P., Fuchs, J., Petersen, T. O., Jantschke, R., Flanagan, R., Weir, P., Pollari, M., Alhonnoro, T., Payne, S., Hall, S., Fuetterer, J., van Ostenbrugge, T., Stiegler, P., Kalmar, P., Fischer, S., Zangos, S., Voglreiter, P., Ellerweg, R., Reuter, D., Staerk, E. & 3 othersKahn, T., Kolesnik, M. & Moche, M., 2016, ONCOLOGY RESEARCH AND TREATMENT. Karger, Vol. 39.

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

The Educational Robotics Landscape Exploring Common Ground and Contact Points

Lammer, L., Vincze, M., Kandlhofer, M. & Steinbauer, G., 2016, International Conference on Robotics in Education 2016.

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

The Influence of Frequency, Recency and Semantic Context on the Reuse of Tags in Social Tagging Systems

Kowald, D. & Lex, E., 2016, Proceedings of the 27th ACM Conference on Hypertext and Social Media.

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

The MIRAGE91 Brain–Computer Interface

Steyrl, D., Schwarz, A. & Müller-Putz, G., 6 Oct 2016, Cybathlon Symposium. 1 p.

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

Open Access
File

Theory-based Learning Analytics: Using Formal Concept Analysis for Intelligent Student Modelling

Kickmeier-Rust, M., Bedek, M. & Albert, D., 2016, ICAI 2016: Proceedings of the 2016 International Conference on Artificial Intelligence . Arabnia, H. R., De La Fuente, D., Roger, D. & Kozerenko, E. B. (eds.). Athens, Ga.: CSREA Press, p. 97-100 4 p.

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

Theory-driven Learning Analytics and Open Learner Modelling: The Teacher’s Toolbox of Tomorrow?

Kickmeier-Rust, M. & Albert, D., 2016, Proceedings of the 6th International Workshop on Personalization Approaches in Learning Environments (PALE), held in conjunction with the 24th ACM International Conference on User Modeling, Adaptation, and Personalization (UMAP 2016). CEUR Workshop Proceedings, Vol. 1618. p. 49-52 4 p.

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

The right to be forgotten: Towards Machine Learning on perturbed knowledge bases

Malle, B., Kieseberg, P., Weippl, E. & Holzinger, A., 3 Sep 2016, Springer Lecture Notes in Computer Science LNCS 9817. Springer International, p. 251-266 16 p.

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

Open Access
File
Learning systems
Industry
Data privacy
Economics
Classifiers

The Styrian Diversity Visualisation Project: Communicating Data Stories with an Open Data Visualisation Web App

Gutounig, R., Goldgruber, E., Ausserhofer, J., Andrews, K., Traunmüller, T. & Wolkinger, T., 30 Mar 2016, 10. Forschungsforum der Österreichischen Fachhochschulen (FFH2016). Fachhochschule des BFI Wien, 9 p. FFH2016-109-2

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

Open Access

The Value of Game Prototyping Projects for Students and Industry

Pirker, J., Kultima, A. & Gütl, C., 2016, Proceedings of the International Conference on Game Jams, Hackathons, and Game Creation Events. Association of Computing Machinery, p. 54-57

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

The What, the How and the Who: a Psycho-Pedagogical Training Model for Professional Development in Criminal Intelligence Analysis

Hillemann, E-C., Nussbaumer, A., Bedek, M. & Albert, D., 2016, ICERI2016 Proceedings. Seville, Spain: International Academy of Technology, Education and Development , p. 7867 - 7873

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

Tight Cutoffs for Guarded Systems with Fairness

Khalimov, A., Jacobs, S. & Außerlechner, S., 2016, International Conference on Verification, Model Checking, and Abstract Interpretation. ., p. 1-20

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

Time domain classification of grasp and hold tasks

Schwarz, A., 1 Jun 2016, Proceedings of the Sixth International Brain-Computer Interface Meeting: BCI Past, Present and Future. Müller-Putz, G. R., Huggins, J. E. & Steyrl, D. (eds.). Verlag der Technischen Universität Graz, Vol. 6. p. 76 1 p.

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

Open Access
Brain computer interface
Electroencephalography

Towards a more fine grained Analysis of Scientific Authorship: Predicting the number of authors using stylometric features

Rexha, A., Klampfl, S., Kröll, M. & Kern, R., 2016, International Workshop on Bibliometric-enhanced Information Retrieval (BIR).

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

Towards a Personal Security Device

Rath, C., Niedermair, T. & Zefferer, T., 2016, Security and Trust Management. Springer, Vol. 9871 LNCS. p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9871 LNCS).

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

Towards Authenticity and Privacy Preserving Accountable Workflows

Derler, D., Hanser, C., Pöhls, H. C. & Slamanig, D., 1 Jul 2016, Privacy and Identity Management. Time for a Revolution?. AICT ed. Springer Verlag, Vol. 476.

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

Towards Configuration Technologies for IoT Gateways

Felfernig, A., Polat Erdeniz, S., Azzoni, P., Jeran, M., Akcay, A. & Doukas, C., 31 Dec 2016, International Workshop on Configuration 2016: none. Toulouse, p. 73-76 4 p.

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

Towards Group-based Configuration: no subtitle

Felfernig, A., Atas, M., Tran, T. & Stettinger, M., 31 Dec 2016, International Workshop on Configuration 2016: no subtitle. Tououse, p. 69-72 4 p.

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

File
Planning

Towards Integrating Statistical Model Checking into Property-Based Testing

Aichernig, B. K. & Schumi, R. A., 2016, 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society, p. 71-76 6 p.

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

Towards interactive Machine Learning (iML): Applying Ant Colony Algorithms to solve the Traveling Salesman Problem with the Human-in-the-Loop approach

Holzinger, A., Plass, M., Holzinger, K., Crisan, G. C., Pintea, C. M. & Palade, V., 17 Aug 2016, Lecture Notes in Computer Science, LNCS 9817: IFIP International Cross Domain Conference and Workshop (CD-ARES 2016). Springer, p. 81-95

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

Open Access
File
Traveling salesman problem
Learning systems
Health
Ant colony optimization
Recommender systems

Towards Interactive Recommender Systems with the Doctor-in-the-Loop

Holzinger, A., Calero-Valdez, A. & Ziefle, M., 2016, Mensch & Computer 2016. Weyers, B. & Dittmar, A. (eds.). Gesellschaft für Informatik , p. 1-9

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

Open Access
File
Recommender systems
Health
Learning systems
Protein folding
Computer science

Towards Privacy-preserving Attribute Aggregation in Federated eID Systems

Priesnitz Filho, W., Ribeiro, C. & Zefferer, T., 2016, CAiSE Forum 2016: Proceedings of the CAiSE'16 Forum, at the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016). CEUR-WS.org, p. 97-104 (CEUR Workshop Proceedings; vol. 1612).

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

Towards Secure Collaboration in Federated Cloud Environments

Suzic, B. & Reiter, A., 2016, 2016 11th International Conference on Availability, Reliability and Security (ARES). Institute of Electrical and Electronics Engineers, p. 750-759 10 p.

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

Open Access
File
Public administration
Security of data
Data privacy
Electronic data interchange
Cloud computing

UAV-based Autonomous Image Acquisition with Multi-View Stereo Quality Assurance by Confidence Prediction

Mostegel, C., Rumpler, M., Fraundorfer, F. & Bischof, H., 2016, IEEE Conference on Computer Vision and Pattern Recognition (CVPR) Workshops.

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

UAV-Vermessung im Bergbau - Stand der Forschung und Ausblick

Tscharf, A., Rumpler, M., Mayer, G., Fraundorfer, F. & Bischof, H., May 2016, Schriftenreihe des Instituts für Markscheidewesen und Geodäsie.

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

Understanding the benefits of game jams: Exploring the potential for engaging young learners in STEM

Fowler, A., Pirker, J., Pollock, I., de Paula, B. C., Echeveste, M. E. & Gómez, M. J., 2016, Proceedings of the 2016 ITiCSE Working Group Reports. p. 119-135 17 p.

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

Understanding the Impact of Weather for POI Recommendations

Trattner, C., Oberegger, A., Eberhard, L., Parra, D. & Balby Marinho, L., 2016, Proceedings of the ACM RecSys Workshop on Recommenders in Tourism (RecTour).

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

Usability evaluation of a locomotor therapy device considering different strategies

Langthaler, S., Lassnig, A., Baumgartner, C. & Schröttner, J., 30 Sep 2016, Current Directions in Biomedical Engineering. Vol 2, Issue 1. p. 67-69

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

Usable Privacy-aware Logging for Unstructured Log Entries

Rath, C., 31 Aug 2016, Availability, Reliability and Security (ARES 2016). CPS, IEEE Xplore, 6 p.

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

Open Access
File

US-Cut: interactive algorithm for rapid detection and segmentation of liver tumors in ultrasound acquisitions

Egger, J., Voglreiter, P., Hofmann, M., Chen, X., Zoller, W. G., Schmalstieg, D., Hann, A. & Dokter, M., 2016, Proc. SPIE. Vol. 9790. p. 97901C-97901C-6

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

Use cases and architecture of an information system to integrate smart glasses in educational environments

Spitzer, M. & Ebner, M., 29 Jun 2016, Proceedings of EdMedia: World Conference on Educational Media and Technology 2016. VA: AACE, p. 51-58

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

Open Access
File

User-centered Security Management of API-based Data Integration Workflows

Suzic, B., 2016, 2016 IEEE/IFIP Network Operations and Management Symposium (NOMS). Institute of Electrical and Electronics Engineers, p. 1233-1238 6 p.

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

Open Access
File
Data integration
Application programming interfaces (API)
Outsourcing
Industry
Network protocols

U-shaped Networks for Shape from Light Field

Heber, S., Yu, W. & Pock, T., Sep 2016, British Machine Vision Conference, BMVC 2016.

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

Network architecture
Decoding
Deep learning

Using modelica programs for deriving propositional horn clause abduction problems

Peischl, B., Pill, I. & Wotawa, F., 2016, Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings. Springer-Verlag Italia, Vol. 9904 LNAI. p. 185-191 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9904 LNAI).

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

Modelica
Horn clause
Abduction
Fault
Deviation

Using Persuasive System Design Principles to Evaluate Two Next Generation Digital Learning Environments

Cheong, C., Filippou, Cheong, Pirker, J. & Gütl, C., 2016, International Conference on Interactive Collaborative Learning.

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

Using Self- Contradiction to Learn Confidence Measures in Stereo Vision

Mostegel, C., Rumpler, M., Fraundorfer, F. & Bischof, H., 2016, IEEE Conference on Computer Vision and Pattern Recognition (CVPR).

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

Using Support Vector Regression to Estimate Valence Level from EEG

Lan, Z., Müller-Putz, G., Wang, L., Liu, Y., Sourina, O. & Scherer, R., 2016, Systems, Man, and Cybernetics (SMC), 2016 IEEE International Conference on . p. 002558 - 002563

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

Open Access

Using the hybrid social learning network to explore concepts, practices, designs and smart services for networked professional learning

Cook, J., Ley, T., Maier, R., Mor, Y., Santos, P., Lex, E., Dennerlein, S., Trattner, C. & Holley, D., 1 Jan 2016, State-of-the-Art and Future Directions of Smart Learning. Singapore: Springer, p. 123-129 7 p. (Lecture Notes in Educational Technology).

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

social learning
informal learning
learning