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.
6981 Publications
2021 |Published| Conference Paper | IST-REx-ID: 9644 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). Proving non-termination by program reversal. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1033–1048). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454093
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15283
Nicolas, W., Fäßler, F., Meyerowitz, E., & Jensen, G. (2021). Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography. Microscopy and Microanalysis. Oxford University Press. https://doi.org/10.1017/s1431927621010503
View
| DOI
2021 | Research Data Reference | IST-REx-ID: 15284 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Goharshady, A. K., Novotný, P., & Zikelic, D. (2021). RevTerm. Association for Computing Machinery. https://doi.org/10.1145/3410304
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 15276 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Navarrete, F., Grujic, N., Stirnberg, A., Saado, I., Aleksza, D., Gallei, M. C., … Djamei, A. (2021). The Pleiades are a cluster of fungal effectors that inhibit host defenses. PLOS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1009641
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 15273 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Balmer, T. S., Borges Merjane, C., & Trussell, L. O. (2021). Incomplete removal of extracellular glutamate controls synaptic transmission and integration at a cerebellar synapse. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.63819
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 9350 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arslan, F. N., Eckert, J., Schmidt, T., & Heisenberg, C.-P. J. (2021). Holding it together: when cadherin meets cadherin. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2021.03.025
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Conference Abstract | IST-REx-ID: 15280 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Balazs, D., Cimada da Silva, J., Dunbar, T., Ibáñez, M., & Hanrath, T. (2021). Controlled reactive assembly of colloidal nanocrystal superlattices: Mechanism and kinetics. In Proceedings of the Internet NanoGe Conference on Nanocrystals. Virtual: Fundació Scito. https://doi.org/10.29363/nanoge.incnc.2021.050
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10414 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Goharshady, E. K., Novotný, P., Zárevúcky, J., & Zikelic, D. (2021). On lexicographic proof rules for probabilistic termination. In 24th International Symposium on Formal Methods (Vol. 13047, pp. 619–639). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-90870-6_33
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 12077 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shute, A. L. (n.d.). On the leading constant in the Manin-type conjecture for Campana points. arXiv. https://doi.org/10.48550/arXiv.2104.14946
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Liu, Y., Calcabrini, M., Yu, Y., Genç, A., Chang, C., Costanzo, T., … Ibáñez, M. (2021). The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe. Advanced Materials. Wiley. https://doi.org/10.1002/adma.202106858
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 9928 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Peruzzo, M., Hassani, F., Szep, G., Trioni, A., Redchenko, E., Zemlicka, M., & Fink, J. M. (2021). Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction. PRX Quantum. American Physical Society. https://doi.org/10.1103/PRXQuantum.2.040341
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 7553 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mlynarski, W. F., Hledik, M., Sokolowski, T. R., & Tkačik, G. (2021). Statistical analysis and optimality of neural systems. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2021.01.020
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Journal Article | IST-REx-ID: 9438 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vandael, D. H., Okamoto, Y., Borges Merjane, C., Vargas Barroso, V. M., Suter, B., & Jonas, P. M. (2021). Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. Springer Nature. https://doi.org/10.1038/s41596-021-00526-0
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8602 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boocock, D. R., Hino, N., Ruzickova, N., Hirashima, T., & Hannezo, E. B. (2021). Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-020-01037-7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Thesis | IST-REx-ID: 9992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hörmayer, L. (2021). Wound healing in the Arabidopsis root meristem. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9992
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 10816 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Guzmán, J., Schlögl, A., Espinoza Martinez, C., Zhang, X., Suter, B., & Jonas, P. M. (2021). How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network. Nature Computational Science. Springer Nature. https://doi.org/10.1038/s43588-021-00157-1
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2021 | Scientific Software | IST-REx-ID: 10110 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Guzmán, J., Schlögl, A., Espinoza Martinez, C., Zhang, X., Suter, B., & Jonas, P. M. (2021). How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network. IST Austria. https://doi.org/10.15479/AT:ISTA:10110
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 9349 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lenne PF, Munro E, Heemskerk I, Warmflash A, Bocanegra L, Kishi K, Kicheva A, Long Y, Fruleux A, Boudaoud A, Saunders TE, Caldarelli P, Michaut A, Gros J, Maroudas-Sacks Y, Keren K, Hannezo EB, Gartner ZJ, Stormo B, Gladfelter A, Rodrigues A, Shyer A, Minc N, Maître JL, Di Talia S, Khamaisi B, Sprinzak D, Tlili S. 2021. Roadmap for the multiscale coupling of biochemical and mechanical signals during development. Physical biology. 18(4), 041501.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Submitted| Preprint | IST-REx-ID: 10077 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nardin, M., Csicsvari, J. L., Tkačik, G., & Savin, C. (n.d.). The structure of hippocampal CA1 interactions optimizes spatial coding across experience. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2021.09.28.460602
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 |Published| Thesis | IST-REx-ID: 9623 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Caballero Mancebo, S. (2021). Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9623
[Published Version]
View
| Files available
| DOI