Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5730 Publications
2018 | Published | Journal Article | IST-REx-ID: 5676 | 
Carvalho, Lara, Occluding junctions as novel regulators of tissue mechanics during wound repair. Journal of Cell Biology 217 (12). 2018
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 64 |
Kalinin, Nikita, Self-organized criticality and pattern emergence through the lens of tropical geometry. Proceedings of the National Academy of Sciences of the United States of America 115 (35). 2018
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Book Chapter | IST-REx-ID: 153
Renkawitz, Jörg, Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. Methods in Cell Biology 147. 2018
View
| DOI
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 554 |
Napiórkowski, Marcin M, The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics 360 (1). 2018
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Published | Thesis | IST-REx-ID: 200 |
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 | Thesis | IST-REx-ID: 52 |
Moser, T. (2018). Point interactions in systems of fermions. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1043
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 5959 |
Bakhirkin, Alexey, Keynote: The first-order logic of signals. 2018 International Conference on Embedded Software. 2018
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 298 |
Alwen, Joel F, Sustained space complexity. 10821. 2018
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 156 |
Ferrere, Thomas, The compound interest in relaxing punctuality. 10951. 2018
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 434
Jiang, Y., Liu, H., Song, H., Kong, H., Wang, R., Guan, Y., & Sha, L. (2018). Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. IEEE. https://doi.org/10.1109/TITS.2017.2778077
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 182 |
Bakhirkin, Alexey, Efficient parametric identification for STL. Proceedings of the 21st International Conference on Hybrid Systems. 2018
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 5791 |
Fulek, Radoslav, Crossing minimization in perturbed drawings. 11282 . 2018
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 433 |
Fulek, Radoslav, Thrackles: An improved upper bound. 10692. 2018
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 7407 |
Pietrzak, Krzysztof Z, Proofs of catalytic space. 10th Innovations in Theoretical Computer Science Conference (ITCS 2019) 124. 2018
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Published | Conference Paper | IST-REx-ID: 10883 |
Chatterjee, Krishnendu, Quasipolynomial set-based symbolic algorithms for parity games. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning 57. 2018
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 6005 |
Avni, G., Guha, S., & Kupferman, O. (2018). Timed network games with clocks (Vol. 117). Presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.MFCS.2018.23
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 51 |
Case, M. J. (2018). From the left to the right: A tale of asymmetries, environments, and hippocampal development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1032
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 48 |
Gridchyn, I. (2018). Reactivation content is important for consolidation of spatial memory. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1042
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 412 |
Adamowski, M., Narasimhan, M., Kania, U., Glanc, M., De Jaeger, G., & Friml, J. (2018). A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis. The Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.17.00785
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC