The Wittgenstein Prize
Project Period: 2019-07-01 – 2024-06-30
Externally Funded
Principal Investigator
Herbert Edelsbrunner
Department(s)
Edelsbrunner Group
Grant Number
Z00342
Funding Organisation
FWF
11 Publications
2020 | Journal Article | IST-REx-ID: 7962 |

Almost all string graphs are intersection graphs of plane convex sets
J. Pach, B. Reed, Y. Yuditsky, Discrete and Computational Geometry 63 (2020) 888–917.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pach, B. Reed, Y. Yuditsky, Discrete and Computational Geometry 63 (2020) 888–917.
2020 | Journal Article | IST-REx-ID: 8163 |

Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
View
| Files available
| DOI
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
2021 | Journal Article | IST-REx-ID: 8317 |

Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
2020 | Conference Paper | IST-REx-ID: 7505 |

Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
View
| Files available
| DOI
| arXiv
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
2019 | Conference Paper | IST-REx-ID: 6493 |

Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
View
| Files available
| DOI
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2021 | Journal Article | IST-REx-ID: 10208
A context-aware dimension reduction framework for trajectory and health signal analyses
S. Goudarzi, M. Sharif, F. Karimipour, Journal of Ambient Intelligence and Humanized Computing (2021).
View
| Files available
| DOI
S. Goudarzi, M. Sharif, F. Karimipour, Journal of Ambient Intelligence and Humanized Computing (2021).
2021 | Journal Article | IST-REx-ID: 10222 |

The beauty of random polytopes inscribed in the 2-sphere
A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.
2021 | Conference Paper | IST-REx-ID: 9296 |

On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
2020 | Conference Paper | IST-REx-ID: 9299 |

Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
2021 | Journal Article | IST-REx-ID: 9602 |

Erdős-Hajnal-type results for monotone paths
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
View
| Files available
| DOI
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
2021 | Conference Paper | IST-REx-ID: 9604 |

Counting cells of order-k voronoi tessellations in ℝ3 with morse theory
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
View
| Files available
| DOI
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.