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.

5630 Publications


2014 | Book Chapter | IST-REx-ID: 7303
Nonaqueous Electrolytes
S.A. Freunberger, Y. Chen, F. Bardé, K. Takechi, F. Mizuno, P.G. Bruce, in:, N. Imanishi, A.C. Luntz, P. Bruce (Eds.), The Lithium Air Battery: Fundamentals, Springer Nature, New York, NY, 2014, pp. 23–58.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7598   OA View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7699
Harnessing vocal patterns for social communication
L.B.J. Sweeney, D.B. Kelley, Current Opinion in Neurobiology 28 (2014) 34–41.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7769
Jamming in finite systems: Stability, anisotropy, fluctuations, and scaling
C.P. Goodrich, S. Dagois-Bohy, B.P. Tighe, M. van Hecke, A.J. Liu, S.R. Nagel, Physical Review E 90 (2014) 022138.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1999
Organisational immunity in social insects
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2187   OA
Synthesizing robust systems
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, G. Hofferek, B. Jobstmann, B. Könighofer, R. Könighofer, Acta Informatica 51 (2014) 193–220.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393   OA
Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1925   OA
A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes
C. Lamprecht, B. Plochberger, V. Ruprecht, S. Wieser, C. Rankl, E. Heister, B. Unterauer, M. Brameshuber, J. Danzberger, P. Lukanov, E. Flahaut, G. Schütz, P. Hinterdorfer, A. Ebner, Nanotechnology 25 (2014) 125704.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1913   OA
Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 7771   OA
Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic”
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 112 (2014) 049801.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 117 View | DOI
 

2013 | Journal Article | IST-REx-ID: 1469
Arithmetic harmonic analysis on character and quiver varieties II
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1786   OA
Collective suppression of linewidths in circuit QED
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1988
Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation
M. Bonny, E. Fischer Friedrich, M. Loose, P. Schwille, K. Kruse, PLoS Computational Biology 9 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
Computational design of actuated deformable characters
M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2114
Computational aspects of fabrication: Modeling, design and 3d printing
B. Bickel, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 24–25.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2152   OA
Erratum: Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 111 (2013).
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2210   OA
Reconstructing polygons from embedded straight skeletons
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2284   OA
Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, BMC Evolutionary Biology 13 (2013).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2289   OA
Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed