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.

5497 Publications


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 | Thesis | IST-REx-ID: 6891
The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
The neural crest pitches in to remove apoptotic debris
A. Kopf, M.K. Sixt, Cell 179 (2019) 51–53.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7109
From real-time logic to timed automata
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View | DOI
 

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 | Journal Article | IST-REx-ID: 6752
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6194
The entorhinal cognitive map is attracted to goals
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
View | Files available | DOI
 

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 | Journal Article | IST-REx-ID: 7421
A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog
M.A. Toups, N. Rodrigues, N. Perrin, M. Kirkpatrick, Molecular Ecology 28 (2019) 1877–1889.
View | DOI | PubMed | Europe PMC
 

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: 7414
S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly
L. Knaus, D.-C. Tarlungeanu, G. Novarino, European Neuropsychopharmacology 29 (2019) S11.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7394
Editorial overview: Cell biology in the era of omics?
E. Benková, Y. Dagdas, Current Opinion in Plant Biology 52 (2019) A1–A2.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7476   OA
Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states
M.S. Andersen, E.B. Hannezo, S. Ulyanchenko, S. Estrach, Y. Antoku, S. Pisano, K.E. Boonekamp, S. Sendrup, M. Maimets, M.T. Pedersen, J.V. Johansen, D.L. Clement, C.C. Feral, B.D. Simons, K.B. Jensen, Nature Cell Biology 21 (2019) 924–932.
View | DOI | Download (ext.) | 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: 5906
Analytically solvable renormalization group for the many-body localization transition
A. Goremykina, R. Vasseur, M. Serbyn, Physical Review Letters 122 (2019) 040601.
View | DOI
 

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: 5817
Limiting shapes of confined lipid vesicles
B. Kavcic, A. Sakashita, H. Noguchi, P. Ziherl, Soft Matter 15 (2019) 602–614.
View | DOI
 

2019 | Thesis | IST-REx-ID: 6473
Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, IST Austria, 2019.
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6074
Supplementary data for the research paper "Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition"
C. Dotter, G. Novarino, Supplementary Data for the Research Paper “Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental Gene Expression and Cognition,” IST Austria, 2019.
View | Files available | DOI
 

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 | Book Chapter | IST-REx-ID: 5793
Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids
Y. Asaoka, H. Morita, H. Furumoto, C.-P.J. Heisenberg, M. Furutani-Seiki, in:, A. Hergovich (Ed.), The Hippo Pathway, Springer, 2019, pp. 167–181.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5887
Per-session security: Password-based cryptography revisited
G. Demay, P. Gazi, U. Maurer, B. Tackmann, Journal of Computer Security 27 (2019) 75–111.
View | 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: 5680
Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone
C. Andalo, M. Burrus, S. Paute, C. Lauzeral, D. Field, Botany Letters 166 (2019) 80–92.
View | 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: 6087
Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity
P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6190
CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis
M. Roblek, D. Protsyuk, P.F. Becker, C. Stefanescu, C. Gorzelanny, J.F. Glaus Garzon, L. Knopfova, M. Heikenwalder, B. Luckow, S.W. Schneider, L. Borsig, Molecular Cancer Research 17 (2019) 783–793.
View | DOI | PubMed | Europe PMC
 

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 | Thesis | IST-REx-ID: 6392
Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
View | Files available | DOI
 

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: 6513
Tracing the origin of adult intestinal stem cells
J. Guiu, E.B. Hannezo, S. Yui, S. Demharter, S. Ulyanchenko, M. Maimets, A. Jørgensen, S. Perlman, L. Lundvall, L.S. Mamsen, A. Larsen, R.H. Olesen, C.Y. Andersen, L.L. Thuesen, K.J. Hare, T.H. Pers, K. Khodosevich, B.D. Simons, K.B. Jensen, Nature 570 (2019) 107–111.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6621
On the power to detect rare recombination events
A.E. Wright, I. Darolti, N.I. Bloch, V. Oostra, B.A. Sandkam, S.D. Buechel, N. Kolm, F. Breden, B. Vicoso, J.E. Mank, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 12607–12608.
View | DOI
 

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: 6710
Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb
G. Cossard, M.A. Toups, J. Pannell, Annals of Botany 123 (2019) 1119–1131.
View | 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: 6830
Memo1 tiles the radial glial cell grid
X. Contreras, S. Hippenmeyer, Neuron 103 (2019) 750–752.
View | DOI
 

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: 6897
Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis
Q. Zhu, M. Gallemi, J. Pospíšil, P. Žádníková, M. Strnad, E. Benková, Development 146 (2019).
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6979
Gut homeostasis: Active migration of intestinal epithelial cells in tissue renewal
A. Kopf, M.K. Sixt, Current Biology 29 (2019) R1091–R1093.
View | DOI | PubMed | Europe PMC
 

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: 6859 View | Files available | DOI | PubMed | Europe PMC
 

2019 | Preprint | IST-REx-ID: 7085   OA
Scale-invariance of a spin liquid in high magnetic fields
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, ArXiv:1901.09245 (n.d.).
View | Download (ext.) | 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 | Journal Article | IST-REx-ID: 7105
Persistent and polarized global actin flow is essential for directionality during cell migration
L. Yolland, M. Burki, S. Marcotti, A. Luchici, F.N. Kenny, J.R. Davis, E. Serna-Morales, J. Müller, M.K. Sixt, A. Davidson, W. Wood, L.J. Schumacher, R.G. Endres, M. Miodownik, B.M. Stramer, Nature Cell Biology 21 (2019) 1370–1381.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7009
Mechanisms of 3D cell migration
K. Yamada, M.K. Sixt, Nature Reviews Molecular Cell Biology 20 (2019) 738–752.
View | DOI | PubMed | Europe PMC
 

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 | Conference Paper | IST-REx-ID: 7213
A persistent homology perspective to the link prediction problem
S. Bhatia, B. Chatterjee, D. Nathani, M. Kaul, in:, Complex Networks and Their Applications VIII, Springer Nature, 2019, pp. 27–39.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7218
Single-stage bone resection and cranioplastic reconstruction: Comparison of a novel software-derived PEEK workflow with the standard reconstructive method
P. Dodier, F. Winter, T. Auzinger, G. Mistelbauer, J.M. Frischer, W.T. Wang, A. Mallouhi, W. Marik, S. Wolfsberger, L. Reissig, F. Hammadi, C. Matula, A. Baumann, G. Bavinzski, International Journal of Oral and Maxillofacial Surgery (n.d.).
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7220
Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography
P. Dodier, T. Auzinger, G. Mistelbauer, W.T. Wang, H. Ferraz-Leite, A. Gruber, W. Marik, F. Winter, G. Fischer, J.M. Frischer, G. Bavinzski, World Neurosurgery (n.d.).
View | DOI | PubMed | Europe PMC
 

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: 7143
Defying gravity: a plant's quest for moisture
S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7148
Expression mapping, quantification, and complex formation of GluD1 and GluD2 glutamate receptors in adult mouse brain
C. Nakamoto, K. Konno, T. Miyazaki, E. Nakatsukasa, R. Natsume, M. Abe, M. Kawamura, Y. Fukazawa, R. Shigemoto, M. Yamasaki, K. Sakimura, M. Watanabe, Journal of Comparative Neurology (2019).
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7150   OA
Algebraic methods in the congested clique
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, J. Suomela, Distributed Computing 32 (2019) 461–478.
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: 7179
Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, R. Enz, FASEB Journal 33 (2019) 13734–13746.
View | DOI | PubMed | Europe PMC
 

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

2019 | Journal Article | IST-REx-ID: 5945
Optimal decoding of cellular identities in a genetic network
M.D. Petkova, G. Tkacik, W. Bialek, E.F. Wieschaus, T. Gregor, Cell 176 (2019) 844–855.e15.
View | Files available | DOI
 

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 | Journal Article | IST-REx-ID: 6455
Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex
L. Telley, G. Agirman, J. Prados, N. Amberg, S. Fièvre, P. Oberst, G. Bartolini, I. Vitali, C. Cadilhac, S. Hippenmeyer, L. Nguyen, A. Dayer, D. Jabaudon, Science 364 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

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
 

2019 | Conference Paper | IST-REx-ID: 6885   OA
Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328
Nuclear positioning facilitates amoeboid migration along the path of least resistance
J. Renkawitz, A. Kopf, J.A. Stopp, I. de Vries, M.K. Driscoll, J. Merrin, R. Hauschild, E.S. Welf, G. Danuser, R. Fiolka, M.K. Sixt, Nature 568 (2019) 546–550.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 59–75.
View | DOI
 

2019 | Thesis | IST-REx-ID: 7186   OA
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, IST Austria, 2019.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 7275   OA
Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries
E. Mourad, Y.K. Petit, R. Spezia, A. Samojlov, F.F. Summa, C. Prehal, C. Leypold, N. Mahne, C. Slugovc, O. Fontaine, S. Brutti, S.A. Freunberger, Energy & Environmental Science 12 (2019) 2559–2568.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7282
Interphase identity crisis
S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7422   OA
eGFRD in all dimensions
T.R. Sokolowski, J. Paijmans, L. Bossen, T. Miedema, M. Wehrens, N.B. Becker, K. Kaizu, K. Takahashi, M. Dogterom, P.R. ten Wolde, The Journal of Chemical Physics 150 (2019) 054108.
View | DOI | Download (ext.) | arXiv
 

2019 | Book Chapter | IST-REx-ID: 7410
Mechanisms of zebrafish epiboly: A current view
A.E.E. Bruce, C.-P.J. Heisenberg, in:, L. Solnica-Krezel (Ed.), Gastrulation: From Embryonic Pattern to Form, Elsevier, 2019, pp. 319–341.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7395   OA
Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk
J.A. Letts, K. Fiedorczuk, G. Degliesposti, M. Skehel, L.A. Sazanov, Molecular Cell 75 (2019) 1131–1146.e6.
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed