explore Our
Publications
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Bloem R.
, Doctoral Thesis
Wang C., Bloem R., Hachtel G., Ravi K., Somenzi F.
CONCUR 2001 - Concurrency Theory, International Conference on Concurrency Theory, 456-471, (Lecture notes in computer science)
Bloem R., Engelfriet J.
Journal of Computer and System Sciences, Vol. 61(1), 1-50
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