Research Output per year
Research Output 1970 2019
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 journal › Conference 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. 2209Research output: Contribution to journal › Conference 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-402Research output: Contribution to journal › Conference 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., 264Research output: Contribution to journal › Conference article
On the superiority of conflict-driven search in MUs enumeration
Koitz-Hristov, R. & Wotawa, F. 1 Jan 2018 In : CEUR Workshop Proceedings. 2289Research output: Contribution to journal › Conference 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 journal › Conference article
Reflections on the workshop
Fessl, A. & Thalmann, S. 1 Jan 2018 In : CEUR Workshop Proceedings. 2209Research output: Contribution to journal › Conference 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., 199Research output: Contribution to journal › Conference 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. 2190Research output: Contribution to journal › Conference article
Interactive computer systems
Software engineering
Systems analysis