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 | OA
Chatterjee, K., Henzinger, M. H., Loitzenbauer, V., Oraee, S., & Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96142-2_13
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 298 | OA
Alwen, J. F., Blocki, J., & Pietrzak, K. Z. (2018). Sustained space complexity (Vol. 10821, pp. 99–130). Presented at the Eurocrypt 2018: Advances in Cryptology, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78375-8_4
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 156 | OA
Ferrere, T. (2018). The compound interest in relaxing punctuality (Vol. 10951, pp. 147–164). Presented at the FM: International Symposium on Formal Methods, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-95582-7_9
[Submitted Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 5992 | OA
Dolati, S., Kage, F., Mueller, J., Müsken, M., Kirchner, M., Dittmar, G., … Falcke, M. (2018). On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell. American Society for Cell Biology . https://doi.org/10.1091/mbc.e18-02-0082
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 |Published| Conference Paper | IST-REx-ID: 25 | OA
Horák, K., Bošanský, B., & Chatterjee, K. (2018). Goal-HSVI: Heuristic search value iteration for goal-POMDPs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (Vol. 2018–July, pp. 4764–4770). Stockholm, Sweden: IJCAI. https://doi.org/10.24963/ijcai.2018/662
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 6941 | OA
Park, S., Kwon, A., Fuchsbauer, G., Gazi, P., Alwen, J. F., & Pietrzak, K. Z. (2018). SpaceMint: A cryptocurrency based on proofs of space. In 22nd International Conference on Financial Cryptography and Data Security (Vol. 10957, pp. 480–499). Nieuwpoort, Curacao: Springer Nature. https://doi.org/10.1007/978-3-662-58387-6_26
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 8618 | OA
Gregor, C., Sidenstein, S. C., Andresen, M., Sahl, S. J., Danzl, J. G., & Hell, S. W. (2018). Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-018-19947-1
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 |Published| Conference Paper | IST-REx-ID: 10882 | OA
Uijlings, J., Konyushkova, K., Lampert, C., & Ferrari, V. (2018). Learning intelligent dialogs for bounding box annotation. In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 9175–9184). Salt Lake City, UT, United States: IEEE. https://doi.org/10.1109/cvpr.2018.00956
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Thesis | IST-REx-ID: 200 | OA
Ringbauer, H. (2018). Inferring recent demography from spatial genetic structure. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_963
[Published Version] View | Files available | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 738 | OA
Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2018). Automated competitive analysis of real time scheduling with graph games. Real-Time Systems. Springer. https://doi.org/10.1007/s11241-017-9293-4
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 70 | OA
Nejjar, P. (2018). Transition to shocks in TASEP and decoupling of last passage times. Latin American Journal of Probability and Mathematical Statistics. Instituto Nacional de Matematica Pura e Aplicada. https://doi.org/10.30757/ALEA.v15-49
[Published Version] View | Files available | DOI | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 5673 | OA
Glanc, M., Fendrych, M., & Friml, J. (2018). Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division. Nature Plants. Nature Research. https://doi.org/10.1038/s41477-018-0318-3
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 |Submitted| Preprint | IST-REx-ID: 6183 | OA
Alt, J., Erdös, L., & Krüger, T. H. (n.d.). The Dyson equation with linear self-energy: Spectral bands, edges and  cusps. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2018 | Research Data | IST-REx-ID: 5583 | OA
Ellis, T. (2018). Data and Python scripts supporting Python package FAPS. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:95
[Published Version] View | Files available | DOI
 

2018 |Published| Thesis | IST-REx-ID: 149 | OA
Alt, J. (2018). Dyson equation and eigenvalue statistics of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1040
[Published Version] View | Files available | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 15233 | OA
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
 

2018 |Published| Thesis | IST-REx-ID: 323 | OA
Leithner, A. F. (2018). Branched actin networks in dendritic cell biology. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_998
[Published Version] View | Files available | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 5816 | OA
Hollmann, A., Jirovec, D., Kucharski, M., Kissinger, D., Fischer, G., & Schreiber, L. R. (2018). 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. AIP Publishing. https://doi.org/10.1063/1.5038258
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 21 | OA
Espinoza Martinez, C., Guzmán, J., Zhang, X., & Jonas, P. M. (2018). Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-018-06899-3
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 66 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Velner, Y. (2018). Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol. 118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications