Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2014 | Verifying Recursive Programs using Intraprocedural Analyzers | Y.-F. Chen; C. Hsieh; M.-H. Tsai; B.-Y. Wang; F. Wang | ||||
2010 | When Simulation Meets Antichain (on Language Inclusion Checking of NFA/TA) (Best Paper Award) | P.A. Abdulla; Y.-F. Chen; L. Holik; R. Mayr; T. Vojnar |