Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. 2015. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated C currents in Helix serotonergic neurons. Neuroscience. 311, 430–443.
LibreCat: https://research-explorer.ista.ac.at/record/1580
DOI: 10.1016/j.neuroscience.2015.10.046

Carvalho A, Vicoso B, Russo C, Swenor B, Clark A. 2015. Birth of a new gene on the Y chromosome of Drosophila melanogaster. PNAS. 112(40), 12450–12455.
LibreCat: https://research-explorer.ista.ac.at/record/1577
DOI: 10.1073/pnas.1516543112
PMID: 26385968

Brooks C, Martin del Campo Sanchez A, Sottile F. 2015. Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society. 367(6), 4183–4206.
LibreCat: https://research-explorer.ista.ac.at/record/1579
DOI: 10.1090/S0002-9947-2014-06192-8

Cao T, Edelsbrunner H, Tan T. 2015. Triangulations from topologically correct digital Voronoi diagrams. Computational Geometry. 48(7), 507–519.
LibreCat: https://research-explorer.ista.ac.at/record/1578
DOI: 10.1016/j.comgeo.2015.04.001

Bollenbach MT, Heisenberg C-PJ. 2015. Gradients are shaping up. Cell. 161(3), 431–432.
LibreCat: https://research-explorer.ista.ac.at/record/1581
DOI: 10.1016/j.cell.2015.04.009

Altmeyer S, Do Y, Lai Y. 2015. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. 5, 18589.
LibreCat: https://research-explorer.ista.ac.at/record/1589
DOI: 10.1038/srep18589

Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(5), 429–442.
LibreCat: https://research-explorer.ista.ac.at/record/1584
DOI: 10.1016/j.comgeo.2015.01.004

Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(2), 120–133.
LibreCat: https://research-explorer.ista.ac.at/record/1582
DOI: 10.1016/j.comgeo.2014.08.006

Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. 115(2), 243–247.
LibreCat: https://research-explorer.ista.ac.at/record/1583
DOI: 10.1016/j.ipl.2014.09.021

Amaro P, Fratini F, Safari L, Antognini A, Indelicato P, Pohl R, Santos J. 2015. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. 92(6), 062506.
LibreCat: https://research-explorer.ista.ac.at/record/1587
DOI: 10.1103/PhysRevA.92.062506
arXiv: 1511.03585

Altmeyer S, Do Y, Lai Y. 2015. Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. 92(5), 053018.
LibreCat: https://research-explorer.ista.ac.at/record/1588
DOI: 10.1103/PhysRevE.92.053018

Angermayr A, Gorchs A, Hellingwerf K. 2015. Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology. 33(6), 352–361.
LibreCat: https://research-explorer.ista.ac.at/record/1586
DOI: 10.1016/j.tibtech.2015.03.009

Bao Z, Pan G, Zhou W. 2015. Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices. IEEE Transactions on Information Theory. 61(6), 3413–3426.
LibreCat: https://research-explorer.ista.ac.at/record/1585
DOI: 10.1109/TIT.2015.2421894

dádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. 2015. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. 6(4).
LibreCat: https://research-explorer.ista.ac.at/record/1593
DOI: 10.3389/fpls.2015.00218

Fulek R, Pelsmajer M, Schaefer M. 2015. Hanani-Tutte for radial planarity. GD: Graph Drawing and Network Visualization, LNCS, vol. 9411, 99–110.
LibreCat: https://research-explorer.ista.ac.at/record/1595
DOI: 10.1007/978-3-319-27261-0_9

Aichholzer O, Biedl T, Hackl T, Held M, Huber S, Palfrader P, Vogtenhuber B. 2015.Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 335–347.
LibreCat: https://research-explorer.ista.ac.at/record/1590
DOI: 10.1007/978-3-319-27261-0_28

Forejt V, Krdál J, Kretinsky J. 2015. Controller synthesis for MDPs and frequency LTL\'47U. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 9450, 162–177.
LibreCat: https://research-explorer.ista.ac.at/record/1594
DOI: 10.1007/978-3-662-48899-7_12

Fulek R, Radoidi R. 2015.Vertical visibility among parallel polygons in three dimensions. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 373–379.
LibreCat: https://research-explorer.ista.ac.at/record/1596
DOI: 10.1007/978-3-319-27261-0_31

Babiak T, Blahoudek F, Duret Lutz A, Klein J, Kretinsky J, Mueller D, Parker D, Strejdek J. 2015. The Hanoi omega-automata format. CAV: Computer Aided Verification, LNCS, vol. 9206, 479–486.
LibreCat: https://research-explorer.ista.ac.at/record/1601
DOI: 10.1007/978-3-319-21690-4_31

Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference, LNCS, vol. 9434, 19–35.
LibreCat: https://research-explorer.ista.ac.at/record/1605
DOI: 10.1007/978-3-319-26287-1_2

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

Chatterjee K, Doyen L, Vardi M. 2015. The complexity of synthesis from probabilistic components. 42nd International Colloquium. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 108–120.
LibreCat: https://research-explorer.ista.ac.at/record/1609
DOI: 10.1007/978-3-662-47666-6_9

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

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

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

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

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

Bermano A, Beeler T, Kozlov Y, Bradley D, Bickel B, Gross M. 2015. Detailed spatio-temporal reconstruction of eyelids. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 44.
LibreCat: https://research-explorer.ista.ac.at/record/1625
DOI: 10.1145/2766924

Martin T, Umetani N, Bickel B. 2015. OmniAD: Data-driven omni-directional aerodynamics. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 34, 113.
LibreCat: https://research-explorer.ista.ac.at/record/1626
DOI: 10.1145/2766919

Schumacher C, Bickel B, Rys J, Marschner S, Daraio C, Gross M. 2015. Microstructures to control elasticity in 3D printing. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 136.
LibreCat: https://research-explorer.ista.ac.at/record/1628
DOI: 10.1145/2766926

Pérez J, Thomaszewski B, Coros S, Bickel B, Canabal J, Sumner R, Otaduy M. 2015. Design and fabrication of flexible rod meshes. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 138.
LibreCat: https://research-explorer.ista.ac.at/record/1627
DOI: 10.1145/2766998

Da F, Batty C, Wojtan C, Grinspun E. 2015. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 149.
LibreCat: https://research-explorer.ista.ac.at/record/1634
DOI: 10.1145/2767003

Kolmogorov V, Rolinek M, Takhanov R. 2015. Effectiveness of structural restrictions for hybrid CSPs. 26th International Symposium. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 9472, 566–577.
LibreCat: https://research-explorer.ista.ac.at/record/1636
DOI: 10.1007/978-3-662-48971-0_48
arXiv: 1504.07067

Ando R, Thuerey N, Wojtan C. 2015. A stream function solver for liquid simulations. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 34, 53.
LibreCat: https://research-explorer.ista.ac.at/record/1632
DOI: 10.1145/2766935

Guerrero P, Jeschke S, Wimmer M, Wonka P. 2015. Learning shape placements by example. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 108.
LibreCat: https://research-explorer.ista.ac.at/record/1630
DOI: 10.1145/2766933

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

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

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

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

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

Fuchsbauer G, Jafargholi Z, Pietrzak KZ. 2015. A quasipolynomial reduction for generalized selective decryption on trees. CRYPTO: International Cryptology Conference, LNCS, vol. 9215, 601–620.
LibreCat: https://research-explorer.ista.ac.at/record/1648
DOI: 10.1007/978-3-662-47989-6_29

Benhamouda F, Krenn S, Lyubashevsky V, Pietrzak KZ. 2015. Efficient zero-knowledge proofs for commitments from learning with errors over rings. 9326, 305–325.
LibreCat: https://research-explorer.ista.ac.at/record/1649
DOI: 10.1007/978-3-319-24174-6_16

Demay G, Gazi P, Maurer U, Tackmann B. 2015. Query-complexity amplification for random oracles. ICITS: International Conference on Information Theoretic Security, LNCS, vol. 9063, 159–180.
LibreCat: https://research-explorer.ista.ac.at/record/1644
DOI: 10.1007/978-3-319-17470-9_10

Fuchsbauer G, Hanser C, Slamanig D. 2015. Practical round-optimal blind signatures in the standard model. CRYPTO: International Cryptology Conference, LNCS, vol. 9216, 233–253.
LibreCat: https://research-explorer.ista.ac.at/record/1647
DOI: 10.1007/978-3-662-48000-7_12

Gazi P, Tessaro S. 2015. Secret-key cryptography from ideal primitives: A systematic verview. 2015 IEEE Information Theory Workshop. ITW 2015: IEEE Information Theory Workshop, 7133163.
LibreCat: https://research-explorer.ista.ac.at/record/1645
DOI: 10.1109/ITW.2015.7133163

Gazi P, Pietrzak KZ, Tessaro S. 2015. Generic security of NMAC and HMAC with input whitening. 9453, 85–109.
LibreCat: https://research-explorer.ista.ac.at/record/1654
DOI: 10.1007/978-3-662-48800-3_4

Skórski M, Golovnev A, Pietrzak KZ. 2015. Condensed unpredictability . ICALP: Automata, Languages and Programming, LNCS, vol. 9134, 1046–1057.
LibreCat: https://research-explorer.ista.ac.at/record/1650
DOI: 10.1007/978-3-662-47672-7_85

Baldimtsi F, Chase M, Fuchsbauer G, Kohlweiss M. 2015. Anonymous transferable e-cash. Public-Key Cryptography - PKC 2015. PKC: Public Key Crypography, LNCS, vol. 9020, 101–124.
LibreCat: https://research-explorer.ista.ac.at/record/1651
DOI: 10.1007/978-3-662-46447-2_5

Alwen JF, Serbinenko V. 2015. High parallel complexity graphs and memory-hard functions. Proceedings of the 47th annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 595–603.
LibreCat: https://research-explorer.ista.ac.at/record/1652
DOI: 10.1145/2746539.2746622

Bogomolov S, Henzinger TA, Podelski A, Ruess J, Schilling C. 2015. Adaptive moment closure for parameter inference of biochemical reaction networks. 9308, 77–89.
LibreCat: https://research-explorer.ista.ac.at/record/1658
DOI: 10.1007/978-3-319-23401-4_8