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, Krishnendu, Monika H Henzinger, Veronika Loitzenbauer, Simin Oraee, and Viktor Toman. “Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives,” 10982:178–97. Springer, 2018. 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, Joel F, Jeremiah Blocki, and Krzysztof Z Pietrzak. “Sustained Space Complexity,” 10821:99–130. Springer, 2018. 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, Thomas. “The Compound Interest in Relaxing Punctuality,” 10951:147–64. Springer, 2018. 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, Setareh, Frieda Kage, Jan Mueller, Mathias Müsken, Marieluise Kirchner, Gunnar Dittmar, Michael K Sixt, Klemens Rottner, and Martin Falcke. “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 , 2018. 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, Karel, Branislav Bošanský, and Krishnendu Chatterjee. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018–July:4764–70. IJCAI, 2018. 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, Sunoo, Albert Kwon, Georg Fuchsbauer, Peter Gazi, Joel F Alwen, and Krzysztof Z Pietrzak. “SpaceMint: A Cryptocurrency Based on Proofs of Space.” In 22nd International Conference on Financial Cryptography and Data Security, 10957:480–99. Springer Nature, 2018. 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, Carola, Sven C. Sidenstein, Martin Andresen, Steffen J. Sahl, Johann G Danzl, and Stefan W. Hell. “Novel Reversibly Switchable Fluorescent Proteins for RESOLFT and STED Nanoscopy Engineered from the Bacterial Photoreceptor YtvA.” Scientific Reports. Springer Nature, 2018. 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, Jasper, Ksenia Konyushkova, Christoph Lampert, and Vittorio Ferrari. “Learning Intelligent Dialogs for Bounding Box Annotation.” In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 9175–84. IEEE, 2018. 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, Harald. “Inferring Recent Demography from Spatial Genetic Structure.” Institute of Science and Technology Austria, 2018. 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, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “Automated Competitive Analysis of Real Time Scheduling with Graph Games.” Real-Time Systems. Springer, 2018. 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, Peter. “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, 2018. 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, Matous, Matyas Fendrych, and Jiří Friml. “Mechanistic Framework for Cell-Intrinsic Re-Establishment of PIN2 Polarity after Cell Division.” Nature Plants. Nature Research, 2018. 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, Johannes, László Erdös, and Torben H Krüger. “The Dyson Equation with Linear Self-Energy: Spectral Bands, Edges and  Cusps.” ArXiv, n.d.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2018 | Research Data | IST-REx-ID: 5583 | OA
Ellis, Thomas. “Data and Python Scripts Supporting Python Package FAPS.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:95.
[Published Version] View | Files available | DOI
 

2018 |Published| Thesis | IST-REx-ID: 149 | OA
Alt, Johannes. “Dyson Equation and Eigenvalue Statistics of Random Matrices.” Institute of Science and Technology Austria, 2018. 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, Alexander F. “Branched Actin Networks in Dendritic Cell Biology.” Institute of Science and Technology Austria, 2018. 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, Arne, Daniel Jirovec, Maciej Kucharski, Dietmar Kissinger, Gunter Fischer, and Lars R. Schreiber. “30 GHz-Voltage Controlled Oscillator Operating at 4 K.” Review of Scientific Instruments. AIP Publishing, 2018. 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, Claudia , José Guzmán, Xiaomin Zhang, and Peter M Jonas. “Parvalbumin+ Interneurons Obey Unique Connectivity Rules and Establish a Powerful Lateral-Inhibition Microcircuit in Dentate Gyrus.” Nature Communications. Nature Publishing Group, 2018. 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, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. 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