发表论文(除极特殊情况外,论文作者均以姓名字母序排列)
(1) Monadic Decomposition in Integer Linear Arithmetic, The International Joint Conference on Automated Reasoning (IJCAR 2020), 2020, 第 4 作者(2) A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type, The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), 2020, 第 7 作者(3) Decision procedures for path feasibility of string-manipulating programs with complex operations, 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019, 第 5 作者(4) Separation logic with linearly compositional inductive predicates and set data constraints, 45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019), 2019, 第 3 作者(5) Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps, 17th Asian Symposium on Programming Languages and Systems (APLAS 2019), 2019, 第 4 作者(6) Android Stack Machine, 30th International Conference on Computer Aided Verification (CAV 2018), 2018, 第 5 作者(7) What is decidable about string constraints with the replaceAll function, 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), 2018, 第 5 作者(8) The Complexity of SORE-definability Problem, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), 2017, 第 2 作者(9) Tractability of separation logic with inductive definitions: Beyond lists, 28th International Conference on Concurrency Theory (CONCUR 2017), 2017, 第 3 作者(10) Register automata with linear arithmetic, Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 2017, 通讯作者(11) Satisfiability of compositional separation logic with tree predicates and data constraints, The 26th International Conference on Automated Deduction (CADE 2017), 2017, 通讯作者(12) Semipositivity In Separation Logic With Two Variables, Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2016), 2016, 第 1 作者(13) On temporal logics with data variable quantifications: decidability and complexity, Information and Computation, 2016, 通讯作者(14) The commutativity problem of the MapReduce framework: A transducer-based approach, International Conference on Computer Aided Verification (CAV 2016), 2016, 通讯作者(15) Global model checking of pushdown multi-agent systems, AAAI Conference on Artificial Intelligence (AAAI 2016), 2016, 通讯作者(16) Verifying pushdown multi-agent systems against strategy logics, International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016, 通讯作者(17) Formal Reasoning on Infinite Data Values: An Ongoing Quest, Engineering Trustworthy Software Systems - Second International School (SETSS 2016), 2016, 通讯作者(18) A complete decision procedure for linearly compositional separation logic with data constraints, International Joint Conference on Automated Reasoning (IJCAR 2016), 2016, 通讯作者(19) On Automated Lemma Generation for Separation Logic with Inductive Definitions, 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), 2015, 通讯作者(20) On the Satisfiability of Indexed Linear Temporal Logics, 26th International Conference on Concurrency Theory (CONCUR 2015), 2015, 通讯作者(21) On effective construction of the greatest solution of language inequality $XA \subseteq BX$, Theoretical Computer Science, 2014, 通讯作者(22) Extending Temporal Logics with Data Variable Quantifications, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014), 2014, 通讯作者(23) Recursive queries on trees and data trees, The 16th International Conference on Database Theory (ICDT 2013), 2013, 通讯作者(24) Commutative Data Automata, The 21st EACSL Annual Conferences on Computer Science Logic (CSL 2012), 2012, 通讯作者(25) A Decidable Extension of Data Automata, The 2nd International Symposium on Games,Automata, Logics and Formal Verification (GandALF 2011), 2011, 通讯作者(26) Feasibility of Motion Planning on Acyclic and Strongly-connected Directed Graphs, Discrete Applied Mathematics, volume 158(9), pages 1017-1028, 2010, 通讯作者(27) Logical Locality Entails Frugal Distributed Computation Over Graphs, The 35th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2009), 2010, 通讯作者(28) Verifying Active Documents with Positive Data Tree Pattern Rewriting, Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), 2010, 第 3 作者(29) Feasibility of Motion Planning on Directed Graphs, The 6th Annual Conference on Theory and Applications of Models of Computation (TAMC 2009), 2009, 第 1 作者(30) On the Expressive Power of QLTL, The 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), 2007, 第 1 作者(31) A Note on the Characterization of TL[EF], Information Processing Letters, volume 102, pages 48-54, 2007, 第 1 作者(32) Quasi-star-free Languages on Infinite Words, Acta Cybernetica, volume 17(1), pages 75-93, 2005, 第 1 作者