The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefan Blom: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Zena M. Ariola, Stefan Blom
    Skew and omega-Skew Confluence and Abstract Böhm Semantics. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:368-403 [Conf]
  2. Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
    µCRL: A Toolset for Analysing Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:250-254 [Conf]
  3. Stefan Blom, Jaco van de Pol
    State Space Reduction by Proving Confluence. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:596-609 [Conf]
  4. Stefan Blom, Natalia Ioustinova, Natalia Sidorova
    Timed Verification with µCRL. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:178-192 [Conf]
  5. Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
    Simulated Time for Testing Railway Interlockings with TTCN-3. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:1-15 [Conf]
  6. Stefan Blom
    A Complete Proof System for Nested Term Graphs. [Citation Graph (0, 0)][DBLP]
    HOA, 1995, pp:74-89 [Conf]
  7. Stefan Blom, Wan Fokkink, Sumit Nain
    On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:109-118 [Conf]
  8. Stefan Blom
    An Approximation Based Approach to Infinitary Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    RTA, 2004, pp:221-232 [Conf]
  9. Zena M. Ariola, Stefan Blom
    Cyclic Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:77-106 [Conf]
  10. Zena M. Ariola, Stefan Blom
    Skew confluence and the lambda calculus with letrec. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:117, n:1-3, pp:95-168 [Journal]
  11. Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
    New developments around the mCRL tool set. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  12. Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik
    Analysing the BKE-security Protocol with µCRL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:49-90 [Journal]
  13. Stefan Blom, Izak van Langevelde, Bert Lisser
    Compressed and Distributed File Formats for Labeled Transition Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  14. Stefan Blom, Simona Orzan
    A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  15. Stefan Blom, Simona Orzan
    Distributed Branching Bisimulation Reduction of State Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  16. Stefan Blom, Simona Orzan
    Distributed State Space Minimization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  17. Stefan Blom, Simona Orzan
    A distributed algorithm for strong bisimulation reduction of state spaces. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:1, pp:74-86 [Journal]
  18. Stefan Blom, Simona Orzan
    Distributed state space minimization. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:3, pp:280-291 [Journal]
  19. Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
    TTCN-3 for Distributed Testing Embedded Software. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:98-111 [Conf]
  20. Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
    Distributed Analysis with mu CRL: A Compendium of Case Studies. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:683-689 [Conf]

  21. LTSmin: Distributed and Symbolic Reachability. [Citation Graph (, )][DBLP]


  22. Symbolic Reachability for Process Algebras with Recursive Data Types. [Citation Graph (, )][DBLP]


  23. Distributed Branching Bisimulation Minimization by Inductive Signatures [Citation Graph (, )][DBLP]


  24. A Database Approach to Distributed State Space Generation. [Citation Graph (, )][DBLP]


  25. Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting. [Citation Graph (, )][DBLP]


  26. Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. [Citation Graph (, )][DBLP]


Search in 0.198secs, Finished in 0.199secs
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