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
S. Yoshida et al., “A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis,” Nature Plants, vol. 5, no. 2. Springer Nature, pp. 160–166, 2019.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6028 | OA
M. Gerencser and M. Hairer, “A solution theory for quasilinear singular SPDEs,” Communications on Pure and Applied Mathematics, vol. 72, no. 9. Wiley, pp. 1983–2005, 2019.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6042 | OA
M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6052 | OA
S. M. Truckenbrodt, C. M. Sommer, S. O. Rizzoli, and J. G. Danzl, “A practical guide to optimization in X10 expansion microscopy,” Nature Protocols, vol. 14, no. 3. Nature Publishing Group, pp. 832–863, 2019.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Research Data | IST-REx-ID: 6074 | OA
C. Dotter and G. 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.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6102 | OA
B. Le Feber, J. E. Sipe, M. Wulf, L. Kuipers, and N. Rotenberg, “A full vectorial mapping of nanophotonic light fields,” Light: Science and Applications, vol. 8, no. 1. Springer Nature, 2019.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6163
R. Biswas, G. Largeteau-Skapin, R. Zrour, and E. Andres, “Rhombic dodecahedron grid—coordinate system and 3D digital object definitions,” in 21st IAPR International Conference on Discrete Geometry for Computer Imagery, Marne-la-Vallée, France, 2019, vol. 11414, pp. 27–37.
View | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6259 | OA
M. Cao et al., “TMK1-mediated auxin signalling regulates differential growth of the apical hook,” Nature, vol. 568. Springer Nature, pp. 240–243, 2019.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6297 | OA
H. S. Davies 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, pp. 47–59, 2019.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6430 | OA
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, and K. Z. Pietrzak, “Adaptively secure proxy re-encryption,” presented at the PKC: Public-Key Cryptograhy, Beijing, China, 2019, vol. 11443, pp. 317–346.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6462 | OA
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6473 | OA
S. A. Cepeda Humerez, “Estimating information flow in single cells,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6482 | OA
R. Sun and C. Lampert, “KS(conf): A light-weight test if a ConvNet operates outside of Its specifications,” presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany, 2019, vol. 11269, pp. 244–259.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Conference Poster | IST-REx-ID: 6485
N. Koval, D.-A. Alistarh, and R. Elizarov, Lock-free channels for programming via communicating sequential processes. ACM, 2019, pp. 417–418.
View | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6528 | OA
K. Z. Pietrzak, “Simple verifiable delay functions,” in 10th Innovations in Theoretical Computer Science Conference, San Diego, CA, United States, 2019, vol. 124.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Published | Conference Paper | IST-REx-ID: 6556 | OA
K. Huszár and J. Spreer, “3-manifold triangulations with small treewidth,” in 35th International Symposium on Computational Geometry, Portland, Oregon, United States, 2019, vol. 129, p. 44:1-44:20.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6647 | OA
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” in 35th International Symposium on Computational Geometry, Portland, OR, United States, 2019, vol. 129, p. 38:1-38:13.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6663 | OA
M. Mondelli, H. Hassani, and R. Urbanke, “Construction of polar codes with sublinear complexity,” IEEE, vol. 65, no. 5. IEEE, pp. 2782–2791, 2019.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed