 [8-30]Mu and mu tilde: two useful combinators
|
2013-08-29 |
| [8-30]On Two Challenging Problems in Statistical Debugging
|
2013-08-21 |
| [8-22]Mathematics and Physics Foundation for Digital Medicine in Virtual Environments
|
2013-08-22 |
| [8-20] Text entry methods for touch screen and pen-based devices
|
2013-08-19 |
| [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 |
