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.

1790 Publications


2019 |Published| Journal Article | IST-REx-ID: 7179 | OA
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, and R. Enz, “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, pp. 13734–13746, 2019.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 |Published| Conference Paper | IST-REx-ID: 7228
N. Koval, D.-A. Alistarh, and R. Elizarov, “Scalable FIFO channels for programming via communicating sequential processes,” in 25th Anniversary of Euro-Par, Göttingen, Germany, 2019, vol. 11725, pp. 317–333.
View | DOI | WoS
 

2019 |Published| Conference Paper | IST-REx-ID: 7231 | OA
H. Kong, E. Bartocci, Y. Jiang, and T. A. Henzinger, “Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Conference Paper | IST-REx-ID: 7230 | OA
A. M. Arroyo Guevara, M. Derka, and I. Parada, “Extending simple drawings,” in 27th International Symposium on Graph Drawing and Network Visualization, Prague, Czech Republic, 2019, vol. 11904, pp. 230–243.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Conference Paper | IST-REx-ID: 7232
T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75.
View | DOI | WoS
 

2019 |Published| Conference Paper | IST-REx-ID: 7411 | OA
H. M. Abusalah, C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and M. Walter, “Reversible proofs of sequential work,” in Advances in Cryptology – EUROCRYPT 2019, Darmstadt, Germany, 2019, vol. 11477, pp. 277–291.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 |Published| Thesis | IST-REx-ID: 6681 | OA
S. Y. Zhechev, “Algorithmic aspects of homotopy theory and embeddability,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

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| Journal Article | IST-REx-ID: 7093 | OA
K. Huszár, J. Spreer, and U. Wagner, “On the treewidth of triangulated 3-manifolds,” Journal of Computational Geometry, vol. 10, no. 2. Computational Geometry Laborartoy, pp. 70–98, 2019.
[Published Version] View | Files available | DOI | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 7398 | OA
F. A. Erdem et al., “A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2,” The Journal of General Physiology, vol. 151, no. 8. Rockefeller University Press, pp. 1035–1050, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 |Published| Journal Article | IST-REx-ID: 7404 | OA
T. Stürner et al., “Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo,” Development, vol. 146, no. 7. The Company of Biologists, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 |Published| Conference Paper | IST-REx-ID: 7639
A. Rannen-Triki, M. Berman, V. Kolmogorov, and M. B. Blaschko, “Function norms for neural networks,” in Proceedings of the 2019 International Conference on Computer Vision Workshop, Seoul, South Korea, 2019.
View | 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.)
 

2019 |Published| Conference Paper | IST-REx-ID: 14191 | OA
F. Locatello, A. Yurtsever, O. Fercoq, and V. Cevher, “Stochastic Frank-Wolfe for composite convex minimization,” in Advances in Neural Information Processing Systems, Vancouver, Canada, 2019, vol. 32, pp. 14291–14301.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 |Published| Thesis | IST-REx-ID: 6894 | OA
M. Giacobbe, “Automatic time-unbounded reachability analysis of hybrid systems,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 |Published| Thesis | IST-REx-ID: 7172 | OA
M. K. Vasileva, “Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 |Published| Thesis | 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| Journal Article | IST-REx-ID: 72 | OA
P. Ferrari, P. Ghosal, and P. Nejjar, “Limit law of a second class particle in TASEP with non-random initial condition,” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 55, no. 3. Institute of Mathematical Statistics, pp. 1203–1225, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 6999 | OA
D. Huang 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. Proceedings of the National Academy of Sciences, pp. 21274–21284, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications