Search results for: Arie Matsliah
Lecture Notes in Computer Science > Automata, Languages and Programming > Session A12: Counting, Testing > 545-556
Lecture Notes in Computer Science > Computer Aided Verification > Session XI: Probabilistic Verification > 339-351
Lecture Notes in Computer Science > Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques > Contributed Talks of RANDOM > 380-394
Lecture Notes in Computer Science > Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques > Contributed Talks of RANDOM > 402-415
Lecture Notes in Computer Science > Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques > Contributed Talks of RANDOM > 462-475
Combinatorica > 2012 > 32 > 1 > 35-53
Journal of Combinatorial Optimization > 2011 > 21 > 3 > 330-347
Information Processing Letters > 2010 > 111 > 1 > 16-21
Information and Computation > 2010 > 208 > 4 > 315-326