The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bert Lisser: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. C. T. H. Everaars, Bert Lisser
    Coordination of a Parallel Proposition Solver. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:275-290 [Conf]
  3. 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]
  4. 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]
  5. Jan Friso Groote, Bert Lisser
    Computer assisted manipulation of algebraic process specifications. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:98-107 [Journal]
  6. 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]
  7. Anton Wijs, Bert Lisser
    Distributed Extended Beam Search for Quantitative Model Checking. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:166-184 [Conf]

  8. Towards Formal Verification of ToolBusScripts. [Citation Graph (, )][DBLP]


  9. Automated Translation and Analysis of a ToolBus Script for Auctions. [Citation Graph (, )][DBLP]


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


  11. Distributed Partial Order Reduction for Security Protocols. [Citation Graph (, )][DBLP]


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