Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286.
LibreCat: https://research-explorer.ista.ac.at/record/1606
DOI: 10.1007/978-3-319-23820-3_19

The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.
LibreCat: https://research-explorer.ista.ac.at/record/1609
DOI: 10.1007/978-3-662-47666-6_9

Perturbed hippocampal synaptic inhibition and ;3-oscillations in a neuroligin-4 knockout mouse model of autism
M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523.
LibreCat: https://research-explorer.ista.ac.at/record/1615
DOI: 10.1016/j.celrep.2015.09.011

Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells
M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225.
LibreCat: https://research-explorer.ista.ac.at/record/1614
DOI: 10.1073/pnas.1412996112
PMID: 25583495

Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.
LibreCat: https://research-explorer.ista.ac.at/record/1611
DOI: 10.1002/pro.2721
PMID: 26061224

Cellular cooperation with shift updating and repulsion
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1624
DOI: 10.1038/srep17147

Single-cell screening of photosynthetic growth and lactate production by cyanobacteria
P. Hammar, A. Angermayr, S. Sjostrom, J. Van Der Meer, K. Hellingwerf, E. Hudson, H. Joensson, Biotechnology for Biofuels 8 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1623
DOI: 10.1186/s13068-015-0380-2

Detailed spatio-temporal reconstruction of eyelids
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1625
DOI: 10.1145/2766924

OmniAD: Data-driven omni-directional aerodynamics
T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1626
DOI: 10.1145/2766919

Microstructures to control elasticity in 3D printing
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1628
DOI: 10.1145/2766926

Design and fabrication of flexible rod meshes
J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1627
DOI: 10.1145/2766998

Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams
F. Da, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1634
DOI: 10.1145/2767003

Effectiveness of structural restrictions for hybrid CSPs
V. Kolmogorov, M. Rolinek, R. Takhanov, in:, 26th International Symposium, Springer Nature, 2015, pp. 566–577.
LibreCat: https://research-explorer.ista.ac.at/record/1636
DOI: 10.1007/978-3-662-48971-0_48
arXiv: 1504.07067

A stream function solver for liquid simulations
R. Ando, N. Thuerey, C. Wojtan, in:, ACM, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1632
DOI: 10.1145/2766935

Learning shape placements by example
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1630
DOI: 10.1145/2766933

Cytokinin response factors regulate PIN-FORMED auxin transporters
M. Simásková, J. O’Brien, M. Khan-Djamei, G. Van Noorden, K. Ötvös, A. Vieten, I. De Clercq, J. Van Haperen, C. Cuesta, K. Hoyerová, S. Vanneste, P. Marhavý, K.T. Wabnik, F. Van Breusegem, M. Nowack, A. Murphy, J. Friml, D. Weijers, T. Beeckman, E. Benková, Nature Communications 6 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1640
DOI: 10.1038/ncomms9717

Clustered planarity testing revisited
R. Fulek, J. Kyndl, I. Malinovid, D. Pálvölgyi, Electronic Journal of Combinatorics 22 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1642
DOI: 10.37236/5002
arXiv: 1305.4519

A generalized model for optimal transport of images including dissipation and density modulation
J. Maas, M. Rumpf, C. Schönlieb, S. Simon, ESAIM: Mathematical Modelling and Numerical Analysis 49 (2015) 1745–1769.
LibreCat: https://research-explorer.ista.ac.at/record/1639
DOI: 10.1051/m2an/2015043
arXiv: 1504.01988

A giant molecular proton pump: structure and mechanism of respiratory complex I
L.A. Sazanov, Nature Reviews Molecular Cell Biology 16 (2015) 375–388.
LibreCat: https://research-explorer.ista.ac.at/record/1638
DOI: 10.1038/nrm3997

Key-homomorphic constrained pseudorandom functions
A. Banerjee, G. Fuchsbauer, C. Peikert, K.Z. Pietrzak, S. Stevens, in:, 12th Theory of Cryptography Conference, Springer Nature, 2015, pp. 31–60.
LibreCat: https://research-explorer.ista.ac.at/record/1646
DOI: 10.1007/978-3-662-46497-7_2