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.
5673 Publications
2019 | Published | Journal Article | IST-REx-ID: 7000 | 
Convergence analysis of projection method for variational inequalities
Y. Shehu, O.S. Iyiola, X.-H. Li, Q.-L. Dong, Computational and Applied Mathematics 38 (2019).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
Y. Shehu, O.S. Iyiola, X.-H. Li, Q.-L. Dong, Computational and Applied Mathematics 38 (2019).
2019 | Published | Conference Paper | IST-REx-ID: 7468 |
Map inference via block-coordinate Frank-Wolfe algorithm
Swoboda, Paul, Map inference via block-coordinate Frank-Wolfe algorithm. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition 2019-June. 2019
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Swoboda, Paul, Map inference via block-coordinate Frank-Wolfe algorithm. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition 2019-June. 2019
2019 | Published | Journal Article | IST-REx-ID: 7002
Optimal multiple importance sampling
I. Kondapaneni, P. Vevoda, P. Grittmann, T. Skrivan, P. Slusallek, J. Křivánek, ACM Transactions on Graphics 38 (2019).
View
| DOI
| WoS
I. Kondapaneni, P. Vevoda, P. Grittmann, T. Skrivan, P. Slusallek, J. Křivánek, ACM Transactions on Graphics 38 (2019).
2019 | Published | Conference Paper | IST-REx-ID: 7542 |
Powerset convolutional neural networks
C. Wendler, D.-A. Alistarh, M. Püschel, in:, Neural Information Processing Systems Foundation, 2019, pp. 927–938.
[Published Version]
View
| Download Published Version (ext.)
| WoS
| arXiv
C. Wendler, D.-A. Alistarh, M. Püschel, in:, Neural Information Processing Systems Foundation, 2019, pp. 927–938.
2019 | Published | Conference Paper | IST-REx-ID: 6676 |
Why extension-based proofs fail
Alistarh, Dan-Adrian, Why extension-based proofs fail. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. 2019
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Alistarh, Dan-Adrian, Why extension-based proofs fail. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. 2019
2019 | Published | Conference Paper | IST-REx-ID: 6673 |
Efficiency guarantees for parallel incremental algorithms under relaxed schedulers
Alistarh, Dan-Adrian, Efficiency guarantees for parallel incremental algorithms under relaxed schedulers. 31st ACM Symposium on Parallelism in Algorithms and Architectures. 2019
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Alistarh, Dan-Adrian, Efficiency guarantees for parallel incremental algorithms under relaxed schedulers. 31st ACM Symposium on Parallelism in Algorithms and Architectures. 2019
2019 | Published | Conference Paper | IST-REx-ID: 7401 |
Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Published | Conference Paper | IST-REx-ID: 6647 |
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
2019 | Published | Journal Article | IST-REx-ID: 6982 |
Recognizing weak embeddings of graphs
H. Akitaya, R. Fulek, C. Tóth, ACM Transactions on Algorithms 15 (2019).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
H. Akitaya, R. Fulek, C. Tóth, ACM Transactions on Algorithms 15 (2019).
2019 | Published | Journal Article | IST-REx-ID: 5857 |
Thrackles: An improved upper bound
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
2019 | Published | Conference Paper | IST-REx-ID: 6888 |
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
[Submitted Version]
View
| Files available
| DOI
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
2019 | Published | Conference Paper | IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View
| DOI
| WoS
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
2019 | Published | Conference Paper | IST-REx-ID: 6889 |
Combinations of Qualitative Winning for Stochastic Parity Games
Chatterjee, Krishnendu, Combinations of Qualitative Winning for Stochastic Parity Games. 140. 2019
[Published Version]
View
| Files available
| DOI
Chatterjee, Krishnendu, Combinations of Qualitative Winning for Stochastic Parity Games. 140. 2019
2019 | Published | Conference Paper | IST-REx-ID: 7402 |
Graph planning with expected finite horizon
Chatterjee, Krishnendu, Graph planning with expected finite horizon. 34th Annual ACM/IEEE Symposium on Logic in Computer Science. 2019
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Chatterjee, Krishnendu, Graph planning with expected finite horizon. 34th Annual ACM/IEEE Symposium on Logic in Computer Science. 2019
2019 | Published | Journal Article | IST-REx-ID: 6897 |
Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis
Q. Zhu, M. Gallemi, J. Pospíšil, P. Žádníková, M. Strnad, E. Benková, Development 146 (2019).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Q. Zhu, M. Gallemi, J. Pospíšil, P. Žádníková, M. Strnad, E. Benková, Development 146 (2019).
2019 | Published | Journal Article | IST-REx-ID: 6920
Ethylene and cytokinin - partners in root growth regulation
Artner, Christina, Ethylene and cytokinin - partners in root growth regulation. Molecular Plant 12 (10). 2019
View
| DOI
| WoS
| PubMed | Europe PMC
Artner, Christina, Ethylene and cytokinin - partners in root growth regulation. Molecular Plant 12 (10). 2019
2019 | Published | Journal Article | IST-REx-ID: 6659 |
Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins
Zenmyo, Naoki, Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan 92 (5). 2019
[Published Version]
View
| Files available
| DOI
Zenmyo, Naoki, Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan 92 (5). 2019
2019 | Published | Journal Article | IST-REx-ID: 6025 |
Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
2019 | Published | Journal Article | IST-REx-ID: 6087 |
Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity
P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14.
2019 | Published | Journal Article | IST-REx-ID: 6601 |
Mechanochemical feedback loops in development and disease
Hannezo, Edouard B, Mechanochemical feedback loops in development and disease. Cell 178 (1). 2019
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Hannezo, Edouard B, Mechanochemical feedback loops in development and disease. Cell 178 (1). 2019