Faculty of Computer Science and Biomedical Engineering (7000)

  • 8010

    Inffeldgasse 10 Graz

    Austria

Research Output 1970 2019

Filter
Conference article
2018

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F. 23 Mar 2018 In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, p. 1-40 40 p.

Research output: Contribution to journalConference article

Testing
Specifications
Software engineering
Network protocols
Formal specification

Analytics for everyday learning from two perspectives: Knowledge workers and teachers

Fessl, A., Kowald, D., Sola, S. L., Moreno, A., Maturana, R. A. & Thalmann, S. 1 Jan 2018 In : CEUR Workshop Proceedings. 2209

Research output: Contribution to journalConference article

Recommender systems

A Scalable Queue for Work Distribution on GPUs

Kerbl, B., Müller, J., Kenzel, M., Schmalstieg, D. & Steinberger, M. 2018 In : ACM SIGPLAN Notices. 53, 1, p. 401-402

Research output: Contribution to journalConference article

Layered Fields for Natural Tessellations on Surfaces

Zayer, R., Mlakar, D., Steinberger, M. & Seidel, H-P. 2018 In : ACM Transactions on Graphics. 37, 6, 15 p., 264

Research output: Contribution to journalConference article

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 article

Model checking
Set theory

Quality Metrics for Information Visualization

Behrisch, M., Blumenschein, M., Kim, N. W., Shao, L., El-Assady, M., Fuchs, J., Seebacher, D., Diehl, A., Brandes, U., Pfister, H., Schreck, T., Weiskopf, D. & Keim, D. A. 2018 In : Computer Graphics Forum. 37, 3, p. 625-662 38 p.

Research output: Contribution to journalConference article

Reflections on the workshop

Fessl, A. & Thalmann, S. 1 Jan 2018 In : CEUR Workshop Proceedings. 2209

Research output: Contribution to journalConference article

Shading Atlas Streaming

Müller, J., Voglreiter, P., Dokter, M., Neff, T., Makar, M., Steinberger, M. & Schmalstieg, D. 2018 In : ACM Transactions on Graphics. 37, 6, 16 p., 199

Research output: Contribution to journalConference article

Simulation-based co-creation of algorithms

Dennerlein, S., Kowald, D., Pammer-Schindler, V., Lex, E. & Ley, T. 1 Jan 2018 In : CEUR Workshop Proceedings. 2190

Research output: Contribution to journalConference article

Interactive computer systems
Software engineering
Systems analysis