en
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.
2715 Publications
2016 | Conference Paper | IST-REx-ID: 1095 
Haas, Andreas, et al. “Local Linearizability for Concurrent Container-Type Data Structures.” Leibniz International Proceedings in Informatics, vol. 59, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.6.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1103
Gurung, Amit, et al. Parallel Reachability Analysis for Hybrid Systems. 7797741, IEEE, 2016, doi:10.1109/MEMCOD.2016.7797741.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1242
Sokolowski, Thomas R., et al. “Extending the Dynamic Range of Transcription Factor Action by Translational Regulation.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 93, no. 2, 022404, American Institute of Physics, 2016, doi:10.1103/PhysRevE.93.022404.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1259
Bräunlich, Gerhard, et al. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry, vol. 19, no. 2, 13, Springer, 2016, doi:10.1007/s11040-016-9209-x.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1285
Paluch, Ewa, et al. “Focal Adhesion-Independent Cell Migration.” Annual Review of Cell and Developmental Biology, vol. 32, Annual Reviews, 2016, pp. 469–90, doi:10.1146/annurev-cellbio-111315-125341.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1350
Guzmán, José, et al. “Synaptic Mechanisms of Pattern Completion in the Hippocampal CA3 Network.” Science, vol. 353, no. 6304, American Association for the Advancement of Science, 2016, pp. 1117–23, doi:10.1126/science.aaf1836.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1230
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi: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.” Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, vol. 2016–January, AAAI Press, 2016, pp. 88–96.
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, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 71–79, doi:10.1111/cgf.12812.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1386
Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1432
Mishra, Rajiv Kumar, et al. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications, vol. 7, 11552, Nature Publishing Group, 2016, doi:10.1038/ncomms11552.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1545
Nam, Phan, et al. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.” Journal of Functional Analysis, vol. 270, no. 11, Academic Press, 2016, pp. 4340–68, doi:10.1016/j.jfa.2015.12.007.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 1526
Henzinger, Thomas A., et al. Lipschitz Robustness of Timed I/O Systems. Vol. 9583, Springer, 2016, pp. 250–67, doi:10.1007/978-3-662-49122-5_12.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 1071
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1437
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016, pp. 733–47, doi:10.1145/2837614.2837624.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5453
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1379
Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1278
Matsuno, Hitomi, et al. “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, vol. 11, no. 10, Public Library of Science, 2016, p. e0164037, doi:10.1371/journal.pone.0164037.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1483
Reininghaus, Jan, et al. A Stable Multi-Scale Kernel for Topological Machine Learning. IEEE, 2015, pp. 4741–48, doi:10.1109/CVPR.2015.7299106.
View
| DOI
| Download (ext.)
2015 | Conference Paper | IST-REx-ID: 1495
Edelsbrunner, Herbert, et al. “Relaxed Disk Packing.” Proceedings of the 27th Canadian Conference on Computational Geometry, vol. 2015–August, Queen’s University, 2015, pp. 128–35.
View
| Download (ext.)