en
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.
1627 Publications
2019 | Journal Article | IST-REx-ID: 6649 
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. 2019. doi:10.1007/s00220-019-03505-5
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6795
Trubenova B, Hager R. Green beards in the light of indirect genetic effects. Ecology and Evolution. 2019. doi:10.1002/ece3.5484
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6884
Avni G, Henzinger TA, Zikelic D. Bidding mechanisms in graph games. In: Vol 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:11. doi:10.4230/LIPICS.MFCS.2019.11
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6889
Chatterjee K, Piterman N. Combinations of Qualitative Winning for Stochastic Parity Games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:6. doi:10.4230/LIPICS.CONCUR.2019.6
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6822
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: Proceedings of the 13th International Conference of Reachability Problems. Vol 11674. Springer; 2019:1-12. doi:10.1007/978-3-030-30806-3_1
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6935
Foerster K-T, Korhonen J, Rybicki J, Schmid S. Does preprocessing help under congestion? In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. ACM; 2019:259-261. doi:10.1145/3293611.3331581
View
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6942
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6978
Budanur NB, Dogra A, Hof B. Geometry of transient chaos in streamwise-localized pipe flow turbulence. Physical Review Fluids. 2019;4(10):102401. doi:10.1103/PhysRevFluids.4.102401
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6980
Petridou N, Heisenberg C-PJ. Tissue rheology in embryonic organization. The EMBO Journal. 2019;38(20):e102497. doi:10.15252/embj.2019102497
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7015
Lewin M, Lieb EH, Seiringer R. Floating Wigner crystal with no boundary charge fluctuations. Physical Review B. 2019;100(3):035127. doi:10.1103/physrevb.100.035127
View
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6985
Hasani R, Amini A, Lechner M, Naser F, Grosu R, Rus D. Response characterization for auditing cell dynamics in long short-term memory networks. In: Proceedings of the International Joint Conference on Neural Networks. IEEE; 2019. doi:10.1109/ijcnn.2019.8851954
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6997
Zhang Y, Friml J. Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. 2019. doi:10.1111/nph.16203
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7034
Fulek R, Kynčl J. Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. Combinatorica. 2019. doi:10.1007/s00493-019-3905-7
View
| DOI
| Download (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 7084
Ghosh S, Matty M, Baumbach R, et al. Single-component order parameter in URu2Si2 uncovered by resonant ultrasound spectroscopy and machine learning. arXiv:190300552.
View
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6788
Leopold NK, Petrat SP. Mean-field dynamics for the Nelson model with fermions. Annales Henri Poincare. 2019. doi:10.1007/s00023-019-00828-w
View
| Files available
| DOI
| arXiv
2019 | Research Data | IST-REx-ID: 7154
Guseinov R. Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells.” IST Austria; 2019. doi:10.15479/AT:ISTA:7154
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 5907
Mócsai R, Figl R, Troschl C, et al. N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports. 2019;9(1). doi:10.1038/s41598-018-36884-1
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6102
Le Feber B, Sipe JE, Wulf M, Kuipers L, Rotenberg N. A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. 2019;8(1):28. doi:10.1038/s41377-019-0124-3
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6025
Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. eLife. 2019;8. doi:10.7554/eLife.42093
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6032
Kazda A, Kolmogorov V, Rolinek M. Even delta-matroids and the complexity of planar boolean CSPs. ACM Transactions on Algorithms. 2019;15(2). doi:10.1145/3230649
View
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6056
Chatterjee K, Goharshady AK, Pourdamghani A. Probabilistic smart contracts: Secure randomness on the blockchain. In: IEEE International Conference on Blockchain and Cryptocurrency. IEEE; 2019:8751326. doi:10.1109/BLOC.2019.8751326
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6260
Oochi A, Hajny J, Fukui K, et al. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 2019;180(2):1152-1165. doi:10.1104/pp.19.00201
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 6556
Huszár K, Spreer J. 3-manifold triangulations with small treewidth. In: 35th International Symposium on Computational Geometry (SoCG 2019). Vol 129. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; 2019:44:1-44:20. doi:10.4230/LIPIcs.SoCG.2019.44
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6563
Filakovský M, Vokřínek L. Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. 2019. doi:10.1007/s10208-019-09419-x
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6575
Choi S, Turner CJ, Pichler H, et al. Emergent SU(2) dynamics and perfect quantum many-body scars. Physical Review Letters. 2019;122(22):220603. doi:10.1103/PhysRevLett.122.220603
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6607
Nguyen CH, Glüxam T, Schlerka A, et al. SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness. Scientific Reports. 2019;9(1):9139. doi:10.1038/s41598-019-45579-0
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6412
Moussa HF, Bsteh D, Yelagandula R, et al. Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 2019;10(1). doi:10.1038/s41467-019-09628-6
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6493
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6506
Noda-García L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 2019. doi:10.1038/s41564-019-0412-y
View
| DOI
| Download (ext.)
2019 | Conference Paper | IST-REx-ID: 6462
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649. doi:10.1007/978-3-030-25540-4_36
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6378
Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; :374-381. doi:10.1145/3297280.3297319
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6380
Chatterjee K, Goharshady AK, Okati N, Pavlogiannis A. Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. 2019;3(POPL):53. doi:10.1145/3290366
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6486
Kühnen J, Scarselli D, Hof B. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 2019;141(11):111105. doi:10.1115/1.4043494
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6366
Bellstaedt J, Trenner J, Lippmann R, et al. A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls. Plant Physiology. 2019;180(2):757-766. doi:10.1104/pp.18.01377
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6671
Boissonnat J-D, Lieutier A, Wintraecken M. The reach, metric distortion, geodesic convexity and the variation of tangent spaces. Journal of Applied and Computational Topology. 2019. doi:10.1007/s41468-019-00029-8
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6638
Silva A, Arroyo Guevara AM, Richter B, Lee O. Graphs with at most one crossing. Discrete Mathematics. 2019. doi:10.1016/j.disc.2019.06.031
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6657
Danowski P. An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors. VOEB-Mitteilungen. 2019;72(1):59-65. doi:10.31263/voebm.v72i1.2276
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6676
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Why extension-based proofs fail. In: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019. ACM Press; 2019:986-996. doi:10.1145/3313276.3316407
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6784
Ruess J, Pleska M, Guet CC, Tkačik G. Molecular noise of innate immunity shapes bacteria-phage ecologies. PLoS Computational Biology. 2019;15(7). doi:10.1371/journal.pcbi.1007168
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6796
Stella F, Urdapilleta E, Luo Y, Treves A. Partial coherence and frustration in self-organizing spherical grids. Hippocampus. 2019. doi:10.1002/hipo.23144
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6835
Destagnol KN, Sofos E. Rational points and prime values of polynomials in moderately many variables. Bulletin des Sciences Mathematiques. 2019;156:102794. doi:10.1016/j.bulsci.2019.102794
View
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6885
Chatterjee K, Henzinger TA, Otop J. Long-run average behavior of vector addition systems with states. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:27. doi:10.4230/LIPICS.CONCUR.2019.27
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6828
Brown A. Arakawa-Suzuki functors for Whittaker modules. Journal of Algebra. 2019;538:261-289. doi:10.1016/j.jalgebra.2019.07.027
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6900
Cepeda Humerez SA, Ruess J, Tkačik G. Estimating information in time-varying signals. PLoS computational biology. 2019;15(9):e1007290. doi:10.1371/journal.pcbi.1007290
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 6931
Nowak T, Rybicki J. Byzantine approximate agreement on graphs. In: 33rd International Symposium on Distributed Computing. Vol 146. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; 2019:29:1--29:17. doi:10.4230/LIPICS.DISC.2019.29
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6936
Ovaskainen O, Rybicki J, Abrego N. What can observational data reveal about metacommunity processes? Ecography. 2019;42(11):1877-1886. doi:10.1111/ecog.04444
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6986
Li P. A colimit of traces of reflection groups. Proceedings of the American Mathematical Society. 2019;147(11):4597-4604. doi:10.1090/proc/14586
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7004
Rapcak M, Soibelman Y, Yang Y, Zhao G. Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics. 2019. doi:10.1007/s00220-019-03575-5
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6955
Schmickler CH, Hammer H-W, Volosniev A. Universal physics of bound states of a few charged particles. Physics Letters B. 2019;798:135016. doi:10.1016/j.physletb.2019.135016
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6943
Hörmayer L, Friml J. Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. 2019;52(12):124-130. doi:10.1016/j.pbi.2019.08.006
View
| Files available
| DOI
| PubMed | Europe PMC