Conferences in DBLP
Noam Nisan Algorithms for Selfish Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Ossona de Mendez The Reduced Genus of a Multigraph. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Wilke Classifying Discrete Temporal Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Bernasconi , Igor Shparlinski Circuit Complexity of Testing Square-Free Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Sauerhoff , Ingo Wegener , Ralph Werchner Relating Branching Program Size and Formula Size over the Full Binary Basis. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander E. Andreev , Andrea E. F. Clementi , Paolo Penna , José D. P. Rolim Memory Organization Schemes for Large Shared Data: A Randomized Solution for Distributed Memory Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Jakoby The Average Time Complexity to Compute Prefix Functions in Processor Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-yi Cai , Aduri Pavan , D. Sivakumar On the Hardness of Permanent. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Buhrman , Lance Fortnow One-sided Versus Two-sided Error in Probabilistic Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Icking , Rolf Klein , Elmar Langetepe An Optimal Competitive Strategy for Walking in Streets. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Schuierer , Ines Semrau An Optimal Strategy for Searching in Unknown Streets. [Citation Graph (0, 0)][DBLP ] Conf ] Mikael Hammar , Bengt J. Nilsson , Sven Schuierer Parallel Searching on m Rays. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Lautemann , Nicole Schweikardt , Thomas Schwentick A Logical Characterisation of Linear Time on Nondeterministic Turing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Durand , Alexander Shen , Nikolai K. Vereshchagin Descriptive Complexity of Computable Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Clifford Bergman , Giora Slutzki Complexity of Some Problems in Universal Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Ton Kloks , Jan Kratochvíl , Haiko Müller New Branchwidth Territories. [Citation Graph (0, 0)][DBLP ] Conf ] Ming-Yang Kao , Andrzej Lingas , Anna Östlin Balanced Randomized Tree Splitting with Applications to Evolutionary Tree Constructions. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Bouchitté , Ioan Todinca Treewidth and Minimum Fill-in of Weakly Triangulated Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Vesa Halava , Mika Hirvensalo , Ronald de Wolf Decidability and Undecidability of Marked PCP. [Citation Graph (0, 0)][DBLP ] Conf ] John Michael Robson , Volker Diekert On Quadratic Word Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Kirsten Some Undecidability Results Related to the Star Problem in Trace Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Gunnar Andersson An Approximation Algorithm for Max p-Section. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Kratsch , Lorna Stewart Approximating Bandwidth by Mixing Layouts of Interval Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Preis Linear Time 1/2-Approximation Algorithm for Maximum Weighted Matching in General Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Edith Hemaspaandra , Lane A. Hemaspaandra , Harald Hempel Extending Downward Collapse from 1-versus-2 Queries to j-versus-j+1 Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Vikraman Arvind , Jacobo Torán Sparse Sets, Approximable Sets, and Parallel Queries to NP. [Citation Graph (0, 0)][DBLP ] Conf ] Jop F. Sibeyn External Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Timm Ahrendt Fast Computations of the Exponential Function. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Koutny , Giuseppe Pappalardo A Model of Behaviour Abstraction for Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Richard Mayr Model Checking Lossy Vector Addition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bang Ye Wu , Kun-Mao Chao , Chuan Yi Tang Constructing Light Spanning Trees with Small Routing Cost. [Citation Graph (0, 0)][DBLP ] Conf ] Matti Nykänen , Esko Ukkonen Finding Paths with the Right Cost. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Szegedy In How Many Steps the k Peg Version of the Towers of Hanoi Game Can Be Solved? [Citation Graph (0, 0)][DBLP ] Conf ] Gudmund Skovbjerg Frandsen , Johan P. Hansen , Peter Bro Miltersen Lower Bounds for Dynamic Algebraic Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Engebretsen An Explicit Lower Bound for TSP with Distances One and Two. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Jakoby , Maciej Liskiewicz , Rüdiger Reischuk Scheduling Dynamic Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] William Aiello , Costas Busch , Maurice Herlihy , Marios Mavronicolas , Nir Shavit , Dan Touitou Supporting Increment and Decrement Operations in Balancing Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Elias Koutsoupias , Christos H. Papadimitriou Worst-case Equilibria. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Reischuk , Thomas Zeugmann A Complete and Tight Average-Case Analysis of Learning Monomials. [Citation Graph (0, 0)][DBLP ] Conf ] John Case , Keh-Jiann Chen , Sanjay Jain Costs of General Purpose Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Schuler Universal Distributions and Time-Bounded Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Lautemann , Pierre McKenzie , Thomas Schwentick , Heribert Vollmer The Descriptive Complexity Approach to LOGCFL. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Moshe Y. Vardi The Weakness of Self-Complementation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Toshihide Ibaraki , Kazuhisa Makino On the Difference of Horn Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Ettinger , Peter Høyer On Quantum Algorithms for Noncommutative Hidden Subgroups. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Sauerhoff On the Size of Randomized OBDDs and Read-Once Branching Programs for k-Stable Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Di Crescenzo , Niels Ferguson , Russell Impagliazzo , Markus Jakobsson How to Forget a Secret. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Müller-Olm A Modal Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP ] Conf ] Rana Barua , Suman Roy , Zhou Chaochen Completeness of Neighbourhood Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Otto Eliminating Recursion in the µ-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Meßner On Optimal Algorithms and Optimal Proof Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Luis Esteban , Jacobo Torán Space Bounds for Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Niedermeier , Peter Rossmanith Upper Bounds for Vertex Cover Further Improved. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Riedel Online Matching for Scheduling Problems. [Citation Graph (0, 0)][DBLP ] Conf ] 