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.
5368 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10108 | 
Mühlböck F, Henzinger TA. Differential monitoring. In: International Conference on Runtime Verification. Vol 12974. Cham: Springer Nature; 2021:231-243. doi:10.1007/978-3-030-88494-9_12
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Published | Technical Report | IST-REx-ID: 9946 |
Mühlböck F, Henzinger TA. Differential Monitoring. IST Austria; 2021. doi:10.15479/AT:ISTA:9946
[Published Version]
View
| Files available
| DOI
2021 | Submitted | Preprint | IST-REx-ID: 9281 |
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv. doi:10.48550/arXiv.2103.11389
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 12187
Long J, Walker J, She W, et al. Nurse cell--derived small RNAs define paternal epigenetic inheritance in Arabidopsis. Science. 2021;373(6550). doi:10.1126/science.abh0556
View
| DOI
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 14180 |
Rahaman N, Gondal MW, Joshi S, et al. Dynamic inference with neural interpreters. In: Advances in Neural Information Processing Systems. Vol 34. ; 2021:10985-10998.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Submitted | Preprint | IST-REx-ID: 14221 |
Locatello F. Enforcing and discovering structure in machine learning. arXiv. doi:10.48550/arXiv.2111.13693
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8673 |
Modic KA, McDonald RD, Ruff JPC, et al. Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields. Nature Physics. 2021;17:240-244. doi:10.1038/s41567-020-1028-0
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8689 |
Chierchia L, Koudjinan E. V.I. Arnold’s “‘Global’” KAM theorem and geometric measure estimates. Regular and Chaotic Dynamics. 2021;26(1):61-88. doi:10.1134/S1560354721010044
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8708 |
Simon A, Fraisse C, El Ayari T, et al. How do species barriers decay? Concordance and local introgression in mosaic hybrid zones of mussels. Journal of Evolutionary Biology. 2021;34(1):208-223. doi:10.1111/jeb.13709
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8723 |
Li S, Tal Ben-Nun TB-N, Nadiradze G, et al. Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems. 2021;32(7). doi:10.1109/TPDS.2020.3040606
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8730 |
Tournier N, Goutal S, Mairinger S, et al. Complete inhibition of ABCB1 and ABCG2 at the blood-brain barrier by co-infusion of erlotinib and tariquidar to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Journal of Cerebral Blood Flow and Metabolism. 2021;41(7):1634-1646. doi:10.1177/0271678X20965500
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8742 |
Browning TD, Heath-Brown R. The geometric sieve for quadrics. Forum Mathematicum. 2021;33(1):147-165. doi:10.1515/forum-2020-0074
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8743 |
Salces-Castellano A, Stankowski S, Arribas P, et al. Long-term cloud forest response to climate warming revealed by insect speciation history. Evolution. 2021;75(2):231-244. doi:10.1111/evo.14111
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8757 |
Bozelos P, Vogels TP. Talking science, online. Nature Reviews Neuroscience. 2021;22(1):1-2. doi:10.1038/s41583-020-00408-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8773 |
Brown A, Romanov A. Contravariant forms on Whittaker modules. Proceedings of the American Mathematical Society. 2021;149(1):37-52. doi:10.1090/proc/15205
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8792 |
Marveggio A, Schimperna G. On a non-isothermal Cahn-Hilliard model based on a microforce balance. Journal of Differential Equations. 2021;274(2):924-970. doi:10.1016/j.jde.2020.10.030
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8793 |
Zeiner M, Schmid U, Chatterjee K. Optimal strategies for selecting coordinators. Discrete Applied Mathematics. 2021;289(1):392-415. doi:10.1016/j.dam.2020.10.022
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8816 |
Runkel I, Szegedy L. Area-dependent quantum field theory. Communications in Mathematical Physics. 2021;381(1):83–117. doi:10.1007/s00220-020-03902-1
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8817
Shehu Y, Iyiola OS, Thong DV, Van NTC. An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems. Mathematical Methods of Operations Research. 2021;93(2):213-242. doi:10.1007/s00186-020-00730-w
View
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8818
Ramirez Villegas JF, Besserve M, Murayama Y, Evrard HC, Oeltermann A, Logothetis NK. Coupling of hippocampal theta and ripples with pontogeniculooccipital waves. Nature. 2021;589(7840):96-102. doi:10.1038/s41586-020-2914-4
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC