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.

2185 Publications


2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (n.d.). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM. https://doi.org/10.1145/3302504.3311804
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-17462-0_13
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Edelsbrunner, H., Virk, Z., & Wagner, H. (2019). Topological data analysis in information space. In 35th International Symposium on Computational Geometry (Vol. 129, p. 31:1-31:14). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.31
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7026   OA
Lukacisin, M., & Bollenbach, T. (2019). Emergent gene expression responses to drug combinations predict higher-order drug interactions. Cell Systems, 9(5), 423-433.e1-e3. https://doi.org/10.1016/j.cels.2019.10.004
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6756   OA
Pranav, P., Adler, R. J., Buchert, T., Edelsbrunner, H., Jones, B. J. T., Schwartzman, A., … Van De Weygaert, R. (2019). Unexpected topology of the temperature fluctuations in the cosmic microwave background. Astronomy and Astrophysics, 627. https://doi.org/10.1051/0004-6361/201834916
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7280   OA
Kwak, W.-J., Kim, H., Petit, Y. K., Leypold, C., Nguyen, T. T., Mahne, N., … Sun, Y.-K. (2019). Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications, 10, 1380. https://doi.org/10.1038/s41467-019-09399-0
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 290   OA
Abanin, D., Altman, E., Bloch, I., & Serbyn, M. (2019). Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics , 91(2), 021001. https://doi.org/10.1103/RevModPhys.91.021001
View | DOI | Download (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 7083   OA
Kavcic, B., Tkačik, G., & Bollenbach, T. (n.d.). Mechanistic origin of drug interactions between translation-inhibiting antibiotics. BioRxiv. Cold Spring Harbor Laboratory.
View | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 138   OA
Nikolic, N. (2019). Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system. Current Genetics, 65(1), 133–138. https://doi.org/10.1007/s00294-018-0879-8
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405   OA
Virosztek, D. (2019). Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications, 576, 67–78. https://doi.org/10.1016/j.laa.2018.03.002
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429   OA
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2019). Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields, 173(1–2), 293–373. https://doi.org/10.1007/s00440-018-0835-z
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5944   OA
Corominas-Murtra, B. (2019). Thermodynamics of duplication thresholds in synthetic protocell systems. Life, 9(1). https://doi.org/10.3390/life9010009
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6029   OA
Lindner, M., Tresztenyak, A., Fülöp, G., Jahr, W., Prinz, A., Prinz, I., … Sevcsik, E. (2019). A fast and simple contact printing approach to generate 2D protein nanopatterns. Frontiers in Chemistry, 6. https://doi.org/10.3389/fchem.2018.00655
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6050   OA
Akopyan, A., & Fedorov, R. (2019). Two circles and only a straightedge. Proceedings of the American Mathematical Society, 147, 91–102. https://doi.org/10.1090/proc/14240
View | DOI | Download (ext.) | arXiv
 

2019 | Research Data | IST-REx-ID: 6074   OA
Dotter, C., & Novarino, G. (2019). Supplementary data for the research paper “Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition.” IST Austria. https://doi.org/10.15479/AT:ISTA:6074
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6086   OA
Sadel, C., & Xu, D. (2019). Singular analytic linear cocycles with negative infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems, 39(4), 1082–1098. https://doi.org/10.1017/etds.2017.52
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6093   OA
Goudarzi, M., Boquet-Pujadas, A., Olivo-Marin, J. C., & Raz, E. (2019). Fluid dynamics during bleb formation in migrating cells in vivo. PLOS ONE, 14(2). https://doi.org/10.1371/journal.pone.0212699
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6240   OA
Alt, J., Erdös, L., Krüger, T. H., & Nemish, Y. (2019). Location of the spectrum of Kronecker random matrices. Annales de l’institut Henri Poincare, 55(2), 661–696. https://doi.org/10.1214/18-AIHP894
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6182   OA
Erdös, L., Krüger, T. H., & Schröder, D. J. (2019). Random matrices with slow correlation decay. Forum of Mathematics, Sigma, 7. https://doi.org/10.1017/fms.2019.2
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6269   OA
Narasimhan, M. (2019). Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . IST Austria. https://doi.org/10.15479/at:ista:th1075
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6310   OA
Browning, T. D., & Hu, L. Q. (2019). Counting rational points on biquadratic hypersurfaces. Advances in Mathematics, 349, 920–940. https://doi.org/10.1016/j.aim.2019.04.031
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6442   OA
Schreck, C., Hafner, C., & Wojtan, C. J. (2019). Fundamental solutions for water wave animation. ACM Transactions on Graphics, 38(4). https://doi.org/10.1145/3306346.3323002
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6454   OA
Ortiz-Álvarez, G., Daclin, M., Shihavuddin, A., Lansade, P., Fortoul, A., Faucourt, M., … Spassky, N. (2019). Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. Neuron, 102(1), 159–172.e7. https://doi.org/10.1016/j.neuron.2019.01.051
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6466   OA
Field, D., & Fraisse, C. (2019). Breaking down barriers in morning glories. Molecular Ecology, 28(7), 1579–1581. https://doi.org/10.1111/mec.15048
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6586   OA
Ibáñez, M., Hasler, R., Genç, A., Liu, Y., Kuster, B., Schuster, M., … Kovalenko, M. V. (2019). Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion. Journal of the American Chemical Society, 141(20), 8025–8029. https://doi.org/10.1021/jacs.9b01394
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6593   OA
Shehu, Y., Li, X.-H., & Dong, Q.-L. (2019). An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms, 1–24. https://doi.org/10.1007/s11075-019-00758-y
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6620   OA
De La Bretèche, R., Destagnol, K. N., Liu, J., Wu, J., & Zhao, Y. (2019). On a certain non-split cubic surface. Science China Mathematics, 62(12), 2435–2446. https://doi.org/10.1007/s11425-018-9543-8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6632   OA
Karle, V., Defenu, N., & Enss, T. (2019). Coupled superfluidity of binary Bose mixtures in two dimensions. Physical Review A, 99(6). https://doi.org/10.1103/PhysRevA.99.063627
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6637   OA
Trubenova, B., Krejca, M., Lehre, P. K., & Kötzing, T. (2019). Surfing on the seascape: Adaptation in a changing environment. Evolution, 73(7), 1356–1374. https://doi.org/10.1111/evo.13784
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6649   OA
Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., & Seiringer, R. (2019). Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. https://doi.org/10.1007/s00220-019-03505-5
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6788   OA
Leopold, N. K., & Petrat, S. P. (2019). Mean-field dynamics for the Nelson model with fermions. Annales Henri Poincare, 20(10), 3471–3508. https://doi.org/10.1007/s00023-019-00828-w
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6795   OA
Trubenova, B., & Hager, R. (2019). Green beards in the light of indirect genetic effects. Ecology and Evolution, 9(17), 9597–9608. https://doi.org/10.1002/ece3.5484
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6978   OA
Budanur, N. B., Dogra, A., & Hof, B. (2019). Geometry of transient chaos in streamwise-localized pipe flow turbulence. Physical Review Fluids, 4(10), 102401. https://doi.org/10.1103/PhysRevFluids.4.102401
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6935   OA
Foerster, K.-T., Korhonen, J., Rybicki, J., & Schmid, S. (2019). Does preprocessing help under congestion? In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (pp. 259–261). Toronto, ON, Canada: ACM. https://doi.org/10.1145/3293611.3331581
View | DOI | Download (ext.) | arXiv
 

2019 | Research Data | IST-REx-ID: 7154   OA
Guseinov, R. (2019). Supplementary data for “Programming temporal morphing of self-actuated shells.” IST Austria. https://doi.org/10.15479/AT:ISTA:7154
View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 7084   OA
Ghosh, S., Matty, M., Baumbach, R., Bauer, E. D., Modic, K. A., Shekhter, A., … Ramshaw, B. J. (n.d.). Single-component order parameter in URu2Si2 uncovered by resonant  ultrasound spectroscopy and machine learning. ArXiv:1903.00552.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7128   OA
Torrini, C., Cubero, R. J., Dirkx, E., Braga, L., Ali, H., Prosdocimo, G., … Giacca, M. (2019). Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation. Cell Reports, 27(9), 2759–2771.e5. https://doi.org/10.1016/j.celrep.2019.05.005
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7130   OA
Cubero, R. J., Jo, J., Marsili, M., Roudi, Y., & Song, J. (2019). Statistical criticality arises in most informative representations. Journal of Statistical Mechanics: Theory and Experiment, 2019(6). https://doi.org/10.1088/1742-5468/ab16c8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7015   OA
Lewin, M., Lieb, E. H., & Seiringer, R. (2019). Floating Wigner crystal with no boundary charge fluctuations. Physical Review B, 100(3). https://doi.org/10.1103/physrevb.100.035127
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985   OA
Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2019). Response characterization for auditing cell dynamics in long short-term memory networks. In Proceedings of the International Joint Conference on Neural Networks. Budapest, Hungary: IEEE. https://doi.org/10.1109/ijcnn.2019.8851954
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7224   OA
Rybicki, J., Abrego, N., & Ovaskainen, O. (2019). Habitat fragmentation and species diversity in competitive communities. Ecology Letters. https://doi.org/10.1111/ele.13450
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 7236   OA
Baskett, C., Schroeder, L., Weber, M. G., & Schemske, D. W. (2019). Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. https://doi.org/10.1002/ecm.1397
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 7197   OA
Dos Santos Caldas, P. R., Lopez Pelegrin, M. D., Pearce, D. J. G., Budanur, N. B., Brugués, J., & Loose, M. (2019). Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA. Nature Communications, 10. https://doi.org/10.1038/s41467-019-13702-4
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7200   OA
Brighi, P., Grilli, M., Leridon, B., & Caprara, S. (2019). Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films. Physical Review B, 100(17). https://doi.org/10.1103/PhysRevB.100.174518
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5886   OA
Li, X., Bighin, G., Yakaboylu, E., & Lemeshko, M. (2019). Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon. Molecular Physics. https://doi.org/10.1080/00268976.2019.1567852
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6187   OA
Valosková, K., Biebl, J., Roblek, M., Emtenani, S., György, A., Misova, M., … Siekhaus, D. E. (2019). A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. ELife, 8. https://doi.org/10.7554/elife.41801
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175   OA
Wang, P., Fu, H., Goharshady, A. K., Chatterjee, K., Qin, X., & Shi, W. (2019). Cost analysis of nondeterministic probabilistic programs. In 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019) (pp. 204–220). Phoenix, AZ, United States: Association for Computing Machinery. https://doi.org/10.1145/3314221.3314581
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni, G., Henzinger, T. A., Ibsen-Jensen, R., & Novotny, P. (2019). Bidding games on Markov decision processes. In Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. https://doi.org/10.1007/978-3-030-30806-3_1
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni, G., Henzinger, T. A., & Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.MFCS.2019.11
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
Chatterjee, K., & Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.6
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed