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.
2030 Publications
2019 |
Published |
Book Chapter |
IST-REx-ID: 6726 |
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.)
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 6756 |
Pranav, Pratyush, et al. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” Astronomy and Astrophysics, vol. 627, A163, EDP Sciences, 2019, doi:10.1051/0004-6361/201834916.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 6819 |
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 |
Published |
Conference Paper |
IST-REx-ID: 6822 |
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
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 6832
Krndija, Denis, et al. “Active Cell Migration Is Critical for Steady-State Epithelial Turnover in the Gut.” Science, vol. 365, no. 6454, American Association for the Advancement of Science, 2019, pp. 705–10, doi:10.1126/science.aau3429.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6837
Tavano, Ste, and Carl-Philipp J. Heisenberg. “Migrasomes Take Center Stage.” Nature Cell Biology, vol. 21, no. 8, Springer Nature, 2019, pp. 918–20, doi:10.1038/s41556-019-0369-3.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6894 |
Giacobbe, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6894.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 6931 |
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 |
Published |
Conference Paper |
IST-REx-ID: 6942 |
Ashok, Pranav, et al. “Strategy Representation by Decision Trees with Linear Classifiers.” 16th International Conference on Quantitative Evaluation of Systems, vol. 11785, Springer Nature, 2019, pp. 109–28, doi:10.1007/978-3-030-30281-8_7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 6972 |
Lenzen, Christoph, and Joel Rybicki. “Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.” Journal of the ACM, vol. 66, no. 5, 32, ACM, 2019, doi:10.1145/3339471.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |
Published |
Book Chapter |
IST-REx-ID: 6987 |
McDougall, Alex, et al. “Emergence of Embryo Shape during Cleavage Divisions.” Evo-Devo: Non-Model Species in Cell and Developmental Biology, edited by Waclaw Tworzydlo and Szczepan M. Bilinski, vol. 68, Springer Nature, 2019, pp. 127–54, doi:10.1007/978-3-030-23459-1_6.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6999 |
Huang, D., et al. “Salicylic Acid-Mediated Plasmodesmal Closure via Remorin-Dependent Lipid Organization.” Proceedings of the National Academy of Sciences of the United States of America, vol. 116, no. 42, National Academy of Sciences, 2019, pp. 21274–84, doi:10.1073/pnas.1911892116.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 7093 |
Huszár, Kristóf, et al. “On the Treewidth of Triangulated 3-Manifolds.” Journal of Computational Geometry, vol. 10, no. 2, Computational Geometry Laborartoy, 2019, pp. 70–98, doi:10.20382/JOGC.V10I2A5.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 7108 |
Goaoc, Xavier, et al. “Shellability Is NP-Complete.” Journal of the ACM, vol. 66, no. 3, 21, ACM, 2019, doi:10.1145/3314024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 7147
Guet, Calin C., et al. “Transient Memory in Gene Regulation.” 17th International Conference on Computational Methods in Systems Biology, vol. 11773, Springer Nature, 2019, pp. 155–87, doi:10.1007/978-3-030-31304-3_9.
View
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 7150 |
Censor-Hillel, Keren, et al. “Algebraic Methods in the Congested Clique.” Distributed Computing, vol. 32, no. 6, Springer Nature, 2019, pp. 461–78, doi:10.1007/s00446-016-0270-2.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 7159
Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” 19th International Conference on Runtime Verification, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17.
View
| DOI
| WoS
2019 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 7179 |
Klotz, Lisa, et al. “Localization of Group II and III Metabotropic Glutamate Receptors at Pre- and Postsynaptic Sites of Inner Hair Cell Ribbon Synapses.” FASEB Journal, vol. 33, no. 12, FASEB, 2019, pp. 13734–46, doi:10.1096/fj.201901543R.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Conference Paper |
IST-REx-ID: 7183 |
Brázdil, Tomás, et al. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” International Symposium on Automated Technology for Verification and Analysis, vol. 11781, Springer Nature, 2019, pp. 462–78, doi:10.1007/978-3-030-31784-3_27.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv