 [5-12]Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models
|
2011-05-05 |
| [5-11]Probabilistic Model Checking for Markov chains & Solving ODEs
|
2011-05-04 |
| [5-10]Policies for Security
|
2011-05-05 |
| [4-29]Relational Reasoning about Concurrent Program Transformation
|
2011-04-22 |
| [4-28]The Small Community Phenomena in Networks
|
2011-04-22 |
| [4-25]Evolutionary mechanics: degeneracy and the emergence of flexibility in a dynamic and uncertain world
|
2011-04-20 |
| [4-25]Systematic applications of SAT -- towards a better understanding of SAT
|
2011-04-22 |
| [4-25]Process Determination via the Incremental Commitment Spiral Model
|
2011-04-18 |
| [4-11]From Computing to Interaction
|
2011-04-07 |
| [4-7]Kolmogorov complexity, Computability and Probability.
|
2011-04-01 |
| [3-17]Transformations and Expressiveness Relations for Quantified Boolean Formulas, Boolean Circuits, and Boolean Functions
|
2011-03-11 |
| [3-8]A Vision for Computer Science - The System Perspective
|
2011-03-03 |
| [3-1]Secure Verification Platform based on HOL and MDG
|
2011-02-28 |
| [2-23]Migration of Legacy Applications to Heterogeneous Architectures using HMPP
|
2011-02-22 |
| [1-24]Image processing based on partial differential equations
|
2011-01-20 |
