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.

1724 Publications


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 | 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 | Research Data | IST-REx-ID: 6062   OA
Nardin, M. (2019). Supplementary Code and Data for the paper “The Entorhinal Cognitive Map is Attracted to Goals.” IST Austria. https://doi.org/10.15479/AT:ISTA:6062
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7402   OA
Chatterjee, K., & Doyen, L. (2019). Graph planning with expected finite horizon. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Vancouver, BC, Canada: IEEE. https://doi.org/10.1109/lics.2019.8785706
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7399   OA
Andergassen, D., Muckenhuber, M., Bammer, P. C., Kulinski, T. M., Theussl, H.-C., Shimizu, T., … Hudson, Q. J. (2019). The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes. PLOS Genetics, 15(7), e1008268. https://doi.org/10.1371/journal.pgen.1008268
View | Files available | DOI | PubMed | Europe PMC
 

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, 39(6), 1267–1279. https://doi.org/10.1007/s00493-019-3905-7
View | DOI | Download (ext.) | 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: 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: 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, e41801. 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 PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 204–220). Phoenix, AZ, United States: Association for Computing Machinery. https://doi.org/10.1145/3314221.3314581
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 5949   OA
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, 29(9), 802–816. https://doi.org/10.1002/hipo.23076
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5907   OA
Mócsai, R., Figl, R., Troschl, C., Strasser, R., Svehla, E., Windwarder, M., … Altmann, F. (2019). N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports, 9(1). https://doi.org/10.1038/s41598-018-36884-1
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6025   OA
Capek, D., Smutny, M., Tichy, A. M., Morri, M., Janovjak, H. L., & Heisenberg, C.-P. J. (2019). Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. ELife, 8. https://doi.org/10.7554/eLife.42093
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6049   OA
De Martino, D. (2019). Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical, 52(4). https://doi.org/10.1088/1751-8121/aaf2dd
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6102   OA
Le Feber, B., Sipe, J. E., Wulf, M., Kuipers, L., & Rotenberg, N. (2019). A full vectorial mapping of nanophotonic light fields. Light: Science and Applications, 8(1). https://doi.org/10.1038/s41377-019-0124-3
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6260   OA
Oochi, A., Hajny, J., Fukui, K., Nakao, Y., Gallei, M. C., Quareshy, M., … Hayashi, K. (2019). Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology, 180(2), 1152–1165. https://doi.org/10.1104/pp.19.00201
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6412   OA
Moussa, H. F., Bsteh, D., Yelagandula, R., Pribitzer, C., Stecher, K., Bartalska, K., … Bell, O. (2019). Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications, 10(1). https://doi.org/10.1038/s41467-019-09628-6
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6607   OA
Nguyen, C. H., Glüxam, T., Schlerka, A., Bauer, K., Grandits, A. M., Hackl, H., … Heller, G. (2019). SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness. Scientific Reports, 9(1). https://doi.org/10.1038/s41598-019-45579-0
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6506   OA
Noda-García, L., Davidi, D., Korenblum, E., Elazar, A., Putintseva, E., Aharoni, A., & Tawfik, D. S. (2019). Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology, 4(7), 1221–1230. https://doi.org/10.1038/s41564-019-0412-y
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6638   OA
Silva, A., Arroyo Guevara, A. M., Richter, B., & Lee, O. (2019). Graphs with at most one crossing. Discrete Mathematics, 342(11), 3201–3207. https://doi.org/10.1016/j.disc.2019.06.031
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6657   OA
Danowski, P. (2019). An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors. VOEB-Mitteilungen, 72(1), 59–65. https://doi.org/10.31263/voebm.v72i1.2276
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6784   OA
Ruess, J., Pleska, M., Guet, C. C., & Tkačik, G. (2019). Molecular noise of innate immunity shapes bacteria-phage ecologies. PLoS Computational Biology, 15(7). https://doi.org/10.1371/journal.pcbi.1007168
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6796   OA
Stella, F., Urdapilleta, E., Luo, Y., & Treves, A. (2019). Partial coherence and frustration in self-organizing spherical grids. Hippocampus. https://doi.org/10.1002/hipo.23144
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6671   OA
Boissonnat, J.-D., Lieutier, A., & Wintraecken, M. (2019). The reach, metric distortion, geodesic convexity and the variation of tangent spaces. Journal of Applied and Computational Topology, 3(1–2), 29–58. https://doi.org/10.1007/s41468-019-00029-8
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6828   OA
Brown, A. (2019). Arakawa-Suzuki functors for Whittaker modules. Journal of Algebra, 538, 261–289. https://doi.org/10.1016/j.jalgebra.2019.07.027
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6936   OA
Ovaskainen, O., Rybicki, J., & Abrego, N. (2019). What can observational data reveal about metacommunity processes? Ecography, 42(11), 1877–1886. https://doi.org/10.1111/ecog.04444
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6943   OA
Hörmayer, L., & Friml, J. (2019). Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology, 52, 124–130. https://doi.org/10.1016/j.pbi.2019.08.006
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6835   OA
Destagnol, K. N., & Sofos, E. (2019). Rational points and prime values of polynomials in moderately many variables. Bulletin Des Sciences Mathematiques, 156. https://doi.org/10.1016/j.bulsci.2019.102794
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6955   OA
Schmickler, C. H., Hammer, H.-W., & Volosniev, A. (2019). Universal physics of bound states of a few charged particles. Physics Letters B, 798. https://doi.org/10.1016/j.physletb.2019.135016
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7097   OA
Nagano, M., Toshima, J. Y., Siekhaus, D. E., & Toshima, J. (2019). Rab5-mediated endosome formation is regulated at the trans-Golgi network. Communications Biology, 2(1). https://doi.org/10.1038/s42003-019-0670-5
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7100   OA
Jeblick, M., Leopold, N. K., & Pickl, P. (2019). Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Communications in Mathematical Physics, 372(1), 1–69. https://doi.org/10.1007/s00220-019-03599-x
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7035   OA
Geher, G. P., Titkos, T., & Virosztek, D. (2019). Dirac masses and isometric rigidity. In Kyoto RIMS Kôkyûroku (Vol. 2125, pp. 34–41). Kyoto, Japan: Research Institute for Mathematical Sciences, Kyoto University.
View | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6986   OA
Li, P. (2019). A colimit of traces of reflection groups. Proceedings of the American Mathematical Society, 147(11), 4597–4604. https://doi.org/10.1090/proc/14586
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7004   OA
Rapcak, M., Soibelman, Y., Yang, Y., & Zhao, G. (2019). Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics. https://doi.org/10.1007/s00220-019-03575-5
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7225   OA
Merrin, J. (2019). Frontiers in microfluidics, a teaching resource review. Bioengineering, 6(4). https://doi.org/10.3390/bioengineering6040109
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7136   OA
Skórski, M. (2019). Strong chain rules for min-entropy under few bits spoiled. In 2019 IEEE International Symposium on Information Theory. Paris, France: IEEE. https://doi.org/10.1109/isit.2019.8849240
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7117   OA
Hafner, C., Schumacher, C., Knoop, E., Auzinger, T., Bickel, B., & Bächer, M. (2019). X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics, 38(6). https://doi.org/10.1145/3355089.3356576
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7201   OA
Renggli, C., Ashkboos, S., Aghagolzadeh, M., Alistarh, D.-A., & Hoefler, T. (2019). SparCML: High-performance sparse communication for machine learning. In International Conference for High Performance Computing, Networking, Storage and Analysis, SC. Denver, CO, Unites States: ACM. https://doi.org/10.1145/3295500.3356222
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7181   OA
Garriga, E., Di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A., … Notredame, C. (2019). Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology, 37(12), 1466–1470. https://doi.org/10.1038/s41587-019-0333-6
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7340   OA
Amin-Wetzel, N. P., Neidhardt, L., Yan, Y., Mayer, M. P., & Ron, D. (2019). Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. ELife, 8. https://doi.org/10.7554/eLife.50793
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5678   OA
Edelsbrunner, H., & Nikitenko, A. (2019). Poisson–Delaunay Mosaics of Order k. Discrete and Computational Geometry, 62(4), 865–878. https://doi.org/10.1007/s00454-018-0049-2
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5856   OA
Moser, T., & Seiringer, R. (2019). Energy contribution of a point-interacting impurity in a Fermi gas. Annales Henri Poincare, 20(4), 1325–1365. https://doi.org/10.1007/s00023-018-00757-0
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380   OA
Chatterjee, K., Goharshady, A. K., Okati, N., & Pavlogiannis, A. (2019). Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages, 3(POPL). https://doi.org/10.1145/3290366
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., & Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 630–649). New York, NY, United States: Springer. https://doi.org/10.1007/978-3-030-25540-4_36
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto, M., Henzinger, T. A., Schilling, C., & Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer. https://doi.org/10.1007/978-3-030-25540-4_16
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6563   OA
Filakovský, M., & Vokřínek, L. (2019). Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. https://doi.org/10.1007/s10208-019-09419-x
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (2019). Probabilistic smart contracts: Secure randomness on the blockchain. In IEEE International Conference on Blockchain and Cryptocurrency. Seoul, Korea: IEEE. https://doi.org/10.1109/BLOC.2019.8751326
View | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed