| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tsuyoshi Ito |
Polynomial-Space Approximation of No-Signaling Provers.   |
ICALP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingji Xia |
Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Collins, Jurek Czyzowicz, Leszek Gasieniec, Arnaud Labourel |
Tell Me Where I Am So I Can Meet You Sooner. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Colcombet, Denis Kuperberg, Sylvain Lombardy |
Regular Temporal Cost Functions. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieronski |
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Morteza Zadimoghaddam |
How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange). |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis Achilleos, Michael Lampis, Valia Mitsou |
Parameterized Modal Satisfiability. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | T.-H. Hubert Chan, Elaine Shi, Dawn Song |
Private and Continual Release of Statistics. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.) |
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Duncan, Simon Perdrix |
Rewriting Measurement-Based Quantum Computations with Generalised Flow. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Petr Jancar, Antonín Kucera |
Reachability Games on Extended Vector Addition Systems with States. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Aleks Kissinger |
The Compositional Structure of Multipartite Quantum Entanglement. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.) |
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Gupta, Ravishankar Krishnaswamy, Kirk Pruhs |
Scalably Scheduling Power-Heterogeneous Processors. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie Ann Goldberg, Mark Jerrum |
Approximating the Partition Function of the Ferromagnetic Potts Model. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Xi Chen, Pinyan Lu |
Graph Homomorphisms with Complex Values: A Dichotomy Theorem. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronitt Rubinfeld, Ning Xie |
Testing Non-uniform k-Wise Independent Distributions over Product Spaces. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Fountoulakis, Konstantinos Panagiotou |
Orientability of Random Hypergraphs and the Power of Multiple Choices. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew C. Yao, Moti Yung, Yunlei Zhao |
Concurrent Knowledge Extraction in the Public-Key Model. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amihood Amir, Estrella Eisenberg, Avivit Levy, Ely Porat, Natalie Shapira |
Cycle Detection and Correction. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies, Timur Bakibayev |
Weak Completeness Notions for Exponential Time. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Köbler, Sebastian Kuhnert, Bastian Laubner, Oleg Verbitsky |
Interval Graphs: Canonical Representation in Logspace. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Cole, Vijaya Ramachandran |
Resource Oblivious Sorting on Multicores. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Atri Rudra, Steve Uurtamo |
Data Stream Algorithms for Codeword Testing. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Iftah Gamzu, Danny Segev |
A Sublogarithmic Approximation for Highway and Tollbooth Pricing. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosa M. Jiménez, Conrado Martínez |
Interval Sorting. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Loukas Georgiadis |
Testing 2-Vertex Connectivity and Computing Pairs of Vertex-Disjoint s-t Paths in Digraphs. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Atserias, Elitza N. Maneva |
Mean-Payoff Games and Propositional Proofs. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Bansal, Niv Buchbinder, Joseph Naor |
Metrical Task Systems and the k-Server Problem on HSTs. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Jacobs, Ferdinando Cicalese, Eduardo Sany Laber, Marco Molinaro |
On the Complexity of Searching in Trees: Average-Case Minimization. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leah Epstein, Asaf Levin, Rob van Stee |
Max-min Online Allocations with a Reordering Buffer. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dietzfelbinger, Andreas Goerdt, Michael Mitzenmacher, Andrea Montanari, Rasmus Pagh, Michael Rink |
Tight Thresholds for Cuckoo Hashing via XORSAT. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Greve, Allan Grønlund Jørgensen, Kasper Dalgaard Larsen, Jakob Truelsen |
Cell Probe Lower Bounds and Approximations for Range Mode. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Gupta, Viswanath Nagarajan, R. Ravi |
Thresholded Covering Algorithms for Robust and Max-min Optimization. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner |
Local Search: Simple, Successful, But Sometimes Sluggish. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Borodin, Brendan Lucier |
On the Limitations of Greedy Mechanism Design for Truthful Combinatorial Auctions. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | MohammadHossein Bateni, MohammadTaghi Hajiaghayi, Nicole Immorlica, Hamid Mahini |
The Cooperative Game Theory Foundations of Network Bargaining Games. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jittat Fakcharoenphol, Bundit Laekhanukit, Danupon Nanongkai |
Faster Algorithms for Semi-matching Problems (Extended Abstract). |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Makarychev, Rajsekar Manokaran, Maxim Sviridenko |
Maximum Quadratic Assignment Problem: Reduction from Maximum Label Cover and LP-Based Approximation Algorithm. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Eisenbrand, Nicolai Hähnle, Martin Niemeier, Martin Skutella, José Verschae, Andreas Wiese |
Scheduling Periodic Tasks in a Hard Real-Time Environment. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amos Beimel, Sebastian Ben Daniel, Eyal Kushilevitz, Enav Weinreb |
Choosing, Agreeing, and Eliminating in Communication Complexity. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juanjo Rué, Ignasi Sau, Dimitrios M. Thilikos |
Dynamic Programming for Graphs on Surfaces. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Patrascu, Mikkel Thorup |
On the k-Independence Required by Linear Probing and Minwise Independence. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Gupta, Viswanath Nagarajan, R. Ravi |
Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Grossi, Alessio Orlandi, Rajeev Raman |
Optimal Trade-Offs for Succinct String Indexes. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Woodruff |
Additive Spanners in Nearly Quadratic Time. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesan Guruswami, Rishi Saket |
On the Inapproximability of Vertex Cover on k-Partite k-Uniform Hypergraphs. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Cheraghchi |
Improved Constructions for Non-adaptive Threshold Group Testing. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, Ljubomir Perkovic |
Plane Spanners of Maximum Degree Six. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Pawel Parys |
Efficient Evaluation of Nondeterministic Automata Using Factorization Forests. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Dell, Thore Husfeldt, Martin Wahlen |
Exponential Time Complexity of the Permanent and the Tutte Polynomial. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Li, Ke Yi, Qin Zhang |
Clustering with Diversity. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjarni V. Halldórsson, Magnús M. Halldórsson, Elena Losievskaja, Mario Szegedy |
Streaming Algorithms for Independent Sets. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce E. Litow |
On Sums of Roots of Unity. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aris Anagnostopoulos, Fabrizio Grandoni, Stefano Leonardi, Piotr Sankowski |
Online Network Design with Outliers. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
Covering and Packing in Linear Space. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hari Krovi, Frédéric Magniez, Maris Ozols, Jérémie Roland |
Finding Is as Easy as Detecting for Quantum Walks. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amitava Bhattacharya, Bhaskar DasGupta, Dhruv Mubayi, György Turán |
On Approximate Horn Formula Minimization. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Troy Lee, Shengyu Zhang |
Composition Theorems in Communication Complexity. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benny Applebaum, Yuval Ishai, Eyal Kushilevitz |
From Secrecy to Soundness: Efficient Verification via Secure Computation. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Bansal, Subhash Khot |
Inapproximability of Hypergraph Vertex Cover and Applications to Scheduling Problems. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Duan |
New Data Structures for Subgraph Connectivity. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Grandoni, Thomas Rothvoß |
Network Design via Core Detouring for Problems without a Core. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Shpilka, Ilya Volkovich |
On the Relation between Polynomial Identity Testing and Finding Variable Disjoint Factors. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Harks, Max Klimm |
On the Existence of Pure Nash Equilibria in Weighted Congestion Games. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesan Guruswami, Subhash Khot, Ryan O'Donnell, Preyas Popat, Madhur Tulsiani, Yi Wu |
SDP Gaps for 2-to-1 and Other Label-Cover Variants. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Iacono, Özgür Özkan |
Mergeable Dictionaries. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Bansal, Ravishankar Krishnaswamy, Viswanath Nagarajan |
Better Scalable Algorithms for Broadcast Scheduling. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kratsch, Magnus Wahlström |
Preprocessing of Min Ones Problems: A Dichotomy. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emo Welzl |
When Conflicting Constraints Can Be Resolved - The Lovász Local Lemma and Satisfiability. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Libert, Moti Yung |
Efficient Completely Non-malleable Public Key Encryption. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jop Briët, Fernando Mário de Oliveira Filho, Frank Vallentin |
The Positive Semidefinite Grothendieck Problem with Rank Constraint. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Král' |
Decomposition Width of Matroids. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Blasiak, Robert D. Kleinberg |
The Serializability of Network Codes. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Bunn, Rafail Ostrovsky |
Asynchronous Throughput-Optimal Routing in Malicious Networks. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Gimbert, Youssouf Oualhadj |
Probabilistic Automata on Finite Words: Decidable and Undecidable Problems. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Laird |
Game Semantics for Call-by-Value Polymorphism. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Roland Meyer, Harro Wimmel |
The Downward-Closure of Petri Net Languages. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Bansal, Kamal Jain, Anna Kazeykina, Joseph Naor |
Approximation Algorithms for Diversified Search Ranking. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-Efficient Scheduling of Stochastically Generated Tasks. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Chalopin, Shantanu Das |
Rendezvous of Mobile Agents without Agreement on Local Orientation. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell |
Model Checking Succinct and Parametric One-Counter Automata. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Braud, Arnaud Carayol |
Linear Orders in the Pushdown Hierarchy. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaëlle Fontaine, Raul Andres Leal, Yde Venema |
Automata for Coalgebras: An Approach Using Predicate Liftings. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Montanari, Gabriele Puppis, Pietro Sala |
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fearnley |
Exponential Lower Bounds for Policy Iteration. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giacobazzi, Francesco Ranzato |
Example-Guided Abstraction Simplification. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiri Chechik, Yuval Emek, Boaz Patt-Shamir, David Peleg |
Sparse Reliable Graph Backbones. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Even, Moti Medina |
An O(logn)-Competitive Online Centralized Randomized Packet-Routing Algorithm for Lines. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremiah Blocki, Ryan Williams |
Resolving the Complexity of Some Data Privacy Problems. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink |
Compositionality in Graph Transformation. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Zetzsche |
On Erasing Productions in Random Context Grammars. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | George Christodoulou, Katrina Ligett, Evangelia Pyrga |
Contention Resolution under Selfishness. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ning Chen, Xiaotie Deng |
Envy-Free Pricing in Multi-item Markets. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On p-Optimal Proof Systems and Logics for PTIME. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Berenbrink, Jurek Czyzowicz, Robert Elsässer, Leszek Gasieniec |
Efficient Information Exchange in the Random Phone-Call Model. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
Compositional Closure for Bayes Risk in Probabilistic Noninterference. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea E. F. Clementi, Angelo Monti, Riccardo Silvestri |
Modelling Mobility: A Discrete Revolution. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")