Please note that IST 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.

2712 Publications


2016 | Journal Article | IST-REx-ID: 1259   OA
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry 19, no. 2 (2016). https://doi.org/10.1007/s11040-016-9209-x.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1285
Paluch, Ewa, Irene Aspalter, and Michael K Sixt. “Focal Adhesion-Independent Cell Migration.” Annual Review of Cell and Developmental Biology 32 (2016): 469–90. https://doi.org/10.1146/annurev-cellbio-111315-125341.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1350   OA
Guzmán, José, Alois Schlögl, Michael Frotscher, and Peter M Jonas. “Synaptic Mechanisms of Pattern Completion in the Hippocampal CA3 Network.” Science 353, no. 6304 (2016): 1117–23. https://doi.org/10.1126/science.aaf1836.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230   OA
Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee, Krishnendu, and Martin Chmelik. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs.” In Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, 2016–January:88–96. AAAI Press, 2016.
View | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1413
Jeschke, Stefan. “Generalized Diffusion Curves: An Improved Vector Representation for Smooth-Shaded Images.” Computer Graphics Forum 35, no. 2 (2016): 71–79. https://doi.org/10.1111/cgf.12812.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386   OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4_1.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432   OA
Mishra, Rajiv Kumar, Sooyun Kim, José Guzmán, and Peter M Jonas. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications 7 (2016). https://doi.org/10.1038/ncomms11552.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545   OA
Nam, Phan, Marcin M Napiórkowski, and Jan Solovej. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.” Journal of Functional Analysis 270, no. 11 (2016): 4340–68. https://doi.org/10.1016/j.jfa.2015.12.007.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526   OA
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Timed I/O Systems,” 9583:250–67. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_12.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1071
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs,” Vol. 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ESA.2016.28.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437
Chatterjee, Krishnendu, Amir Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components,” 20–22:733–47. ACM, 2016. https://doi.org/10.1145/2837614.2837624.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5453
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-749-v3-1.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379
Burton, Benjamin, Arnaud N De Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds,” 51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. https://doi.org/10.4230/LIPIcs.SoCG.2016.24.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1278   OA
Matsuno, Hitomi, Moeko Kudoh, Akiya Watakabe, Tetsuo Yamamori, Ryuichi Shigemoto, and Soichi Nagao. “Distribution and Structure of Synapses on Medial Vestibular Nuclear Neurons Targeted by Cerebellar Flocculus Purkinje Cells and Vestibular Nerve in Mice: Light and Electron Microscopy Studies.” PLoS One 11, no. 10 (2016): e0164037. https://doi.org/10.1371/journal.pone.0164037.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1483   OA
Reininghaus, Jan, Stefan Huber, Ulrich Bauer, and Roland Kwitt. “A Stable Multi-Scale Kernel for Topological Machine Learning,” 4741–48. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7299106.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1495   OA
Edelsbrunner, Herbert, Mabel Iglesias Ham, and Vitaliy Kurlin. “Relaxed Disk Packing.” In Proceedings of the 27th Canadian Conference on Computational Geometry, 2015–August:128–35. Queen’s University, 2015.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1534   OA
Wang, Hongzhe, Kezhen Yang, Junjie Zou, Lingling Zhu, Zidian Xie, Miyoterao Morita, Masao Tasaka, et al. “Transcriptional Regulation of PIN Genes by FOUR LIPS and MYB88 during Arabidopsis Root Gravitropism.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms9822.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1508   OA
Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” Journal of the European Mathematical Society 17, no. 8 (2015): 1927–2036. https://doi.org/10.4171/JEMS/548.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1546   OA
Nakamura, Yukihiro, Harumi Harada, Naomi Kamasawa, Ko Matsui, Jason Rothman, Ryuichi Shigemoto, R Angus Silver, David Digregorio, and Tomoyuki Takahashi. “Nanoscale Distribution of Presynaptic Ca2+ Channels and Its Impact on Vesicular Release during Development.” Neuron 85, no. 1 (2015): 145–58. https://doi.org/10.1016/j.neuron.2014.11.019.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed