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.

1953 Publications


2019 |Published| Journal Article | IST-REx-ID: 6972 | OA
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| Conference Paper | IST-REx-ID: 6942 | OA
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: 6259 | OA
Cao, Min, et al. “TMK1-Mediated Auxin Signalling Regulates Differential Growth of the Apical Hook.” Nature, vol. 568, Springer Nature, 2019, pp. 240–43, doi:10.1038/s41586-019-1069-7.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 |Published| Book Chapter | IST-REx-ID: 6987 | OA
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: 10874 | OA
Ionica, Sorina, et al. “Modular Invariants for Genus 3 Hyperelliptic Curves.” Research in Number Theory, vol. 5, 9, Springer Nature, 2019, doi:10.1007/s40993-018-0146-6.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 7108 | OA
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| 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| Conference Paper | IST-REx-ID: 7183 | OA
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
 

2019 |Published| Journal Article | IST-REx-ID: 7181 | OA
Garriga, Edgar, et al. “Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.” Nature Biotechnology, vol. 37, no. 12, Springer Nature, 2019, pp. 1466–70, doi:10.1038/s41587-019-0333-6.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 |Published| Journal Article | IST-REx-ID: 7179 | OA
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: 7228
Koval, Nikita, et al. “Scalable FIFO Channels for Programming via Communicating Sequential Processes.” 25th Anniversary of Euro-Par, vol. 11725, Springer Nature, 2019, pp. 317–33, doi:10.1007/978-3-030-29400-7_23.
View | DOI | WoS
 

2019 |Published| Conference Paper | IST-REx-ID: 7231 | OA
Kong, Hui, et al. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 123–41, doi:10.1007/978-3-030-29662-9_8.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 7422 | OA
Sokolowski, Thomas R., et al. “EGFRD in All Dimensions.” The Journal of Chemical Physics, vol. 150, no. 5, 054108, AIP Publishing, 2019, doi:10.1063/1.5064867.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Conference Paper | IST-REx-ID: 7230 | OA
Arroyo Guevara, Alan M., et al. “Extending Simple Drawings.” 27th International Symposium on Graph Drawing and Network Visualization, vol. 11904, Springer Nature, 2019, pp. 230–43, doi:10.1007/978-3-030-35802-0_18.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, et al. “Mixed-Time Signal Temporal Logic.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.
View | DOI | WoS
 

2019 |Published| Conference Paper | IST-REx-ID: 7411 | OA
Abusalah, Hamza M., et al. “Reversible Proofs of Sequential Work.” Advances in Cryptology – EUROCRYPT 2019, vol. 11477, Springer International Publishing, 2019, pp. 277–91, doi:10.1007/978-3-030-17656-3_10.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 |Published| Thesis | IST-REx-ID: 6681 | OA
Zhechev, Stephan Y. Algorithmic Aspects of Homotopy Theory and Embeddability. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6681.
[Published Version] View | Files available | DOI
 

2019 |Published| Conference Paper | IST-REx-ID: 6556 | OA
Huszár, Kristóf, and Jonathan Spreer. “3-Manifold Triangulations with Small Treewidth.” 35th International Symposium on Computational Geometry, vol. 129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20, doi:10.4230/LIPIcs.SoCG.2019.44.
[Published Version] View | Files available | DOI | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 7093 | OA
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
 

Filters and Search Terms

isbn%3D978-3-99078-004-6

Search

Filter Publications