Concepedia
Statistics
Publications
19
Citations
499
H-Index
13
Active since
1989
Affiliations
University of Twente(Current)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Rom Langerak is an author at University of Twente specializing in computer science, computing, and biological systems modeling.
Publications per year
1989–2019
Bundle event structures: a non-interleaving semantics for LOTOS
Rom Langerak · Data Archiving and Networked Services (DANS) · 1991 · 82 citations
Language Studies, Computer Science, Semantics +4
A Testing Theory for LOTOS using Deadlock Detection
Rom Langerak · 1989 · 69 citations
Computing, Computer Engineering, Computer Science +6
View updates in relational databases with an independent scheme
Rom Langerak · ACM Transactions on Database Systems · 1990 · 57 citations · Full text
Computing, Computer Science, Information Systems +17
Decomposition of functionality: a correctness-preserving LOTOS transformation
Rom Langerak · University of Twente Research Information · 1990 · 47 citations
Computing, Computer Engineering, Computer Science +3
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach
Joost-Pieter Katoen, Rom Langerak, Diego Latella · 1993 · 28 citations · Full text
Engineering, Computer Science, Computer Systems +17
1–5 of 19