Searching for authors named "Dejvuth Suwimonteerabuth" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

jMoped: A Java bytecode checker based on Moped
by Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza — 2005 — In TACAS, volume 3440 of Lecture Notes in Computer Science
…jMoped: A Java bytecode checker based on Moped Dejvuth Suwimonteerabuth, Stefan Schwoon…
Cited by 9 (5 self) – Add To MetaCart

Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains
by Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza — 2006 — In ATVA, volume 4218 of Lecture Notes in Computer Science
… with Threshold Subjects ⋆ Dejvuth Suwimonteerabuth, Stefan Schwoon, and Javier Esparza Institut für Formale…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB