ask others

CSR 2009: Novosibirsk, Russia

> Home > Conferences and Workshops > CSR

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/2009
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/2009
Anna E. Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner:
Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings. Lecture Notes in Computer Science 5675, Springer 2009, ISBN 978-3-642-03350-6

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/CabalarOP09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/CabalarOP09
Pedro Cabalar, Sergei P. Odintsov, David Pearce:
Well-Founded and Partial Stable Semantics Logical Aspects. 1-11
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Thomas09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Thomas09
Wolfgang Thomas:
The Reachability Problem over Infinite Graphs. 12-18
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Vereshchagin09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Vereshchagin09
Nikolay K. Vereshchagin:
Kolmogorov Complexity and Model Selection. 19-24
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Yang09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Yang09
Hongseok Yang:
Automatic Verification of Heap-Manipulating Programs Using Separation Logic. 25

Accepted Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/AvronCZ09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/AvronCZ09
Arnon Avron, Agata Ciabattoni, Anna Zamansky:
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. 26-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/BaptisteCKQSS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/BaptisteCKQSS09
Philippe Baptiste, Jacques Carlier, Alexander V. Kononov, Maurice Queyranne, Sergey Sevastyanov, Maxim Sviridenko:
Integrality Property in Preemptive Parallel Machine Scheduling. 38-46
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/BeyersdorffS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/BeyersdorffS09
Olaf Beyersdorff, Zenon Sadowski:
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes. 47-58
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/CalabroP09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/CalabroP09
Chris Calabro, Ramamohan Paturi:
k-SAT Is No Harder Than Decision-Unique-k-SAT. 59-70
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/ChoffrutK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/ChoffrutK09
Christian Choffrut, Juhani Karhumäki:
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. 71-79
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/DengCLF09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/DengCLF09
Yi Deng, Giovanni Di Crescenzo, Dongdai Lin, Dengguo Feng:
Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model. 80-91
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/FarnqvistJT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/FarnqvistJT09
Tommy Färnqvist, Peter Jonsson, Johan Thapper:
Approximability Distance in the Space of H-Colourability Problems. 92-104
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Goerdt09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Goerdt09
Andreas Goerdt:
On Random Ordering Constraints. 105-116
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Hansen09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Hansen09
Kristoffer Arnsfelt Hansen:
Depth Reduction for Circuits with a Single Layer of Modular Counting Gates. 117-128
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/csr/HirschN09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/HirschN09
Edward A. Hirsch, Sergey I. Nikolenko:
A Feebly Secure Trapdoor Function. 129-142
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/HofPW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/HofPW09
Pim van 't Hof, Daniël Paulusma, Gerhard J. Woeginger:
Partitioning Graphs into Connected Parts. 143-154
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Itsykson09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Itsykson09
Dmitry Itsykson:
Structural Complexity of AvgBPP. 155-166
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Jansen09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Jansen09
Maurice J. Jansen:
Lower Bounds for the Determinantal Complexity of Explicit Low Degree Polynomials. 167-178
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/JansenR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/JansenR09
Maurice J. Jansen, B. V. Raghavendra Rao:
Simulation of Arithmetical Circuits by Branching Programs with Preservation of Constant Width and Syntactic Multilinearity. 179-190
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/JezO09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/JezO09
Artur Jez, Alexander Okhotin:
One-Nonterminal Conjunctive Grammars over a Unary Alphabet. 191-202
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Jiraskova09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Jiraskova09
Galina Jirásková:
Concatenation of Regular Languages and Descriptional Complexity. 203-214
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/JonssonT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/JonssonT09
Peter Jonsson, Johan Thapper:
Approximability of the Maximum Solution Problem for Certain Families of Algebras. 215-226
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/KononovSS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/KononovSS09
Alexander V. Kononov, Sergey Sevastyanov, Maxim Sviridenko:
Complete Complexity Classification of Short Shop Scheduling. 227-236
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/HauboldL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/HauboldL09
Niko Haubold, Markus Lohrey:
Compressed Word Problems in HNN-Extensions and Amalgamated Products. 237-249
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/csr/MusatovRS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/MusatovRS09
Daniil Musatov, Andrei E. Romashchenko, Alexander Shen:
Variations on Muchnik's Conditional Complexity Theorem. 250-262
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/csr/Porat09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Porat09
Ely Porat:
An Optimal Bloom Filter Replacement Based on Matrix Solving. 263-273
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/PritykinU09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/PritykinU09
Yuri Pritykin, Julya Ulyashkina:
Aperiodicity Measure for Infinite Sequences. 274-285
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/RaoS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/RaoS09
B. V. Raghavendra Rao, Jayalal Sarma:
On the Complexity of Matroid Isomorphism Problems. 286-298
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/KesdoganMRR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/KesdoganMRR09
Dogan Kesdogan, Daniel Mölle, Stefan Richter, Peter Rossmanith:
Breaking Anonymity by Learning a Unique Minimum Hitting Set. 299-309
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/MisraRSS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/MisraRSS09
Neeldhara Misra, Venkatesh Raman, Saket Saurabh, Somnath Sikdar:
The Budgeted Unique Coverage Problem and Color-Coding. 310-321
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/HillebrandT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/HillebrandT09
Mark A. Hillebrand, Sergey Tverdyshev:
Formal Verification of Gate-Level Computer Systems. 322-333
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Vyalyi09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Vyalyi09
Mikhail N. Vyalyi:
On Models of a Nondeterministic Computation. 334-345
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/Wahlstrom09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/Wahlstrom09
Magnus Wahlström:
New Plain-Exponential Time Classes for Graph Homomorphism. 346-355
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csr/YakaryilmazS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csr/YakaryilmazS09
Abuzer Yakaryilmaz, A. C. Cem Say:
Languages Recognized with Unbounded Error by Quantum Finite Automata. 356-367

maintained by

, founded at