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.
1621 Publications
2018 |Published| Conference Paper | IST-REx-ID: 141 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
2018 |Published| Conference Paper | IST-REx-ID: 298 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sustained space complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, Springer, 2018, pp. 99–130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, Springer, 2018, pp. 99–130.
2018 |Published| Conference Paper | IST-REx-ID: 156 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Ferrere, in:, Springer, 2018, pp. 147–164.
2018 |Published| Journal Article | IST-REx-ID: 5992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility
S. Dolati, F. Kage, J. Mueller, M. Müsken, M. Kirchner, G. Dittmar, M.K. Sixt, K. Rottner, M. Falcke, Molecular Biology of the Cell 29 (2018) 2674–2686.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Dolati, F. Kage, J. Mueller, M. Müsken, M. Kirchner, G. Dittmar, M.K. Sixt, K. Rottner, M. Falcke, Molecular Biology of the Cell 29 (2018) 2674–2686.
2018 |Published| Conference Paper | IST-REx-ID: 25 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
2018 |Published| Conference Paper | IST-REx-ID: 6941 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
SpaceMint: A cryptocurrency based on proofs of space
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.
2018 |Published| Journal Article | IST-REx-ID: 8618 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
2018 |Published| Conference Paper | IST-REx-ID: 10882 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Learning intelligent dialogs for bounding box annotation
J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184.
2018 |Published| Thesis | IST-REx-ID: 200 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
2018 |Published| Journal Article | IST-REx-ID: 738 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
2018 |Published| Journal Article | IST-REx-ID: 70 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Transition to shocks in TASEP and decoupling of last passage times
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
2018 |Published| Journal Article | IST-REx-ID: 5673 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
2018 |Submitted| Preprint | IST-REx-ID: 6183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The Dyson equation with linear self-energy: Spectral bands, edges and cusps
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).
2018 | Research Data | IST-REx-ID: 5583 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data and Python scripts supporting Python package FAPS
T. Ellis, (2018).
[Published Version]
View
| Files available
| DOI
T. Ellis, (2018).
2018 |Published| Thesis | IST-REx-ID: 149 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
2018 |Published| Journal Article | IST-REx-ID: 15233 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Physics and astrophysics of strong magnetic field systems with eXTP
Santangelo A, Zane S, Feng H, Xu R, Doroshenko V, Bozzo E, Caiazzo I, Zelati FC, Esposito P, González-Caniulef D, Heyl J, Huppenkothen D, Israel G, Li Z, Lin L, Mignani R, Rea N, Orlandini M, Taverna R, Tong H, Turolla R, Baglio C, Bernardini F, Bucciantini N, Feroci M, Fürst F, Göğüş E, Güngör C, Ji L, Lu F, Manousakis A, Mereghetti S, Mikusincova R, Paul B, Prescod-Weinstein C, Younes G, Tiengo A, Xu Y, Watts A, Zhang S, Zhan S-N. 2018. Physics and astrophysics of strong magnetic field systems with eXTP. Science China Physics, Mechanics & Astronomy. 62(2), 29505.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Santangelo A, Zane S, Feng H, Xu R, Doroshenko V, Bozzo E, Caiazzo I, Zelati FC, Esposito P, González-Caniulef D, Heyl J, Huppenkothen D, Israel G, Li Z, Lin L, Mignani R, Rea N, Orlandini M, Taverna R, Tong H, Turolla R, Baglio C, Bernardini F, Bucciantini N, Feroci M, Fürst F, Göğüş E, Güngör C, Ji L, Lu F, Manousakis A, Mereghetti S, Mikusincova R, Paul B, Prescod-Weinstein C, Younes G, Tiengo A, Xu Y, Watts A, Zhang S, Zhan S-N. 2018. Physics and astrophysics of strong magnetic field systems with eXTP. Science China Physics, Mechanics & Astronomy. 62(2), 29505.
2018 |Published| Thesis | IST-REx-ID: 323 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Branched actin networks in dendritic cell biology
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, Institute of Science and Technology Austria, 2018.
2018 |Published| Journal Article | IST-REx-ID: 5816 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
30 GHz-voltage controlled oscillator operating at 4 K
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).
2018 |Published| Journal Article | IST-REx-ID: 21 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus
C. Espinoza Martinez, J. Guzmán, X. Zhang, P.M. Jonas, Nature Communications 9 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
C. Espinoza Martinez, J. Guzmán, X. Zhang, P.M. Jonas, Nature Communications 9 (2018).
2018 |Published| Conference Paper | IST-REx-ID: 66 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.