Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
103 Publications
2018 | Published | Conference Paper | IST-REx-ID: 11911 |

Memetic graph clustering
S. Biedermann, M. Henzinger, C. Schulz, B. Schuster, in:, 17th International Symposium on Experimental Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
S. Biedermann, M. Henzinger, C. Schulz, B. Schuster, in:, 17th International Symposium on Experimental Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Published | Conference Paper | IST-REx-ID: 133 |

Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Published | Conference Paper | IST-REx-ID: 7407 |

Proofs of catalytic space
Pietrzak, Krzysztof Z, Proofs of catalytic space. 10th Innovations in Theoretical Computer Science Conference (ITCS 2019) 124. 2018
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
Pietrzak, Krzysztof Z, Proofs of catalytic space. 10th Innovations in Theoretical Computer Science Conference (ITCS 2019) 124. 2018
2018 | Published | Conference Paper | IST-REx-ID: 285 |

On the treewidth of triangulated 3-manifolds
Huszár, Kristóf, On the treewidth of triangulated 3-manifolds. 99. 2018
[Submitted Version]
View
| Files available
| DOI
| arXiv
Huszár, Kristóf, On the treewidth of triangulated 3-manifolds. 99. 2018
2018 | Published | Conference Paper | IST-REx-ID: 6005 |

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2017 | Published | Conference Paper | IST-REx-ID: 11829 |

Conditional hardness for sensitivity problems
M. Henzinger, A. Lincoln, S. Neumann, V. Vassilevska Williams, in:, 8th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M. Henzinger, A. Lincoln, S. Neumann, V. Vassilevska Williams, in:, 8th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Published | Conference Paper | IST-REx-ID: 11831 |

Improved guarantees for vertex sparsification in planar graphs
G. Goranci, M. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
G. Goranci, M. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Published | Conference Paper | IST-REx-ID: 11832 |

Dynamic clustering to minimize the sum of radii
M. Henzinger, D. Leniowski, C. Mathieu, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M. Henzinger, D. Leniowski, C. Mathieu, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Published | Conference Paper | IST-REx-ID: 11833 |

The power of vertex sparsifiers in dynamic graph algorithms
G. Goranci, M. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Goranci, M. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Published | Conference Paper | IST-REx-ID: 950 |

Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Published | Conference Paper | IST-REx-ID: 963 |

Timed network games with clocks
Avni, Guy, Timed network games with clocks. 83. 2017
[Published Version]
View
| Files available
| DOI
Avni, Guy, Timed network games with clocks. 83. 2017
2017 | Published | Conference Paper | IST-REx-ID: 1175 |

Cumulative space in black-white pebbling and resolution
Alwen, Joel F, Cumulative space in black-white pebbling and resolution. 67. 2017
[Published Version]
View
| Files available
| DOI
Alwen, Joel F, Cumulative space in black-white pebbling and resolution. 67. 2017
2017 | Published | Conference Paper | IST-REx-ID: 1174 |

Lower bounds on key derivation for square-friendly applications
Skórski, Maciej, Lower bounds on key derivation for square-friendly applications. 66. 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
Skórski, Maciej, Lower bounds on key derivation for square-friendly applications. 66. 2017
2017 | Published | Conference Paper | IST-REx-ID: 697 |

Non uniform attacks against pseudoentropy
Pietrzak, Krzysztof Z, Non uniform attacks against pseudoentropy. 80. 2017
[Published Version]
View
| Files available
| DOI
Pietrzak, Krzysztof Z, Non uniform attacks against pseudoentropy. 80. 2017
2017 | Published | Conference Paper | IST-REx-ID: 688 |

Topological data analysis with Bregman divergences
Edelsbrunner, Herbert, Topological data analysis with Bregman divergences. 77. 2017
[Published Version]
View
| Files available
| DOI
Edelsbrunner, Herbert, Topological data analysis with Bregman divergences. 77. 2017
2017 | Published | Conference Paper | IST-REx-ID: 710 |

Renyi entropy estimation revisited
Obremski, Maciej, Renyi entropy estimation revisited. 81. 2017
[Published Version]
View
| Files available
| DOI
Obremski, Maciej, Renyi entropy estimation revisited. 81. 2017
2017 | Published | Conference Paper | IST-REx-ID: 711 |

Bidirectional nested weighted automata
Chatterjee, Krishnendu, Bidirectional nested weighted automata. 85. 2017
[Published Version]
View
| Files available
| DOI
Chatterjee, Krishnendu, Bidirectional nested weighted automata. 85. 2017
2016 | Published | Conference Paper | IST-REx-ID: 11834 |

Incremental exact min-cut in poly-logarithmic amortized update time
G. Goranci, M. Henzinger, M. Thorup, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Goranci, M. Henzinger, M. Thorup, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 11835 |

Incremental and fully dynamic subgraph connectivity for emergency planning
M. Henzinger, S. Neumann, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M. Henzinger, S. Neumann, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 11836 |

Graph minors for preserving terminal distances approximately - lower and upper bounds
Y.K. Cheung, G. Goranci, M. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y.K. Cheung, G. Goranci, M. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.