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.

2033 Publications


2019 | Published | Journal Article | IST-REx-ID: 6023 | OA
Yoshida, Saiko, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants, vol. 5, no. 2, Springer Nature, 2019, pp. 160–66, doi:10.1038/s41477-019-0363-6.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6028 | OA
Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular SPDEs.” Communications on Pure and Applied Mathematics, vol. 72, no. 9, Wiley, 2019, pp. 1983–2005, doi:10.1002/cpa.21816.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6042 | OA
Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6052 | OA
Truckenbrodt, Sven M., et al. “A Practical Guide to Optimization in X10 Expansion Microscopy.” Nature Protocols, vol. 14, no. 3, Nature Publishing Group, 2019, pp. 832–863, doi:10.1038/s41596-018-0117-3.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Research Data | IST-REx-ID: 6074 | OA
Dotter, Christoph, and Gaia Novarino. Supplementary Data for the Research Paper “Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental Gene Expression and Cognition.” Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6074.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6102 | OA
Le Feber, B., et al. “A Full Vectorial Mapping of Nanophotonic Light Fields.” Light: Science and Applications, vol. 8, no. 1, 28, Springer Nature, 2019, doi:10.1038/s41377-019-0124-3.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6163
Biswas, Ranita, et al. “Rhombic Dodecahedron Grid—Coordinate System and 3D Digital Object Definitions.” 21st IAPR International Conference on Discrete Geometry for Computer Imagery, vol. 11414, Springer Berlin Heidelberg, 2019, pp. 27–37, doi:10.1007/978-3-030-14085-4_3.
View | DOI
 

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 | Journal Article | IST-REx-ID: 6297 | OA
Davies, Heather S., et al. “An Integrated Assay to Probe Endothelial Glycocalyx-Blood Cell Interactions under Flow in Mechanically and Biochemically Well-Defined Environments.” Matrix Biology, vol. 78–79, Elsevier, 2019, pp. 47–59, doi:10.1016/j.matbio.2018.12.002.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6430 | OA
Fuchsbauer, Georg, et al. Adaptively Secure Proxy Re-Encryption. Vol. 11443, Springer Nature, 2019, pp. 317–46, doi:10.1007/978-3-030-17259-6_11.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6462 | OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6473 | OA
Cepeda Humerez, Sarah A. Estimating Information Flow in Single Cells. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6473.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6482 | OA
Sun, Rémy, and Christoph Lampert. KS(Conf): A Light-Weight Test If a ConvNet Operates Outside of Its Specifications. Vol. 11269, Springer Nature, 2019, pp. 244–59, doi:10.1007/978-3-030-12939-2_18.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Conference Poster | IST-REx-ID: 6485
Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, ACM, 2019, pp. 417–18, doi:10.1145/3293883.3297000.
View | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6528 | OA
Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” 10th Innovations in Theoretical Computer Science Conference, vol. 124, 60, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.ITCS.2019.60.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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 | Conference Paper | IST-REx-ID: 6647 | OA
Fulek, Radoslav, et al. “The Crossing Tverberg Theorem.” 35th International Symposium on Computational Geometry, vol. 129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13, doi:10.4230/LIPICS.SOCG.2019.38.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6663 | OA
Mondelli, Marco, et al. “Construction of Polar Codes with Sublinear Complexity.” IEEE, vol. 65, no. 5, IEEE, 2019, pp. 2782–91, doi:10.1109/tit.2018.2889667.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed