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: 6726 | OA
Walter, Michael. “Sampling the Integers with Low Relative Error.” Progress in Cryptology – AFRICACRYPT 2019, edited by J Buchmann et al., vol. 11627, Springer Nature, 2019, pp. 157–80, doi:10.1007/978-3-030-23696-0_9.
[Preprint] View | DOI | Download Preprint (ext.)
 
2019 | Journal Article | IST-REx-ID: 6750 | OA
Hashemi, Seyyed Ali, et al. “Rate-Flexible Fast Polar Decoders.” IEEE Transactions on Signal Processing, vol. 67, no. 22, 8854897, IEEE, 2019, doi:10.1109/TSP.2019.2944738.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6759 | OA
Jelínek, Vít, and Martin Töpfer. “On Grounded L-Graphs and Their Relatives.” Electronic Journal of Combinatorics, vol. 26, no. 3, P3.17, Electronic Journal of Combinatorics, 2019, doi:10.37236/8096.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6822 | OA
Avni, Guy, et al. “Bidding Games on Markov Decision Processes.” Proceedings of the 13th International Conference of Reachability Problems, vol. 11674, Springer, 2019, pp. 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, Krishnendu, et al. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” Leibniz International Proceedings in Informatics, vol. 140, 7, 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, Mathias, et al. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” Proceedings - IEEE International Conference on Robotics and Automation, vol. 2019–May, 8793840, IEEE, 2019, doi:10.1109/icra.2019.8793840.
[Submitted Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, Milad, et al. Determinacy in Discrete-Bidding Infinite-Duration Games. Vol. 140, 20, 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, Krishnendu, et al. Long-Run Average Behavior of Vector Addition Systems with States. Vol. 140, 27, 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, Krishnendu, and Nir Piterman. Combinations of Qualitative Winning for Stochastic Parity Games. Vol. 140, 6, 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, Thomas, and Joel Rybicki. “Byzantine Approximate Agreement on Graphs.” 33rd International Symposium on Distributed Computing, vol. 146, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 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, Ramin, et al. “Response Characterization for Auditing Cell Dynamics in Long Short-Term Memory Networks.” Proceedings of the International Joint Conference on Neural Networks, 8851954, IEEE, 2019, doi:10.1109/ijcnn.2019.8851954.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7007 | OA
Mondelli, Marco, et al. “A New Coding Paradigm for the Primitive Relay Channel.” Algorithms, vol. 12, no. 10, 218, MDPI, 2019, doi:10.3390/a12100218.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7035 | OA
Geher, Gyorgy Pal, et al. “Dirac Masses and Isometric Rigidity.” Kyoto RIMS Kôkyûroku, vol. 2125, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
[Submitted Version] View | Download Submitted Version (ext.)
 
2019 | Book (Editor) | IST-REx-ID: 7171
Kersting, Kristian, et al., editors. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt. 1st ed., Springer Nature, 2019, doi:10.1007/978-3-658-26763-6.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7401 | OA
Fulek, Radoslav, and Jan Kyncl. “Z_2-Genus of Graphs and Minimum Rank of Partial Symmetric Matrices.” 35th International Symposium on Computational Geometry (SoCG 2019), vol. 129, 39, 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, Rajeev, et al. “Continuous-Time Models for System Design and Analysis.” Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, vol. 10000, Springer Nature, 2019, pp. 452–77, 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, Lorenzo, and Ulisse Stefanelli. “Penalization via Global Functionals of Optimal-Control Problems for Dissipative Evolution.” Advances in Mathematical Sciences and Applications, vol. 28, no. 2, Gakko Tosho, 2019, pp. 425–47.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Preprint | IST-REx-ID: 7552 | OA
Bialek, William, et al. “Action at a Distance in Transcriptional Regulation.” ArXiv:1912.08579, ArXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 61, EasyChair Publications, 2019, pp. 41–61, doi:10.29007/m75b.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 8175 | OA
Betea, Dan, et al. “New Edge Asymptotics of Skew Young Diagrams via Free Boundaries.” Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, 34, Formal Power Series and Algebraic Combinatorics, 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 8570 | OA
Althoff, Matthias, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.” EPiC Series in Computing, vol. 61, EasyChair, 2019, pp. 14–40, doi:10.29007/bj1w.
[Published Version] View | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 9460 | OA
Kim, M. Yvonne, et al. “DNA Demethylation by ROS1a in Rice Vegetative Cells Promotes Methylation in Sperm.” Proceedings of the National Academy of Sciences, vol. 116, no. 19, National Academy of Sciences, 2019, pp. 9652–57, doi:10.1073/pnas.1821435116.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6819 | OA
Antoniou, Michael N., et al. “Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” BMC Research Notes, vol. 12, 494, BioMed Central, 2019, 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, Michael N., et al. MOESM1 of Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells. Springer Nature, 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, Jitka. Data from: Is the Sky the Limit? On the Expansion Threshold of a Species’ Range. Dryad, 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, Keith D., et al. “DNA Methylation Is Maintained with High Fidelity in the Honey Bee Germline and Exhibits Global Non-Functional Fluctuations during Somatic Development.” Epigenetics and Chromatin, vol. 12, 62, Springer Nature, 2019, 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, Shengbo, et al. “Natural Depletion of Histone H1 in Sex Cells Causes DNA Demethylation, Heterochromatin Decondensation and Transposon Activation.” ELife, vol. 8, 42530, eLife Sciences Publications, Ltd, 2019, doi:10.7554/elife.42530.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 12190
Lawrence, Emma J., et al. “Natural Variation in TBP-ASSOCIATED FACTOR 4b Controls Meiotic Crossover and Germline Transcription in Arabidopsis.” Current Biology, vol. 29, no. 16, Elsevier BV, 2019, p. 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, Alois, et al. “Is Debian Suitable for Running an HPC Cluster?” AHPC19 - Austrian HPC Meeting 2019 , Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019, p. 25.
[Published Version] View | Files available | Download Published Version (ext.)
 
2019 | Conference Paper | IST-REx-ID: 6989 | OA
Aichholzer, Oswin, et al. “Folding Polyominoes with Holes into a Cube.” Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–70.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6884 | OA
Avni, Guy, et al. Bidding Mechanisms in Graph Games. Vol. 138, 11, 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, Mehmet C., and Reinhard Lipowsky. Supplementary Information - Collective Force Generation by Molecular Motors Is Determined by Strain-Induced Unbinding. American Chemical Society , 2019, doi:10.1021/acs.nanolett.9b04445.s001.
[Published Version] View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6671 | OA
Boissonnat, Jean-Daniel, et al. “The Reach, Metric Distortion, Geodesic Convexity and the Variation of Tangent Spaces.” Journal of Applied and Computational Topology, vol. 3, no. 1–2, Springer Nature, 2019, pp. 29–58, doi:10.1007/s41468-019-00029-8.
[Published Version] View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 301 | OA
Gerencser, Mate, and István Gyöngy. “A Feynman–Kac Formula for Stochastic Dirichlet Problems.” Stochastic Processes and Their Applications, vol. 129, no. 3, Elsevier, 2019, pp. 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, Andreas, et al. “Bose–Einstein Condensation in a Dilute, Trapped Gas at Positive Temperature.” Communications in Mathematical Physics, vol. 368, no. 2, Springer, 2019, pp. 723–76, doi:10.1007/s00220-018-3239-0.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 5911 | OA
Faria, Rui, et al. “Evolving Inversions.” Trends in Ecology and Evolution, vol. 34, no. 3, Elsevier, 2019, pp. 239–48, doi:10.1016/j.tree.2018.12.005.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 439 | OA
Hausel, Tamás, et al. “Arithmetic and Representation Theory of Wild Character Varieties.” Journal of the European Mathematical Society, vol. 21, no. 10, European Mathematical Society, 2019, pp. 2995–3052, doi:10.4171/JEMS/896.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 105 | OA
Marsh, Ashley, et al. “CUGC for Pontocerebellar Hypoplasia Type 9 and Spastic Paraplegia-63.” European Journal of Human Genetics, vol. 27, Springer Nature, 2019, pp. 161–66, 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, Konstantinos, et al. “Entropy Solutions for Stochastic Porous Media Equations.” Journal of Differential Equations, vol. 266, no. 6, Elsevier, 2019, pp. 3732–63, 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éka, et al. “N-Glycans of the Microalga Chlorella Vulgaris Are of the Oligomannosidic Type but Highly Methylated.” Scientific Reports, vol. 9, no. 1, 331, Nature Publishing Group, 2019, doi:10.1038/s41598-018-36884-1.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 5908 | OA
Lee, Eunkyoung, 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, vol. 116, no. 4, National Academy of Sciences, 2019, pp. 1420–29, 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, Christophe, et al. “Prevalence of Legitimate Pollinators and Nectar Robbers and the Consequences for Fruit Set in an Antirrhinum Majus Hybrid Zone.” Botany Letters, vol. 166, no. 1, Taylor and Francis, 2019, pp. 80–92, doi:10.1080/23818107.2018.1545142.
View | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 5790 | OA
Chaplick, Steven, et al. “Extending Partial Representations of Circle Graphs.” Journal of Graph Theory, vol. 91, no. 4, Wiley, 2019, pp. 365–94, doi:10.1002/jgt.22436.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 405 | OA
Virosztek, Daniel. “Jointly Convex Quantum Jensen Divergences.” Linear Algebra and Its Applications, vol. 576, Elsevier, 2019, pp. 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, Timothy D., and Daniel Loughran. “Sieving Rational Points on Varieties.” Transactions of the American Mathematical Society, vol. 371, no. 8, American Mathematical Society, 2019, pp. 5757–85, doi:10.1090/tran/7514.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 319 | OA
Gerencser, Mate, and Martin Hairer. “Singular SPDEs in Domains with Boundaries.” Probability Theory and Related Fields, vol. 173, no. 3–4, Springer, 2019, pp. 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, Oskari H., et al. “Stability of the Matrix Dyson Equation and Random Matrices with Correlations.” Probability Theory and Related Fields, vol. 173, no. 1–2, Springer, 2019, pp. 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, Bapi, et al. “A Simple and Practical Concurrent Non-Blocking Unbounded Graph with Linearizable Reachability Queries.” ACM International Conference Proceeding Series, ACM, 2019, pp. 168–77, doi:10.1145/3288599.3288617.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 5857 | OA
Fulek, Radoslav, and János Pach. “Thrackles: An Improved Upper Bound.” Discrete Applied Mathematics, vol. 259, no. 4, Elsevier, 2019, pp. 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, Bernat. “Thermodynamics of Duplication Thresholds in Synthetic Protocell Systems.” Life, vol. 9, no. 1, 9, MDPI, 2019, doi:10.3390/life9010009.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications