The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

W. O. David Griffioen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Verification of an Audio Protocol with Bus Collision Using UPPAAL. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:244-256 [Conf]
  2. W. O. David Griffioen, Frits W. Vaandrager
    Normed Simulations. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:332-344 [Conf]
  3. D. J. B. Bosscher, W. O. David Griffioen
    Regularity for a Large Class of Context-Free Processes is Decidable. [Citation Graph (0, 0)][DBLP]
    ICALP, 1996, pp:182-193 [Conf]
  4. Marco Devillers, W. O. David Griffioen, Olaf Müller
    Possibly Infinite Sequences in Theorem Provers: A Comparative Study. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:89-104 [Conf]
  5. W. O. David Griffioen, Marieke Huisman
    A Comparison of PVS and Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:123-142 [Conf]
  6. W. O. David Griffioen, Frits W. Vaandrager
    A theory of normed simulations [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  7. Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager
    Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:16, n:3, pp:307-320 [Journal]
  8. Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Automated verification of an audio-control protocol using UPPAAL. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:163-181 [Journal]
  9. W. O. David Griffioen, Frits W. Vaandrager
    A theory of normed simulations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:4, pp:577-610 [Journal]

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