now163
- Rabin’s Theorem in the Concurrency Setting: A Conjecture2014-06-23
- Program Structure-Aware Fault Localization2014-06-05
- Intuitive Termination Proofs2014-06-03
- Automatic Verification of Message-Passing Concurrency2014-04-16
- An Algebraic Regular Parser Generator2014-04-15
- How to Treat Evolutionary Algorithms as Ordinary Randomized Algorithms2014-04-14
- NP-Complete Problems and Special Bipartite Graphs2014-04-04
- Recent Progresses in Local Search for SAT2014-04-04
- Model-Checking for Malware Detection2014-03-14
- Handcrafted Coq Inversions Made Operational on Operational Semantics2014-03-13
- 2014年开放课题申请工作正式开始2014-03-12
- Validity Check of Putback Transformations in Bidirectional Programming2014-03-03
- Proofs, upside down: a functional correspondence between natural deduction and the sequent calculus2013-12-17
- When is a formula invariant?2013-11-26
- Towards model checking the hardware description language BSV2013-11-21
- Rule Formats for Structural Operational Semantics: A Very Short Introduction2013-11-18
- Symbolic-Numeric Algorithms for Verified Computations2013-11-14
- Modular Construction of Shape-Numeric Analyzers2013-11-11
- Small Bug, Big Bang2013-10-25
- The Parameterized Complexity of Counting k-Matchings2013-10-24