The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rom Langerak: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rom Langerak
    View Updates in Relational Databases with an Independent Scheme. [Citation Graph (7, 13)][DBLP]
    ACM Trans. Database Syst., 1990, v:15, n:1, pp:40-66 [Journal]
  2. Ed Brinksma, Rom Langerak, Peter Broekroelofs
    Functionality Decomposition by Compositional Correstness Preserving Transformation. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:371-384 [Conf]
  3. Rom Langerak, Ed Brinksma
    A Complete Finite Prefix for Process Algebra. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:184-195 [Conf]
  4. Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
    Causal Ambiguity and Partial Orders in Event Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:317-331 [Conf]
  5. B. Botma, Rom Langerak
    Simulator for LOTOS to study the independence and causality of events. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:221-223 [Conf]
  6. Rom Langerak
    Event Structures for Design and Transformation in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:265-280 [Conf]
  7. Rom Langerak
    Bundle event structures: a non-interleaving semantics for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1992, pp:331-346 [Conf]
  8. Joost-Pieter Katoen, Rom Langerak, Diego Latella
    Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:253-268 [Conf]
  9. Stefan Strubbe, Rom Langerak
    A Composition Operator for Systems with Active and Passive Actions. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:24-37 [Conf]
  10. Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
    On Specifying Real-Time Systems in a Causality-Based Setting. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:385-404 [Conf]
  11. Rom Langerak
    A Testing Theory for LOTOS using Deadlock Detection. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:87-98 [Conf]
  12. Rom Langerak
    Decomposition of functionality: a correctness-preserving LOTOS transformation. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:229-242 [Conf]
  13. Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:220-235 [Conf]
  14. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
    A Stochastic Causality-Based Process Algebra. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:552-565 [Journal]
  15. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
    Partial Order Models for Quantitative Extensions of LOTOS. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1998, v:30, n:9-10, pp:925-950 [Journal]
  16. Rom Langerak
    Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal]
  17. Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi
    A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:12, n:2, pp:189-216 [Journal]

  18. Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. [Citation Graph (, )][DBLP]


  19. Re-verification of a Lip Synchronization Protocol using Robust Reachability [Citation Graph (, )][DBLP]


Search in 0.106secs, Finished in 0.108secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002