 [8-5]Advances in symbolic model checking for multi-agent systems
|
2013-07-30 |
| [7-24]Program debugging with effective software fault localization
|
2013-07-17 |
| [7-18]Uniform Monte Carlo Model Checking
|
2013-07-17 |
| [7-12]Equational Reasoning and Unification in Protocol Verification
|
2013-07-10 |
| [7-11]Model-Checking Iterated Games
|
2013-07-10 |
| [6-20]Finding the Most Accessible Locations - Reverse Path Nearest Neighbor Query in Road Networks
|
2013-06-18 |
| [6-20]Understanding the Robustness of SSDs under Power Fault
|
2013-06-18 |
| [6-18]Center Problems under Matroid and Knapsack Constraints
|
2013-06-18 |
| [6-18]A Unifying Approach to Assessing Market Power in Deregulated Electricity Market
|
2013-06-18 |
| [6-6]Reachability Probabilities of Quantum Markov Chains
|
2013-06-04 |
| [6-6]Model Checking Stochastic Hybrid Systems
|
2013-06-03 |
| [5-31]Scalable Symbolic Execution
|
2013-05-27 |
| [5-20]Automata for counting data, and some logic
|
2013-05-13 |
| [5-17]Develop Fine-Grained Access Control Systems for Smartphones
|
2013-05-17 |
| [5-16]High-Level Parallel Programming with Parallel Skeletons in Haskell
|
2013-05-10 |
