Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity,”https://doi.org/10.1007/978-3-319-27261-0_9__9411:99–110. Springer, 2015.https://doi.org/10.1007/978-3-319-27261-0_9 .
LibreCat: https://research-explorer.ista.ac.at/record/1595
DOI: 10.1007/978-3-319-27261-0_9

Aichholzer, Oswin, Therese Biedl, Thomas Hackl, Martin Held, Stefan Huber, Peter Palfrader, and Birgit Vogtenhuber. “Representing Directed Trees as Straight Skeletons.”https://doi.org/10.1007/978-3-319-27261-0_28__In Graph Drawing and Network Visualization, 9411:335–47. Springer Nature, 2015.https://doi.org/10.1007/978-3-319-27261-0_28 .
LibreCat: https://research-explorer.ista.ac.at/record/1590
DOI: 10.1007/978-3-319-27261-0_28

Forejt, Vojtbch, Jan Krdál, and Jan Kretinsky. “Controller Synthesis for MDPs and Frequency LTL\'47U,”https://doi.org/10.1007/978-3-662-48899-7_12__9450:162–77. Springer, 2015.https://doi.org/10.1007/978-3-662-48899-7_12 .
LibreCat: https://research-explorer.ista.ac.at/record/1594
DOI: 10.1007/978-3-662-48899-7_12

Fulek, Radoslav, and Rados Radoidi. “Vertical Visibility among Parallel Polygons in Three Dimensions.”https://doi.org/10.1007/978-3-319-27261-0_31__In Graph Drawing and Network Visualization, 9411:373–79. Springer Nature, 2015.https://doi.org/10.1007/978-3-319-27261-0_31 .
LibreCat: https://research-explorer.ista.ac.at/record/1596
DOI: 10.1007/978-3-319-27261-0_31

Babiak, Tomás, Frantisek Blahoudek, Alexandre Duret Lutz, Joachim Klein, Jan Kretinsky, Daniel Mueller, David Parker, and Jan Strejdek. “The Hanoi Omega-Automata Format,”https://doi.org/10.1007/978-3-319-21690-4_31__9206:479–86. Springer, 2015.https://doi.org/10.1007/978-3-319-21690-4_31 .
LibreCat: https://research-explorer.ista.ac.at/record/1601
DOI: 10.1007/978-3-319-21690-4_31

Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,”https://doi.org/10.1007/978-3-319-26287-1_2__9434:19–35. Springer, 2015.https://doi.org/10.1007/978-3-319-26287-1_2 .
LibreCat: https://research-explorer.ista.ac.at/record/1605
DOI: 10.1007/978-3-319-26287-1_2

Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. “Runtime Verification for Hybrid Analysis Tools.”https://doi.org/10.1007/978-3-319-23820-3_19__In 6th International Conference, 9333:281–86. Springer Nature, 2015.https://doi.org/10.1007/978-3-319-23820-3_19 .
LibreCat: https://research-explorer.ista.ac.at/record/1606
DOI: 10.1007/978-3-319-23820-3_19

Chatterjee, Krishnendu, Laurent Doyen, and Moshe Vardi. “The Complexity of Synthesis from Probabilistic Components.”https://doi.org/10.1007/978-3-662-47666-6_9__In 42nd International Colloquium, 9135:108–20. Springer Nature, 2015.https://doi.org/10.1007/978-3-662-47666-6_9 .
LibreCat: https://research-explorer.ista.ac.at/record/1609
DOI: 10.1007/978-3-662-47666-6_9

Hammer, Matthieu, Dilja Krueger Burg, Liam Tuffy, Benjamin Cooper, Holger Taschenberger, Sarit Goswami, Hannelore Ehrenreich, et al. “Perturbed Hippocampal Synaptic Inhibition and ;3-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.”https://doi.org/10.1016/j.celrep.2015.09.011__Cell Reports. Cell Press, 2015.https://doi.org/10.1016/j.celrep.2015.09.011 .
LibreCat: https://research-explorer.ista.ac.at/record/1615
DOI: 10.1016/j.celrep.2015.09.011

Strüber, Michael, Peter M Jonas, and Marlene Bartos. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.”https://doi.org/10.1073/pnas.1412996112__PNAS. National Academy of Sciences, 2015.https://doi.org/10.1073/pnas.1412996112 .
LibreCat: https://research-explorer.ista.ac.at/record/1614
DOI: 10.1073/pnas.1412996112
PMID: 25583495

Whitfield, Jason, William Zhang, Michel Herde, Ben Clifton, Johanna Radziejewski, Harald L Janovjak, Christian Henneberger, and Colin Jackson. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.”https://doi.org/10.1002/pro.2721__Protein Science. Wiley, 2015.https://doi.org/10.1002/pro.2721 .
LibreCat: https://research-explorer.ista.ac.at/record/1611
DOI: 10.1002/pro.2721
PMID: 26061224

Pavlogiannis, Andreas, Krishnendu Chatterjee, Ben Adlam, and Martin Nowak. “Cellular Cooperation with Shift Updating and Repulsion.”https://doi.org/10.1038/srep17147__Scientific Reports. Nature Publishing Group, 2015.https://doi.org/10.1038/srep17147 .
LibreCat: https://research-explorer.ista.ac.at/record/1624
DOI: 10.1038/srep17147

Hammar, Petter, Andreas Angermayr, Staffan Sjostrom, Josefin Van Der Meer, Klaas Hellingwerf, Elton Hudson, and Hakaan Joensson. “Single-Cell Screening of Photosynthetic Growth and Lactate Production by Cyanobacteria.”https://doi.org/10.1186/s13068-015-0380-2__Biotechnology for Biofuels. BioMed Central, 2015.https://doi.org/10.1186/s13068-015-0380-2 .
LibreCat: https://research-explorer.ista.ac.at/record/1623
DOI: 10.1186/s13068-015-0380-2

Bermano, Amit, Thabo Beeler, Yeara Kozlov, Derek Bradley, Bernd Bickel, and Markus Gross. “Detailed Spatio-Temporal Reconstruction of Eyelids,”https://doi.org/10.1145/2766924__Vol. 34. ACM, 2015.https://doi.org/10.1145/2766924 .
LibreCat: https://research-explorer.ista.ac.at/record/1625
DOI: 10.1145/2766924

Martin, Tobias, Nobuyuki Umetani, and Bernd Bickel. “OmniAD: Data-Driven Omni-Directional Aerodynamics,”https://doi.org/10.1145/2766919__Vol. 34. ACM, 2015.https://doi.org/10.1145/2766919 .
LibreCat: https://research-explorer.ista.ac.at/record/1626
DOI: 10.1145/2766919

Schumacher, Christian, Bernd Bickel, Jan Rys, Steve Marschner, Chiara Daraio, and Markus Gross. “Microstructures to Control Elasticity in 3D Printing,”https://doi.org/10.1145/2766926__Vol. 34. ACM, 2015.https://doi.org/10.1145/2766926 .
LibreCat: https://research-explorer.ista.ac.at/record/1628
DOI: 10.1145/2766926

Pérez, Jesús, Bernhard Thomaszewski, Stelian Coros, Bernd Bickel, José Canabal, Robert Sumner, and Miguel Otaduy. “Design and Fabrication of Flexible Rod Meshes,”https://doi.org/10.1145/2766998__Vol. 34. ACM, 2015.https://doi.org/10.1145/2766998 .
LibreCat: https://research-explorer.ista.ac.at/record/1627
DOI: 10.1145/2766998

Da, Fang, Christopher Batty, Chris Wojtan, and Eitan Grinspun. “Double Bubbles sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams,”https://doi.org/10.1145/2767003__Vol. 34. ACM, 2015.https://doi.org/10.1145/2767003 .
LibreCat: https://research-explorer.ista.ac.at/record/1634
DOI: 10.1145/2767003

Kolmogorov, Vladimir, Michal Rolinek, and Rustem Takhanov. “Effectiveness of Structural Restrictions for Hybrid CSPs.”https://doi.org/10.1007/978-3-662-48971-0_48__In 26th International Symposium, 9472:566–77. Springer Nature, 2015.https://doi.org/10.1007/978-3-662-48971-0_48 .
LibreCat: https://research-explorer.ista.ac.at/record/1636
DOI: 10.1007/978-3-662-48971-0_48
arXiv: 1504.07067

Ando, Ryoichi, Nils Thuerey, and Chris Wojtan. “A Stream Function Solver for Liquid Simulations,”https://doi.org/10.1145/2766935__Vol. 34. ACM, 2015.https://doi.org/10.1145/2766935 .
LibreCat: https://research-explorer.ista.ac.at/record/1632
DOI: 10.1145/2766935

Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Learning Shape Placements by Example,”https://doi.org/10.1145/2766933__Vol. 34. ACM, 2015.https://doi.org/10.1145/2766933 .
LibreCat: https://research-explorer.ista.ac.at/record/1630
DOI: 10.1145/2766933

Simásková, Mária, José O’Brien, Mamoona Khan-Djamei, Giel Van Noorden, Krisztina Ötvös, Anne Vieten, Inge De Clercq, et al. “Cytokinin Response Factors Regulate PIN-FORMED Auxin Transporters.”https://doi.org/10.1038/ncomms9717__Nature Communications. Nature Publishing Group, 2015.https://doi.org/10.1038/ncomms9717 .
LibreCat: https://research-explorer.ista.ac.at/record/1640
DOI: 10.1038/ncomms9717

Fulek, Radoslav, Jan Kyndl, Igor Malinovid, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.”https://doi.org/10.37236/5002__Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2015.https://doi.org/10.37236/5002 .
LibreCat: https://research-explorer.ista.ac.at/record/1642
DOI: 10.37236/5002
arXiv: 1305.4519

Maas, Jan, Martin Rumpf, Carola Schönlieb, and Stefan Simon. “A Generalized Model for Optimal Transport of Images Including Dissipation and Density Modulation.”https://doi.org/10.1051/m2an/2015043__ESAIM: Mathematical Modelling and Numerical Analysis. EDP Sciences, 2015.https://doi.org/10.1051/m2an/2015043 .
LibreCat: https://research-explorer.ista.ac.at/record/1639
DOI: 10.1051/m2an/2015043
arXiv: 1504.01988

Sazanov, Leonid A. “A Giant Molecular Proton Pump: Structure and Mechanism of Respiratory Complex I.”https://doi.org/10.1038/nrm3997__Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2015.https://doi.org/10.1038/nrm3997 .
LibreCat: https://research-explorer.ista.ac.at/record/1638
DOI: 10.1038/nrm3997

Banerjee, Abishek, Georg Fuchsbauer, Chris Peikert, Krzysztof Z Pietrzak, and Sophie Stevens. “Key-Homomorphic Constrained Pseudorandom Functions.”https://doi.org/10.1007/978-3-662-46497-7_2__In 12th Theory of Cryptography Conference, 9015:31–60. Springer Nature, 2015.https://doi.org/10.1007/978-3-662-46497-7_2 .
LibreCat: https://research-explorer.ista.ac.at/record/1646
DOI: 10.1007/978-3-662-46497-7_2

Fuchsbauer, Georg, Zahra Jafargholi, and Krzysztof Z Pietrzak. “A Quasipolynomial Reduction for Generalized Selective Decryption on Trees,”https://doi.org/10.1007/978-3-662-47989-6_29__9215:601–20. Springer, 2015.https://doi.org/10.1007/978-3-662-47989-6_29 .
LibreCat: https://research-explorer.ista.ac.at/record/1648
DOI: 10.1007/978-3-662-47989-6_29

Benhamouda, Fabrice, Stephan Krenn, Vadim Lyubashevsky, and Krzysztof Z Pietrzak. “Efficient Zero-Knowledge Proofs for Commitments from Learning with Errors over Rings.”https://doi.org/10.1007/978-3-319-24174-6_16__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-24174-6_16 .
LibreCat: https://research-explorer.ista.ac.at/record/1649
DOI: 10.1007/978-3-319-24174-6_16

Demay, Grégory, Peter Gazi, Ueli Maurer, and Björn Tackmann. “Query-Complexity Amplification for Random Oracles,”https://doi.org/10.1007/978-3-319-17470-9_10__9063:159–80. Springer, 2015.https://doi.org/10.1007/978-3-319-17470-9_10 .
LibreCat: https://research-explorer.ista.ac.at/record/1644
DOI: 10.1007/978-3-319-17470-9_10

Fuchsbauer, Georg, Christian Hanser, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model,”https://doi.org/10.1007/978-3-662-48000-7_12__9216:233–53. Springer, 2015.https://doi.org/10.1007/978-3-662-48000-7_12 .
LibreCat: https://research-explorer.ista.ac.at/record/1647
DOI: 10.1007/978-3-662-48000-7_12

Gazi, Peter, and Stefano Tessaro. “Secret-Key Cryptography from Ideal Primitives: A Systematic Verview.”https://doi.org/10.1109/ITW.2015.7133163__In 2015 IEEE Information Theory Workshop. IEEE, 2015.https://doi.org/10.1109/ITW.2015.7133163 .
LibreCat: https://research-explorer.ista.ac.at/record/1645
DOI: 10.1109/ITW.2015.7133163

Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “Generic Security of NMAC and HMAC with Input Whitening.”https://doi.org/10.1007/978-3-662-48800-3_4__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-48800-3_4 .
LibreCat: https://research-explorer.ista.ac.at/record/1654
DOI: 10.1007/978-3-662-48800-3_4

Skórski, Maciej, Alexander Golovnev, and Krzysztof Z Pietrzak. “Condensed Unpredictability ,”https://doi.org/10.1007/978-3-662-47672-7_85__9134:1046–57. Springer, 2015.https://doi.org/10.1007/978-3-662-47672-7_85 .
LibreCat: https://research-explorer.ista.ac.at/record/1650
DOI: 10.1007/978-3-662-47672-7_85

Baldimtsi, Foteini, Melissa Chase, Georg Fuchsbauer, and Markulf Kohlweiss. “Anonymous Transferable E-Cash.”https://doi.org/10.1007/978-3-662-46447-2_5__In Public-Key Cryptography - PKC 2015, 9020:101–24. Springer, 2015.https://doi.org/10.1007/978-3-662-46447-2_5 .
LibreCat: https://research-explorer.ista.ac.at/record/1651
DOI: 10.1007/978-3-662-46447-2_5

Alwen, Joel F, and Vladimir Serbinenko. “High Parallel Complexity Graphs and Memory-Hard Functions.”https://doi.org/10.1145/2746539.2746622__In Proceedings of the 47th Annual ACM Symposium on Theory of Computing, 595–603. ACM, 2015.https://doi.org/10.1145/2746539.2746622 .
LibreCat: https://research-explorer.ista.ac.at/record/1652
DOI: 10.1145/2746539.2746622

Bogomolov, Sergiy, Thomas A Henzinger, Andreas Podelski, Jakob Ruess, and Christian Schilling. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.”https://doi.org/10.1007/978-3-319-23401-4_8__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-23401-4_8 .
LibreCat: https://research-explorer.ista.ac.at/record/1658
DOI: 10.1007/978-3-319-23401-4_8

Brázdil, Tomás, Stefan Kiefer, Antonín Kudera, and Petr Novotný. “Long-Run Average Behaviour of Probabilistic Vector Addition Systems,”https://doi.org/10.1109/LICS.2015.15__44–55. IEEE, 2015.https://doi.org/10.1109/LICS.2015.15 .
LibreCat: https://research-explorer.ista.ac.at/record/1660
DOI: 10.1109/LICS.2015.15

Landau, Dan, Eugen Tausch, Amaro Taylor Weiner, Chip Stewart, Johannes Reiter, Jasmin Bahlo, Sandra Kluth, et al. “Mutations Driving CLL and Their Evolution in Progression and Relapse.”https://doi.org/10.1038/nature15395__Nature. Nature Publishing Group, 2015.https://doi.org/10.1038/nature15395 .
LibreCat: https://research-explorer.ista.ac.at/record/1665
DOI: 10.1038/nature15395
PMID: 26466571

Kovács, Krisztián, Myriam Steinmann, Olivier Halfon, Pierre Magistretti, and Jean Cardinaux. “Complex Regulation of CREB-Binding Protein by Homeodomain-Interacting Protein Kinase 2.”https://doi.org/10.1016/j.cellsig.2015.08.001__Cellular Signalling. Elsevier, 2015.https://doi.org/10.1016/j.cellsig.2015.08.001 .
LibreCat: https://research-explorer.ista.ac.at/record/1663
DOI: 10.1016/j.cellsig.2015.08.001

Brázdil, Tomás, L’Ubos Korendiak, Jan Krdál, Petr Novotný, and Vojtbch ehák. “Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.”https://doi.org/10.1007/978-3-319-22264-6_10__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-22264-6_10 .
LibreCat: https://research-explorer.ista.ac.at/record/1667
DOI: 10.1007/978-3-319-22264-6_10

Barkley, Dwight, Baofang Song, Mukund Vasudevan, Grégoire M Lemoult, Marc Avila, and Björn Hof. “The Rise of Fully Turbulent Flow.”https://doi.org/10.1038/nature15701__Nature. Nature Publishing Group, 2015.https://doi.org/10.1038/nature15701 .
LibreCat: https://research-explorer.ista.ac.at/record/1664
DOI: 10.1038/nature15701

Alwen, Joel F, Rafail Ostrovsky, Hongsheng Zhou, and Vassilis Zikas. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.”https://doi.org/10.1007/978-3-662-48000-7_37__In Advances in Cryptology - CRYPTO 2015, 9216:763–80. Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-48000-7_37 .
LibreCat: https://research-explorer.ista.ac.at/record/1672
DOI: 10.1007/978-3-662-48000-7_37

Pietrzak, Krzysztof Z, and Maciej Skórski. “The Chain Rule for HILL Pseudoentropy, Revisited.”https://doi.org/10.1007/978-3-319-22174-8_5__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-22174-8_5 .
LibreCat: https://research-explorer.ista.ac.at/record/1669
DOI: 10.1007/978-3-319-22174-8_5

Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC,”https://doi.org/10.1007/978-3-662-47989-6_18__9215:368–87. Springer, 2015.https://doi.org/10.1007/978-3-662-47989-6_18 .
LibreCat: https://research-explorer.ista.ac.at/record/1671
DOI: 10.1007/978-3-662-47989-6_18

Adlam, Ben, Krishnendu Chatterjee, and Martin Nowak. “Amplifiers of Selection.”https://doi.org/10.1098/rspa.2015.0114__Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London, 2015.https://doi.org/10.1098/rspa.2015.0114 .
LibreCat: https://research-explorer.ista.ac.at/record/1673
DOI: 10.1098/rspa.2015.0114

Gazi, Peter, Jooyoung Lee, Yannick Seurin, John Steinberger, and Stefano Tessaro. “Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes.”https://doi.org/10.1007/978-3-662-48116-5_16__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-48116-5_16 .
LibreCat: https://research-explorer.ista.ac.at/record/1668
DOI: 10.1007/978-3-662-48116-5_16

Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior,” 42–46. AAAI Press, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1670

Lee, Jioon, and Kevin Schnelli. “Edge Universality for Deformed Wigner Matrices.”https://doi.org/10.1142/S0129055X1550018X__Reviews in Mathematical Physics. World Scientific Publishing, 2015.https://doi.org/10.1142/S0129055X1550018X .
LibreCat: https://research-explorer.ista.ac.at/record/1674
DOI: 10.1142/S0129055X1550018X

Lemoult, Grégoire M, Philipp Maier, and Björn Hof. “Taylor’s Forest.”https://doi.org/10.1063/1.4930850__Physics of Fluids. American Institute of Physics, 2015.https://doi.org/10.1063/1.4930850 .
LibreCat: https://research-explorer.ista.ac.at/record/1679
DOI: 10.1063/1.4930850

Sixt, Michael K, and Erez Raz. “Editorial Overview: Cell Adhesion and Migration.”https://doi.org/10.1016/j.ceb.2015.09.004__Current Opinion in Cell Biology. Elsevier, 2015.https://doi.org/10.1016/j.ceb.2015.09.004 .
LibreCat: https://research-explorer.ista.ac.at/record/1676
DOI: 10.1016/j.ceb.2015.09.004

Sarris, Milka, and Michael K Sixt. “Navigating in Tissue Mazes: Chemoattractant Interpretation in Complex Environments.”https://doi.org/10.1016/j.ceb.2015.08.001__Current Opinion in Cell Biology. Elsevier, 2015.https://doi.org/10.1016/j.ceb.2015.08.001 .
LibreCat: https://research-explorer.ista.ac.at/record/1687
DOI: 10.1016/j.ceb.2015.08.001

Cohen Addad, Vincent, and Arnaud N de Mesmay. “A Fixed Parameter Tractable Approximation Scheme for the Optimal Cut Graph of a Surface,”https://doi.org/10.1007/978-3-662-48350-3_33__9294:386–98. Springer, 2015.https://doi.org/10.1007/978-3-662-48350-3_33 .
LibreCat: https://research-explorer.ista.ac.at/record/1685
DOI: 10.1007/978-3-662-48350-3_33

Karasev, Roman, Jan Kyndl, Pavel Paták, Zuzana Patakova, and Martin Tancer. “Bounds for Pach’s Selection Theorem and for the Minimum Solid Angle in a Simplex.”https://doi.org/10.1007/s00454-015-9720-z__Discrete &; Computational Geometry. Springer, 2015.https://doi.org/10.1007/s00454-015-9720-z .
LibreCat: https://research-explorer.ista.ac.at/record/1688
DOI: 10.1007/s00454-015-9720-z

Michaliszyn, Jakub, Jan Otop, and Emanuel Kieroski. “On the Decidability of Elementary Modal Logics.”https://doi.org/10.1145/2817825__ACM Transactions on Computational Logic. ACM, 2015.https://doi.org/10.1145/2817825 .
LibreCat: https://research-explorer.ista.ac.at/record/1680
DOI: 10.1145/2817825

Franek, Peter, and Marek Krcál. “Robust Satisfiability of Systems of Equations.”https://doi.org/10.1145/2751524__Journal of the ACM. ACM, 2015.https://doi.org/10.1145/2751524 .
LibreCat: https://research-explorer.ista.ac.at/record/1682
DOI: 10.1145/2751524

Letts, James A, and Leonid A Sazanov. “Gaining Mass: The Structure of Respiratory Complex I-from Bacterial towards Mitochondrial Versions.”https://doi.org/10.1016/j.sbi.2015.08.008__Current Opinion in Structural Biology. Elsevier, 2015.https://doi.org/10.1016/j.sbi.2015.08.008 .
LibreCat: https://research-explorer.ista.ac.at/record/1683
DOI: 10.1016/j.sbi.2015.08.008

Kiermaier, Eva, and Michael K Sixt. “Fragmented Communication between Immune Cells: Neutrophils Blaze a Trail with Migratory Cues for T Cells to Follow to Sites of Infection.”https://doi.org/10.1126/science.aad0867__Science. American Association for the Advancement of Science, 2015.https://doi.org/10.1126/science.aad0867 .
LibreCat: https://research-explorer.ista.ac.at/record/1686
DOI: 10.1126/science.aad0867

Frehse, Goran, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, and Andreas Podelski. “Eliminating Spurious Transitions in Reachability with Support Functions.”https://doi.org/10.1145/2728606.2728622__In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 149–58. ACM, 2015.https://doi.org/10.1145/2728606.2728622 .
LibreCat: https://research-explorer.ista.ac.at/record/1692
DOI: 10.1145/2728606.2728622

Amaro, Pedro, Beatrice Franke, Julian Krauth, Marc Diepold, Filippo Fratini, Laleh Safari, Jorge Machado, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.”https://doi.org/10.1103/PhysRevA.92.022514__Physical Review A. American Physical Society, 2015.https://doi.org/10.1103/PhysRevA.92.022514 .
LibreCat: https://research-explorer.ista.ac.at/record/1693
DOI: 10.1103/PhysRevA.92.022514

Bak, Stanley, Sergiy Bogomolov, and Taylor Johnson. “HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models,”https://doi.org/10.1145/2728606.2728630__128–33. Springer, 2015.https://doi.org/10.1145/2728606.2728630 .
LibreCat: https://research-explorer.ista.ac.at/record/1690
DOI: 10.1145/2728606.2728630

Svoreová, Mária, Martin Chmelik, Kevin Leahy, Hasan Eniser, Krishnendu Chatterjee, Ivana Cbrná, and Celin Belta. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.”https://doi.org/10.1145/2728606.2728617__In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 233–38. ACM, 2015.https://doi.org/10.1145/2728606.2728617 .
LibreCat: https://research-explorer.ista.ac.at/record/1691
DOI: 10.1145/2728606.2728617

Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Temporal Simulation and Refinement Distances for Timed Systems.”https://doi.org/10.1109/TAC.2015.2404612__IEEE Transactions on Automatic Control. IEEE, 2015.https://doi.org/10.1109/TAC.2015.2404612 .
LibreCat: https://research-explorer.ista.ac.at/record/1694
DOI: 10.1109/TAC.2015.2404612

Kaczmarczyk, Jan, Tobias Schickling, and Jörg Bünemann. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.”https://doi.org/10.1002/pssb.201552082__Physica Status Solidi (B): Basic Solid State Physics. Wiley, 2015.https://doi.org/10.1002/pssb.201552082 .
LibreCat: https://research-explorer.ista.ac.at/record/1695
DOI: 10.1002/pssb.201552082

Marre, Olivier, Vicente Botella Soler, Kristina Simmons, Thierry Mora, Gasper Tkadik, and Michael Berry. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.”https://doi.org/10.1371/journal.pcbi.1004304__PLoS Computational Biology. Public Library of Science, 2015.https://doi.org/10.1371/journal.pcbi.1004304 .
LibreCat: https://research-explorer.ista.ac.at/record/1697
DOI: 10.1371/journal.pcbi.1004304

Uecker, Hildegard, Derek Setter, and Joachim Hermisson. “Adaptive Gene Introgression after Secondary Contact.”https://doi.org/10.1007/s00285-014-0802-y__Journal of Mathematical Biology. Springer, 2015.https://doi.org/10.1007/s00285-014-0802-y .
LibreCat: https://research-explorer.ista.ac.at/record/1699
DOI: 10.1007/s00285-014-0802-y

Wysokiski, Marcin, Jan Kaczmarczyk, and Jozef Spaek. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.”https://doi.org/10.1103/PhysRevB.92.125135__Physical Review B. American Physical Society, 2015.https://doi.org/10.1103/PhysRevB.92.125135 .
LibreCat: https://research-explorer.ista.ac.at/record/1696
DOI: 10.1103/PhysRevB.92.125135

Tkadik, Gasper, Thierry Mora, Olivier Marre, Dario Amodei, Stephanie Palmer, Michael Berry Ii, and William Bialek. “Thermodynamics and Signatures of Criticality in a Network of Neurons.”https://doi.org/10.1073/pnas.1514188112__PNAS. National Academy of Sciences, 2015.https://doi.org/10.1073/pnas.1514188112 .
LibreCat: https://research-explorer.ista.ac.at/record/1701
DOI: 10.1073/pnas.1514188112
PMID: 26330611

Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.”https://doi.org/10.1016/j.ic.2015.03.001__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.03.001 .
LibreCat: https://research-explorer.ista.ac.at/record/1698
DOI: 10.1016/j.ic.2015.03.001

Van Loon, Erik, Mikhail Katsnelson, and Mikhail Lemeshko. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.”https://doi.org/10.1103/PhysRevB.92.081106__Physical Review B. American Physical Society, 2015.https://doi.org/10.1103/PhysRevB.92.081106 .
LibreCat: https://research-explorer.ista.ac.at/record/1700
DOI: 10.1103/PhysRevB.92.081106

Deuchert, Andreas, Christian Hainzl, and Robert Seiringer. “Note on a Family of Monotone Quantum Relative Entropies.”https://doi.org/10.1007/s11005-015-0787-5__Letters in Mathematical Physics. Springer, 2015.https://doi.org/10.1007/s11005-015-0787-5 .
LibreCat: https://research-explorer.ista.ac.at/record/1704
DOI: 10.1007/s11005-015-0787-5

Broadhurst, Linda, Graham Fifield, Bindi Vanzella, and Melinda Pickup. “An Evaluation of the Genetic Structure of Seed Sources and the Maintenance of Genetic Diversity during Establishment of Two Yellow Box (Eucalyptus Melliodora) Seed-Production Areas.”https://doi.org/10.1071/BT15023__Australian Journal of Botany. CSIRO, 2015.https://doi.org/10.1071/BT15023 .
LibreCat: https://research-explorer.ista.ac.at/record/1703
DOI: 10.1071/BT15023

Pentina, Anastasia, and Shai Ben David. “Multi-Task and Lifelong Learning of Kernels,”https://doi.org/10.1007/978-3-319-24486-0_13__9355:194–208. Springer, 2015.https://doi.org/10.1007/978-3-319-24486-0_13 .
LibreCat: https://research-explorer.ista.ac.at/record/1706
DOI: 10.1007/978-3-319-24486-0_13

Ratheesh, Aparna, Vera Belyaeva, and Daria E Siekhaus. “Drosophila Immune Cell Migration and Adhesion during Embryonic Development and Larval Immune Responses.”https://doi.org/10.1016/j.ceb.2015.07.003__Current Opinion in Cell Biology. Elsevier, 2015.https://doi.org/10.1016/j.ceb.2015.07.003 .
LibreCat: https://research-explorer.ista.ac.at/record/1712
DOI: 10.1016/j.ceb.2015.07.003

Akopyan, Arseniy, and Alexander Plakhov. “Minimal Resistance of Curves under the Single Impact Assumption.”https://doi.org/10.1137/140993843__Society for Industrial and Applied Mathematics. SIAM, 2015.https://doi.org/10.1137/140993843 .
LibreCat: https://research-explorer.ista.ac.at/record/1710
DOI: 10.1137/140993843

Colin De Verdière, Éric, Alfredo Hubard, and Arnaud N de Mesmay. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.”https://doi.org/10.1007/s00454-015-9679-9__Discrete &; Computational Geometry. Springer, 2015.https://doi.org/10.1007/s00454-015-9679-9 .
LibreCat: https://research-explorer.ista.ac.at/record/1730
DOI: 10.1007/s00454-015-9679-9

Ando, Ryoichi, Nils Thürey, and Chris Wojtan. “A Dimension-Reduced Pressure Solver for Liquid Simulations.”https://doi.org/10.1111/cgf.12576__Computer Graphics Forum. Wiley, 2015.https://doi.org/10.1111/cgf.12576 .
LibreCat: https://research-explorer.ista.ac.at/record/1735
DOI: 10.1111/cgf.12576

Klehm, Oliver, Fabrice Rousselle, Marios Papas, Derek Bradley, Christophe Hery, Bernd Bickel, Wojciech Jarosz, and Thabo Beeler. “Recent Advances in Facial Appearance Capture.”https://doi.org/10.1111/cgf.12594__Computer Graphics Forum. Wiley-Blackwell, 2015.https://doi.org/10.1111/cgf.12594 .
LibreCat: https://research-explorer.ista.ac.at/record/1734
DOI: 10.1111/cgf.12594

Kuechler, Alma, Alexander Zink, Thomas Wieland, Hermann Lüdecke, Kirsten Cremer, Leonardo Salviati, Pamela Magini, et al. “Loss-of-Function Variants of SET Cause Intellectual Disability and the Core Phenotype of Microdeletion 3.3 Syndrome.”https://doi.org/10.1038/ejhg.2014.165__European Journal of Human Genetics. Nature Publishing Group, 2015.https://doi.org/10.1038/ejhg.2014.165 .
LibreCat: https://research-explorer.ista.ac.at/record/1789
DOI: 10.1038/ejhg.2014.165
PMID: 25138099

Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Transition to Turbulence in Taylor-Couette Ferrofluidic Flow.”https://doi.org/10.1038/srep10781__Scientific Reports. Nature Publishing Group, 2015.https://doi.org/10.1038/srep10781 .
LibreCat: https://research-explorer.ista.ac.at/record/1804
DOI: 10.1038/srep10781

Goldman, Michael, and Jimena Royo-Letelier. “Sharp Interface Limit for Two Components Bose-Einstein Condensates.”https://doi.org/10.1051/cocv/2014040__ESAIM - Control, Optimisation and Calculus of Variations. EDP Sciences, 2015.https://doi.org/10.1051/cocv/2014040 .
LibreCat: https://research-explorer.ista.ac.at/record/1807
DOI: 10.1051/cocv/2014040

Bollenbach, Mark Tobias. “Antimicrobial Interactions: Mechanisms and Implications for Drug Discovery and Resistance Evolution.”https://doi.org/10.1016/j.mib.2015.05.008__Current Opinion in Microbiology. Elsevier, 2015.https://doi.org/10.1016/j.mib.2015.05.008 .
LibreCat: https://research-explorer.ista.ac.at/record/1810
DOI: 10.1016/j.mib.2015.05.008

Lahrz, Martin, Mikhail Lemeshko, and Ludwig Mathey. “Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .”https://doi.org/10.1088/1367-2630/17/4/045005__New Journal of Physics. IOP Publishing Ltd., 2015.https://doi.org/10.1088/1367-2630/17/4/045005 .
LibreCat: https://research-explorer.ista.ac.at/record/1812
DOI: 10.1088/1367-2630/17/4/045005

Safari, Laleh, José Santos, Pedro Amaro, Kari Jänkälä, and Filippo Fratini. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.”https://doi.org/10.1063/1.4921227__Journal of Mathematical Physics. American Institute of Physics, 2015.https://doi.org/10.1063/1.4921227 .
LibreCat: https://research-explorer.ista.ac.at/record/1811
DOI: 10.1063/1.4921227

Schmidt, Richard, and Mikhail Lemeshko. “Rotation of Quantum Impurities in the Presence of a Many-Body Environment.”https://doi.org/10.1103/PhysRevLett.114.203001__Physical Review Letters. American Physical Society, 2015.https://doi.org/10.1103/PhysRevLett.114.203001 .
LibreCat: https://research-explorer.ista.ac.at/record/1813
DOI: 10.1103/PhysRevLett.114.203001

Gupta, Ashutosh, and Thomas A Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.”https://doi.org/10.1145/2745799__ACM Transactions on Modeling and Computer Simulation. ACM, 2015.https://doi.org/10.1145/2745799 .
LibreCat: https://research-explorer.ista.ac.at/record/1808
DOI: 10.1145/2745799

Porazinski, Sean, Huijia Wang, Yoichi Asaoka, Martin Behrndt, Tatsuo Miyamoto, Hitoshi Morita, Shoji Hata, et al. “YAP Is Essential for Tissue Tension to Ensure Vertebrate 3D Body Shape.”https://doi.org/10.1038/nature14215__Nature. Nature Publishing Group, 2015.https://doi.org/10.1038/nature14215 .
LibreCat: https://research-explorer.ista.ac.at/record/1817
DOI: 10.1038/nature14215
PMID: 25778702

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , 5:3496–3502. AAAI Press, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1820
arXiv: 1411.3880

Jeschke, Stefan, and Chris Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.”https://doi.org/10.1145/2714572__ACM Transactions on Graphics. ACM, 2015.https://doi.org/10.1145/2714572 .
LibreCat: https://research-explorer.ista.ac.at/record/1814
DOI: 10.1145/2714572

Polechova, Jitka, and Nicholas H Barton. “Limits to Adaptation along Environmental Gradients.”https://doi.org/10.1073/pnas.1421515112__PNAS. National Academy of Sciences, 2015.https://doi.org/10.1073/pnas.1421515112 .
LibreCat: https://research-explorer.ista.ac.at/record/1818
DOI: 10.1073/pnas.1421515112
PMID: 25941385

Zwiewka, Marta, Tomasz Nodzyski, Stéphanie Robert, Steffen Vanneste, and Jií Friml. “Osmotic Stress Modulates the Balance between Exocytosis and Clathrin Mediated Endocytosis in Arabidopsis Thaliana.”https://doi.org/10.1016/j.molp.2015.03.007__Molecular Plant. Elsevier, 2015.https://doi.org/10.1016/j.molp.2015.03.007 .
LibreCat: https://research-explorer.ista.ac.at/record/1819
DOI: 10.1016/j.molp.2015.03.007

Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.”https://doi.org/10.15252/msb.20156098__Molecular Systems Biology. Nature Publishing Group, 2015.https://doi.org/10.15252/msb.20156098 .
LibreCat: https://research-explorer.ista.ac.at/record/1823
DOI: 10.15252/msb.20156098

Knebel, Johannes, Markus Weber, Torben H Krüger, and Erwin Frey. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.”https://doi.org/10.1038/ncomms7977__Nature Communications. Nature Publishing Group, 2015.https://doi.org/10.1038/ncomms7977 .
LibreCat: https://research-explorer.ista.ac.at/record/1824
DOI: 10.1038/ncomms7977

Kappeler, Peter, Sylvia Cremer, and Charles Nunn. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.”https://doi.org/10.1098/rstb.2014.0116__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2015.https://doi.org/10.1098/rstb.2014.0116 .
LibreCat: https://research-explorer.ista.ac.at/record/1831
DOI: 10.1098/rstb.2014.0116
PMID: 25870402

Akopyan, Arseniy, Sergey Pirogov, and Aleksandr Rybko. “Invariant Measures of Genetic Recombination Process.”https://doi.org/10.1007/s10955-015-1238-5__Journal of Statistical Physics. Springer, 2015.https://doi.org/10.1007/s10955-015-1238-5 .
LibreCat: https://research-explorer.ista.ac.at/record/1828
DOI: 10.1007/s10955-015-1238-5

Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.”https://doi.org/10.1007/978-3-662-46669-8_5__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-46669-8_5 .
LibreCat: https://research-explorer.ista.ac.at/record/1836
DOI: 10.1007/978-3-662-46669-8_5

Bloem, Roderick, Krishnendu Chatterjee, Swen Jacobs, and Robert Könighofer. “Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information,”https://doi.org/10.1007/978-3-662-46681-0_50__9035:517–32. Springer, 2015.https://doi.org/10.1007/978-3-662-46681-0_50 .
LibreCat: https://research-explorer.ista.ac.at/record/1838
DOI: 10.1007/978-3-662-46681-0_50

Brázdil, Tomás, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.”https://doi.org/10.1007/978-3-662-46681-0_12__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-46681-0_12 .
LibreCat: https://research-explorer.ista.ac.at/record/1839
DOI: 10.1007/978-3-662-46681-0_12

Kühnen, Jakob, P Braunshier, M Schwegel, Hendrik Kuhlmann, and Björn Hof. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.”https://doi.org/10.1017/jfm.2015.184__Journal of Fluid Mechanics. Cambridge University Press, 2015.https://doi.org/10.1017/jfm.2015.184 .
LibreCat: https://research-explorer.ista.ac.at/record/1837
DOI: 10.1017/jfm.2015.184
arXiv: 1508.06559

Benes, Nikola, Jan Kretinsky, Kim Larsen, Mikael Möller, Salomon Sickert, and Jií Srba. “Refinement Checking on Parametric Modal Transition Systems.”https://doi.org/10.1007/s00236-015-0215-4__Acta Informatica. Springer, 2015.https://doi.org/10.1007/s00236-015-0215-4 .
LibreCat: https://research-explorer.ista.ac.at/record/1846
DOI: 10.1007/s00236-015-0215-4

Vandael, David H, Claudiahttps://doi.org/10.1016/j.neuron.2015.03.006__Espinoza Martinez, and Peter M Jonas. “Excitement about Inhibitory Presynaptic Terminals.”https://doi.org/10.1016/j.neuron.2015.03.006__Neuron. Elsevier, 2015.https://doi.org/10.1016/j.neuron.2015.03.006 .
LibreCat: https://research-explorer.ista.ac.at/record/1845
DOI: 10.1016/j.neuron.2015.03.006