Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alexandra Kolla, Ioannis Koutis, Vivek Madan, Ali Kemal Sinop |
Spectrally Robust Graph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, pp. 84:1-84:13, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-076-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Theophanis Hadjistasi, Alexander A. Schwarzmann |
Consistent Distributed Memory Services: Resilience and Efficiency (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, pp. 1:1-1:19, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-076-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Braverman, Emanuele Viola, David P. Woodruff, Lin F. Yang |
Revisiting Frequency Moment Estimation in Random Order Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, pp. 25:1-25:14, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-076-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Megumi Ando, Anna Lysyanskaya, Eli Upfal |
Practical and Provably Secure Onion Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, pp. 144:1-144:14, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-076-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Abdelmonaime Lachkar, Karim Bouzoubaa, Azzeddine Mazroui, Abdelfettah Hamdani, Abdelhak Lekhouaja (eds.) |
Arabic Language Processing: From Theory to Practice - 6th International Conference, ICALP 2017, Fez, Morocco, October 11-12, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![Springer, 978-3-319-73499-6 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amanda Belleville, David Doty, David Soloveichik |
Hardness of Computing and Approximating Predicates and Functions with Leaderless Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 141:1-141:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Chalopin, Victor Chepoi |
A Counterexample to Thiagarajan's Conjecture on Regular Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 101:1-101:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Pietrzak, Maciej Skorski |
Non-Uniform Attacks Against Pseudoentropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 39:1-39:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Brandt 0002, Yuval Emek, Jara Uitto, Roger Wattenhofer |
A Tight Lower Bound for the Capture Time of the Cops and Robbers Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 82:1-82:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tung Mai, Ioannis Panageas, Vijay V. Vazirani |
Opinion Dynamics in Networks: Convergence, Stability and Lack of Explosion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 140:1-140:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Badih Ghazi, Madhu Sudan 0001 |
The Power of Shared Randomness in Uncertain Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 49:1-49:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh 0001, Meirav Zehavi |
Finding, Hitting and Packing Cycles in Subexponential Time on Unit Disk Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 65:1-65:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias, Joanna Ochremiak |
Proof Complexity Meets Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 110:1-110:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Matuschke, S. Thomas McCormick, Gianpaolo Oriolo |
Rerouting Flows When Links Fail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 89:1-89:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lena Schlipf, Jens M. Schmidt |
Edge-Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 75:1-75:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Wiese |
A (1+epsilon)-Approximation for Unsplittable Flow on a Path in Fixed-Parameter Running Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 67:1-67:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marvin Künnemann, Ramamohan Paturi, Stefan Schneider 0003 |
On the Fine-Grained Complexity of One-Dimensional Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 21:1-21:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
On the Metric-Based Approximate Minimization of Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 104:1-104:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Boczkowski, Iordanis Kerenidis, Frédéric Magniez |
Streaming Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 130:1-130:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christian Coester, Elias Koutsoupias, Philip Lazos |
The Infinite Server Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 14:1-14:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Organization, List of Authors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 0:i-0:xlii, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guy Kindler, Ryan O'Donnell |
Quantum Automata Cannot Detect Biased Coins, Even in the Limit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 15:1-15:8, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shahar Chen, Dotan Di Castro, Zohar S. Karnin, Liane Lewin-Eytan, Joseph (Seffi) Naor, Roy Schwartz 0002 |
Correlated Rounding of Multiple Uniform Matroids and Multi-Label Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 34:1-34:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Laura Mancinska, David E. Roberson, Robert Sámal, Simone Severini, Antonios Varvitsiotis |
Relaxations of Graph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 76:1-76:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Achlioptas, Fotis Iliopoulos, Nikos Vlassis |
Stochastic Control via Entropy Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 83:1-83:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Bernstein, Yann Disser, Martin Groß 0001 |
General Bounds for Incremental Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 43:1-43:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Borja Balle, Pascale Gourdeau, Prakash Panangaden |
Bisimulation Metrics for Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 103:1-103:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | André Linhares, Chaitanya Swamy |
Improved Algorithms for MST and Metric-TSP Interdiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 32:1-32:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sara Ahmadian, Zachary Friggstad |
Further Approximations for Demand Matching: Matroid Constraints and Minor-Closed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 55:1-55:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aviad Rubinstein |
Honest Signaling in Zero-Sum Games Is Hard, and Lying Is Even Harder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 77:1-77:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rajesh Jayaram, Barna Saha |
Approximating Language Edit Distance Beyond Fast Matrix Multiplication: Ultralinear Grammars Are Where Parsing Becomes Hard!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 19:1-19:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman |
Regular Separability of Parikh Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 117:1-117:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hoefer 0001, Bojana Kodric |
Combinatorial Secretary Problems with Ordinal Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 133:1-133:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Gmyr, Kristian Hinnenthal, Christian Scheideler, Christian Sohler |
Distributed Monitoring of Network Properties: The Power of Hybrid Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 137:1-137:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail A. Raskin |
A Linear Lower Bound for Incrementing a Space-Optimal Integer Representation in the Bit-Probe Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 88:1-88:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Viswanath Nagarajan, Xiangkun Shen |
Online Covering with Sum of $ell_q$-Norm Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 12:1-12:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Rossman |
Subspace-Invariant AC^0 Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 93:1-93:11, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato 0001, Pierre-Yves Strub |
*-Liftings for Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 102:1-102:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Greg Bodwin, Fabrizio Grandoni 0001, Merav Parter, Virginia Vassilevska Williams |
Preserving Distances in Very Faulty Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 73:1-73:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Pudlák, Dominik Scheder, Navid Talebanfard |
Tighter Hard Instances for PPSZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 85:1-85:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo |
An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 118:1-118:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Othon Michail, George Skretas, Paul G. Spirakis |
On the Transformation Capability of Feasible Mechanisms for Programmable Matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 136:1-136:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ronitt Rubinfeld |
Local Computation Algorithms (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 3:1-3:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lokshtanov, Amer E. Mouawad, Saket Saurabh 0001, Meirav Zehavi |
Packing Cycles Faster Than Erdos-Posa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 71:1-71:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Amaury Pouly |
A Universal Ordinary Differential Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 116:1-116:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ivona Bezáková, Radu Curticapean, Holger Dell, Fedor V. Fomin |
Finding Detours is Fixed-Parameter Tractable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 54:1-54:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Barun Gorain, Andrzej Pelc |
Deterministic Graph Exploration with Advice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 132:1-132:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eric Price 0001, Zhao Song 0002, David P. Woodruff |
Fast Regression with an $ell_infty$ Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 59:1-59:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Berthon, Mickael Randour, Jean-François Raskin |
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 121:1-121:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Toni Böhnlein, Stefan Kratsch, Oliver Schaudt |
Revenue Maximization in Stackelberg Pricing Games: Beyond the Combinatorial Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 46:1-46:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Björklund, Petteri Kaski, Ioannis Koutis |
Directed Hamiltonicity and Out-Branchings via Generalized Laplacians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 91:1-91:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Omri Ben-Eliezer, Simon Korman, Daniel Reichman 0001 |
Deleting and Testing Forbidden Patterns in Multi-Dimensional Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 9:1-9:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Konstantinos Mamouras, Caleb Stanford |
Automata-Based Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 112:1-112:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marek Cygan, Marcin Mucha, Karol Wegrzycki, Michal Wlodarczyk 0001 |
On Problems Equivalent to (min, +)-Convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 22:1-22:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mikkel Abrahamsen, Stephen Alstrup, Jacob Holm, Mathias Bæk Tejs Knudsen, Morten Stöckel |
Near-Optimal Induced Universal Graphs for Bounded Degree Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 128:1-128:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Bienkowski, Jaroslaw Byrka, Marcin Mucha |
Dynamic Beats Fixed: On Phase-Based Algorithms for File Migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 13:1-13:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom |
Characterizing Definability in Decidable Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 107:1-107:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roksana Baleshzar, Deeparnab Chakrabarty, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, C. Seshadhri 0001 |
Optimal Unateness Testers for Real-Valued Functions: Adaptivity Helps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 5:1-5:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jayesh Choudhari, Anirban Dasgupta 0001, Neeldhara Misra, M. S. Ramanujan 0001 |
Saving Critical Nodes with Firefighters is FPT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 135:1-135:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Schweitzer |
A Polynomial-Time Randomized Reduction from Tournament Isomorphism to Tournament Asymmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 66:1-66:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Dereniowski, Adrian Kosowski, Przemyslaw Uznanski, Mengchuan Zou |
Approximation Strategies for Generalized Binary Search in Weighted Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 84:1-84:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider 0002, Frank Wolter |
Conservative Extensions in Guarded and Two-Variable Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 108:1-108:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leran Cai, Thomas Sauerwald |
Randomized Load Balancing on Networks with Stochastic Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 139:1-139:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jing Chen 0001, Bo Li 0037, Yingkai Li |
Efficient Approximations for the Online Dispersion Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 11:1-11:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 120:1-120:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shweta Agrawal, Ishaan Preet Singh |
Reusable Garbled Deterministic Finite Automata from Learning With Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 36:1-36:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Josh Alman, Matthias Mnich, Virginia Vassilevska Williams |
Dynamic Parameterized Problems and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 41:1-41:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Étienne Lozes |
Synchronizability of Communicating Finite State Machines is not Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 122:1-122:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Reiter |
Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 100:1-100:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl (eds.) |
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Nicolas Bacquey, Etienne Grandjean, Frédéric Olive |
Definability by Horn Formulas and Linear Time on Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 99:1-99:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Krauthgamer, Ohad Trabelsi |
Conditional Lower Bounds for All-Pairs Max-Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 20:1-20:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guy Even, Reut Levi, Moti Medina, Adi Rosén |
Sublinear Random Access Generators for Preferential Attachment Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 6:1-6:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Rossman, Srikanth Srinivasan 0001 |
Separation of AC^0[oplus] Formulas and Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 50:1-50:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Bæk Tejs Knudsen |
Additive Spanners and Distance Oracles in Quadratic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 64:1-64:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kärkkäinen, Marcin Piatkowski, Simon J. Puglisi |
String Inference from Longest-Common-Prefix Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 62:1-62:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nick Gravin, Yuval Peres, Balasubramanian Sivan |
Tight Lower Bounds for Multiplicative Weights Algorithmic Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 48:1-48:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bogdanov, Christopher Williamson |
Approximate Bounded Indistinguishability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 53:1-53:11, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Joël Ouaknine, James Worrell 0001 |
The Polytope-Collision Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 24:1-24:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Dohotaru, Peter Høyer |
Controlled Quantum Amplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 18:1-18:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Prasad Raghavendra, Benjamin Weitz |
On the Bit Complexity of Sum-of-Squares Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 80:1-80:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Omer Gold, Micha Sharir |
Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic Barrier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 25:1-25:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Richard Cleve, Chunhao Wang |
Efficient Quantum Algorithms for Simulating Lindblad Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 17:1-17:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Archontia C. Giannopoulou, Michal Pilipczuk, Jean-Florent Raymond, Dimitrios M. Thilikos, Marcin Wrochna |
Linear Kernels for Edge Deletion Problems to Immersion-Closed Graph Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 57:1-57:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Apon, Nico Döttling, Sanjam Garg, Pratyay Mukherjee |
Cryptanalysis of Indistinguishability Obfuscations of Circuits over GGH13. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 38:1-38:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian Barbero, Christophe Paul, Michal Pilipczuk |
Exploring the Complexity of Layout Parameters in Tournaments and Semi-Complete Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 70:1-70:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manoj Gupta 0002, Shahbaz Khan 0004 |
Multiple Source Dual Fault Tolerant BFS Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 127:1-127:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Petr A. Golovach, Daniel Lokshtanov, Saket Saurabh 0001 |
Covering Vectors by Spaces: Regular Matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 56:1-56:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Karl Bringmann, Thomas Dueholm Hansen, Sebastian Krinninger |
Improved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 124:1-124:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi |
Emptiness of Zero Automata Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 106:1-106:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alex Galicki |
Polynomial-Time Rademacher Theorem, Porosity and Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 30:1-30:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Basset, Gilles Geeraerts, Jean-François Raskin, Ocan Sankur |
Admissiblity in Concurrent Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 123:1-123:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Doerr, Anatolii Kostrygin |
Randomized Rumor Spreading Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 138:1-138:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amos Korman, Yoav Rodeh |
The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 81:1-81:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shafi Goldwasser, Ofer Grossman |
Bipartite Perfect Matching in Pseudo-Deterministic NC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 87:1-87:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Samir Datta, Anish Mukherjee 0001, Thomas Schwentick, Nils Vortmeier, Thomas Zeume |
A Strategy for Dynamic Programs: Start over and Muddle Through. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 98:1-98:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Dowek |
Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 109:1-109:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner |
Interactive Oracle Proofs with Constant Rate and Query Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 40:1-40:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Serge Gaspers, Edward J. Lee |
Exact Algorithms via Multivariate Subroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 69:1-69:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miriam Backens |
A New Holant Dichotomy Inspired by Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 16:1-16:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|