explore Our
Publications
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Bloem R., Gabow H., Somenzi F.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 37-54
Bloem R., Ravi K., Somenzi F.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 143-160
Bloem R., Ravi K., Somenzi F.
Design Automation Conference, 29-34
Bloem R., Somenzi F.
International Conference on Computer Aided Verification, Springer, 248-263
Bloem R., Moon I., Ravi K., Somenzi F.
World Multiconference on Systemics, Cybernetics and Informatics, 701-706
Bloem R., Ravi K., Somenzi F.
International Conference on Computer Aided Verification, International Conference on Computer Aided Verification, 222-235
Bloem R., Engelfriet J.
Lecture notes in computer science 1261, Springer, 144-161
Bloem R.
, Master's Thesis
Fellner W., Posch R.
Computers & Graphics, Vol. 11(4), 359-367
Posch K., Fellner W., Posch R.
Die Zukunft der Informationssysteme : Lehren der 80er Jahre, Gemeinsame Fachtagung der ÖGI und der GI, 164-185, (Betriebs- und Wirtschaftsinformatik)
Fellner W., Posch R., Welser M.
Eurosoft '86 ; 3, Euro-Software, ---
Maurer H., Posch R., Fellner W.
Videotex Europe, 155-164