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.
1790 Publications
2019 |Published| Conference Paper | IST-REx-ID: 6942 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7000 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shehu Y, Iyiola OS, Li X-H, Dong Q-L. Convergence analysis of projection method for variational inequalities. Computational and Applied Mathematics. 2019;38(4). doi:10.1007/s40314-019-0955-9
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7009
Yamada K, Sixt MK. Mechanisms of 3D cell migration. Nature Reviews Molecular Cell Biology. 2019;20(12):738–752. doi:10.1038/s41580-019-0172-9
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6259 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cao M, Chen R, Li P, et al. TMK1-mediated auxin signalling regulates differential growth of the apical hook. Nature. 2019;568:240-243. doi:10.1038/s41586-019-1069-7
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Book Chapter | IST-REx-ID: 6987 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
McDougall A, Chenevert J, Godard BG, Dumollard R. Emergence of embryo shape during cleavage divisions. In: Tworzydlo W, Bilinski SM, eds. Evo-Devo: Non-Model Species in Cell and Developmental Biology. Vol 68. Springer Nature; 2019:127-154. doi:10.1007/978-3-030-23459-1_6
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 10874 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ionica S, Kılıçer P, Lauter K, et al. Modular invariants for genus 3 hyperelliptic curves. Research in Number Theory. 2019;5. doi:10.1007/s40993-018-0146-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7108 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. Journal of the ACM. 2019;66(3). doi:10.1145/3314024
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination for probabilistic VASS with nondeterminism. In: International Symposium on Automated Technology for Verification and Analysis. Vol 11781. Springer Nature; 2019:462-478. doi:10.1007/978-3-030-31784-3_27
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Klotz L, Wendler O, Frischknecht R, Shigemoto R, Schulze H, Enz R. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB Journal. 2019;33(12):13734-13746. doi:10.1096/fj.201901543R
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 7228
Koval N, Alistarh D-A, Elizarov R. Scalable FIFO channels for programming via communicating sequential processes. In: 25th Anniversary of Euro-Par. Vol 11725. Springer Nature; 2019:317-333. doi:10.1007/978-3-030-29400-7_23
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7231 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arroyo Guevara AM, Derka M, Parada I. Extending simple drawings. In: 27th International Symposium on Graph Drawing and Network Visualization. Vol 11904. Springer Nature; 2019:230-243. doi:10.1007/978-3-030-35802-0_18
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7411 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. Reversible proofs of sequential work. In: Advances in Cryptology – EUROCRYPT 2019. Vol 11477. Springer International Publishing; 2019:277-291. doi:10.1007/978-3-030-17656-3_10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 |Published| Thesis | IST-REx-ID: 6681 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhechev SY. Algorithmic aspects of homotopy theory and embeddability. 2019. doi:10.15479/AT:ISTA:6681
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 6556 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Huszár K, Spreer J. 3-manifold triangulations with small treewidth. In: 35th International Symposium on Computational Geometry. Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:44:1-44:20. doi:10.4230/LIPIcs.SoCG.2019.44
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7093 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Huszár K, Spreer J, Wagner U. On the treewidth of triangulated 3-manifolds. Journal of Computational Geometry. 2019;10(2):70–98. doi:10.20382/JOGC.V10I2A5
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7398 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Erdem FA, Ilic M, Koppensteiner P, et al. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 2019;151(8):1035-1050. doi:10.1085/jgp.201912318
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC