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.

4854 Publications


2017 | Published | Journal Article | IST-REx-ID: 740 | OA
Shigemoto, R., & Jösch, M. A. (2017). The genetic encoded toolbox for electron microscopy and connectomics. WIREs Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/wdev.288
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 741 | OA
Moser, T., & Seiringer, R. (2017). Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-017-2980-0
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 743
Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-017-0307-6
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 744 | OA
Priklopil, T., Chatterjee, K., & Nowak, M. (2017). Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2017.08.025
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 745 | OA
Xu, D., Warnecke, S., Song, B., Ma, X., & Hof, B. (2017). Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.620
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 746 | OA
Aloisi, E., Le Corf, K., Dupuis, J., Zhang, P., Ginger, M., Labrousse, V., … Frick, A. (2017). Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01191-2
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu, E., Mcguire, M., Shuler, S., Deliu, E., Barr, J., Abood, M., & Brailoiu, G. (2017). Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2017.09.034
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 749 | OA
Chen, C., Satterfield, R., Young, S., & Jonas, P. M. (2017). Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2017.10.122
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 750
Pielorz, J., Prandtstetter, M., Straub, M., & Lampert, C. (2017). Optimal geospatial volunteer allocation needs realistic distances. In 2017 IEEE International Conference on Big Data (pp. 3760–3763). Boston, MA, United States: IEEE. https://doi.org/10.1109/BigData.2017.8258375
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi, Y., Louani, A., Dragu, A., Sanchez Sanchez, B., Serna Morales, E., Yolland, L., … Stramer, B. (2017). A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.10.001
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2016.04.006
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1433 | OA
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press. https://doi.org/10.1016/j.jsc.2016.03.008
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1528 | OA
Bao, Z., & Erdös, L. (2017). Delocalization for a class of random block band matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-015-0692-y
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez, A., Cepeda Humerez, S. A., & Uhler, C. (2017). Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. Wiley-Blackwell. https://doi.org/10.1111/sjos.12251
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Thesis | IST-REx-ID: 202 | OA
Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_916
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 916 | OA
Swoboda, P., Rother, C., Abu Alhaija, C., Kainmueller, D., & Savchynskyy, B. (2017). A study of lagrangean decompositions and dual ascent solvers for graph matching (Vol. 2017, pp. 7062–7071). Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. https://doi.org/10.1109/CVPR.2017.747
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 917 | OA
Swoboda, P., Kuske, J., & Savchynskyy, B. (2017). A dual ascent framework for Lagrangean decomposition of combinatorial problems (Vol. 2017, pp. 4950–4960). Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. https://doi.org/10.1109/CVPR.2017.526
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Thesis | IST-REx-ID: 938 | OA
Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_842
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 939 | OA
Midya, B., & Konotop, V. (2017). Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.119.033905
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 941
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM. https://doi.org/10.1145/3092703.3098225
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed