Please note that ISTA 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.

4895 Publications


2019 | Journal Article | IST-REx-ID: 6759 | OA
Jelínek V, Töpfer M. On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. 2019;26(3). doi:10.37236/8096
[Published Version] View | Files available | DOI | arXiv
 

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
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee K, Dvorák W, Henzinger MH, Svozil A. Near-linear time algorithms for Streett objectives in graphs and MDPs. In: Leibniz International Proceedings in Informatics. Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.7
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888 | OA
Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. Designing worm-inspired neural networks for interpretable robotic control. In: Proceedings - IEEE International Conference on Robotics and Automation. Vol 2019-May. IEEE; 2019. doi:10.1109/icra.2019.8793840
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.20
[Published Version] View | Files available | DOI | 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
[Published Version] View | Files available | DOI
 

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
[Published Version] View | Files available | DOI
 

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 für Informatik; 2019:29:1--29:17. doi:10.4230/LIPICS.DISC.2019.29
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985 | OA
Hasani R, Amini A, Lechner M, Naser F, Grosu R, Rus D. Response characterization for auditing cell dynamics in long short-term memory networks. In: Proceedings of the International Joint Conference on Neural Networks. IEEE; 2019. doi:10.1109/ijcnn.2019.8851954
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7007 | OA
Mondelli M, Hassani SH, Urbanke R. A new coding paradigm for the primitive relay channel. Algorithms. 2019;12(10). doi:10.3390/a12100218
[Published Version] View | Files available | DOI | arXiv
 

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.
[Submitted Version] View | Download Submitted Version (ext.)
 

2019 | Book (Editor) | IST-REx-ID: 7171
Kersting K, Lampert C, Rothkopf C, eds. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt. 1st ed. Wiesbaden: Springer Nature; 2019. doi:10.1007/978-3-658-26763-6
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7401 | OA
Fulek R, Kyncl J. Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In: 35th International Symposium on Computational Geometry (SoCG 2019). Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.SOCG.2019.39
[Published Version] View | Files available | DOI | arXiv
 

2019 | Book Chapter | IST-REx-ID: 7453 | OA
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Steffen B, Woeginger G, eds. Computing and Software Science. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 7550 | OA
Portinale L, Stefanelli U. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 2019;28(2):425-447.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 7552 | OA
Bialek W, Gregor T, Tkačik G. Action at a distance in transcriptional regulation. arXiv:191208579.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 61. EasyChair Publications; 2019:41-61. doi:10.29007/m75b
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 8175 | OA
Betea D, Bouttier J, Nejjar P, Vuletíc M. New edge asymptotics of skew Young diagrams via free boundaries. In: Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Formal Power Series and Algebraic Combinatorics; 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 8570 | OA
Althoff M, Bak S, Forets M, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics. In: EPiC Series in Computing. Vol 61. EasyChair; 2019:14-40. doi:10.29007/bj1w
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6819 | OA
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. 2019;12. doi:10.1186/s13104-019-4534-3
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9784 | OA
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. 2019. doi:10.6084/m9.figshare.9411761.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9839 | OA
Polechova J. Data from: Is the sky the limit? On the expansion threshold of a species’ range. 2019. doi:10.5061/dryad.5vv37
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Preprint | IST-REx-ID: 8305 | OA
Kokoris Kogias E, Spiegelman A, Malkhi D, Abraham I. Bootstrapping consensus without trusted setup: fully asynchronous distributed key generation. Cryptology ePrint Archive.
[Preprint] View | Download Preprint (ext.)
 

2019 | Conference Abstract | IST-REx-ID: 12901 | OA
Schlögl A, Kiss J, Elefante S. Is Debian suitable for running an HPC Cluster? In: AHPC19 - Austrian HPC Meeting 2019 . Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz; 2019:25.
[Published Version] View | Files available | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6989 | OA
Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. In: Proceedings of the 31st Canadian Conference on Computational Geometry. Canadian Conference on Computational Geometry; 2019:164-170.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

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
[Published Version] View | Files available | DOI | arXiv
 

2019 | Research Data Reference | IST-REx-ID: 9726
Ucar MC, Lipowsky R. Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding. 2019. doi:10.1021/acs.nanolett.9b04445.s001
[Published Version] View | Files available | DOI
 

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
[Published Version] 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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 80 | OA
Deuchert A, Seiringer R, Yngvason J. Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. 2019;368(2):723-776. doi:10.1007/s00220-018-3239-0
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 5911 | OA
Faria R, Johannesson K, Butlin RK, Westram AM. Evolving inversions. Trends in Ecology and Evolution. 2019;34(3):239-248. doi:10.1016/j.tree.2018.12.005
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 439 | OA
Hausel T, Mereb M, Wong M. Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. 2019;21(10):2995-3052. doi:10.4171/JEMS/896
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 105 | OA
Marsh A, Novarino G, Lockhart P, Leventer R. CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. 2019;27:161-166. doi:10.1038/s41431-018-0231-2
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 65 | OA
Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media equations. Journal of Differential Equations. 2019;266(6):3732-3763. doi:10.1016/j.jde.2018.09.012
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 5908 | OA
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
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

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 | WoS
 

2019 | Journal Article | IST-REx-ID: 5790 | OA
Chaplick S, Fulek R, Klavík P. Extending partial representations of circle graphs. Journal of Graph Theory. 2019;91(4):365-394. doi:10.1002/jgt.22436
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 405 | OA
Virosztek D. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 2019;576:67-78. doi:10.1016/j.laa.2018.03.002
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 175 | OA
Browning TD, Loughran D. Sieving rational points on varieties. Transactions of the American Mathematical Society. 2019;371(8):5757-5785. doi:10.1090/tran/7514
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 319 | OA
Gerencser M, Hairer M. Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. 2019;173(3-4):697–758. doi:10.1007/s00440-018-0841-1
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 429 | OA
Ajanki OH, Erdös L, Krüger TH. Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. 2019;173(1-2):293–373. doi:10.1007/s00440-018-0835-z
[Published Version] View | Files available | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 5947 | OA
Chatterjee B, Peri S, Sa M, Singhal N. A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries. In: ACM International Conference Proceeding Series. ACM; 2019:168-177. doi:10.1145/3288599.3288617
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 5857 | OA
Fulek R, Pach J. Thrackles: An improved upper bound. Discrete Applied Mathematics. 2019;259(4):266-231. doi:10.1016/j.dam.2018.12.025
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 5944 | OA
Corominas-Murtra B. Thermodynamics of duplication thresholds in synthetic protocell systems. Life. 2019;9(1). doi:10.3390/life9010009
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6029 | OA
Lindner M, Tresztenyak A, Fülöp G, et al. A fast and simple contact printing approach to generate 2D protein nanopatterns. Frontiers in Chemistry. 2019;6. doi:10.3389/fchem.2018.00655
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6028 | OA
Gerencser M, Hairer M. A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. 2019;72(9):1983-2005. doi:10.1002/cpa.21816
[Published Version] View | Files available | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 5948
Fu H, Chatterjee K. Termination of nondeterministic probabilistic programs. In: International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 11388. Springer Nature; 2019:468-490. doi:10.1007/978-3-030-11245-5_22
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 5945 | OA
Petkova MD, Tkačik 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
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 5943 | OA
Klotz L, Gumowski K, Wesfreid JE. Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. 2019;863:386-406. doi:10.1017/jfm.2018.974
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042 | OA
Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. Semantic fault localization and suspiciousness ranking. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 11427. Springer Nature; 2019:226-243. doi:10.1007/978-3-030-17462-0_13
[Published Version] View | Files available | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 6035 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox for set-based reachability. In: Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. Vol 22. ACM; 2019:39-44. doi:10.1145/3302504.3311804
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6052 | OA
Truckenbrodt SM, Sommer CM, Rizzoli SO, Danzl JG. A practical guide to optimization in X10 expansion microscopy. Nature Protocols. 2019;14(3):832–863. doi:10.1038/s41596-018-0117-3
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6022 | OA
Merrill RM, Rastas P, Martin SH, et al. Genetic dissection of assortative mating behavior. PLoS Biology. 2019;17(2). doi:10.1371/journal.pbio.2005902
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6023 | OA
Yoshida S, Van Der Schuren A, Van Dop M, et al. A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. 2019;5(2):160-166. doi:10.1038/s41477-019-0363-6
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Journal Article | IST-REx-ID: 6053 | OA
Kalaee M, Mirhosseini M, Dieterle PB, Peruzzo M, Fink JM, Painter O. Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. 2019;14(4):334–339. doi:10.1038/s41565-019-0377-2
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Journal Article | IST-REx-ID: 6050 | OA
Akopyan A, Fedorov R. Two circles and only a straightedge. Proceedings of the American Mathematical Society. 2019;147:91-102. doi:10.1090/proc/14240
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Research Data Reference | IST-REx-ID: 9801
Merrill RM, Rastas P, Martin SH, et al. Raw behavioral data. 2019. doi:10.1371/journal.pbio.2005902.s006
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6095 | OA
Faria R, Chaube P, Morales HE, et al. Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. 2019;28(6):1375-1393. doi:10.1111/mec.14972
[Published Version] View | Files available | DOI | WoS
 

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
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6091 | OA
Henderson NT, Le Marchand SJ, Hruska M, Hippenmeyer S, Luo L, Dalva MB. Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs. eLife. 2019;8. doi:10.7554/eLife.41563
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6046 | OA
Mitosch K, Rieckh G, Bollenbach MT. Temporal order and precision of complex stress responses in individual bacteria. Molecular systems biology. 2019;15(2). doi:10.15252/msb.20188470
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6105 | OA
Kutzer M, Kurtz J, Armitage SAO. A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. 2019;88(4):566-578. doi:10.1111/1365-2656.12953
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6088
Traxl A, Mairinger S, Filip T, et al. Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib. Molecular Pharmaceutics. 2019;16(3):1282-1293. doi:10.1021/acs.molpharmaceut.8b01217
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6087 | OA
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
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9806 | OA
Kutzer M, Kurtz J, Armitage SAO. Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. 2019. doi:10.5061/dryad.9kj41f0
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6086 | OA
Sadel C, Xu D. Singular analytic linear cocycles with negative infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems. 2019;39(4):1082-1098. doi:10.1017/etds.2017.52
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6104
Zwiewka M, Bielach A, Tamizhselvan P, et al. Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking. Plant and Cell Physiology. 2019;60(2):255-273. doi:10.1093/pcp/pcz001
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6191 | OA
Recho P, Hallou A, Hannezo EB. Theory of mechanochemical patterning in biphasic biological tissues. Proceedings of the National Academy of Sciences of the United States of America. 2019;116(12):5344-5349. doi:10.1073/pnas.1813255116
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6190 | OA
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
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6230 | OA
Barton NH, Hermisson J, Nordborg M. Why structure matters. eLife. 2019;8. doi:10.7554/eLife.45380
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6232 | OA
Gerencser M. Boundary regularity of stochastic PDEs. Annals of Probability. 2019;47(2):804-834. doi:10.1214/18-AOP1272
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6262 | OA
Rakusová H, Han H, Valošek P, Friml J. Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls. The Plant Journal. 2019;98(6):1048-1059. doi:10.1111/tpj.14301
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6297 | OA
Davies HS, Baranova NS, El Amri N, et al. An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments. Matrix Biology. 2019;78-79:47-59. doi:10.1016/j.matbio.2018.12.002
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6310 | OA
Browning TD, Hu LQ. Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. 2019;349:920-940. doi:10.1016/j.aim.2019.04.031
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6261 | OA
Wang Y, Gong Z, Friml J, Zhang J. Nitrate modulates the differentiation of root distal stem cells. Plant Physiology. 2019;180(1):22-25. doi:10.1104/pp.18.01305
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6352 | OA
Temnov AA, Rogov KA, Sklifas AN, et al. Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports. 2019. doi:10.1007/s11033-019-04765-z
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6348 | OA
Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. Resonant electro-optic frequency comb. Nature. 2019;568(7752):378-381. doi:10.1038/s41586-019-1110-x
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6338 | OA
Stella F, Baracskay P, O’Neill J, Csicsvari JL. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 2019;102:450-461. doi:10.1016/j.neuron.2019.01.052
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 5878 | OA
Budanur NB, Fleury M. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 2019;29(1). doi:10.1063/1.5058279
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6343
Schur FK. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. 2019;58(10):1-9. doi:10.1016/j.sbi.2019.03.018
View | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 6428 | OA
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
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6442 | OA
Schreck C, Hafner C, Wojtan C. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 2019;38(4). doi:10.1145/3306346.3323002
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6413 | OA
Song B, Plana C, Lopez Alonso JM, Avila M. Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. 2019;117:14-24. doi:10.1016/j.ijmultiphaseflow.2019.04.027
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6419 | OA
Pokusaeva V, Usmanova DR, Putintseva EV, et al. An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. 2019;15(4). doi:10.1371/journal.pgen.1008079
[Published Version] View | Files available | DOI | WoS
 

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
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6415
Cremer S. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 2019;33:63-68. doi:10.1016/j.cois.2019.03.011
View | DOI | WoS
 

2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva V, Usmanova DR, Putintseva EV, et al. Multiple alignment of His3 orthologues. 2019. doi:10.1371/journal.pgen.1008079.s010
[Published Version] View | Files available | DOI
 

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
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6477 | OA
Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 2019;91(2). doi:10.1103/revmodphys.91.021001
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6466 | OA
Field D, Fraisse C. Breaking down barriers in morning glories. Molecular ecology. 2019;28(7):1579-1581. doi:10.1111/mec.15048
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6465 | OA
Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 2019;10(1). doi:10.1038/s41467-019-09974-5
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6467 | OA
Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes. Biology Letters. 2019;15(4). doi:10.1098/rsbl.2018.0881
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6470 | OA
Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 2019;597(11):2925–2947. doi:10.1113/JP277681
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

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
[Published Version] View | Files available | DOI | WoS
 

2019 | Conference Poster | IST-REx-ID: 6485
Koval N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via Communicating Sequential Processes. ACM Press; 2019:417-418. doi:10.1145/3293883.3297000
View | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications