cadek, Martin, et al. “Computing All Maps into a Sphere.”10.1145/2597629__Journal of the ACM, vol. 61, no. 3, 17, ACM, 2014, doi: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 .”10.1103/PhysRevE.89.062809__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 6, 062809, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.062809.
LibreCat: https://research-explorer.ista.ac.at/record/2183
DOI: 10.1103/PhysRevE.89.062809

Chen, Thomas, et al. “On the Well-Posedness and Scattering for the Gross-Pitaevskii Hierarchy via Quantum de Finetti.”10.1007/s11005-014-0693-2__Letters in Mathematical Physics, vol. 104, no. 7, Springer, 2014, pp. 871–91, doi:10.1007/s11005-014-0693-2.
LibreCat: https://research-explorer.ista.ac.at/record/2186
DOI: 10.1007/s11005-014-0693-2

Bloem, Roderick, et al. “Synthesizing Robust Systems.”10.1007/s00236-013-0191-5__Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 193–220, doi:10.1007/s00236-013-0191-5.
LibreCat: https://research-explorer.ista.ac.at/record/2187
DOI: 10.1007/s00236-013-0191-5

Kania, Urszula, et al. “Polar Delivery in Plants; Commonalities and Differences to Animal Epithelial Cells.”10.1098/rsob.140017__Open Biology, vol. 4, no. APRIL, 140017, Royal Society, 2014, doi: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. Vol. 1, Elsevier, 2014, pp. 49–58.
LibreCat: https://research-explorer.ista.ac.at/record/2189

Esparza, Javier, and Jan Kretinsky. From LTL to Deterministic Automata: A Safraless Compositional Approach. Vol. 8559, Springer, 2014, pp. 192–208, doi: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, et al. “Detecting Quadrupole Interactions in Ultracold Fermi Gases.”10.1103/PhysRevA.89.043616__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 89, no. 4, 043616, American Physical Society, 2014, doi:10.1103/PhysRevA.89.043616.
LibreCat: https://research-explorer.ista.ac.at/record/2208
DOI: 10.1103/PhysRevA.89.043616

Stoler Barak, Liat, et al. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.”10.1371/journal.pone.0085699__PLoS One, vol. 9, no. 1, e85699, Public Library of Science, 2014, doi:10.1371/journal.pone.0085699.
LibreCat: https://research-explorer.ista.ac.at/record/2214
DOI: 10.1371/journal.pone.0085699

Renkawitz, Jörg, et al. “Mechanisms and Principles of Homology Search during Recombination.”10.1038/nrm3805__Nature Reviews Molecular Cell Biology, vol. 15, no. 6, Nature Publishing Group, 2014, pp. 369–83, doi:10.1038/nrm3805.
LibreCat: https://research-explorer.ista.ac.at/record/2215
DOI: 10.1038/nrm3805

Tanaka, Hirokazu, et al. “BE/ARC Is Required for BFA-Sensitive Recycling of PIN Auxin Transporters and Auxin-Mediated Development in Arabidopsis.”10.1093/pcp/pct196__Plant and Cell Physiology, vol. 55, no. 4, Oxford University Press, 2014, pp. 737–49, doi:10.1093/pcp/pct196.
LibreCat: https://research-explorer.ista.ac.at/record/2223
DOI: 10.1093/pcp/pct196

Bloemendal, Alex, et al. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.”10.1214/EJP.v19-3054__Electronic Journal of Probability, vol. 19, 33, Institute of Mathematical Statistics, 2014, doi:10.1214/EJP.v19-3054.
LibreCat: https://research-explorer.ista.ac.at/record/2225
DOI: 10.1214/EJP.v19-3054

Naramoto, Satoshi, et al. “VAN4 Encodes a Putative T That Is Required for Normal Cell Growth and Vein Development in Arabidopsis.”10.1093/pcp/pcu012__Plant and Cell Physiology, vol. 55, no. 4, Oxford University Press, 2014, pp. 750–63, doi: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.”10.1088/0169-5983/46/2/025503__Fluid Dynamics Research, vol. 46, no. 2, 025503, IOP Publishing Ltd., 2014, doi: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, et al. Simple Chosen-Ciphertext Security from Low Noise LPN. Vol. 8383, Springer, 2014, pp. 1–18, doi: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

de Vos, Marjon, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.”10.1016/j.chembiol.2014.04.004__Chemistry and Biology, vol. 21, no. 4, Cell Press, 2014, pp. 439–40, doi: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.”10.2168/LMCS-10(1:10)2014__Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi: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é, et al. “Stimfit: Quantifying Electrophysiological Data with Python.”10.3389/fninf.2014.00016__Frontiers in Neuroinformatics, vol. 8, no. FEB, 16, Frontiers Research Foundation, 2014, doi: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.”10.1038/nn.3678__Nature Neuroscience, vol. 17, no. 5, Nature Publishing Group, 2014, pp. 686–93, doi: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.”10.1126/science.1244811__Science, vol. 343, no. 6171, American Association for the Advancement of Science, 2014, pp. 665–70, doi: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.”10.1088/1742-5468/2014/02/P02001__Journal of Statistical Mechanics Theory and Experiment, vol. 2014, no. 2, 001, IOP Publishing, 2014, doi: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.”10.1016/j.bpj.2014.01.014__Biophysical Journal, vol. 106, no. 5, Biophysical Society, 2014, pp. 1194–204, doi: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, et al. “Transient Growth of Ekman-Couette Flow.”10.1103/PhysRevE.89.013001__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 1, 013001, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.013001.
LibreCat: https://research-explorer.ista.ac.at/record/2226
DOI: 10.1103/PhysRevE.89.013001

Cires Rodriguez, Eduardo, et al. “Allopolyploid Origin of the Balkan Endemic Ranunculus Wettsteinii (Ranunculaceae) Inferred from Nuclear and Plastid DNA Sequences.”10.1007/s13127-013-0150-6__Organisms Diversity and Evolution, vol. 14, no. 1, Springer, 2014, pp. 1–10, doi: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, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.”10.2168/LMCS-10(1:13)2014__Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi: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. Edited by Yehuda Lindell, vol. 8349, Springer, 2014, pp. 566–90, doi: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, et al. “The TPLATE Adaptor Complex Drives Clathrin-Mediated Endocytosis in Plants.”10.1016/j.cell.2014.01.039__Cell, vol. 156, no. 4, Cell Press, 2014, pp. 691–704, doi: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, et al. Battery Transition Systems. Vol. 49, no. 1, ACM, 2014, pp. 595–606, doi:10.1145/2535838.2535875.
LibreCat: https://research-explorer.ista.ac.at/record/2239
DOI: 10.1145/2535838.2535875

Fürst, Matthias, et al. “Disease Associations between Honeybees and Bumblebees as a Threat to Wild Pollinators.”10.1038/nature12977__Nature, vol. 506, no. 7488, Nature Publishing Group, 2014, pp. 364–66, doi:10.1038/nature12977.
LibreCat: https://research-explorer.ista.ac.at/record/2235
DOI: 10.1038/nature12977

Beppu, Kaoru, et al. “Optogenetic Countering of Glial Acidosis Suppresses Glial Glutamate Release and Ischemic Brain Damage.”10.1016/j.neuron.2013.11.011__Neuron, vol. 81, no. 2, Elsevier, 2014, pp. 314–20, doi: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, et al. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.”10.1007/978-1-62703-592-7_23__Plant Chemical Genomics, edited by Glenn Hicks and Stéphanie Robert, vol. 1056, Springer, 2014, pp. 255–64, doi: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, et al. “Alternating Traps in Muller and Parity Games.”10.1016/j.tcs.2013.11.032__Theoretical Computer Science, vol. 521, Elsevier, 2014, pp. 73–91, doi: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, et al. “A MiR-155-Dependent MicroRNA Hierarchy in Dendritic Cell Maturation and Macrophage Activation.”10.1016/j.febslet.2014.01.009__FEBS Letters, vol. 588, no. 4, Elsevier, 2014, pp. 632–40, doi: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, et al. “Powerful Sequence Similarity Search Methods and In-Depth Manual Analyses Can Identify Remote Homologs in Many Apparently ‘Orphan’ Viral Proteins.”10.1128/JVI.02595-13__Journal of Virology, vol. 88, no. 1, ASM, 2014, pp. 10–20, doi: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.”10.1016/j.neuron.2013.09.046__Neuron, vol. 81, no. 1, Elsevier, 2014, pp. 140–52, doi: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.”10.1098/rstb.2012.0528__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 369, no. 1635, 20120528, Royal Society, The, 2014, doi: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, et al. “Expression of TWISTED DWAR Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.”10.1111/tpj.12369__Plant Journal, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 108–18, doi:10.1111/tpj.12369.
LibreCat: https://research-explorer.ista.ac.at/record/2253
DOI: 10.1111/tpj.12369

Capek, Daniel, et al. “Thumbs down: A Molecular-Morphogenetic Approach to Avian Digit Homology.”10.1002/jez.b.22545__Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, vol. 322, no. 1, Wiley-Blackwell, 2014, pp. 1–12, doi:10.1002/jez.b.22545.
LibreCat: https://research-explorer.ista.ac.at/record/2248
DOI: 10.1002/jez.b.22545

Chen, Yani, et al. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.”10.1111/tpj.12373__Plant Journal, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 97–107, doi:10.1111/tpj.12373.
LibreCat: https://research-explorer.ista.ac.at/record/2249
DOI: 10.1111/tpj.12373

Phadke, Sujal, et al. “Genetic Background Alters Dominance Relationships between Mat Alleles in the Ciliate Tetrahymena Thermophila.”10.1093/jhered/est063__Journal of Heredity, vol. 105, no. 1, Oxford University Press, 2014, pp. 130–35, doi:10.1093/jhered/est063.
LibreCat: https://research-explorer.ista.ac.at/record/2252
DOI: 10.1093/jhered/est063

Zhu, Fangfang, et al. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.”10.1093/nar/gkt1290__Nucleic Acids Research, vol. 42, no. 5, e34, Oxford University Press, 2014, doi: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.”10.1007/978-94-007-7687-6_1__10.1007/978-94-007-7687-6_1__Cellular and Molecular Control of Neuronal Migration, edited by Laurent Nguyen, vol. 800, Springer, 2014, pp. 1–24, doi: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, et al. Partial Enumeration and Curvature Regularization. IEEE, 2014, pp. 2936–43, doi:10.1109/ICCV.2013.365.
LibreCat: https://research-explorer.ista.ac.at/record/2275
DOI: 10.1109/ICCV.2013.365

Hosp, Jonas, et al. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.”10.1002/hipo.22214__Hippocampus, vol. 23, no. 2, Wiley-Blackwell, 2014, pp. 189–203, doi: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.”10.1007/s10955-013-0791-z__Journal of Statistical Physics, vol. 154, no. 1–2, Springer, 2014, pp. 51–57, doi: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., et al. “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, vol. 180, no. 1, John Hopkins University Press, 2014, pp. 381–402, doi: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.”10.1215/00127094-2738530__Duke Mathematical Journal, vol. 163, no. 10, Duke University Press, 2014, pp. 1825–83, doi: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.”10.4064/aa163-3-6__Acta Arithmetica, vol. 163, no. 3, Instytut Matematyczny, 2014, pp. 271–98, doi: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.”10.1093/imrn/rnt350__International Mathematics Research Notices, vol. 2015, no. 7, Oxford University Press, 2014, pp. 1987–2019, doi:10.1093/imrn/rnt350.
LibreCat: https://research-explorer.ista.ac.at/record/254
DOI: 10.1093/imrn/rnt350

Browning, Timothy D., et al. “Rational Points on Intersections of Cubic and Quadric Hypersurfaces.”10.1017/S1474748014000127__Journal of the Institute of Mathematics of Jussieu, vol. 14, no. 4, Cambridge University Press, 2014, pp. 703–49, doi:10.1017/S1474748014000127.
LibreCat: https://research-explorer.ista.ac.at/record/255
DOI: 10.1017/S1474748014000127

Erdös, László, et al. “Universality of General ;2-Ensembles.”10.1215/00127094-2649752__Duke Mathematical Journal, vol. 163, no. 6, Duke University Press, 2014, pp. 1127–90, doi:10.1215/00127094-2649752.
LibreCat: https://research-explorer.ista.ac.at/record/2699
DOI: 10.1215/00127094-2649752

Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.”10.1007/s00236-013-0182-6__Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 129–63, doi: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. European Mathematical Society Publishing House, 2014, pp. 31–50, doi:10.4171/120-1/3.
LibreCat: https://research-explorer.ista.ac.at/record/2905
DOI: 10.4171/120-1/3

Cerny, Pavol, et al. “Interface Simulation Distances.”10.1016/j.tcs.2014.08.019__Theoretical Computer Science, vol. 560, no. 3, Elsevier, 2014, pp. 348–63, doi: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.”10.1145/2597631__Journal of the ACM, vol. 61, no. 3, , ACM, 2014, doi:10.1145/2597631.
LibreCat: https://research-explorer.ista.ac.at/record/2141
DOI: 10.1145/2597631

Tkadik, Gasper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.”10.1371/journal.pone.0085841__PLoS One, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi:10.1371/journal.pone.0085841.
LibreCat: https://research-explorer.ista.ac.at/record/3263
DOI: 10.1371/journal.pone.0085841

Yu, Xuelian, et al. “Cu2ZnSn-Pt and Cu2ZnSn-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.”10.1021/ja502076b__Journal of the American Chemical Society, vol. 136, no. 26, ACS, 2014, pp. 9236–39, doi:10.1021/ja502076b.
LibreCat: https://research-explorer.ista.ac.at/record/332
DOI: 10.1021/ja502076b

Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.”10.1007/978-3-662-44584-6_37__Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–59, doi: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, et al. “Bottom up Processing of PbTe PbS Thermoelectric Nanocomposites.”10.1504/IJNT.2014.063802__International Journal of Nanotechnology, vol. 11, no. 9–11, Inderscience Enterprises Limited , 2014, pp. 955–70, doi:10.1504/IJNT.2014.063802.
LibreCat: https://research-explorer.ista.ac.at/record/349
DOI: 10.1504/IJNT.2014.063802

Yu, Xuelian, et al. “The Effect of the Ga Content on the Photocatalytic Hydrogen Evolution of CuIn1-XGax Nanocrystals.”10.1039/c4ta01315h__Journal of Materials Chemistry A, vol. 2, no. 31, Royal Society of Chemistry, 2014, pp. 12317–22, doi:10.1039/c4ta01315h.
LibreCat: https://research-explorer.ista.ac.at/record/355
DOI: 10.1039/c4ta01315h

Fairbrother, Andrew, et al. “ZnS Grain Size Effects on Near-Resonant Raman Scattering: Optical Non-Destructive Grain Size Estimation.”10.1039/c3ce42578a__CrystEngComm, vol. 16, no. 20, Royal Society of Chemistry, 2014, pp. 4120–25, doi:10.1039/c3ce42578a.
LibreCat: https://research-explorer.ista.ac.at/record/357
DOI: 10.1039/c3ce42578a

Zamani, Reza, et al. “Polarity-Driven Polytypic Branching in Cu-Based Quaternary Chalcogenide Nanostructures.”10.1021/nn405747h__ACS Nano, vol. 8, no. 3, American Chemical Society, 2014, pp. 2290–301, doi:10.1021/nn405747h.
LibreCat: https://research-explorer.ista.ac.at/record/359
DOI: 10.1021/nn405747h

Fischlin, Marc, et al. “Robust Multi-Property Combiners for Hash Functions.”10.1007/s00145-013-9148-7__Journal of Cryptology, vol. 27, no. 3, Springer, 2014, pp. 397–428, doi:10.1007/s00145-013-9148-7.
LibreCat: https://research-explorer.ista.ac.at/record/2852
DOI: 10.1007/s00145-013-9148-7

Cadavid, Doris, et al. “Thermoelectric Properties of Bottom up Assembled Bi2S 3-XTex Nanocomposites.”10.1504/IJNT.2014.063787__International Journal of Nanotechnology, vol. 11, no. 9–11, Inderscience Enterprises Limited , 2014, pp. 773–84, doi:10.1504/IJNT.2014.063787.
LibreCat: https://research-explorer.ista.ac.at/record/348
DOI: 10.1504/IJNT.2014.063787

Li, Wenhua, et al. “Colloidal Synthesis and Functional Properties of Quaternary Cu Based Semiconductors: Cu2HgGeSe4.”10.1007/s11051-014-2297-2__Journal of Nanoparticle Research, vol. 16, no. 3, Kluwer, 2014, doi:10.1007/s11051-014-2297-2.
LibreCat: https://research-explorer.ista.ac.at/record/350
DOI: 10.1007/s11051-014-2297-2

Yu, Xuelian, et al. “Cu2ZnSn-Pt and Cu2ZnSn-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.”10.1021/ja502076b__Journal of the American Chemical Society, vol. 136, no. 26, American Chemical Society, 2014, pp. 9236–39, doi:10.1021/ja502076b.
LibreCat: https://research-explorer.ista.ac.at/record/356
DOI: 10.1021/ja502076b

Herranz, Tirma, et al. “In Situ Study of Ethanol Electrooxidation on Monodispersed Pt Inf 3 Inf Sn Nanoparticles.”10.1002/celc.201300254__ChemElectroChem, vol. 1, no. 5, Wiley-Blackwell, 2014, pp. 885–95, doi: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.”10.1007/s10444-014-9356-1__Advances in Computational Mathematics, vol. 41, no. 1, Kluwer, 2014, pp. 253–75, doi:10.1007/s10444-014-9356-1.
LibreCat: https://research-explorer.ista.ac.at/record/451
DOI: 10.1007/s10444-014-9356-1

Cimadom, Arno, et al. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.”10.1371/journal.pone.0107518__PLoS One, vol. 9, no. 9, 0107518, Public Library of Science, 2014, doi:10.1371/journal.pone.0107518.
LibreCat: https://research-explorer.ista.ac.at/record/468
DOI: 10.1371/journal.pone.0107518

Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.”10.4204/EPTCS.146.11__Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
LibreCat: https://research-explorer.ista.ac.at/record/475
DOI: 10.4204/EPTCS.146.11

Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.”10.1007/978-3-319-13075-0_10__25th International Symposium, ISAAC 2014, vol. 8889, Springer Nature, 2014, pp. 117–27, doi: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, et al. “Fitness Consequences of Maternal and Grandmaternal Effects.”10.1002/ece3.1150__Ecology and Evolution, vol. 4, no. 15, Wiley-Blackwell, 2014, pp. 3139–45, doi: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. Vol. 8634, no. PART 1, Springer, 2014, pp. 1–4, doi: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.”10.1145/2579821__ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2, 16, ACM, 2014, doi:10.1145/2579821.
LibreCat: https://research-explorer.ista.ac.at/record/2211
DOI: 10.1145/2579821
arXiv: 1107.2141

Boker, Udi, et al. “Temporal Specifications with Accumulative Values.”10.1145/2629686__ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4, 27, ACM, 2014, doi: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. Vol. 8573, no. Part 2, Springer, 2014, pp. 122–33, doi: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, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. Vol. 8412, Springer, 2014, pp. 242–57, doi: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, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. Vol. 8412, Springer, 2014, pp. 210–25, doi: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, et al. Edit Distance for Timed Automata. Springer, 2014, pp. 303–12, doi:10.1145/2562059.2562141.
LibreCat: https://research-explorer.ista.ac.at/record/2216
DOI: 10.1145/2562059.2562141

Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi: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, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi: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, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi: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, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi: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.”10.1007/978-3-662-43951-7_10__Lecture Notes in Computer Science, vol. 8573, no. Part 2, Springer, 2014, pp. 110–21, doi: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, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi: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.”10.1145/2562059.2562130__Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–22, doi: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, doi: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, doi: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, doi: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, doi: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

Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5424
DOI: 10.15479/AT:IST-2014-305-v1-1

Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
LibreCat: https://research-explorer.ista.ac.at/record/5426
DOI: 10.15479/AT:IST-2014-305-v2-1

Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5423
DOI: 10.15479/AT:IST-2014-300-v1-1

Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5427
DOI: 10.15479/AT:IST-2014-314-v1-1

Anonymous, 1, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5425

Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5415
DOI: 10.15479/AT:IST-2014-170-v1-1

Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
LibreCat: https://research-explorer.ista.ac.at/record/5421
DOI: 10.15479/AT:IST-2014-190-v2-2

Dereziski, Jan, and Marcin M. Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.”10.1007/s00023-013-0302-4__Annales Henri Poincaré, vol. 15, no. 12, Springer Nature, 2014, pp. 2409–39, doi:10.1007/s00023-013-0302-4.
LibreCat: https://research-explorer.ista.ac.at/record/5813
DOI: 10.1007/s00023-013-0302-4

Biswas, Ranita, and Partha Bhowmick. On Finding Spherical Geodesic Paths and Circles in 3. Vol. 8668, Springer, 2014, pp. 396–409, doi:10.1007/978-3-319-09955-2_33.
LibreCat: https://research-explorer.ista.ac.at/record/5810
DOI: 10.1007/978-3-319-09955-2_33