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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed