• Exponential Lower Bounds for the PPSZ k-SAT Algorithm2012-10-16
• Basics of Research Studies that They Don’t Teach You at the Graduate School2012-10-11
• Experimental Program Analysis2012-10-09
• Termination of higher-order rewrite systems using the notion of computability closure2012-10-08
• Presentation Techniques at International Conferences2012-09-17
• Modular discrete time approximations of distributed hybrid automata2012-09-17
• Pervasive Model Checking2012-09-04
• Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software2012-08-10
• Bisimulations Meet PCTL Equivalences for Probabilistic Automata2012-08-06
• Decimals of Pi: An example in verified programming about mathematics2012-07-24
• A Calculational Framework for Parallel Programming with MapReduce2012-07-23
• Symmetry in Combinatorial Search2012-07-18
• Symbiotic Autonomy: Robots, Humans, and the Web2012-07-17
• Search Based Software Engineering2012-07-05
• Energy games and multiweighted modal automata2012-07-02
• Structured Specification for Verification and Inference2012-06-29
• Logic based problem solving: from theory to practice2012-06-25
• Information Visualization and Graph Drawing2012-06-21
• Languages in Racket2012-06-13
• Symbolic Consistency Checking of OpenMP Parallel Programs2012-06-12