- 2013-07-09Equational Reasoning and Unification in Protocol Verification
- 2013-06-18Center Problems under Matroid and Knapsack Constraints
- 2013-06-18A Unifying Approach to Assessing Market Power in Deregulated Electricity Market
- 2013-06-04Reachability Probabilities of Quantum Markov Chains
- 2013-06-03Model Checking Stochastic Hybrid Systems
- 2013-05-16Develop Fine-Grained Access Control Systems for Smartphones
- 2013-05-13Automata for counting data, and some logic
- 2013-05-10High-Level Parallel Programming with Parallel Skeletons in Haskell
- 2013-04-21Reasoning about State Invariants and Constraints in Artificial Intelligence
- 2013-03-18Randomized Postoptimization of Covering Arrays
- 2013-02-27Provably correct conflict prevention bands algorithms
- 2013-02-26Digital Morphogenesis via Schelling segregation
- 2013-01-14Effective Methods for Concurrent Program Debugging
- 2012-12-18Foreseeing the Unseen: Probability Estimation over Large Alphabets
- 2012-12-12Revisiting finite automata and their relation with languages and circuits
- 2012-12-03Progress on Algorithmic randomness
- 2012-11-05A Role for Mereology in Domain Science and Engineering – to every mereology there corresponds a lambda-expression
- 2012-11-05Verification of Artifact-Centric Multi-Agent Systems
- 2012-10-31Random Polynomials and Expected Complexity of Real Solving
- 2012-10-29GNU TeXmacs, a scientific editing platform