The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Minh D. Nguyen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
    Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2005, pp:303-307 [Conf]
  2. Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz
    Transition-by-transition FSM traversal for reachability analysis in bounded model checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2005, pp:1068-1075 [Conf]

  3. Analyzing k-step induction to compute invariants for SAT-based property checking. [Citation Graph (, )][DBLP]


  4. Novel synthesis design of a 3-DOF silicon piezoresistive micro accelerometer. [Citation Graph (, )][DBLP]


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