Logo der Universität Wien

Tel. +43-1-4277-DW
ok Birgit Aubrunner Mag. ok E-Mail 783 03
ok Yun Kuen Cheung MPhil PhD ok E-Mail 783 49
ok Wolfgang Dvorak Dipl.-Ing. Dipl.-Ing. Dr. ok E-Mail 783 21
ok Kastor Felsner BSc ok E-Mail
ok Ulrike Frolik-Steffan Mag. ok E-Mail 783 02
ok Wilfried Gansterer Assoz. Prof. Dipl.-Ing. Dr., Privatdoz. ok E-Mail 783 11
ok Gramoz Goranci MSc ok E-Mail 783 22
ok Bernhard Gruber ok E-Mail
ok Iris Gundacker BA ok E-Mail 783 03
ok Monika Henzinger Univ.-Prof. Dr. ok E-Mail 783 10
ok Ewald Hotop Mag. ok E-Mail
ok Rudolf Hürner ok E-Mail 783 09
ok Andreas Janecek Mag. Dr., Bakk. ok E-Mail
ok Sebastian Krinninger Dipl.-Ing. Dr., B.Sc. ok E-Mail 783 21
ok Johannes Daniel Leitner Dipl.-Ing. Dr., Privatdoz. ok E-Mail
ok Dariusz Leniowski MMag. Dr. ok E-Mail 783 42
ok Markus Levonyak Dipl.-Ing., B.Sc. ok E-Mail 783 48
ok Veronika Loitzenbauer Dipl.-Ing. ok E-Mail 783 20
ok Stefan Neumann M.Sc. BSc. ok E-Mail 783 41
ok Alexander Noe M.Sc. ok E-Mail 783 40
ok Carlos Andres Pachajoa Mejia M.Sc. (Hons) ok E-Mail 783 47
ok Pan Peng Dr. ok E-Mail 783 23
ok Karl Prikopa Dipl.-Ing., BSc ok E-Mail
ok Hannes Schabauer Mag. Dr. ok E-Mail
ok Christian Schulz Dipl.-Math. Dipl.-Inform. Dr. ok E-Mail 783 24
ok Bernhard Schuster Dipl.-Ing., BSc. ok E-Mail 783 45
ok Maximilian Stejskal Mag.
ok Alexander Svozil Dipl.-Ing. ok E-Mail 783 44
ok Angelika Wiesinger ok E-Mail
ok Elias Wimmer ok E-Mail

chronological alphabetical

Semester: Show all semesters
    No content found.

type chronological
10 Publications

Journal Papers

  • Henzinger, Monika and Loitzenbauer, Veronika pp. 1-15 ISSN 0304-3975 Elsevier (2015)
  • Chatterjee, Krishnendu and Henzinger, Monika and Krinninger, Sebastian and Loitzenbauer, Veronika and Raskin, Michael A. pp. 104-116 ISSN 0304-3975 (2014)
  • Conference Papers/Workshop Papers

  • Chechik, Shiri and Hansen, Thomas Dueholm and Italiano, Giuseppe F. and Loitzenbauer, Veronika and Parotsidis, Nikos In: ACM-SIAM Symposium on Discrete Algorithms (SODA 2017) , 16-19 Jan 2017 , Barcelona, Spain (2017)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) , August 22-26, 2016 , Krakow (Poland) (2016)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , July 5-8, 2016 , New York City, USA (2016)
  • Ben-Zwi, Oren and Henzinger, Monika and Loitzenbauer, Veronika In: 11th Conference on Web and Internet Economics (WINE 2015) , December 9-12, 2015 , Amsterdam, The Netherlands (2015)
  • Henzinger, Monika and Krinninger, Sebastian and Loitzenbauer, Veronika In: 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) , July 6–10, 2015 , Kyoto, Japan (2015)
  • Chatterjee, Krishnendu and Henzinger, Monika and Loitzenbauer, Veronika In: Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) , July 6–10, 2015 , Kyoto, Japan (2015)
  • Loitzenbauer, Veronika In: Frontiers of Formal Methods 2015 , February 25 - 27, 2015 , Aachen, Germany (2015)
  • Chatterjee, Krishnendu and Henzinger, Monika and Krinninger, Sebastian and Loitzenbauer, Veronika In: Fourth International Symposion on Games, Automata, Logics and Formal Verification (GandALF 2013) , 29 - 31 Aug 2013 , Borca di Cadore, Dolomites, Italy (2013)
  • Contact us
    Faculty of Computer Science
    University of Vienna

    Währinger Straße 29
    A-1090 Vienna