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: 6795   OA
Trubenova B, Hager R. 2019. Green beards in the light of indirect genetic effects. Ecology and Evolution.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni G, Henzinger TA, Zikelic D. 2019. Bidding mechanisms in graph games. MFCS: nternational Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 138. 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. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140. 6.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. 2019. Bidding games on Markov decision processes. Proceedings of the 13th International Conference of Reachability Problems. RP: Reachability Problems, LNCS, vol. 11674. 1–12.
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? Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing 259–261.
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. 16th International Conference on Quantitative Evaluation of Systems. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11785. 109–128.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6978   OA
Budanur NB, Dogra A, Hof B. 2019. Geometry of transient chaos in streamwise-localized pipe flow turbulence. Physical Review Fluids. 4(10), 102401.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou N, Heisenberg C-PJ. 2019. Tissue rheology in embryonic organization. The EMBO Journal. 38(20), e102497.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7015   OA
Lewin M, Lieb EH, Seiringer R. 2019. Floating Wigner crystal with no boundary charge fluctuations. Physical Review B. 100(3), 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. Proceedings of the International Joint Conference on Neural Networks. IJCNN: International Joint Conference on Neural Networks
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.
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.
View | DOI | Download (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 7084   OA
Ghosh S, Matty M, Baumbach R, Bauer ED, Modic KA, Shekhter A, Mydosh JA, Kim E-A, Ramshaw BJ. 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: 6788   OA
Leopold NK, Petrat SP. 2019. Mean-field dynamics for the Nelson model with fermions. Annales Henri Poincare.
View | Files available | DOI | arXiv
 

2019 | Research Data | IST-REx-ID: 7154   OA
Guseinov R. 2019. Supplementary data for ‘Programming temporal morphing of self-actuated shells’, IST Austria,p.
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, Thader A, Altmann F. 2019. N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports. 9(1).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6102   OA
Le Feber B, Sipe JE, Wulf M, Kuipers L, Rotenberg N. 2019. A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. 8(1), 28.
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. 2019. Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. eLife. 8.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6032   OA
Kazda A, Kolmogorov V, Rolinek M. 2019. Even delta-matroids and the complexity of planar boolean CSPs. ACM Transactions on Algorithms. 15(2).
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee K, Goharshady AK, Pourdamghani A. 2019. Probabilistic smart contracts: Secure randomness on the blockchain. IEEE International Conference on Blockchain and Cryptocurrency. IEEE International Conference on Blockchain and Cryptocurrency 8751326.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6260   OA
Oochi A, Hajny J, Fukui K, Nakao Y, Gallei MC, Quareshy M, Takahashi K, Kinoshita T, Harborough S, Kepinski S, Kasahara H, Napier R, Friml J, Hayashi K. 2019. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 180(2), 1152–1165.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6556   OA
Huszár K, Spreer J. 2019. 3-manifold triangulations with small treewidth. 35th International Symposium on Computational Geometry (SoCG 2019). SoCG: Symposium on Computational GeometryLeibniz International Proceedings in Informatics (LIPIcs) vol. 129. 44:1-44:20.
View | Files available | DOI | arXiv
 

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.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6575   OA
Choi S, Turner CJ, Pichler H, Ho WW, Michailidis A, Papić Z, Serbyn M, Lukin MD, Abanin DA. 2019. Emergent SU(2) dynamics and perfect quantum many-body scars. Physical Review Letters. 122(22), 220603.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6607   OA
Nguyen CH, Glüxam T, Schlerka A, Bauer K, Grandits AM, Hackl H, Dovey O, Zöchbauer-Müller S, Cooper JL, Vassiliou GS, Stoiber D, Wieser R, Heller G. 2019. SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness. Scientific Reports. 9(1), 9139.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6412   OA
Moussa HF, Bsteh D, Yelagandula R, Pribitzer C, Stecher K, Bartalska K, Michetti L, Wang J, Zepeda-Martinez JA, Elling U, Stuckey JI, James LI, Frye SV, Bell O. 2019. Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 10(1).
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561. 297–314.
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 DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology.
View | DOI | Download (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561. 630–649.
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. Proceedings of the 34th ACM Symposium on Applied Computing. ACM Symposium on Applied Computing vol. Part F147772. 374–381.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 6486   OA
Kühnen J, Scarselli D, Hof B. 2019. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 141(11), 111105.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6366   OA
Bellstaedt J, Trenner J, Lippmann R, Poeschl Y, Zhang X, Friml J, Quint M, Delker C. 2019. A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls. Plant Physiology. 180(2), 757–766.
View | DOI | Download (ext.) | 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.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6638   OA
Silva A, Arroyo Guevara AM, Richter B, Lee O. 2019. Graphs with at most one crossing. Discrete Mathematics.
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.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6676   OA
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2019. Why extension-based proofs fail. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing  - STOC 2019. SoCG 2019: Symposium on Computational Geometry 986–996.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6784   OA
Ruess J, Pleska M, Guet CC, Tkačik G. 2019. Molecular noise of innate immunity shapes bacteria-phage ecologies. PLoS Computational Biology. 15(7).
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.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6835   OA
Destagnol KN, Sofos E. 2019. Rational points and prime values of polynomials in moderately many variables. Bulletin des Sciences Mathematiques. 156, 102794.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885   OA
Chatterjee K, Henzinger TA, Otop J. 2019. Long-run average behavior of vector addition systems with states. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140. 27.
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.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6900   OA
Cepeda Humerez SA, Ruess J, Tkačik G. 2019. Estimating information in time-varying signals. PLoS computational biology. 15(9), e1007290.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6931   OA
Nowak T, Rybicki J. 2019. Byzantine approximate agreement on graphs. 33rd International Symposium on Distributed Computing. DISC: International Symposium on Distributed Computing, LIPIcs, vol. 146. 29:1--29:17.
View | Files available | DOI | 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.
View | Files available | DOI
 

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.
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.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6955   OA
Schmickler CH, Hammer H-W, Volosniev A. 2019. Universal physics of bound states of a few charged particles. Physics Letters B. 798, 135016.
View | Files available | DOI | arXiv
 

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(12), 124–130.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7097   OA
Nagano M, Toshima JY, Siekhaus DE, Toshima J. 2019. Rab5-mediated endosome formation is regulated at the trans-Golgi network. Communications Biology. 2(1), 419.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed