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

Towards tight communication lower bounds for distributed optimisation
D.-A. Alistarh, J. Korhonen, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 7254–7266.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
D.-A. Alistarh, J. Korhonen, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 7254–7266.
2021 | Published | Journal Article | IST-REx-ID: 10005 |

On nonlinear problems of parabolic type with implicit constitutive equations involving flux
M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).
2021 | Published | Journal Article | IST-REx-ID: 7900 |

Bosonic collective excitations in Fermi gases
N.P. Benedikter, Reviews in Mathematical Physics 33 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N.P. Benedikter, Reviews in Mathematical Physics 33 (2021).
2021 | Published | Journal Article | IST-REx-ID: 7685 |

The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics 33 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C. Boccato, Reviews in Mathematical Physics 33 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9769 |

Impurities in a one-dimensional Bose gas: The flow equation approach
F. Brauneis, H.-W. Hammer, M. Lemeshko, A. Volosniev, SciPost Physics 11 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F. Brauneis, H.-W. Hammer, M. Lemeshko, A. Volosniev, SciPost Physics 11 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9981 |

Importance sampling scheme for the stochastic simulation of quantum spin dynamics
S. De Nicola, SciPost Physics 11 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. De Nicola, SciPost Physics 11 (2021).
2021 | Published | Thesis | IST-REx-ID: 9733 |

The polaron at strong coupling
D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 15271
Simple, deterministic, constant-round coloring in congested clique and MPC
A. Czumaj, P. Davies, M. Parter, SIAM Journal on Computing 50 (2021) 1603–1626.
View
| DOI
A. Czumaj, P. Davies, M. Parter, SIAM Journal on Computing 50 (2021) 1603–1626.
2021 | Published | Conference Paper | IST-REx-ID: 10630 |

On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10072 |

A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10075 |

A bit of nondeterminism makes pushdown automata expressive and succinct
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10054 |

Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10055 |

A Ramsey theorem for finite monoids
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10219 |

Brief announcement: Sinkless orientation is hard also in the supported LOCAL model
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10217 |

Lower bounds for shared-memory leader election under bounded write contention
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10216 |

Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9375 |

Haplotype tagging reveals parallel formation of hybrid races in two butterfly species
J.I. Meier, P.A. Salazar, M. Kučka, R.W. Davies, A. Dréau, I. Aldás, O.B. Power, N.J. Nadeau, J.R. Bridle, C. Rolian, N.H. Barton, W.O. McMillan, C.D. Jiggins, Y.F. Chan, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.I. Meier, P.A. Salazar, M. Kučka, R.W. Davies, A. Dréau, I. Aldás, O.B. Power, N.J. Nadeau, J.R. Bridle, C. Rolian, N.H. Barton, W.O. McMillan, C.D. Jiggins, Y.F. Chan, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9257 |

Designing self-assembling kinetics with differentiable statistical physics models
C.P. Goodrich, E.M. King, S.S. Schoenholz, E.D. Cubuk, M.P. Brenner, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C.P. Goodrich, E.M. King, S.S. Schoenholz, E.D. Cubuk, M.P. Brenner, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8993 |

Naphthylphthalamic acid associates with and inhibits PIN auxin transporters
L. Abas, M. Kolb, J. Stadlmann, D.P. Janacek, K. Lukic, C. Schwechheimer, L.A. Sazanov, L. Mach, J. Friml, U.Z. Hammes, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
L. Abas, M. Kolb, J. Stadlmann, D.P. Janacek, K. Lukic, C. Schwechheimer, L.A. Sazanov, L. Mach, J. Friml, U.Z. Hammes, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9592 |

Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2021.
[Published Version]
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2021.