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.

5260 Publications


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), 130. 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 | 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 | Thesis | IST-REx-ID: 6435
Casillas Perez, B. E. (2019). Collective defenses of garden ants against a fungal pathogen. IST Austria. https://doi.org/10.15479/AT:ISTA:6435
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: 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 | 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. 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), 063627. 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: 6187
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, e41801. https://doi.org/10.7554/elife.41801
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: 6795   OA
Trubenova, B., & Hager, R. (2019). Green beards in the light of indirect genetic effects. Ecology and Evolution. https://doi.org/10.1002/ece3.5484
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6808
Jahr, W., Velicky, P., & Danzl, J. G. (n.d.). Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. https://doi.org/10.1016/j.ymeth.2019.07.019
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni, G., Henzinger, T. A., & Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138, p. 11). 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, p. 6). 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 | 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: 5949
Käfer, K., Malagon-Vina, H., Dickerson, D., O’Neill, J., Trossbach, S. V., Korth, C., & Csicsvari, J. L. (2019). Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. https://doi.org/10.1002/hipo.23076
View | Files available | 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: 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 | 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: 6896
Oliveira, B., Yahya, A. Ç., & Novarino, G. (2019). Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research, 1724, 146458. https://doi.org/10.1016/j.brainres.2019.146458
View | DOI | PubMed | Europe PMC
 

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

2019 | Thesis | IST-REx-ID: 6473
Cepeda Humerez, S. A. (2019). Estimating information flow in single cells. IST Austria. https://doi.org/10.15479/AT:ISTA:6473
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 | Conference Paper | IST-REx-ID: 7010
Davies, H. S., Baranova, N. S., El Amri, N., Coche-Guérente, L., Verdier, C., Bureau, L., … Débarre, D. (2019). Blood cell-vessel wall interactions probed by reflection interference contrast microscopy. In Advances in Microscopic Imaging II (Vol. 11076, p. 110760V). Munich, Germany: SPIE. https://doi.org/10.1117/12.2527058
View | DOI
 

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), 035127. 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: 6997   OA
Zhang, Y., & Friml, J. (2019). Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. https://doi.org/10.1111/nph.16203
View | Files available | DOI | PubMed | Europe PMC
 

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), 31. https://doi.org/10.1145/3340295
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7034   OA
Fulek, R., & Kynčl, J. (2019). Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. Combinatorica. https://doi.org/10.1007/s00493-019-3905-7
View | DOI | Download (ext.) | arXiv
 

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), 19. https://doi.org/10.1145/3286976
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 | 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: 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), 063402. https://doi.org/10.1088/1742-5468/ab16c8
View | DOI | Download (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6947
Assen, F. P. (2019). Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. IST Austria. https://doi.org/10.15479/AT:ISTA:6947
View | Files available | DOI
 

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. https://doi.org/10.1007/s00023-019-00828-w
View | Files available | DOI | arXiv
 

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 | Journal Article | IST-REx-ID: 7142
Gallei, M. C., Luschnig, C., & Friml, J. (2019). Auxin signalling in growth: Schrödinger’s cat out of the bag. Current Opinion in Plant Biology, 53, 43–49. https://doi.org/10.1016/j.pbi.2019.10.003
View | DOI | PubMed | Europe PMC
 

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 | 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: 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. https://doi.org/10.1038/s41589-019-0262-1
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed