Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5046 Publications

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: 9460 | OA
Kim MY, Ono A, Scholten S, et al. DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm. Proceedings of the National Academy of Sciences. 2019;116(19):9652-9657. doi:10.1073/pnas.1821435116
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
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 | Journal Article | IST-REx-ID: 9530 | OA
Harris KD, Lloyd JPB, Domb K, Zilberman D, Zemach A. DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development. Epigenetics and Chromatin. 2019;12. doi:10.1186/s13072-019-0307-4
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 12192 | OA
He S, Vickers M, Zhang J, Feng X. Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation. eLife. 2019;8. doi:10.7554/elife.42530
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 12190
Lawrence EJ, Gao H, Tock AJ, et al. Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis. Current Biology. 2019;29(16):2676-2686.e3. doi:10.1016/j.cub.2019.06.084
View | DOI | PubMed | Europe PMC
 
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
 

Search

Filter Publications