Please note that IST 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.

5439 Publications


2019 | Conference Paper | IST-REx-ID: 6462   OA
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6563   OA
M. Filakovský and L. Vokřínek, “Are two given maps homotopic? An algorithmic viewpoint,” Foundations of Computational Mathematics, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Probabilistic smart contracts: Secure randomness on the blockchain,” in IEEE International Conference on Blockchain and Cryptocurrency, Seoul, Korea, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885   OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328
J. Renkawitz et al., “Nuclear positioning facilitates amoeboid migration along the path of least resistance,” Nature, vol. 568, pp. 546–550, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7232
T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75.
View | DOI
 

2019 | Thesis | IST-REx-ID: 7186   OA
C. Schwayer, Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. IST Austria, 2019.
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 7016   OA
I. Tomanek, Data for the paper “Gene amplification as a form of population-level gene expression regulation.” IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6486
J. Kühnen, D. Scarselli, and B. Hof, “Relaminarization of pipe flow by means of 3D-printed shaped honeycombs,” Journal of Fluids Engineering, vol. 141, no. 11, p. 111105, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7275   OA
E. Mourad et al., “Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries,” Energy & Environmental Science, vol. 12, no. 8, pp. 2559–2568, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7282
S. A. Freunberger, “Interphase identity crisis,” Nature Chemistry, vol. 11, no. 9, pp. 761–763, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7422   OA
T. R. Sokolowski et al., “eGFRD in all dimensions,” The Journal of Chemical Physics, vol. 150, no. 5, p. 054108, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Book Chapter | IST-REx-ID: 7410
A. E. E. Bruce and C.-P. J. Heisenberg, “Mechanisms of zebrafish epiboly: A current view,” in Gastrulation: From Embryonic Pattern to Form, vol. 136, L. Solnica-Krezel, Ed. Elsevier, 2019, pp. 319–341.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7395   OA
J. A. Letts, K. Fiedorczuk, G. Degliesposti, M. Skehel, and L. A. Sazanov, “Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk,” Molecular Cell, vol. 75, no. 6, p. 1131–1146.e6, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6378   OA
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, 2019, vol. Part F147772, pp. 374–381.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6366   OA
J. Bellstaedt et al., “A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls,” Plant Physiology, vol. 180, no. 2, pp. 757–766, 2019.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7415
J. Morandell, A. Nicolas, L. A. Schwarz, and G. Novarino, “S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism,” European Neuropsychopharmacology, vol. 29, no. Supplement 6, pp. S11–S12, 2019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6676   OA
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, and L. Zhu, “Why extension-based proofs fail,” in Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, Phoenix, AZ, United States, 2019, pp. 986–996.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6032   OA
A. Kazda, V. Kolmogorov, and M. Rolinek, “Even delta-matroids and the complexity of planar boolean CSPs,” ACM Transactions on Algorithms, vol. 15, no. 2, p. 22, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6575   OA
S. Choi et al., “Emergent SU(2) dynamics and perfect quantum many-body scars,” Physical Review Letters, vol. 122, no. 22, p. 220603, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6556   OA
K. Huszár and J. Spreer, “3-manifold triangulations with small treewidth,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, Oregon, United States, 2019, vol. 129, p. 44:1-44:20.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6931   OA
T. Nowak and J. Rybicki, “Byzantine approximate agreement on graphs,” in 33rd International Symposium on Distributed Computing, Budapest, Hungary, 2019, vol. 146, p. 29:1--29:17.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6467
C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness landscapes,” Biology Letters, vol. 15, no. 4, p. 0881, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6900   OA
S. A. Cepeda Humerez, J. Ruess, and G. Tkačik, “Estimating information in time-varying signals,” PLoS computational biology, vol. 15, no. 9, p. e1007290, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7453
R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, 2019, vol. 10000, pp. 452–477.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 301   OA
M. Gerencser and I. Gyöngy, “A Feynman–Kac formula for stochastic Dirichlet problems,” Stochastic Processes and their Applications, vol. 129, no. 3, pp. 995–1012, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5908
E. Lee et al., “Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SYT1 contact site expansion in Arabidopsis,” Proceedings of the National Academy of Sciences of the United States of America, vol. 116, no. 4, pp. 1420–1429, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5910
N. B. Budanur and M. Fleury, “State space geometry of the chaotic pilot-wave hydrodynamics,” Chaos, vol. 29, no. 1, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6014   OA
A. Varshney and V. Steinberg, “Elastic alfven waves in elastic turbulence,” Nature Communications, vol. 10, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6090   OA
M. Carballo-Pacheco et al., “Receptor crosstalk improves concentration sensing of multiple ligands,” Physical Review E, vol. 99, no. 2, 2019.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6095   OA
R. Faria et al., “Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes,” Molecular Ecology, vol. 28, no. 6, pp. 1375–1393, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6088
A. Traxl et al., “Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib,” Molecular Pharmaceutics, vol. 16, no. 3, pp. 1282–1293, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6069   OA
J. Mayzel, V. Steinberg, and A. Varshney, “Stokes flow analogous to viscous electron current in graphene,” Nature Communications, vol. 10, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6230   OA
N. H. Barton, J. Hermisson, and M. Nordborg, “Why structure matters,” eLife, vol. 8, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6259
M. Cao et al., “TMK1-mediated auxin signalling regulates differential growth of the apical hook,” Nature, vol. 568, pp. 240–243, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6261   OA
Y. Wang, Z. Gong, J. Friml, and J. Zhang, “Nitrate modulates the differentiation of root distal stem cells,” Plant Physiology, vol. 180, no. 1, pp. 22–25, 2019.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6297
H. S. Davies et al., “An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments,” Matrix Biology, vol. 78–79, pp. 47–59, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6343
F. K. Schur, “Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging,” Current Opinion in Structural Biology, vol. 58, no. 10, pp. 1–9, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6451   OA
N. Amberg et al., “EGFR controls hair shaft differentiation in a p53-independent manner,” iScience, vol. 15, pp. 243–256, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6470
T. Éltes, M. Szoboszlay, M. K. Szigeti, and Z. Nusser, “Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells,” Journal of Physiology, vol. 597, no. 11, pp. 2925–2947, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6413
B. Song, C. Plana, J. M. Lopez Alonso, and M. Avila, “Phase-field simulation of core-annular pipe flow,” International Journal of Multiphase Flow, vol. 117, pp. 14–24, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6552
S. Cremer, “Social immunity in insects,” Current Biology, vol. 29, no. 11, pp. R458–R463, 2019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6569   OA
P. Bui Thi Mai and C. Lampert, “Towards understanding knowledge distillation,” in Proceedings of the 36th International Conference on Machine Learning, Long Beach, CA, United States, 2019, vol. 97, pp. 5142–5151.
View | Files available
 

2019 | Journal Article | IST-REx-ID: 65
K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic porous media equations,” Journal of Differential Equations, vol. 266, no. 6, pp. 3732–3763, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6627   OA
M. Adamowski, L. Li, and J. Friml, “Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling,” International Journal of Molecular Sciences, vol. 20, no. 13, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6634   OA
A. Akopyan, A. Hubard, and R. Karasev, “Lower and upper bounds for the waists of different spaces,” Topological Methods in Nonlinear Analysis, vol. 53, no. 2, pp. 457–490, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6646
M. Khatoniar, N. Yama, A. Ghazaryan, S. Guddala, P. Ghaemi, and V. Menon, “Room temperature control of valley coherence in bilayer WS2 exciton polaritons,” in CLEO: Applications and Technology, San Jose, CA, United States, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6348
A. R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, and H. G. L. Schwefel, “Resonant electro-optic frequency comb,” Nature, vol. 568, no. 7752, pp. 378–381, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6660   OA
D. Sumin et al., “Geometry-aware scattering compensation for 3D printing,” ACM Transactions on Graphics, vol. 38, no. 4, 2019.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed