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.

2535 Publications


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

2019 | Journal Article | IST-REx-ID: 7205
Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin RK. Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. 2019. doi:10.1111/jeb.13570
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6377
Dejonghe W, Sharma I, Denoo B, et al. Disruption of endocytosis through chemical inhibition of clathrin heavy chain function. Nature Chemical Biology. 2019;15(6):641–649. doi:10.1038/s41589-019-0262-1
View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 7212
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Limits on amplifiers of natural selection under death-Birth updating. arXiv:190602785.
View | Files available
 

2019 | Thesis | IST-REx-ID: 6947
Assen FP. Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking. IST Austria; 2019. doi:10.15479/AT:ISTA:6947
View | Files available | DOI
 

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

2019 | Conference Paper | IST-REx-ID: 6428
Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2019:57-66. doi:10.1145/3302504.3311800
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
Hannezo EB, Heisenberg C-PJ. Mechanochemical feedback loops in development and disease. Cell. 2019;178(1):12-25. doi:10.1016/j.cell.2019.05.052
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6187   OA
Valosková K, Biebl J, Roblek M, et al. A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. eLife. 2019;8. doi:10.7554/elife.41801
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175   OA
Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of nondeterministic probabilistic programs. In: 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019). Association for Computing Machinery; 2019:204-220. doi:10.1145/3314221.3314581
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6808
Jahr W, Velicky P, Danzl JG. Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. doi:10.1016/j.ymeth.2019.07.019
View | 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: 6884   OA
Avni G, Henzinger TA, Zikelic D. Bidding mechanisms in graph games. In: Vol 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. 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. doi:10.4230/LIPICS.CONCUR.2019.6
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6473
Cepeda Humerez SA. Estimating Information Flow in Single Cells. IST Austria; 2019. doi:10.15479/AT:ISTA:6473
View | Files available | DOI
 

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: 6980   OA
Petridou N, Heisenberg C-PJ. Tissue rheology in embryonic organization. The EMBO Journal. 2019;38(20). doi:10.15252/embj.2019102497
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
Kopf A. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. IST Austria; 2019. doi:10.15479/AT:ISTA:6891
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf A, Sixt MK. The neural crest pitches in to remove apoptotic debris. Cell. 2019;179(1):51-53. doi:10.1016/j.cell.2019.08.047
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 | Journal Article | IST-REx-ID: 7109
Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata. Journal of the ACM. 2019;66(3). doi:10.1145/3286976
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer K, Akhmanova M, Konstantinova N, et al. Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. 2019;10. doi:10.1038/s41467-019-13543-1
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Kong H, Bartocci E, Jiang Y, Henzinger TA. 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). Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. Journal of the ACM. 2019;66(4). doi:10.1145/3340295
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Book Chapter | IST-REx-ID: 5793
Asaoka Y, Morita H, Furumoto H, Heisenberg C-PJ, Furutani-Seiki M. Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In: Hergovich A, ed. The Hippo Pathway. Vol 1893. Methods in Molecular Biology. Springer; 2019:167-181. doi:10.1007/978-1-4939-8910-2_14
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5887
Demay G, Gazi P, Maurer U, Tackmann B. Per-session security: Password-based cryptography revisited. Journal of Computer Security. 2019;27(1):75-111. doi:10.3233/JCS-181131
View | 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: 5680
Andalo C, Burrus M, Paute S, Lauzeral C, Field D. Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone. Botany Letters. 2019;166(1):80-92. doi:10.1080/23818107.2018.1545142
View | DOI
 

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 | Journal Article | IST-REx-ID: 6049   OA
De Martino D. Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. 2019;52(4). doi:10.1088/1751-8121/aaf2dd
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). doi:10.1038/s41377-019-0124-3
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6087
Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell. 2019;176(6):1379-1392.e14. doi:10.1016/j.cell.2019.01.019
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6190
Roblek M, Protsyuk D, Becker PF, et al. CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis. Molecular Cancer Research. 2019;17(3):783-793. doi:10.1158/1541-7786.MCR-18-0530
View | DOI | PubMed | Europe PMC
 

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 | 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 | Journal Article | IST-REx-ID: 6467
Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes. Biology Letters. 2019;15(4). doi:10.1098/rsbl.2018.0881
View | Files available | DOI | PubMed | Europe PMC
 

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 | 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: 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). 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). doi:10.1038/s41598-019-45579-0
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;4(7):1221–1230. doi:10.1038/s41564-019-0412-y
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6513
Guiu J, Hannezo EB, Yui S, et al. Tracing the origin of adult intestinal stem cells. Nature. 2019;570:107-111. doi:10.1038/s41586-019-1212-5
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6621
Wright AE, Darolti I, Bloch NI, et al. On the power to detect rare recombination events. Proceedings of the National Academy of Sciences of the United States of America. 2019;116(26):12607-12608. doi:10.1073/pnas.1905555116
View | 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;342(11):3201-3207. 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 | 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: 6710
Cossard G, Toups MA, Pannell J. Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb. Annals of botany. 2019;123(7):1119-1131. doi:10.1093/aob/mcy183
View | DOI | 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;3(1-2):29–58. doi:10.1007/s41468-019-00029-8
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: 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 | 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: 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:124-130. doi:10.1016/j.pbi.2019.08.006
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6830
Contreras X, Hippenmeyer S. Memo1 tiles the radial glial cell grid. Neuron. 2019;103(5):750-752. doi:10.1016/j.neuron.2019.08.021
View | DOI
 

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. doi:10.1016/j.bulsci.2019.102794
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6897
Zhu Q, Gallemi M, Pospíšil J, Žádníková P, Strnad M, Benková E. Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis. Development. 2019;146(17). doi:10.1242/dev.175919
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6979
Kopf A, Sixt MK. Gut homeostasis: Active migration of intestinal epithelial cells in tissue renewal. Current Biology. 2019;29(20):R1091-R1093. doi:10.1016/j.cub.2019.08.068
View | DOI | PubMed | Europe PMC
 

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. doi:10.1016/j.physletb.2019.135016
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6859
Zhou L, Sazanov LA. Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase. Science. 2019;365(6455). doi:10.1126/science.aaw9144
View | Files available | DOI | PubMed | Europe PMC
 

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

2019 | Journal Article | IST-REx-ID: 7100   OA
Jeblick M, Leopold NK, Pickl P. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Communications in Mathematical Physics. 2019;372(1):1-69. doi:10.1007/s00220-019-03599-x
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7105
Yolland L, Burki M, Marcotti S, et al. Persistent and polarized global actin flow is essential for directionality during cell migration. Nature Cell Biology. 2019;21(11):1370-1381. doi:10.1038/s41556-019-0411-5
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7009
Yamada K, Sixt MK. Mechanisms of 3D cell migration. Nature Reviews Molecular Cell Biology. 2019;20(12):738–752. doi:10.1038/s41580-019-0172-9
View | DOI | PubMed | Europe PMC
 

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

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 | Conference Paper | IST-REx-ID: 7213
Bhatia S, Chatterjee B, Nathani D, Kaul M. A persistent homology perspective to the link prediction problem. In: Complex Networks and Their Applications VIII. Vol 881. Springer Nature; 2019:27-39. doi:10.1007/978-3-030-36687-2_3
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7218
Dodier P, Winter F, Auzinger T, et al. Single-stage bone resection and cranioplastic reconstruction: Comparison of a novel software-derived PEEK workflow with the standard reconstructive method. International Journal of Oral and Maxillofacial Surgery. doi:10.1016/j.ijom.2019.11.011
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7220
Dodier P, Auzinger T, Mistelbauer G, et al. Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography. World Neurosurgery. doi:10.1016/j.wneu.2019.11.038
View | DOI | PubMed | Europe PMC
 

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

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

2019 | Journal Article | IST-REx-ID: 7143
Sinclair SA, Friml J. Defying gravity: a plant’s quest for moisture. Cell Research. 2019;29:965-966. doi:10.1038/s41422-019-0254-4
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7148
Nakamoto C, Konno K, Miyazaki T, et al. Expression mapping, quantification, and complex formation of GluD1 and GluD2 glutamate receptors in adult mouse brain. Journal of Comparative Neurology. 2019. doi:10.1002/cne.24792
View | DOI | PubMed | Europe PMC
 

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

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

2019 | Journal Article | IST-REx-ID: 7181   OA
Garriga E, Di Tommaso P, Magis C, et al. Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. 2019;37(12):1466-1470. doi:10.1038/s41587-019-0333-6
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7179
Klotz L, Wendler O, Frischknecht R, Shigemoto R, Schulze H, Enz R. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB journal. 2019;33(12):13734-13746. doi:10.1096/fj.201901543R
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6486
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 | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7340   OA
Amin-Wetzel NP, Neidhardt L, Yan Y, Mayer MP, Ron D. Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. eLife. 2019;8. doi:10.7554/eLife.50793
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5945
Petkova MD, Tkacik G, Bialek W, Wieschaus EF, Gregor T. Optimal decoding of cellular identities in a genetic network. Cell. 2019;176(4):844-855.e15. doi:10.1016/j.cell.2019.01.007
View | Files available | DOI
 

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

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

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). doi:10.1145/3290366
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6455
Telley L, Agirman G, Prados J, et al. Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex. Science. 2019;364(6440). doi:10.1126/science.aav2522
View | Files available | DOI | PubMed | Europe PMC
 

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: 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: 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 | 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. doi:10.1109/BLOC.2019.8751326
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. doi:10.4230/LIPICS.CONCUR.2019.27
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328
Renkawitz J, Kopf A, Stopp JA, et al. Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. 2019;568:546-550. doi:10.1038/s41586-019-1087-5
View | Files available | DOI
 

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: 7232
Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4
View | DOI
 

2019 | Journal Article | IST-REx-ID: 27   OA
Amberg N, Laukoter S, Hippenmeyer S. Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. 2019;149(1):12-26. doi:10.1111/jnc.14601
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 301   OA
Gerencser M, Gyöngy I. A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and their Applications. 2019;129(3):995-1012. doi:10.1016/j.spa.2018.04.003
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5908
Lee E, Vanneste S, Pérez-Sancho J, et al. Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SYT1 contact site expansion in Arabidopsis. Proceedings of the National Academy of Sciences of the United States of America. 2019;116(4):1420-1429. doi:10.1073/pnas.1818099116
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed