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.

8978 Publications


2020 | Journal Article | IST-REx-ID: 8084 | OA
Lombardi F, Gómez-Extremera M, Bernaola-Galván P, et al. Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. Journal of Neuroscience. 2020;40(1):171-190. doi:10.1523/jneurosci.1278-19.2019
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7650 | OA
Deuchert A, Seiringer R. Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature. Archive for Rational Mechanics and Analysis. 2020;236(6):1217-1271. doi:10.1007/s00205-020-01489-4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8130 | OA
Bossmann L. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. 2020;238(11):541-606. doi:10.1007/s00205-020-01548-w
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7235 | OA
Lieb EH, Seiringer R. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics. 2020;180:23-33. doi:10.1007/s10955-019-02322-3
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach B, Giacon F, Kiltz E. Everybody’s a target: Scalability in public-key encryption. In: Advances in Cryptology – EUROCRYPT 2020. Vol 12107. Springer Nature; 2020:475-506. doi:10.1007/978-3-030-45727-3_16
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2020 | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger TA, Sarac NE. Monitorability under assumptions. In: Runtime Verification. Vol 12399. Springer Nature; 2020:3-18. doi:10.1007/978-3-030-60508-7_1
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. Inserting one edge into a simple drawing is hard. In: Graph-Theoretic Concepts in Computer Science. Vol 12301. Springer Nature; 2020:325-338. doi:10.1007/978-3-030-60440-0_26
View | DOI
 

2020 | Book Chapter | IST-REx-ID: 10865 | OA
Chakraborty S, Prabhakaran M, Wichs D. Witness maps and applications. In: Kiayias A, ed. Public-Key Cryptography. Vol 12110. LNCS. Cham: Springer Nature; 2020:220-246. doi:10.1007/978-3-030-45374-9_8
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7611 | OA
Rademacher SAE. Central limit theorem for Bose gases interacting through singular potentials. Letters in Mathematical Physics. 2020;110:2143-2174. doi:10.1007/s11005-020-01286-w
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7236 | OA
Baskett C, Schroeder L, Weber MG, Schemske DW. Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. 2020;90(1). doi:10.1002/ecm.1397
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7697 | OA
Zhang Y, Hartinger C, Wang X, Friml J. Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters. New Phytologist. 2020;227(5):1406-1416. doi:10.1111/nph.16629
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8765 | OA
Schreck C, Wojtan C. A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. 2020;39(2):89-99. doi:10.1111/cgf.13914
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 2020;132(37):16047-16051. doi:10.1002/ange.202005378
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7343 | OA
Milutinovic B, Stock M, Grasse AV, Naderlinger E, Hilbe C, Cremer S. Social immunity modulates competition between coinfecting pathogens. Ecology Letters. 2020;23(3):565-574. doi:10.1111/ele.13458
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8099 | OA
Gammerdinger WJ, Toups MA, Vicoso B. Disagreement in FST estimators: A case study from  sex chromosomes. Molecular Ecology Resources. 2020;20(6):1517-1525. doi:10.1111/1755-0998.13210
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie International Edition. 2020;59(37):15913-1591. doi:10.1002/anie.202005378
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7224 | OA
Rybicki J, Abrego N, Ovaskainen O. Habitat fragmentation and species diversity in competitive communities. Ecology Letters. 2020;23(3):506-517. doi:10.1111/ele.13450
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer W, Nothdurft P, Petzold A, et al. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 2020;59(51):22943-22946. doi:10.1002/anie.202008253
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Research Data Reference | IST-REx-ID: 13060 | OA
Milutinovic B, Stock M, Grasse AV, Naderlinger E, Hilbe C, Cremer S. Social immunity modulates competition between coinfecting pathogens. 2020. doi:10.5061/DRYAD.CRJDFN318
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Research Data Reference | IST-REx-ID: 9780 | OA
Schlemmer W, Nothdurft P, Petzold A, et al. CCDC 1991959: Experimental Crystal Structure Determination. 2020. doi:10.5517/ccdc.csd.cc24vsrk
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7207 | OA
Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, et al. Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. 2020;30(3):554-575. doi:10.1111/bpa.12802
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7205 | OA
Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin RK. Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. 2020;33(3):342-351. doi:10.1111/jeb.13570
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Book Chapter | IST-REx-ID: 7227
Nunes Pinheiro DC, Heisenberg C-PJ. Zebrafish gastrulation: Putting fate in motion. In: Gastrulation: From Embryonic Pattern to Form. Vol 136. Elsevier; 2020:343-375. doi:10.1016/bs.ctdb.2019.10.009
View | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7417 | OA
Sinclair SA, Gille S, Pauly M, Krämer U. Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling & Behavior. 2020;15(1). doi:10.1080/15592324.2019.1687185
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6185 | OA
Erdös L, Krüger TH, Schröder DJ. Cusp universality for random matrices I: Local law and the complex Hermitian case. Communications in Mathematical Physics. 2020;378:1203-1278. doi:10.1007/s00220-019-03657-4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 7629 | OA
Forkert DL. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. 2020. doi:10.15479/AT:ISTA:7629
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7514 | OA
Mayer S. The free energy of a dilute two-dimensional Bose gas. 2020. doi:10.15479/AT:ISTA:7514
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8353 | OA
Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8589 | OA
Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi:10.15479/AT:ISTA:8589
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8284 | OA
Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 2020;9. doi:10.7554/eLife.59407
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi:10.15479/AT:ISTA:8155
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7643 | OA
Han H, Rakusova H, Verstraeten I, Zhang Y, Friml J. SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. 2020;183(5):37-40. doi:10.1104/pp.20.00212
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 7675 | OA
Grah R, Zoller B, Tkačik G. Normative models of enhancer function. bioRxiv. 2020. doi:10.1101/2020.04.08.029405
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 7460 | OA
Ölsböck K. The hole system of triangulated shapes. 2020. doi:10.15479/AT:ISTA:7460
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7896 | OA
Kamath Hosdurg C. On the average-case hardness of total search problems. 2020. doi:10.15479/AT:ISTA:7896
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7936 | OA
Royer A, Lampert C. Localizing grouped instances for efficient detection in low-resource scenarios. In: IEEE Winter Conference on Applications of Computer Vision. IEEE; 2020. doi:10.1109/WACV45572.2020.9093288
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7937 | OA
Royer A, Lampert C. A flexible selection scheme for minimum-effort transfer learning. In: 2020 IEEE Winter Conference on Applications of Computer Vision. IEEE; 2020. doi:10.1109/WACV45572.2020.9093635
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment Markov decision processes: Efficient analysis and applications. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling. Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56.
View | Files available
 

2020 | Book Chapter | IST-REx-ID: 8092 | OA
Royer A, Bousmalis K, Gouws S, et al. XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Singh R, Vatsa M, Patel VM, Ratha N, eds. Domain Adaptation for Visual Understanding. Springer Nature; 2020:33-49. doi:10.1007/978-3-030-30671-7_3
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8587 | OA
Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. 2020;152(16). doi:10.1063/1.5144759
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 8341 | OA
Bezeljak U. In vitro reconstitution of a Rab activation switch. 2020. doi:10.15479/AT:ISTA:8341
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7580 | OA
Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences. 2020;117(12):6504-6549. doi:10.1073/pnas.1921027117
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:227-242. doi:10.1145/3385412.3385980
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8703 | OA
Osang GF, Rouxel-Labbé M, Teillaud M. Generalizing CGAL periodic Delaunay triangulations. In: 28th Annual European Symposium on Algorithms. Vol 173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ESA.2020.75
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7481 | OA
Phuong M, Lampert C. Functional vs. parametric equivalence of ReLU networks. In: 8th International Conference on Learning Representations. ; 2020.
[Published Version] View | Files available
 

Search

Filter Publications