Kolesnikov, Alexander, Matthieu Guillaumin, Vittorio Ferrari, and Christoph Lampert. “Closed-Form Approximate CRF Training for Scalable Image Segmentation.”https://doi.org/10.1007/978-3-319-10578-9_36__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by David Fleet, Tomas Pajdla, Bernt Schiele, and Tinne Tuytelaars, 8691:550–65. Springer, 2014.https://doi.org/10.1007/978-3-319-10578-9_36 .
LibreCat: https://research-explorer.ista.ac.at/record/2171
DOI: 10.1007/978-3-319-10578-9_36

Khamis, Sameh, and Christoph Lampert. “CoConut: Co-Classification with Output Space Regularization.” In Proceedings of the British Machine Vision Conference 2014. BMVA Press, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2173

Sydorov, Vladyslav, Mayu Sakurada, and Christoph Lampert. “Deep Fisher Kernels – End to End Learning of the Fisher Kernel GMM Parameters.”https://doi.org/10.1109/CVPR.2014.182__In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1402–9. IEEE, 2014.https://doi.org/10.1109/CVPR.2014.182 .
LibreCat: https://research-explorer.ista.ac.at/record/2172
DOI: 10.1109/CVPR.2014.182

De Vladar, Harold, and Nicholas H Barton. “Stability and Response of Polygenic Traits to Stabilizing Selection and Mutation.”https://doi.org/10.1534/genetics.113.159111__Genetics. Genetics Society of America, 2014.https://doi.org/10.1534/genetics.113.159111 .
LibreCat: https://research-explorer.ista.ac.at/record/2174
DOI: 10.1534/genetics.113.159111

Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Local Semicircle Law with Imprimitive Variance Matrix.”https://doi.org/10.1214/ECP.v19-3121__Electronic Communications in Probability. Institute of Mathematical Statistics, 2014.https://doi.org/10.1214/ECP.v19-3121 .
LibreCat: https://research-explorer.ista.ac.at/record/2179
DOI: 10.1214/ECP.v19-3121

Studer, Daniel, Shanting Zhao, Xuejun Chai, Peter M Jonas, Werner Graber, Sigrun Nestel, and Michael Frotscher. “Capture of Activity-Induced Ultrastructural Changes at Synapses by High-Pressure Freezing of Brain Tissue.”https://doi.org/10.1038/nprot.2014.099__Nature Protocols. Nature Publishing Group, 2014.https://doi.org/10.1038/nprot.2014.099 .
LibreCat: https://research-explorer.ista.ac.at/record/2176
DOI: 10.1038/nprot.2014.099

Haws, David, Abraham Martin del Campo Sanchez, Akimichi Takemura, and Ruriko Yoshida. “Markov Degree of the Three-State Toric Homogeneous Markov Chain Model.”https://doi.org/10.1007/s13366-013-0178-y__Beitrage Zur Algebra Und Geometrie. Springer, 2014.https://doi.org/10.1007/s13366-013-0178-y .
LibreCat: https://research-explorer.ista.ac.at/record/2178
DOI: 10.1007/s13366-013-0178-y

Edelsbrunner, Herbert, and Salman Parsa. “On the Computational Complexity of Betti Numbers Reductions from Matrix Rank.”https://doi.org/10.1137/1.9781611973402.11__In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 152–60. SIAM, 2014.https://doi.org/10.1137/1.9781611973402.11 .
LibreCat: https://research-explorer.ista.ac.at/record/2177
DOI: 10.1137/1.9781611973402.11

Dodis, Yevgeniy, Krzysztof Z Pietrzak, and Daniel Wichs. “Key Derivation without Entropy Waste.”https://doi.org/10.1007/978-3-642-55220-5_6__edited by Phong Nguyen and Elisabeth Oswald, 8441:93–110. Springer, 2014.https://doi.org/10.1007/978-3-642-55220-5_6 .
LibreCat: https://research-explorer.ista.ac.at/record/2185
DOI: 10.1007/978-3-642-55220-5_6

Bellet, Aurélien, Amaury Habrard, Emilie Morvant, and Marc Sebban. “Learning a Priori Constrained Weighted Majority Votes.”https://doi.org/10.1007/s10994-014-5462-z__Machine Learning. Springer, 2014.https://doi.org/10.1007/s10994-014-5462-z .
LibreCat: https://research-explorer.ista.ac.at/record/2180
DOI: 10.1007/s10994-014-5462-z

cadek, Martin, Marek Krcál, Jií Matousek, Francis Sergeraert, Lukás Vokínek, and Uli Wagner. “Computing All Maps into a Sphere.”https://doi.org/10.1145/2597629__Journal of the ACM. ACM, 2014.https://doi.org/10.1145/2597629 .
LibreCat: https://research-explorer.ista.ac.at/record/2184
DOI: 10.1145/2597629

Botella Soler, Vicente, and Paul Glendinning. “Hierarchy and Polysynchrony in an Adaptive Network .”https://doi.org/10.1103/PhysRevE.89.062809__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2014.https://doi.org/10.1103/PhysRevE.89.062809 .
LibreCat: https://research-explorer.ista.ac.at/record/2183
DOI: 10.1103/PhysRevE.89.062809

Chen, Thomas, Christian Hainzl, Natasa Pavlovi, and Robert Seiringer. “On the Well-Posedness and Scattering for the Gross-Pitaevskii Hierarchy via Quantum de Finetti.”https://doi.org/10.1007/s11005-014-0693-2__Letters in Mathematical Physics. Springer, 2014.https://doi.org/10.1007/s11005-014-0693-2 .
LibreCat: https://research-explorer.ista.ac.at/record/2186
DOI: 10.1007/s11005-014-0693-2

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, and Robert Könighofer. “Synthesizing Robust Systems.”https://doi.org/10.1007/s00236-013-0191-5__Acta Informatica. Springer, 2014.https://doi.org/10.1007/s00236-013-0191-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2187
DOI: 10.1007/s00236-013-0191-5

Kania, Urszula, Matyas Fendrych, and Jií Friml. “Polar Delivery in Plants; Commonalities and Differences to Animal Epithelial Cells.”https://doi.org/10.1098/rsob.140017__Open Biology. Royal Society, 2014.https://doi.org/10.1098/rsob.140017 .
LibreCat: https://research-explorer.ista.ac.at/record/2188
DOI: 10.1098/rsob.140017

Morvant, Emilie. “Adaptation de Domaine de Vote de Majorité Par Auto-Étiquetage Non Itératif,” 1:49–58. Elsevier, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2189

Esparza, Javier, and Jan Kretinsky. “From LTL to Deterministic Automata: A Safraless Compositional Approach,”https://doi.org/10.1007/978-3-319-08867-9_13__8559:192–208. Springer, 2014.https://doi.org/10.1007/978-3-319-08867-9_13 .
LibreCat: https://research-explorer.ista.ac.at/record/2190
DOI: 10.1007/978-3-319-08867-9_13

Lahrz, Martin, Mikhail Lemeshko, Klaus Sengstock, Christoph Becker, and Ludwig Mathey. “Detecting Quadrupole Interactions in Ultracold Fermi Gases.”https://doi.org/10.1103/PhysRevA.89.043616__Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2014.https://doi.org/10.1103/PhysRevA.89.043616 .
LibreCat: https://research-explorer.ista.ac.at/record/2208
DOI: 10.1103/PhysRevA.89.043616

Stoler Barak, Liat, Christine Moussion, Elias Shezen, Miki Hatzav, Michael K Sixt, and Ronen Alon. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.”https://doi.org/10.1371/journal.pone.0085699__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0085699 .
LibreCat: https://research-explorer.ista.ac.at/record/2214
DOI: 10.1371/journal.pone.0085699

Renkawitz, Jörg, Claudio Lademann, and Stefan Jentsch. “Mechanisms and Principles of Homology Search during Recombination.”https://doi.org/10.1038/nrm3805__Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2014.https://doi.org/10.1038/nrm3805 .
LibreCat: https://research-explorer.ista.ac.at/record/2215
DOI: 10.1038/nrm3805

Tanaka, Hirokazu, Tomasz Nodzyski, Saeko Kitakura, Mugurel Feraru, Michiko Sasabe, Tomomi Ishikawa, Jürgen Kleine Vehn, Tatsuo Kakimoto, and Jií Friml. “BE/ARC Is Required for BFA-Sensitive Recycling of PIN Auxin Transporters and Auxin-Mediated Development in Arabidopsis.”https://doi.org/10.1093/pcp/pct196__Plant and Cell Physiology. Oxford University Press, 2014.https://doi.org/10.1093/pcp/pct196 .
LibreCat: https://research-explorer.ista.ac.at/record/2223
DOI: 10.1093/pcp/pct196

Bloemendal, Alex, László Erdös, Antti Knowles, Horng Yau, and Jun Yin. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.”https://doi.org/10.1214/EJP.v19-3054__Electronic Journal of Probability. Institute of Mathematical Statistics, 2014.https://doi.org/10.1214/EJP.v19-3054 .
LibreCat: https://research-explorer.ista.ac.at/record/2225
DOI: 10.1214/EJP.v19-3054

Naramoto, Satoshi, Tomasz Nodzyski, Tomoko Dainobu, Hirotomo Takatsuka, Teruyo Okada, Jií Friml, and Hiroo Fukuda. “VAN4 Encodes a Putative T That Is Required for Normal Cell Growth and Vein Development in Arabidopsis.”https://doi.org/10.1093/pcp/pcu012__Plant and Cell Physiology. Oxford University Press, 2014.https://doi.org/10.1093/pcp/pcu012 .
LibreCat: https://research-explorer.ista.ac.at/record/2222
DOI: 10.1093/pcp/pcu012

Altmeyer, Sebastian. “On Secondary Instabilities Generating Footbridges between Spiral Vortex Flow.”https://doi.org/10.1088/0169-5983/46/2/025503__Fluid Dynamics Research. IOP Publishing Ltd., 2014.https://doi.org/10.1088/0169-5983/46/2/025503 .
LibreCat: https://research-explorer.ista.ac.at/record/2224
DOI: 10.1088/0169-5983/46/2/025503

Kiltz, Eike, Daniel Masny, and Krzysztof Z Pietrzak. “Simple Chosen-Ciphertext Security from Low Noise LPN,”https://doi.org/10.1007/978-3-642-54631-0_1__8383:1–18. Springer, 2014.https://doi.org/10.1007/978-3-642-54631-0_1 .
LibreCat: https://research-explorer.ista.ac.at/record/2219
DOI: 10.1007/978-3-642-54631-0_1

Vos, Marjon de, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.”https://doi.org/10.1016/j.chembiol.2014.04.004__Chemistry and Biology. Cell Press, 2014.https://doi.org/10.1016/j.chembiol.2014.04.004 .
LibreCat: https://research-explorer.ista.ac.at/record/2220
DOI: 10.1016/j.chembiol.2014.04.004
PMID: 24766845

Boker, Udi, and Thomas A Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.”https://doi.org/10.2168/LMCS-10(1:10)2014__Logical Methods in Computer Science. International Federation of Computational Logic, 2014.https://doi.org/10.2168/LMCS-10(1:10)2014 .
LibreCat: https://research-explorer.ista.ac.at/record/2233
DOI: 10.2168/LMCS-10(1:10)2014

Guzmán, José, Alois Schlögl, and Christoph Schmidt Hieber. “Stimfit: Quantifying Electrophysiological Data with Python.”https://doi.org/10.3389/fninf.2014.00016__Frontiers in Neuroinformatics. Frontiers Research Foundation, 2014.https://doi.org/10.3389/fninf.2014.00016 .
LibreCat: https://research-explorer.ista.ac.at/record/2230
DOI: 10.3389/fninf.2014.00016

Hu, Hua, and Peter M Jonas. “A Supercritical Density of Na^+ Channels Ensures Fast Signaling in GABAergic Interneuron Axons.”https://doi.org/10.1038/nn.3678__Nature Neuroscience. Nature Publishing Group, 2014.https://doi.org/10.1038/nn.3678 .
LibreCat: https://research-explorer.ista.ac.at/record/2228
DOI: 10.1038/nn.3678

Vyleta, Nicholas, and Peter M Jonas. “Loose Coupling between Ca^2+ Channels and Release Sensors at a Plastic Hippocampal Synapse.”https://doi.org/10.1126/science.1244811__Science. American Association for the Advancement of Science, 2014.https://doi.org/10.1126/science.1244811 .
LibreCat: https://research-explorer.ista.ac.at/record/2229
DOI: 10.1126/science.1244811

Song, Baofang, and Björn Hof. “Deterministic and Stochastic Aspects of the Transition to Turbulence.”https://doi.org/10.1088/1742-5468/2014/02/P02001__Journal of Statistical Mechanics Theory and Experiment. IOP Publishing, 2014.https://doi.org/10.1088/1742-5468/2014/02/P02001 .
LibreCat: https://research-explorer.ista.ac.at/record/2232
DOI: 10.1088/1742-5468/2014/02/P02001
arXiv: 1403.4516

Rieckh, Georg, and Gasper Tkadik. “Noise and Information Transmission in Promoters with Multiple Internal States.”https://doi.org/10.1016/j.bpj.2014.01.014__Biophysical Journal. Biophysical Society, 2014.https://doi.org/10.1016/j.bpj.2014.01.014 .
LibreCat: https://research-explorer.ista.ac.at/record/2231
DOI: 10.1016/j.bpj.2014.01.014
PMID: 24606943

Shi, Liang, Björn Hof, and Andreas Tilgner. “Transient Growth of Ekman-Couette Flow.”https://doi.org/10.1103/PhysRevE.89.013001__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2014.https://doi.org/10.1103/PhysRevE.89.013001 .
LibreCat: https://research-explorer.ista.ac.at/record/2226
DOI: 10.1103/PhysRevE.89.013001

Cires Rodriguez, Eduardo, Matthias Baltisberger, Candela Cuesta, Pablo Vargas, and José Prieto. “Allopolyploid Origin of the Balkan Endemic Ranunculus Wettsteinii (Ranunculaceae) Inferred from Nuclear and Plastid DNA Sequences.”https://doi.org/10.1007/s13127-013-0150-6__Organisms Diversity and Evolution. Springer, 2014.https://doi.org/10.1007/s13127-013-0150-6 .
LibreCat: https://research-explorer.ista.ac.at/record/2227
DOI: 10.1007/s13127-013-0150-6

Brázdil, Tomás, Václav Broeek, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Markov Decision Processes with Multiple Long-Run Average Objectives.”https://doi.org/10.2168/LMCS-10(1:13)2014__Logical Methods in Computer Science. International Federation of Computational Logic, 2014.https://doi.org/10.2168/LMCS-10(1:13)2014 .
LibreCat: https://research-explorer.ista.ac.at/record/2234
DOI: 10.2168/LMCS-10(1:13)2014

Jetchev, Dimitar, and Krzysztof Z Pietrzak. “How to Fake Auxiliary Input.”https://doi.org/10.1007/978-3-642-54242-8_24__edited by Yehuda Lindell, 8349:566–90. Springer, 2014.https://doi.org/10.1007/978-3-642-54242-8_24 .
LibreCat: https://research-explorer.ista.ac.at/record/2236
DOI: 10.1007/978-3-642-54242-8_24

Gadeyne, Astrid, Clara Sánchez Rodríguez, Steffen Vanneste, Simone Di Rubbo, Henrik Zauber, Kevin Vanneste, Jelle Van Leene, et al. “The TPLATE Adaptor Complex Drives Clathrin-Mediated Endocytosis in Plants.”https://doi.org/10.1016/j.cell.2014.01.039__Cell. Cell Press, 2014.https://doi.org/10.1016/j.cell.2014.01.039 .
LibreCat: https://research-explorer.ista.ac.at/record/2240
DOI: 10.1016/j.cell.2014.01.039

Boker, Udi, Thomas A Henzinger, and Arjun Radhakrishna. “Battery Transition Systems,”https://doi.org/10.1145/2535838.2535875__49:595–606. ACM, 2014.https://doi.org/10.1145/2535838.2535875 .
LibreCat: https://research-explorer.ista.ac.at/record/2239
DOI: 10.1145/2535838.2535875

Fürst, Matthias, Dino Mcmahon, Juliet Osborne, Robert Paxton, and Mark Brown. “Disease Associations between Honeybees and Bumblebees as a Threat to Wild Pollinators.”https://doi.org/10.1038/nature12977__Nature. Nature Publishing Group, 2014.https://doi.org/10.1038/nature12977 .
LibreCat: https://research-explorer.ista.ac.at/record/2235
DOI: 10.1038/nature12977

Beppu, Kaoru, Takuya Sasaki, Kenji Tanaka, Akihiro Yamanaka, Yugo Fukazawa, Ryuichi Shigemoto, and Ko Matsui. “Optogenetic Countering of Glial Acidosis Suppresses Glial Glutamate Release and Ischemic Brain Damage.”https://doi.org/10.1016/j.neuron.2013.11.011__Neuron. Elsevier, 2014.https://doi.org/10.1016/j.neuron.2013.11.011 .
LibreCat: https://research-explorer.ista.ac.at/record/2241
DOI: 10.1016/j.neuron.2013.11.011

Simon, Sibu, Petr Skfpa, Petre Dobrev, Jan Petrásek, Eva Zaeímalová, and Jií Friml. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.”https://doi.org/10.1007/978-1-62703-592-7_23__In Plant Chemical Genomics, edited by Glenn Hicks and Stéphanie Robert, 1056:255–64. Methods in Molecular Biology. Springer, 2014.https://doi.org/10.1007/978-1-62703-592-7_23 .
LibreCat: https://research-explorer.ista.ac.at/record/2245
DOI: 10.1007/978-1-62703-592-7_23

Grinshpun, Andrey, Pakawat Phalitnonkiat, Sasha Rubin, and Andrei Tarfulea. “Alternating Traps in Muller and Parity Games.”https://doi.org/10.1016/j.tcs.2013.11.032__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2013.11.032 .
LibreCat: https://research-explorer.ista.ac.at/record/2246
DOI: 10.1016/j.tcs.2013.11.032

Dueck, Anne, Alexander Eichner, Michael K Sixt, and Gunter Meister. “A MiR-155-Dependent MicroRNA Hierarchy in Dendritic Cell Maturation and Macrophage Activation.”https://doi.org/10.1016/j.febslet.2014.01.009__FEBS Letters. Elsevier, 2014.https://doi.org/10.1016/j.febslet.2014.01.009 .
LibreCat: https://research-explorer.ista.ac.at/record/2242
DOI: 10.1016/j.febslet.2014.01.009

Kuchibhatla, Durga, Westley Sherman, Betty Chung, Shelley Cook, Georg Schneider, Birgit Eisenhaber, and David Karlin. “Powerful Sequence Similarity Search Methods and In-Depth Manual Analyses Can Identify Remote Homologs in Many Apparently ‘Orphan’ Viral Proteins.”https://doi.org/10.1128/JVI.02595-13__Journal of Virology. ASM, 2014.https://doi.org/10.1128/JVI.02595-13 .
LibreCat: https://research-explorer.ista.ac.at/record/2250
DOI: 10.1128/JVI.02595-13

Pernia-Andrade, Alejandro, and Peter M Jonas. “Theta-Gamma-Modulated Synaptic Currents in Hippocampal Granule Cells in Vivo Define a Mechanism for Network Oscillations.”https://doi.org/10.1016/j.neuron.2013.09.046__Neuron. Elsevier, 2014.https://doi.org/10.1016/j.neuron.2013.09.046 .
LibreCat: https://research-explorer.ista.ac.at/record/2254
DOI: 10.1016/j.neuron.2013.09.046

Csicsvari, Jozsef L, and David Dupret. “Sharp Wave/Ripple Network Oscillations and Learning-Associated Hippocampal Maps.”https://doi.org/10.1098/rstb.2012.0528__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2014.https://doi.org/10.1098/rstb.2012.0528 .
LibreCat: https://research-explorer.ista.ac.at/record/2251
DOI: 10.1098/rstb.2012.0528
PMID: 24366138

Bailly, Aurélien, Bangjun Wang, Marta Zwiewka, Stephan Pollmann, Daniel Schenck, Hartwig Lüthen, Alexander Schulz, Jií Friml, and Markus Geisler. “Expression of TWISTED DWAR Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.”https://doi.org/10.1111/tpj.12369__Plant Journal. Wiley-Blackwell, 2014.https://doi.org/10.1111/tpj.12369 .
LibreCat: https://research-explorer.ista.ac.at/record/2253
DOI: 10.1111/tpj.12369

Capek, Daniel, Brian Metscher, and Gerd Müller. “Thumbs down: A Molecular-Morphogenetic Approach to Avian Digit Homology.”https://doi.org/10.1002/jez.b.22545__Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. Wiley-Blackwell, 2014.https://doi.org/10.1002/jez.b.22545 .
LibreCat: https://research-explorer.ista.ac.at/record/2248
DOI: 10.1002/jez.b.22545

Chen, Yani, Kyaw Aung, Jakub Roldík, Kathryn Walicki, Jií Friml, and Federica Brandizzí. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.”https://doi.org/10.1111/tpj.12373__Plant Journal. Wiley-Blackwell, 2014.https://doi.org/10.1111/tpj.12373 .
LibreCat: https://research-explorer.ista.ac.at/record/2249
DOI: 10.1111/tpj.12373

Phadke, Sujal, Tiago Paixao, Tuan Pham, Stephanie Pham, and Rebecca Zufall. “Genetic Background Alters Dominance Relationships between Mat Alleles in the Ciliate Tetrahymena Thermophila.”https://doi.org/10.1093/jhered/est063__Journal of Heredity. Oxford University Press, 2014.https://doi.org/10.1093/jhered/est063 .
LibreCat: https://research-explorer.ista.ac.at/record/2252
DOI: 10.1093/jhered/est063

Zhu, Fangfang, Matthew Gamboa, Alfonso Farruggio, Simon Hippenmeyer, Bosiljka Tasic, Birgitt Schüle, Yanru Chen Tsai, and Michele Calos. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.”https://doi.org/10.1093/nar/gkt1290__Nucleic Acids Research. Oxford University Press, 2014.https://doi.org/10.1093/nar/gkt1290 .
LibreCat: https://research-explorer.ista.ac.at/record/2261
DOI: 10.1093/nar/gkt1290

Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of Cortical Projection Neuron Migration.”https://doi.org/10.1007/978-94-007-7687-6_1__In https://doi.org/10.1007/978-94-007-7687-6_1__Cellular and Molecular Control of Neuronal Migration, edited by Laurent Nguyen, 800:1–24. Springer, 2014.https://doi.org/10.1007/978-94-007-7687-6_1 .
LibreCat: https://research-explorer.ista.ac.at/record/2265
DOI: 10.1007/978-94-007-7687-6_1

Olsson, Carl, Johannes Ulen, Yuri Boykov, and Vladimir Kolmogorov. “Partial Enumeration and Curvature Regularization,”https://doi.org/10.1109/ICCV.2013.365__2936–43. IEEE, 2014.https://doi.org/10.1109/ICCV.2013.365 .
LibreCat: https://research-explorer.ista.ac.at/record/2275
DOI: 10.1109/ICCV.2013.365

Hosp, Jonas, Michael Strüber, Yuchio Yanagawa, Kunihiko Obata, Imre Vida, Peter M Jonas, and Marlene Bartos. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.”https://doi.org/10.1002/hipo.22214__Hippocampus. Wiley-Blackwell, 2014.https://doi.org/10.1002/hipo.22214 .
LibreCat: https://research-explorer.ista.ac.at/record/2285
DOI: 10.1002/hipo.22214

Lieb, Élliott, and Robert Seiringer. “Equivalence of Two Definitions of the Effective Mass of a Polaron.”https://doi.org/10.1007/s10955-013-0791-z__Journal of Statistical Physics. Springer, 2014.https://doi.org/10.1007/s10955-013-0791-z .
LibreCat: https://research-explorer.ista.ac.at/record/2407
DOI: 10.1007/s10955-013-0791-z

Browning, Timothy D, Lilian Matthiesen, and Alexei Skorobogatov. “Rational Points on Pencils of Conics and Quadrics with Many Degenerate Fibres.”https://doi.org/10.4007/annals.2014.180.1.8__Annals of Mathematics. John Hopkins University Press, 2014.https://doi.org/10.4007/annals.2014.180.1.8 .
LibreCat: https://research-explorer.ista.ac.at/record/248
DOI: https://doi.org/10.4007/annals.2014.180.1.8

Browning, Timothy D, and Pankaj Vishe. “Cubic Hypersurfaces and a Version of the Circle Method for Number Fields.”https://doi.org/10.1215/00127094-2738530__Duke Mathematical Journal. Duke University Press, 2014.https://doi.org/10.1215/00127094-2738530 .
LibreCat: https://research-explorer.ista.ac.at/record/249
DOI: 10.1215/00127094-2738530

Browning, Timothy D, and Michael Jones. “Counting Rational Points on Del Pezzo Surfaces with a Conic Bundle Structure.”https://doi.org/10.4064/aa163-3-6__Acta Arithmetica. Instytut Matematyczny, 2014.https://doi.org/10.4064/aa163-3-6 .
LibreCat: https://research-explorer.ista.ac.at/record/252
DOI: 10.4064/aa163-3-6

Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.”https://doi.org/10.1093/imrn/rnt350__International Mathematics Research Notices. Oxford University Press, 2014.https://doi.org/10.1093/imrn/rnt350 .
LibreCat: https://research-explorer.ista.ac.at/record/254
DOI: 10.1093/imrn/rnt350

Browning, Timothy D, Rainer Dietmann, and Roger Heath Brown. “Rational Points on Intersections of Cubic and Quadric Hypersurfaces.”https://doi.org/10.1017/S1474748014000127__Journal of the Institute of Mathematics of Jussieu. Cambridge University Press, 2014.https://doi.org/10.1017/S1474748014000127 .
LibreCat: https://research-explorer.ista.ac.at/record/255
DOI: 10.1017/S1474748014000127

Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General ;2-Ensembles.”https://doi.org/10.1215/00127094-2649752__Duke Mathematical Journal. Duke University Press, 2014.https://doi.org/10.1215/00127094-2649752 .
LibreCat: https://research-explorer.ista.ac.at/record/2699
DOI: 10.1215/00127094-2649752

Chatterjee, Krishnendu, Mickael Randour, and Jean Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.”https://doi.org/10.1007/s00236-013-0182-6__Acta Informatica. Springer, 2014.https://doi.org/10.1007/s00236-013-0182-6 .
LibreCat: https://research-explorer.ista.ac.at/record/2716
DOI: 10.1007/s00236-013-0182-6
arXiv: 1201.5073

Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory and Practice,”https://doi.org/10.4171/120-1/3__31–50. European Mathematical Society Publishing House, 2014.https://doi.org/10.4171/120-1/3 .
LibreCat: https://research-explorer.ista.ac.at/record/2905
DOI: 10.4171/120-1/3

Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.”https://doi.org/10.1016/j.tcs.2014.08.019__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2014.08.019 .
LibreCat: https://research-explorer.ista.ac.at/record/1733
DOI: 10.1016/j.tcs.2014.08.019

Chatterjee, Krishnendu, and Monika H Henzinger. “Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.”https://doi.org/10.1145/2597631__Journal of the ACM. ACM, 2014.https://doi.org/10.1145/2597631 .
LibreCat: https://research-explorer.ista.ac.at/record/2141
DOI: 10.1145/2597631

Tkadik, Gasper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.”https://doi.org/10.1371/journal.pone.0085841__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0085841 .
LibreCat: https://research-explorer.ista.ac.at/record/3263
DOI: 10.1371/journal.pone.0085841

Yu, Xuelian, Alexey Shavel, Xiaoqiang An, Zhishan Luo, Maria Ibáñez, and Andreu Cabot. “Cu2ZnSn-Pt and Cu2ZnSn-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.”https://doi.org/10.1021/ja502076b__Journal of the American Chemical Society. ACS, 2014.https://doi.org/10.1021/ja502076b .
LibreCat: https://research-explorer.ista.ac.at/record/332
DOI: 10.1021/ja502076b

Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.”https://doi.org/10.1007/978-3-662-44584-6_37__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, 8704:544–59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014.https://doi.org/10.1007/978-3-662-44584-6_37 .
LibreCat: https://research-explorer.ista.ac.at/record/2054
DOI: 10.1007/978-3-662-44584-6_37

Ortega, Silvia, Maria Ibáñez, Doris Cadavid, and Andreu Cabot. “Bottom up Processing of PbTe PbS Thermoelectric Nanocomposites.”https://doi.org/10.1504/IJNT.2014.063802__International Journal of Nanotechnology. Inderscience Enterprises Limited , 2014.https://doi.org/10.1504/IJNT.2014.063802 .
LibreCat: https://research-explorer.ista.ac.at/record/349
DOI: 10.1504/IJNT.2014.063802

Yu, Xuelian, Xiaoqiang An, Alexey Shavel, Maria Ibáñez, and Andreu Cabot. “The Effect of the Ga Content on the Photocatalytic Hydrogen Evolution of CuIn1-XGax Nanocrystals.”https://doi.org/10.1039/c4ta01315h__Journal of Materials Chemistry A. Royal Society of Chemistry, 2014.https://doi.org/10.1039/c4ta01315h .
LibreCat: https://research-explorer.ista.ac.at/record/355
DOI: 10.1039/c4ta01315h

Fairbrother, Andrew, Victor Izquierdo Roca, Xavier Fontané, Maria Ibáñez, Andreu Cabot, Edgardo Saucedo, and Alejandro Pérez Rodríguez. “ZnS Grain Size Effects on Near-Resonant Raman Scattering: Optical Non-Destructive Grain Size Estimation.”https://doi.org/10.1039/c3ce42578a__CrystEngComm. Royal Society of Chemistry, 2014.https://doi.org/10.1039/c3ce42578a .
LibreCat: https://research-explorer.ista.ac.at/record/357
DOI: 10.1039/c3ce42578a

Zamani, Reza, Maria Ibáñez, Martina Luysberg, Nuria García Castelló, Lothar Houben, Joan Prades, Vincenzo Grillo, et al. “Polarity-Driven Polytypic Branching in Cu-Based Quaternary Chalcogenide Nanostructures.”https://doi.org/10.1021/nn405747h__ACS Nano. American Chemical Society, 2014.https://doi.org/10.1021/nn405747h .
LibreCat: https://research-explorer.ista.ac.at/record/359
DOI: 10.1021/nn405747h

Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property Combiners for Hash Functions.”https://doi.org/10.1007/s00145-013-9148-7__Journal of Cryptology. Springer, 2014.https://doi.org/10.1007/s00145-013-9148-7 .
LibreCat: https://research-explorer.ista.ac.at/record/2852
DOI: 10.1007/s00145-013-9148-7

Cadavid, Doris, Maria Ibáñez, Umberto Anselmi Tamburini, Oscar Durá, Marco De La Torre, and Andreu Cabot. “Thermoelectric Properties of Bottom up Assembled Bi2S 3-XTex Nanocomposites.”https://doi.org/10.1504/IJNT.2014.063787__International Journal of Nanotechnology. Inderscience Enterprises Limited , 2014.https://doi.org/10.1504/IJNT.2014.063787 .
LibreCat: https://research-explorer.ista.ac.at/record/348
DOI: 10.1504/IJNT.2014.063787

Li, Wenhua, Maria Ibáñez, Doris Cadavid, Reza Zamani, Javier Rubio Garcia, Stéphane Gorsse, Joan Morante, Jordi Arbiol, and Andreu Cabot. “Colloidal Synthesis and Functional Properties of Quaternary Cu Based Semiconductors: Cu2HgGeSe4.”https://doi.org/10.1007/s11051-014-2297-2__Journal of Nanoparticle Research. Kluwer, 2014.https://doi.org/10.1007/s11051-014-2297-2 .
LibreCat: https://research-explorer.ista.ac.at/record/350
DOI: 10.1007/s11051-014-2297-2

Yu, Xuelian, Alexey Shavel, Xiaoqiang An, Zhishan Luo, Maria Ibáñez, and Andreu Cabot. “Cu2ZnSn-Pt and Cu2ZnSn-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.”https://doi.org/10.1021/ja502076b__Journal of the American Chemical Society. American Chemical Society, 2014.https://doi.org/10.1021/ja502076b .
LibreCat: https://research-explorer.ista.ac.at/record/356
DOI: 10.1021/ja502076b

Herranz, Tirma, Maria Ibáñez, José Gómez De La Fuente, Francisco Pérez Alonso, Miguel Peña, Andreu Cabot, and Sergio Rojas. “In Situ Study of Ethanol Electrooxidation on Monodispersed Pt Inf 3 Inf Sn Nanoparticles.”https://doi.org/10.1002/celc.201300254__ChemElectroChem. Wiley-Blackwell, 2014.https://doi.org/10.1002/celc.201300254 .
LibreCat: https://research-explorer.ista.ac.at/record/358
DOI: 10.1002/celc.201300254

Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.”https://doi.org/10.1007/s10444-014-9356-1__Advances in Computational Mathematics. Kluwer, 2014.https://doi.org/10.1007/s10444-014-9356-1 .
LibreCat: https://research-explorer.ista.ac.at/record/451
DOI: 10.1007/s10444-014-9356-1

Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl, Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.”https://doi.org/10.1371/journal.pone.0107518__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0107518 .
LibreCat: https://research-explorer.ista.ac.at/record/468
DOI: 10.1371/journal.pone.0107518

Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.”https://doi.org/10.1007/978-3-319-13075-0_10__In 25th International Symposium, ISAAC 2014, 8889:117–27. Springer Nature, 2014.https://doi.org/10.1007/978-3-319-13075-0_10 .
LibreCat: https://research-explorer.ista.ac.at/record/10892
DOI: 10.1007/978-3-319-13075-0_10

Prizak, Roshan, Thomas Ezard, and Rebecca Hoyle. “Fitness Consequences of Maternal and Grandmaternal Effects.”https://doi.org/10.1002/ece3.1150__Ecology and Evolution. Wiley-Blackwell, 2014.https://doi.org/10.1002/ece3.1150 .
LibreCat: https://research-explorer.ista.ac.at/record/537
DOI: 10.1002/ece3.1150

Chatterjee, Krishnendu. “Partial-Observation Stochastic Reachability and Parity Games,”https://doi.org/10.1007/978-3-662-44522-8_1__8634:1–4. Springer, 2014.https://doi.org/10.1007/978-3-662-44522-8_1 .
LibreCat: https://research-explorer.ista.ac.at/record/1903
DOI: 10.1007/978-3-662-44522-8_1

Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.”https://doi.org/10.1145/2579821__ACM Transactions on Computational Logic (TOCL). ACM, 2014.https://doi.org/10.1145/2579821 .
LibreCat: https://research-explorer.ista.ac.at/record/2211
DOI: 10.1145/2579821
arXiv: 1107.2141

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.”https://doi.org/10.1145/2629686__ACM Transactions on Computational Logic (TOCL). ACM, 2014.https://doi.org/10.1145/2629686 .
LibreCat: https://research-explorer.ista.ac.at/record/2038
DOI: 10.1145/2629686

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Ergodic Mean Payoff Games,”https://doi.org/10.1007/978-3-662-43951-7_11__8573:122–33. Springer, 2014.https://doi.org/10.1007/978-3-662-43951-7_11 .
LibreCat: https://research-explorer.ista.ac.at/record/2162
DOI: 10.1007/978-3-662-43951-7_11
arXiv: 1404.5734

Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. “The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies,”https://doi.org/10.1007/978-3-642-54830-7_16__8412:242–57. Springer, 2014.https://doi.org/10.1007/978-3-642-54830-7_16 .
LibreCat: https://research-explorer.ista.ac.at/record/2213
DOI: 10.1007/978-3-642-54830-7_16
arXiv: 1401.3289

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. “Perfect-Information Stochastic Mean-Payoff Parity Games,”https://doi.org/10.1007/978-3-642-54830-7_14__8412:210–25. Springer, 2014.https://doi.org/10.1007/978-3-642-54830-7_14 .
LibreCat: https://research-explorer.ista.ac.at/record/2212
DOI: 10.1007/978-3-642-54830-7_14

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Ritankar Majumdar. “Edit Distance for Timed Automata,”https://doi.org/10.1145/2562059.2562141__303–12. Springer, 2014.https://doi.org/10.1145/2562059.2562141 .
LibreCat: https://research-explorer.ista.ac.at/record/2216
DOI: 10.1145/2562059.2562141

Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-148-v2-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5411
DOI: 10.15479/AT:IST-2014-148-v2-1

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v2-2 .
LibreCat: https://research-explorer.ista.ac.at/record/5413
DOI: 10.15479/AT:IST-2014-153-v2-2

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v3-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5414
DOI: 10.15479/AT:IST-2014-153-v3-1

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5412
DOI: 10.15479/AT:IST-2014-153-v1-1

Chatterjee, Krishnendu, and Laurent Doyen. “Games with a Weak Adversary.”https://doi.org/10.1007/978-3-662-43951-7_10__In Lecture Notes in Computer Science, 8573:110–21. Springer, 2014.https://doi.org/10.1007/978-3-662-43951-7_10 .
LibreCat: https://research-explorer.ista.ac.at/record/2163
DOI: 10.1007/978-3-662-43951-7_10
arXiv: 1404.5453

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-187-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5419
DOI: 10.15479/AT:IST-2014-187-v1-1

Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.”https://doi.org/10.1145/2562059.2562130__In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, 213–22. Springer, 2014.https://doi.org/10.1145/2562059.2562130 .
LibreCat: https://research-explorer.ista.ac.at/record/2217
DOI: 10.1145/2562059.2562130

Henzinger, Thomas A, and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-172-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5417
DOI: 10.15479/AT:IST-2014-172-v1-1

Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-171-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5416
DOI: 10.15479/AT:IST-2014-171-v1-1

Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-176-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5418
DOI: 10.15479/AT:IST-2014-176-v1-1

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-191-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5420
DOI: 10.15479/AT:IST-2014-191-v1-1

Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5422