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.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed