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
Strategy representation by decision trees with linear classifiers
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
View | DOI | Download (ext.) | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 7180   OA
Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 123–141.
View | DOI | Download (ext.) | arXiv
 

2019 | Research Data | IST-REx-ID: 6062   OA
Supplementary Code and Data for the paper "The Entorhinal Cognitive Map is Attracted to Goals"
M. Nardin, Supplementary Code and Data for the Paper “The Entorhinal Cognitive Map Is Attracted to Goals,” IST Austria, 2019.
View | Files available | DOI
 

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

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

2019 | Journal Article | IST-REx-ID: 7034   OA
Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4
R. Fulek, J. Kynčl, Combinatorica 39 (2019) 1267–1279.
View | DOI | Download (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6269   OA
Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6310   OA
Counting rational points on biquadratic hypersurfaces
T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6240   OA
Location of the spectrum of Kronecker random matrices
J. Alt, L. Erdös, T.H. Krüger, Y. Nemish, Annales de l’institut Henri Poincare 55 (2019) 661–696.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6187   OA
A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion
K. Valosková, J. Biebl, M. Roblek, S. Emtenani, A. György, M. Misova, A. Ratheesh, P. Rodrigues, K. Shkarina, I.S.B. Larsen, S.Y. Vakhrushev, H. Clausen, D.E. Siekhaus, ELife 8 (2019) e41801.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175   OA
Cost analysis of nondeterministic probabilistic programs
P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi, in:, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–220.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 5949   OA
Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
View | Files available | DOI
 

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

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

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

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

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

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

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

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

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

2019 | Journal Article | IST-REx-ID: 6657   OA View | Files available | DOI
 

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

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

2019 | Journal Article | IST-REx-ID: 6671   OA
The reach, metric distortion, geodesic convexity and the variation of tangent spaces
J.-D. Boissonnat, A. Lieutier, M. Wintraecken, Journal of Applied and Computational Topology 3 (2019) 29–58.
View | Files available | DOI
 

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

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

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

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

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

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

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

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

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

2019 | Journal Article | IST-REx-ID: 7004   OA
Cohomological Hall algebras, vertex algebras and instantons
M. Rapcak, Y. Soibelman, Y. Yang, G. Zhao, Communications in Mathematical Physics (2019).
View | DOI | Download (ext.) | arXiv
 

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

2019 | Conference Paper | IST-REx-ID: 7136   OA
Strong chain rules for min-entropy under few bits spoiled
M. Skórski, in:, 2019 IEEE International Symposium on Information Theory, IEEE, 2019.
View | DOI | Download (ext.) | arXiv
 

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

2019 | Conference Paper | IST-REx-ID: 7201   OA
SparCML: High-performance sparse communication for machine learning
C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, T. Hoefler, in:, International Conference for High Performance Computing, Networking, Storage and Analysis, SC, ACM, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7181   OA
Large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7340   OA View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5678   OA
Poisson–Delaunay Mosaics of Order k
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry 62 (2019) 865–878.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5856   OA
Energy contribution of a point-interacting impurity in a Fermi gas
T. Moser, R. Seiringer, Annales Henri Poincare 20 (2019) 1325–1365.
View | Files available | DOI | arXiv
 

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

2019 | Conference Paper | IST-REx-ID: 6462   OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
View | Files available | DOI
 

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

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

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed