now163
- 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