Fakultät für Informatik und Biomedizinische Technik (7000)

  • 8010

    Inffeldgasse 10 Graz

    Österreich

Forschungsoutput 1970 2019

Filter
!!Conference article
2018

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mär 2018, in : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, S. 1-40 40 S.

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

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

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

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, S. 401-402

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

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 S., 264.

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

On the superiority of conflict-driven search in MUs enumeration

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

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

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, S. 625-662 38 S.

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

Reflections on the workshop

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

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

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 S., 199.

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

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

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

Interactive computer systems
Software engineering
Systems analysis
2007

Magnetic induction tomography: Analysis of resolution and object shifting

Merwa, R. & Scharfetter, H., 1 Jan 2007, in : IFMBE Proceedings. 14, 1, S. 3968-3971 4 S.

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

Electromagnetic induction
Tomography
Image quality
Electric properties
Imaging techniques