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. Inferring recent demography from spatial genetic structure. 2018. doi:10.15479/AT:ISTA:th_963
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 52 |
Moser T. Point interactions in systems of fermions. 2018. doi: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, et al. Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. 2018;19(10):3320-3333. doi: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. Timed network games with clocks. In: Vol 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPICS.MFCS.2018.23
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 51 |
Case MJ. From the left to the right: A tale of asymmetries, environments, and hippocampal development. 2018. doi:10.15479/AT:ISTA:th_1032
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 48 |
Gridchyn I. Reactivation content is important for consolidation of spatial memory. 2018. doi: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. A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis. The Plant Cell. 2018;30(3):700-716. doi:10.1105/tpc.17.00785
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC