2009 share record
persistent URL:
Arnon Avron , Agata Ciabattoni , Anna Zamansky : Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR 2009 : 26-37 share record
persistent URL:
Philippe Baptiste , Jacques Carlier , Alexander V. Kononov , Maurice Queyranne , Sergey Sevastyanov , Maxim Sviridenko : Integrality Property in Preemptive Parallel Machine Scheduling. CSR 2009 : 38-46 share record
persistent URL:
Olaf Beyersdorff , Zenon Sadowski : Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes. CSR 2009 : 47-58 share record
persistent URL:
Pedro Cabalar , Sergei P. Odintsov , David Pearce : Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009 : 1-11 share record
persistent URL:
Chris Calabro , Ramamohan Paturi : k -SAT Is No Harder Than Decision-Unique-k -SAT. CSR 2009 : 59-70 share record
persistent URL:
Christian Choffrut , Juhani Karhumäki : Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. CSR 2009 : 71-79 share record
persistent URL:
Yi Deng , Giovanni Di Crescenzo , Dongdai Lin , Dengguo Feng : Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model. CSR 2009 : 80-91 share record
persistent URL:
Tommy Färnqvist , Peter Jonsson , Johan Thapper : Approximability Distance in the Space of H -Colourability Problems. CSR 2009 : 92-104 share record
persistent URL:
Andreas Goerdt : On Random Ordering Constraints. CSR 2009 : 105-116 share record
persistent URL:
Kristoffer Arnsfelt Hansen : Depth Reduction for Circuits with a Single Layer of Modular Counting Gates. CSR 2009 : 117-128 share record
persistent URL:
Niko Haubold , Markus Lohrey : Compressed Word Problems in HNN-Extensions and Amalgamated Products. CSR 2009 : 237-249 share record
persistent URL:
Mark A. Hillebrand , Sergey Tverdyshev : Formal Verification of Gate-Level Computer Systems. CSR 2009 : 322-333 share record
persistent URL:
Edward A. Hirsch , Sergey I. Nikolenko : A Feebly Secure Trapdoor Function. CSR 2009 : 129-142 share record
persistent URL:
Pim van 't Hof , Daniël Paulusma , Gerhard J. Woeginger : Partitioning Graphs into Connected Parts. CSR 2009 : 143-154 share record
persistent URL:
Dmitry Itsykson : Structural Complexity of AvgBPP. CSR 2009 : 155-166 share record
persistent URL:
Maurice J. Jansen : Lower Bounds for the Determinantal Complexity of Explicit Low Degree Polynomials. CSR 2009 : 167-178 share record
persistent URL:
Maurice J. Jansen , B. V. Raghavendra Rao : Simulation of Arithmetical Circuits by Branching Programs with Preservation of Constant Width and Syntactic Multilinearity. CSR 2009 : 179-190 share record
persistent URL:
Artur Jez , Alexander Okhotin : One-Nonterminal Conjunctive Grammars over a Unary Alphabet. CSR 2009 : 191-202 share record
persistent URL:
Galina Jirásková : Concatenation of Regular Languages and Descriptional Complexity. CSR 2009 : 203-214 share record
persistent URL:
Peter Jonsson , Johan Thapper : Approximability of the Maximum Solution Problem for Certain Families of Algebras. CSR 2009 : 215-226 share record
persistent URL:
Dogan Kesdogan , Daniel Mölle , Stefan Richter , Peter Rossmanith : Breaking Anonymity by Learning a Unique Minimum Hitting Set. CSR 2009 : 299-309 share record
persistent URL:
Alexander V. Kononov , Sergey Sevastyanov , Maxim Sviridenko : Complete Complexity Classification of Short Shop Scheduling. CSR 2009 : 227-236 share record
persistent URL:
Daniil Musatov , Andrei E. Romashchenko , Alexander Shen : Variations on Muchnik's Conditional Complexity Theorem. CSR 2009 : 250-262 share record
persistent URL:
Ely Porat : An Optimal Bloom Filter Replacement Based on Matrix Solving. CSR 2009 : 263-273 share record
persistent URL:
Yuri Pritykin , Julya Ulyashkina : Aperiodicity Measure for Infinite Sequences. CSR 2009 : 274-285 share record
persistent URL:
B. V. Raghavendra Rao , Jayalal Sarma : On the Complexity of Matroid Isomorphism Problems. CSR 2009 : 286-298 share record
persistent URL:
Wolfgang Thomas : The Reachability Problem over Infinite Graphs. CSR 2009 : 12-18 share record
persistent URL:
Nikolay K. Vereshchagin : Kolmogorov Complexity and Model Selection. CSR 2009 : 19-24 share record
persistent URL:
Mikhail N. Vyalyi : On Models of a Nondeterministic Computation. CSR 2009 : 334-345