The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Izak van Langevelde: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Arts, Izak van Langevelde
    Correct Performance of Transaction Capabilities. [Citation Graph (0, 0)][DBLP]
    ACSD, 2001, pp:35-42 [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. Paul Dechering, Izak van Langevelde
    On the Verification of Coordination. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:335-340 [Conf]
  4. Izak van Langevelde, Judi Romijn, Nicolae Goga
    Founding FireWire Bridges through Promela Prototyping. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:239- [Conf]
  5. 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]
  6. 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]

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