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.
5270 Publications
2022 |Published| Journal Article | IST-REx-ID: 7577 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weak convergence for variational inequalities with inertial-type method
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
2022 |Submitted| Preprint | IST-REx-ID: 11943 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Saturated reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
2022 |Submitted| Preprint | IST-REx-ID: 11950 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Uncovering brain tissue architecture across scales with super-resolution light microscopy
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, A. Venturino, K. Roessler, T. Czech, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, A. Venturino, K. Roessler, T. Czech, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, BioRxiv (n.d.).
2021 |Published| Journal Article | IST-REx-ID: 10023 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
2021 |Published| Conference Paper | IST-REx-ID: 10052 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Conference Paper | IST-REx-ID: 10054 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M.H. 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.H. 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| Journal Article | IST-REx-ID: 10071 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
How to tutorial-a-thon
H. Adams, H. Kourimska, T. Heiss, S. Percival, L. Ziegelmeier, Notices of the American Mathematical Society 68 (2021) 1511–1514.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Adams, H. Kourimska, T. Heiss, S. Percival, L. Ziegelmeier, Notices of the American Mathematical Society 68 (2021) 1511–1514.
2021 |Published| Conference Paper | IST-REx-ID: 10072 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Submitted| Preprint | IST-REx-ID: 10080 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
2021 |Published| Journal Article | IST-REx-ID: 10153 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 10148 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
[Preprint]
View
| Files available
| DOI
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
2021 |Submitted| Preprint | IST-REx-ID: 10174 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative nonlinear homogenization: control of oscillations
N. Clozeau, A. Gloria, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
N. Clozeau, A. Gloria, ArXiv (n.d.).
2021 |Published| Journal Article | IST-REx-ID: 10180 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, E.-A. Peste, Journal of Machine Learning Research 22 (2021) 1–124.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, E.-A. Peste, Journal of Machine Learning Research 22 (2021) 1–124.
2021 |Published| Conference Paper | IST-REx-ID: 10218 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brief announcement: Fast graphical population protocols
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 10217 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Conference Paper | IST-REx-ID: 10219 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| 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| Book Chapter | IST-REx-ID: 10268
Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy
L. Hörmayer, J. Friml, M. Glanc, in:, Plant Cell Division, Humana Press, 2021, pp. 105–114.
View
| DOI
| PubMed | Europe PMC
L. Hörmayer, J. Friml, M. Glanc, in:, Plant Cell Division, Humana Press, 2021, pp. 105–114.