Online robot learning by reward and punishment for a mobile robot. - Dejvuth Suwimonteerabuth; Prabhas Chongstitvatana (IROS, 2002)

jMoped: A Java Bytecode Checker Based on Moped. - Dejvuth Suwimonteerabuth; Stefan Schwoon; Javier Esparza (TACAS, 2005)

Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. - Dejvuth Suwimonteerabuth; Stefan Schwoon; Javier Esparza (ATVA, 2006)

jMoped: A Test Environment for Java Programs. - Dejvuth Suwimonteerabuth; Felix Berger; Stefan Schwoon; Javier Esparza (CAV, 2007)

Symbolic Context-Bounded Analysis of Multithreaded Java Programs. - Dejvuth Suwimonteerabuth; Javier Esparza; Stefan Schwoon (SPIN, 2008)

SDSIrep: A Reputation System Based on SDSI. - Ahmed Bouajjani; Javier Esparza; Stefan Schwoon; Dejvuth Suwimonteerabuth (TACAS, 2008)

Reachability in pushdown systems: algorithms and applications. - Dejvuth Suwimonteerabuth (2009)

Computing Minimum-Height Certificate Trees in SPKI/SDSI. - Dejvuth Suwimonteerabuth (IICS, 2010)