|
Search the dblp DataBase
Dejvuth Suwimonteerabuth:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. [Citation Graph (0, 0)][DBLP] ATVA, 2006, pp:141-153 [Conf]
- Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
jMoped: A Java Bytecode Checker Based on Moped. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:541-545 [Conf]
- Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza
jMoped: A Test Environment for Java Programs. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:164-167 [Conf]
Computing Minimum-Height Certificate Trees in SPKI/SDSI. [Citation Graph (, )][DBLP]
Symbolic Context-Bounded Analysis of Multithreaded Java Programs. [Citation Graph (, )][DBLP]
SDSIrep: A Reputation System Based on SDSI. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|