We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Efficient Büchi automata from LTL formulae
Bloem R., Somenzi F.
International Conference on Computer Aided Verification
Approximations for fixpoint computations in symbolic model chec king
Bloem R., Moon I., Ravi K., Somenzi F.
World Multiconference on Systemics, Cybernetics and Informatics
Efficient decision procedures for model checking of linear time logic properties
Bloem R., Ravi K., Somenzi F.
International Conference on Computer Aided Verification
Monadic second order logic and node relations on graphs and trees
Bloem R., Engelfriet J.
Lecture notes in computer science 1261, Springer, 144-161, 1997
Attribute Grammars and Monadic Second Order Logic
Bloem R.
Master's Thesis, 1996
The Circle-Brush Algorithm
Posch K., Fellner W.
ACM Transactions on Graphics, Vol. 8(1), 1989
Bildschirmtext - an Open Videotex Network for Text and Graphic Applications
Fellner W., Posch R.
Computers & Graphics, Vol. 11(4), 1987
The Circle-Brush Algorithm
Posch K., Fellner W.
Theoretical foundations of computer graphics and CAD
Graphik-Hardware - die Nutzung von VLSI-Design gezeigt am Beispiel einer Kreismaschine
Posch K., Fellner W., Posch R.
Die Zukunft der Informationssysteme : Lehren der 80er Jahre
PC mit Btx-Frontend-Prozessor - Kommunikationslandschaft der Zukunft?
Fellner W., Posch R., Welser M.
Eurosoft '86 ; 3
Mupid - ein intelligentes Btx-Terminal und ein vollwertiger Editierarbeitsplatz in einem
Maurer H., Posch R., Fellner W.
Videotex Europe