• Center Problems under Matroid and Knapsack Constraints2013-06-18
• A Unifying Approach to Assessing Market Power in Deregulated Electricity Market2013-06-18
• Reachability Probabilities of Quantum Markov Chains2013-06-04
• Model Checking Stochastic Hybrid Systems2013-06-03
• Develop Fine-Grained Access Control Systems for Smartphones2013-05-16
• Automata for counting data, and some logic2013-05-13
• High-Level Parallel Programming with Parallel Skeletons in Haskell2013-05-10
• Reasoning about State Invariants and Constraints in Artificial Intelligence2013-04-21
• Randomized Postoptimization of Covering Arrays2013-03-18
• Provably correct conflict prevention bands algorithms2013-02-27
• Digital Morphogenesis via Schelling segregation2013-02-26
• Effective Methods for Concurrent Program Debugging2013-01-14
• 2013年开放课题申请工作正式开始2013-01-06
• Foreseeing the Unseen: Probability Estimation over Large Alphabets2012-12-18
• Revisiting finite automata and their relation with languages and circuits2012-12-12
• Progress on Algorithmic randomness2012-12-03
• A Role for Mereology in Domain Science and Engineering – to every mereology there corresponds a lambda-expression2012-11-05
• Verification of Artifact-Centric Multi-Agent Systems2012-11-05
• Random Polynomials and Expected Complexity of Real Solving2012-10-31
• GNU TeXmacs, a scientific editing platform2012-10-29