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: 7161
Y. Shehu, A. Gibali, and S. Sagratella, “Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces,” Journal of Optimization Theory and Applications, 2019.
View | DOI
 

2019 | Preprint | IST-REx-ID: 7084   OA
S. Ghosh et al., “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: 7128   OA
C. Torrini et al., “Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation,” Cell Reports, vol. 27, no. 9, p. 2759–2771.e5, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7130   OA
R. J. Cubero, J. Jo, M. Marsili, Y. Roudi, and J. Song, “Statistical criticality arises in most informative representations,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2019, no. 6, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7010
H. S. Davies et al., “Blood cell-vessel wall interactions probed by reflection interference contrast microscopy,” in Advances in Microscopic Imaging II, Munich, Germany, 2019, vol. 11076.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7015   OA
M. Lewin, E. H. Lieb, and R. Seiringer, “Floating Wigner crystal with no boundary charge fluctuations,” Physical Review B, vol. 100, no. 3, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985   OA
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7197   OA
P. R. Dos Santos Caldas, M. D. Lopez Pelegrin, D. J. G. Pearce, N. B. Budanur, J. Brugués, and M. Loose, “Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA,” Nature Communications, vol. 10, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7200   OA
P. Brighi, M. Grilli, B. Leridon, and S. Caprara, “Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films,” Physical Review B, vol. 100, no. 17, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7205
K. Johannesson, Z. Zagrodzka, R. Faria, A. M. Westram, and R. K. Butlin, “Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?,” Journal of Evolutionary Biology, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6377
W. Dejonghe et al., “Disruption of endocytosis through chemical inhibition of clathrin heavy chain function,” Nature Chemical Biology, vol. 15, no. 6, pp. 641–649, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947
F. P. Assen, Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5886   OA
X. Li, G. Bighin, E. Yakaboylu, and M. Lemeshko, “Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon,” Molecular Physics, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6428
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
E. B. Hannezo and C.-P. J. Heisenberg, “Mechanochemical feedback loops in development and disease,” Cell, vol. 178, no. 1, pp. 12–25, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6808
W. Jahr, P. Velicky, and J. G. Danzl, “Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens,” Methods.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, and V. Toman, “Strategy representation by decision trees with linear classifiers,” in 16th International Conference on Quantitative Evaluation of Systems, Glasgow, United Kingdom, 2019, vol. 11785, pp. 109–128.
View | DOI | Download (ext.) | arXiv
 

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

2019 | Thesis | IST-REx-ID: 6891
A. Kopf, The implication of cytoskeletal dynamics on leukocyte migration. IST Austria, 2019.
View | Files available | DOI
 

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

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

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

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

2019 | Journal Article | IST-REx-ID: 7180   OA
K. Retzer et al., “Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter,” Nature Communications, vol. 10, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

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

2019 | Journal Article | IST-REx-ID: 6752
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” Journal of the ACM, vol. 66, no. 4, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
W.-J. Kwak et al., “Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries,” ACS Catalysis, vol. 9, no. 11, pp. 9914–9922, 2019.
View | DOI
 

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

2019 | Research Data | IST-REx-ID: 6062   OA
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
M. A. Toups, N. Rodrigues, N. Perrin, and M. Kirkpatrick, “A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog,” Molecular Ecology, vol. 28, no. 8, pp. 1877–1889, 2019.
View | DOI | PubMed | Europe PMC
 

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

2019 | Journal Article | IST-REx-ID: 7399   OA
D. Andergassen et al., “The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes,” PLOS Genetics, vol. 15, no. 7, p. e1008268, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7414
L. Knaus, D.-C. Tarlungeanu, and G. Novarino, “S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly,” European Neuropsychopharmacology, vol. 29, no. Supplement 6, p. S11, 2019.
View | DOI
 

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

2019 | Journal Article | IST-REx-ID: 7476   OA
M. S. Andersen et al., “Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states,” Nature Cell Biology, vol. 21, no. 8, pp. 924–932, 2019.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

2019 | Thesis | IST-REx-ID: 6269   OA
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
T. D. Browning and L. Q. Hu, “Counting rational points on biquadratic hypersurfaces,” Advances in Mathematics, vol. 349, pp. 920–940, 2019.
View | Files available | DOI | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 5906
A. Goremykina, R. Vasseur, and M. Serbyn, “Analytically solvable renormalization group for the many-body localization transition,” Physical Review Letters, vol. 122, no. 4, p. 040601, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6187   OA
K. Valosková et al., “A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion,” eLife, vol. 8, p. e41801, 2019.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 5817
B. Kavcic, A. Sakashita, H. Noguchi, and P. Ziherl, “Limiting shapes of confined lipid vesicles,” Soft Matter, vol. 15, no. 4, pp. 602–614, 2019.
View | DOI
 

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

2019 | Research Data | IST-REx-ID: 6074
C. Dotter and 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
K. Käfer et al., “Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization,” Hippocampus, vol. 29, no. 9, pp. 802–816, 2019.
View | Files available | DOI
 

2019 | Book Chapter | IST-REx-ID: 5793
Y. Asaoka, H. Morita, H. Furumoto, C.-P. J. Heisenberg, and M. Furutani-Seiki, “Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids,” in The hippo pathway, vol. 1893, A. Hergovich, Ed. Springer, 2019, pp. 167–181.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed