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.
5872 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10410 | 
The cost of adaptivity in security games on graphs
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 550–581.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 550–581.
2021 | Published | Conference Paper | IST-REx-ID: 9466 |
The convergence of slide-type reductions
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
[Published Version]
View
| Files available
| DOI
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
2021 | Published | Conference Paper | IST-REx-ID: 10407 |
Trojan-resilience without cryptography
S. Chakraborty, S. Dziembowski, M. Gałązka, T. Lizurej, K.Z. Pietrzak, M.X. Yeo, in:, Springer Nature, 2021, pp. 397–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Chakraborty, S. Dziembowski, M. Gałązka, T. Lizurej, K.Z. Pietrzak, M.X. Yeo, in:, Springer Nature, 2021, pp. 397–428.
2021 | Published | Conference Paper | IST-REx-ID: 10409 |
On treewidth, separators and Yao’s garbling
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th International Conference, Springer Nature, 2021, pp. 486–517.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th International Conference, Springer Nature, 2021, pp. 486–517.
2021 | Published | Conference Paper | IST-REx-ID: 9826 |
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
2021 | Published | Conference Paper | IST-REx-ID: 10041 |
Limits on the Adaptive Security of Yao’s Garbling
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, D. Wichs, in:, 41st Annual International Cryptology Conference, Part II , Springer Nature, Cham, 2021, pp. 486–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, D. Wichs, in:, 41st Annual International Cryptology Conference, Part II , Springer Nature, Cham, 2021, pp. 486–515.
2021 | Published | Conference Paper | IST-REx-ID: 10048 |
The cost of adaptivity in security games on graphs
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, 19th Theory of Cryptography Conference 2021, International Association for Cryptologic Research, 2021.
[Preprint]
View
| Files available
| Download Preprint (ext.)
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, 19th Theory of Cryptography Conference 2021, International Association for Cryptologic Research, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10044 |
On treewidth, separators and Yao's garbling
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th Theory of Cryptography Conference 2021, International Association for Cryptologic Research, 2021.
[Preprint]
View
| Files available
| Download Preprint (ext.)
C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th Theory of Cryptography Conference 2021, International Association for Cryptologic Research, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10408 |
Grafting key trees: Efficient key management for overlapping groups
J.F. Alwen, B. Auerbach, M.A. Baig, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 222–253.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
J.F. Alwen, B. Auerbach, M.A. Baig, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 222–253.
2021 | Published | Thesis | IST-REx-ID: 10035 |
On the adaptive security of graph-based games
K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10049 |
Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement
K. Klein, G. Pascual Perez, M. Walter, C. Kamath Hosdurg, M. Capretto, M. Cueto Noval, I. Markov, M.X. Yeo, J.F. Alwen, K.Z. Pietrzak, in:, 2021 IEEE Symposium on Security and Privacy , IEEE, 2021, pp. 268–284.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Klein, G. Pascual Perez, M. Walter, C. Kamath Hosdurg, M. Capretto, M. Cueto Noval, I. Markov, M.X. Yeo, J.F. Alwen, K.Z. Pietrzak, in:, 2021 IEEE Symposium on Security and Privacy , IEEE, 2021, pp. 268–284.
2021 | Published | Conference Paper | IST-REx-ID: 9969 |
LightPIR: Privacy-preserving route discovery for payment channel networks
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9394 |
Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis
E.L. Koch, H.E. Morales, J. Larsson, A.M. Westram, R. Faria, A.R. Lemmon, E.M. Lemmon, K. Johannesson, R.K. Butlin, Evolution Letters 5 (2021) 196–213.
[Published Version]
View
| Files available
| DOI
| WoS
E.L. Koch, H.E. Morales, J. Larsson, A.M. Westram, R. Faria, A.R. Lemmon, E.M. Lemmon, K. Johannesson, R.K. Butlin, Evolution Letters 5 (2021) 196–213.
2021 | Published | Journal Article | IST-REx-ID: 9470 |
Unboxing mutations: Connecting mutation types with evolutionary consequences
E.L. Berdan, A. Blanckaert, T. Slotte, A. Suh, A.M. Westram, I. Fragata, Molecular Ecology 30 (2021) 2710–2723.
[Published Version]
View
| Files available
| DOI
| WoS
E.L. Berdan, A. Blanckaert, T. Slotte, A. Suh, A.M. Westram, I. Fragata, Molecular Ecology 30 (2021) 2710–2723.
2021 | Research Data Reference | IST-REx-ID: 12987 |
Data from: Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis
E. Koch, H.E. Morales, J. Larsson, A.M. Westram, R. Faria, A.R. Lemmon, E.M. Lemmon, K. Johannesson, R.K. Butlin, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Koch, H.E. Morales, J. Larsson, A.M. Westram, R. Faria, A.R. Lemmon, E.M. Lemmon, K. Johannesson, R.K. Butlin, (2021).
2021 | Published | Journal Article | IST-REx-ID: 9316 |
Rigidity percolation uncovers a structural basis for embryonic tissue phase transitions
Petridou, Nicoletta, Rigidity percolation uncovers a structural basis for embryonic tissue phase transitions. Cell 184 (7). 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Petridou, Nicoletta, Rigidity percolation uncovers a structural basis for embryonic tissue phase transitions. Cell 184 (7). 2021
2021 | Published | Journal Article | IST-REx-ID: 10559 |
Enhancement of proximity-induced superconductivity in a planar Ge hole gas
K. Aggarwal, A.C. Hofmann, D. Jirovec, I. Prieto Gonzalez, A. Sammak, M. Botifoll, S. Martí-Sánchez, M. Veldhorst, J. Arbiol, G. Scappucci, J. Danon, G. Katsaros, Physical Review Research 3 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Aggarwal, A.C. Hofmann, D. Jirovec, I. Prieto Gonzalez, A. Sammak, M. Botifoll, S. Martí-Sánchez, M. Veldhorst, J. Arbiol, G. Scappucci, J. Danon, G. Katsaros, Physical Review Research 3 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9443 |
Synaptotagmins at the endoplasmic reticulum-plasma membrane contact sites maintain diacylglycerol homeostasis during abiotic stress
N. Ruiz-Lopez, J. Pérez-Sancho, A. Esteban Del Valle, R. Haslam, S. Vanneste, R. Catalá, C. Perea-Resa, D. Van Damme, S. García-Hernández, A. Albert, J. Vallarino, J. Lin, J. Friml, A. Macho, J. Salinas, A. Rosado, J. Napier, V. Amorim-Silva, M. Botella, Plant Cell 33 (2021) 2431–2453.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N. Ruiz-Lopez, J. Pérez-Sancho, A. Esteban Del Valle, R. Haslam, S. Vanneste, R. Catalá, C. Perea-Resa, D. Van Damme, S. García-Hernández, A. Albert, J. Vallarino, J. Lin, J. Friml, A. Macho, J. Salinas, A. Rosado, J. Napier, V. Amorim-Silva, M. Botella, Plant Cell 33 (2021) 2431–2453.
2021 | Published | Journal Article | IST-REx-ID: 8911 |
The germanium quantum information route
G. Scappucci, C. Kloeffel, F.A. Zwanenburg, D. Loss, M. Myronov, J.-J. Zhang, S.D. Franceschi, G. Katsaros, M. Veldhorst, Nature Reviews Materials 6 (2021) 926–943.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Scappucci, C. Kloeffel, F.A. Zwanenburg, D. Loss, M. Myronov, J.-J. Zhang, S.D. Franceschi, G. Katsaros, M. Veldhorst, Nature Reviews Materials 6 (2021) 926–943.
2021 | Published | Conference Paper | IST-REx-ID: 9464
Ge/Si quantum wires for quantum computing
F. Gao, J.Y. Zhang, J.H. Wang, M. Ming, T. Wang, J.J. Zhang, H. Watzinger, J. Kukucka, L. Vukušić, G. Katsaros, K. Wang, G. Xu, H.O. Li, G.P. Guo, in:, 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021, IEEE, 2021.
View
| DOI
| WoS
F. Gao, J.Y. Zhang, J.H. Wang, M. Ming, T. Wang, J.J. Zhang, H. Watzinger, J. Kukucka, L. Vukušić, G. Katsaros, K. Wang, G. Xu, H.O. Li, G.P. Guo, in:, 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021, IEEE, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9290 |
AGC kinases and MAB4/MEL proteins maintain PIN polarity by limiting lateral diffusion in plant cells
M. Glanc, K. Van Gelderen, L. Hörmayer, S. Tan, S. Naramoto, X. Zhang, D. Domjan, L. Vcelarova, R. Hauschild, A.J. Johnson, E. de Koning, M. van Dop, E. Rademacher, S. Janson, X. Wei, G. Molnar, M. Fendrych, B. De Rybel, R. Offringa, J. Friml, Current Biology 31 (2021) 1918–1930.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Glanc, K. Van Gelderen, L. Hörmayer, S. Tan, S. Naramoto, X. Zhang, D. Domjan, L. Vcelarova, R. Hauschild, A.J. Johnson, E. de Koning, M. van Dop, E. Rademacher, S. Janson, X. Wei, G. Molnar, M. Fendrych, B. De Rybel, R. Offringa, J. Friml, Current Biology 31 (2021) 1918–1930.
2021 | Published | Journal Article | IST-REx-ID: 9656 |
PIN-mediated polar auxin transport regulations in plant tropic responses
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.
2021 | Published | Journal Article | IST-REx-ID: 8992 |
Pho-view of auxin: Reversible protein phosphorylation in auxin biosynthesis, transport and signaling
Tan, Shutang, Pho-view of auxin: Reversible protein phosphorylation in auxin biosynthesis, transport and signaling. Molecular Plant 14 (1). 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Tan, Shutang, Pho-view of auxin: Reversible protein phosphorylation in auxin biosynthesis, transport and signaling. Molecular Plant 14 (1). 2021
2021 | Published | Book Chapter | IST-REx-ID: 10267
Evaluation of gravitropism in non-seed plants
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
View
| DOI
| PubMed | Europe PMC
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
2021 | Published | Conference Paper | IST-REx-ID: 11458 |
AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
A. Krumes, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 8557–8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
A. Krumes, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 8557–8570.
2021 | Published | Journal Article | IST-REx-ID: 10401 |
Generation of spin currents by a temperature gradient in a two-terminal device
R.E. Barfknecht, A. Foerster, N.T. Zinner, A. Volosniev, Communications Physics 4 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R.E. Barfknecht, A. Foerster, N.T. Zinner, A. Volosniev, Communications Physics 4 (2021).
2021 | Published | Journal Article | IST-REx-ID: 12187 |
Nurse cell-derived small RNAs define paternal epigenetic inheritance in Arabidopsis
J. Long, J. Walker, W. She, B. Aldridge, H. Gao, S. Deans, M. Vickers, X. Feng, Science 373 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
J. Long, J. Walker, W. She, B. Aldridge, H. Gao, S. Deans, M. Vickers, X. Feng, Science 373 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9605 |
Computing the multicover bifiltration
Corbet, René, Computing the multicover bifiltration. Leibniz International Proceedings in Informatics 189. 2021
[Published Version]
View
| Files available
| DOI
| arXiv
Corbet, René, Computing the multicover bifiltration. Leibniz International Proceedings in Informatics 189. 2021
2021 | Published | Journal Article | IST-REx-ID: 10167 |
Schistosome W-linked genes inform temporal dynamics of sex chromosome evolution and suggest candidate for sex determination
M.N. Elkrewi, M.A. Moldovan, M.A.L. Picard, B. Vicoso, Molecular Biology and Evolution 138 (2021) 5345–58.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.N. Elkrewi, M.A. Moldovan, M.A.L. Picard, B. Vicoso, Molecular Biology and Evolution 138 (2021) 5345–58.
2021 | Research Data Reference | IST-REx-ID: 14988 |
Raw data from Johnson et al, PNAS, 2021
A.J. Johnson, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A.J. Johnson, (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10052 |
Decomposing permutation automata
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9877 |
Divergence among rice cultivars reveals roles for transposition and epimutation in ongoing evolution of genomic imprinting
J.A. Rodrigues, P.-H. Hsieh, D. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, X. Ye, N.D. Nguyen, S. Nijjar, P.C. Ronald, R.L. Fischer, D. Zilberman, 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.A. Rodrigues, P.-H. Hsieh, D. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, X. Ye, N.D. Nguyen, S. Nijjar, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8988 |
In vitro reconstitution reveals phosphoinositides as cargo-release factors and activators of the ARF6 GAP ADAP1
C.F. Düllberg, A. Auer, N. Canigova, K. Loibl, M. Loose, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
C.F. Düllberg, A. Auer, N. Canigova, K. Loibl, M. Loose, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10635 |
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 11463 |
M-FAC: Efficient matrix-free approximations of second-order information
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 14873–14886.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 14873–14886.
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.