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.

5633 Publications


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 | Conference Paper | IST-REx-ID: 6163
Biswas, R., Largeteau-Skapin, G., Zrour, R., & Andres, E. (2019). Rhombic dodecahedron grid—coordinate system and 3D digital object definitions. In Lecture Notes in Computer Science (Vol. 11414, pp. 27–37). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-030-14085-4_3
View | 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: 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 | 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 | Conference Paper | IST-REx-ID: 6430
Fuchsbauer, G., Kamath Hosdurg, C., Klein, K., & Pietrzak, K. Z. (2019). Adaptively secure proxy re-encryption (Vol. 11443, pp. 317–346). Presented at the PKC: Public-Key Cryptograhy, Beijing, China: Springer Nature. https://doi.org/10.1007/978-3-030-17259-6_11
View | 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: 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 | Conference Poster | IST-REx-ID: 6485
Koval, N., Alistarh, D.-A., & Elizarov, R. (2019). Lock-free channels for programming via communicating sequential processes. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming (pp. 417–418). Washington, NY, United States: ACM Press. https://doi.org/10.1145/3293883.3297000
View | DOI
 

2019 | Book Chapter | IST-REx-ID: 6726
Walter, M. (2019). Sampling the integers with low relative error. In J. Buchmann, A. Nitaj, & T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019 (Vol. 11627, pp. 157–180). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-23696-0_9
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6663
Mondelli, M., Hassani, H., & Urbanke, R. (2019). Construction of polar codes with sublinear complexity. IEEE, 65(5), 2782–2791. https://doi.org/10.1109/tit.2018.2889667
View | Files available | DOI | Download (ext.) | 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: 6858
Barton, N. H. (2019). Is speciation driven by cycles of mixing and isolation? National Science Review, 6(2), 291–292. https://doi.org/10.1093/nsr/nwy113
View | 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 | Journal Article | IST-REx-ID: 6896
Oliveira, B., Yahya, A. Ç., & Novarino, G. (2019). Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research, 1724. https://doi.org/10.1016/j.brainres.2019.146458
View | DOI | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 7161
Shehu, Y., Gibali, A., & Sagratella, S. (2019). Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. https://doi.org/10.1007/s10957-019-01616-6
View | 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: 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: 7205
Johannesson, K., Zagrodzka, Z., Faria, R., Westram, A. M., & Butlin, R. K. (2019). Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. https://doi.org/10.1111/jeb.13570
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6377
Dejonghe, W., Sharma, I., Denoo, B., De Munck, S., Lu, Q., Mishev, K., … Russinova, E. (2019). Disruption of endocytosis through chemical inhibition of clathrin heavy chain function. Nature Chemical Biology, 15(6), 641–649. https://doi.org/10.1038/s41589-019-0262-1
View | Files available | DOI
 

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 | Conference Paper | IST-REx-ID: 6428
Ferrere, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
Hannezo, E. B., & Heisenberg, C.-P. J. (2019). Mechanochemical feedback loops in development and disease. Cell, 178(1), 12–25. https://doi.org/10.1016/j.cell.2019.05.052
View | DOI
 

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
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok, P., Brázdil, T., Chatterjee, K., Křetínský, J., Lampert, C., & Toman, V. (2019). Strategy representation by decision trees with linear classifiers. In 16th International Conference on Quantitative Evaluation of Systems (Vol. 11785, pp. 109–128). Glasgow, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-30281-8_7
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou, N., & Heisenberg, C.-P. J. (2019). Tissue rheology in embryonic organization. The EMBO Journal, 38(20). https://doi.org/10.15252/embj.2019102497
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
Kopf, A. (2019). The implication of cytoskeletal dynamics on leukocyte migration. IST Austria. https://doi.org/10.15479/AT:ISTA:6891
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf, A., & Sixt, M. K. (2019). The neural crest pitches in to remove apoptotic debris. Cell, 179(1), 51–53. https://doi.org/10.1016/j.cell.2019.08.047
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7109
Ferrere, T., Maler, O., Ničković, D., & Pnueli, A. (2019). From real-time logic to timed automata. Journal of the ACM, 66(3). https://doi.org/10.1145/3286976
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet, C. C., Henzinger, T. A., Igler, C., Petrov, T., & Sezgin, A. (2019). Transient memory in gene regulation. In 17th International Conference on Computational Methods in Systems Biology (Vol. 11773, pp. 155–187). Trieste, Italy: Springer Nature. https://doi.org/10.1007/978-3-030-31304-3_9
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković, D., Qin, X., Ferrere, T., Mateis, C., & Deshmukh, J. (2019). Shape expressions for specifying and extracting signal features. In 19th International Conference on Runtime Verification (Vol. 11757, pp. 292–309). Porto, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-32079-9_17
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer, K., Akhmanova, M., Konstantinova, N., Malínská, K., Leitner, J., Petrášek, J., & Luschnig, C. (2019). Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications, 10. https://doi.org/10.1038/s41467-019-13543-1
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Kong, H., Bartocci, E., Jiang, Y., & Henzinger, T. A. (2019). Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11750, pp. 123–141). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
Avni, G., Henzinger, T. A., & Chonev, V. K. (2019). Infinite-duration bidding games. Journal of the ACM, 66(4). https://doi.org/10.1145/3340295
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
Kwak, W.-J., Freunberger, S. A., Kim, H., Park, J., Nguyen, T. T., Jung, H.-G., … Sun, Y.-K. (2019). Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis, 9(11), 9914–9922. https://doi.org/10.1021/acscatal.9b01337
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed