 [12-6]Progress on Algorithmic randomness
|
2012-12-01 |
| [11-22]Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
|
2012-11-21 |
| [11-12]Verification of Artifact-Centric Multi-Agent Systems
|
2012-11-06 |
| [11-1]Random Polynomials and Expected Complexity of Real Solving
|
2012-10-31 |
| [10-30]GNU TeXmacs, a scientific editing platform
|
2012-10-27 |
| [10-25]Basics of Research Studies that They Don't Teach You at the Graduate School
|
2012-10-16 |
| [10-18]Exponential Lower Bounds for the PPSZ k-SAT Algorithm
|
2012-10-16 |
| [10-12]Experimental Program Analysis
|
2012-10-09 |
| [10-11]Termination of higher-order rewrite systems using the notion of computability closure
|
2012-10-09 |
| [9-26]Modular discrete time approximations of distributed hybrid automata
|
2012-09-17 |
| [9-21]Adaptive business processes for multi-tenant cloud applications
|
2012-09-19 |
| [9-19]Pervasive Model Checking
|
2012-09-05 |
| [8-16]Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software
|
2012-08-10 |
| [8-9]Modeling strategies and individual differences in learning a diagrammatic reasoning task
|
2012-08-08 |
| [8-9]User Oriented Trajectory Search for Trip Recommendation
|
2012-08-08 |
