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

Lee, Jongmin, et al. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.”10.1364/OL.39.004005__Optics Letters, vol. 39, no. 13, OSA, 2014, pp. 4005–08, doi:10.1364/OL.39.004005.
LibreCat: https://research-explorer.ista.ac.at/record/589
DOI: 10.1364/OL.39.004005

Gross, E., et al. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.”10.1523/jneurosci.5368-13.2014__Journal of Neuroscience, vol. 34, no. 50, Society for Neuroscience, 2014, pp. 16726–38, doi:10.1523/jneurosci.5368-13.2014.
LibreCat: https://research-explorer.ista.ac.at/record/6126
DOI: 10.1523/jneurosci.5368-13.2014
PMID: 25505325

Chen, Changchun, et al. “An ER Complex of ODR-4 and ODR-8/Ufm1 Specific Protease 2 Promotes GPCR Maturation by a Ufm1-Independent Mechanism.”10.1371/journal.pgen.1004082__PLoS Genetics, vol. 10, no. 3, e1004082, Public Library of Science (PLoS), 2014, doi:10.1371/journal.pgen.1004082.
LibreCat: https://research-explorer.ista.ac.at/record/6124
DOI: 10.1371/journal.pgen.1004082
PMID: 24603482

Linneweber, Gerit A., et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.”10.1016/j.cell.2013.12.008__Cell, vol. 156, no. 1–2, Elsevier, 2014, pp. 69–83, doi:10.1016/j.cell.2013.12.008.
LibreCat: https://research-explorer.ista.ac.at/record/6122
DOI: 10.1016/j.cell.2013.12.008
PMID: 24439370

Bretèche, Régis de la, and Timothy D. Browning. “Contre-Exemples Au Principe de Hasse Pour Certains Tores Coflasques.”10.5802/jtnb.857__Journal de Théorie Des Nombres de Bordeaux, vol. 26, no. 1, Cellule MathDoc/CEDRAM, 2014, pp. 25–44, doi:10.5802/jtnb.857.
LibreCat: https://research-explorer.ista.ac.at/record/6319
DOI: 10.5802/jtnb.857
arXiv: 1210.4236

Mondelli, Marco, et al. “How to Achieve the Capacity of Asymmetric Channels.”10.1109/allerton.2014.7028535__52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–96, doi:10.1109/allerton.2014.7028535.
LibreCat: https://research-explorer.ista.ac.at/record/6740
DOI: 10.1109/allerton.2014.7028535
arXiv: 1406.7373

Mondelli, Marco, et al. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.”10.1109/tcomm.2014.2345069__IEEE Transactions on Communications, vol. 62, no. 9, IEEE, 2014, pp. 3084–91, doi:10.1109/tcomm.2014.2345069.
LibreCat: https://research-explorer.ista.ac.at/record/6739
DOI: 10.1109/tcomm.2014.2345069
arXiv: 1401.3127

Mondelli, Marco, et al. “Joint Power Allocation and Path Selection for Multi-Hop Noncoherent Decode and Forward UWB Communications.”10.1109/twc.2014.020914.130669__IEEE Transactions on Wireless Communications, vol. 13, no. 3, IEEE, 2014, pp. 1397–409, doi:10.1109/twc.2014.020914.130669.
LibreCat: https://research-explorer.ista.ac.at/record/6744
DOI: 10.1109/twc.2014.020914.130669

Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.”10.1007/978-3-642-54013-4_5__VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 78–97, doi:10.1007/978-3-642-54013-4_5.
LibreCat: https://research-explorer.ista.ac.at/record/10885
DOI: 10.1007/978-3-642-54013-4_5
arXiv: 1311.3238

Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed., Springer Nature, 2014, doi:10.1007/978-3-319-05957-0.
LibreCat: https://research-explorer.ista.ac.at/record/6853
DOI: 10.1007/978-3-319-05957-0

Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7038

Modic, Kimberly A., et al. “Realization of a Three-Dimensional Spin–Anisotropic Harmonic Honeycomb Iridate.”10.1038/ncomms5203__Nature Communications, vol. 5, 4203, Springer Science and Business Media LLC, 2014, doi:10.1038/ncomms5203.
LibreCat: https://research-explorer.ista.ac.at/record/7071
DOI: 10.1038/ncomms5203

Lancaster, T., et al. “Controlling Magnetic Order and Quantum Disorder in Molecule-Based Magnets.”10.1103/physrevlett.112.207201__Physical Review Letters, vol. 112, no. 20, 207201, APS, 2014, doi:10.1103/physrevlett.112.207201.
LibreCat: https://research-explorer.ista.ac.at/record/7072
DOI: 10.1103/physrevlett.112.207201

Freunberger, Stefan Alexander, et al. “Nonaqueous Electrolytes.”10.1007/978-1-4899-8062-5_2__The Lithium Air Battery: Fundamentals, edited by Nobuyuki Imanishi et al., Springer Nature, 2014, pp. 23–58, doi:10.1007/978-1-4899-8062-5_2.
LibreCat: https://research-explorer.ista.ac.at/record/7303
DOI: 10.1007/978-1-4899-8062-5_2

Dunst, A., et al. “Short-Range Li Diffusion vs. Long-Range Ionic Conduction in Nanocrystalline Lithium Peroxide Li2O2—the Discharge Product in Lithium-Air Batteries.”10.1039/c4ee00496e__Energy &; Environmental Science, vol. 7, no. 8, RSC, 2014, pp. 2739–52, doi:10.1039/c4ee00496e.
LibreCat: https://research-explorer.ista.ac.at/record/7302
DOI: 10.1039/c4ee00496e

Johnson, Lee, et al. “The Role of LiO2 Solubility in O2 Reduction in Aprotic Solvents and Its Consequences for Li–O2 Batteries.”10.1038/nchem.2101__Nature Chemistry, vol. 6, no. 12, Springer Nature, 2014, pp. 1091–99, doi:10.1038/nchem.2101.
LibreCat: https://research-explorer.ista.ac.at/record/7305
DOI: 10.1038/nchem.2101

Kwabi, D. G., et al. “Materials Challenges in Rechargeable Lithium-Air Batteries.”10.1557/mrs.2014.87__MRS Bulletin, vol. 39, no. 5, CUP, 2014, pp. 443–52, doi:10.1557/mrs.2014.87.
LibreCat: https://research-explorer.ista.ac.at/record/7304
DOI: 10.1557/mrs.2014.87

Li, Chunmei, et al. “Aprotic Li–O2 Battery: Influence of Complexing Agents on Oxygen Reduction in an Aprotic Solvent.”10.1021/jp4093805__The Journal of Physical Chemistry C, vol. 118, no. 7, ACS, 2014, pp. 3393–401, doi:10.1021/jp4093805.
LibreCat: https://research-explorer.ista.ac.at/record/7301
DOI: 10.1021/jp4093805

Aigner, Daniel, et al. “Enhancing Photoinduced Electron Transfer Efficiency of Fluorescent PH-Probes with Halogenated Phenols.”10.1021/ac502513g__Analytical Chemistry, vol. 86, no. 18, ACS, 2014, pp. 9293–300, doi:10.1021/ac502513g.
LibreCat: https://research-explorer.ista.ac.at/record/7300
DOI: 10.1021/ac502513g

Lebar, Tina, et al. “A Bistable Genetic Switch Based on Designable DNA-Binding Domains.”10.1038/ncomms6007__Nature Communications, vol. 5, no. 1, 5007, Springer Nature, 2014, doi:10.1038/ncomms6007.
LibreCat: https://research-explorer.ista.ac.at/record/7361
DOI: 10.1038/ncomms6007
PMID: 25264186

Costanzo, Tommaso, et al. “Studying the Surface Reaction between NiO and Al2O3viatotal Reflection EXAFS (ReflEXAFS).”10.1107/s1600577513031299__Journal of Synchrotron Radiation, vol. 21, no. 2, International Union of Crystallography, 2014, pp. 395–400, doi:10.1107/s1600577513031299.
LibreCat: https://research-explorer.ista.ac.at/record/7455
DOI: 10.1107/s1600577513031299

Tan, Shutang, and Hong-Wei Xue. “Casein Kinase 1 Regulates Ethylene Synthesis by Phosphorylating and Promoting the Turnover of AC.”10.1016/j.celrep.2014.10.047__Cell Reports, vol. 9, no. 5, Elsevier, 2014, pp. 1692–702, doi:10.1016/j.celrep.2014.10.047.
LibreCat: https://research-explorer.ista.ac.at/record/7598
DOI: 10.1016/j.celrep.2014.10.047

Alistarh, Dan-Adrian, et al. Dynamic Task Allocation in Asynchronous Shared Memory. SIAM, 2014, pp. 416–35, doi:10.1137/1.9781611973402.31.
LibreCat: https://research-explorer.ista.ac.at/record/768
DOI: 10.1137/1.9781611973402.31

Alistarh, Dan-Adrian, et al. “Tight Bounds for Asynchronous Renaming.”10.1145/2597630__Journal of the ACM, vol. 61, no. 3, ACM, 2014, doi:10.1145/2597630.
LibreCat: https://research-explorer.ista.ac.at/record/769
DOI: 10.1145/2597630

Alistarh, Dan-Adrian, et al. StackTrack: An Automated Transactional Approach to Concurrent Memory Reclamation. ACM, 2014, doi:10.1145/2592798.2592808.
LibreCat: https://research-explorer.ista.ac.at/record/770
DOI: 10.1145/2592798.2592808

Alistarh, Dan-Adrian, et al. Balls-into-Leaves: Sub-Logarithmic Renaming in Synchronous Message-Passing Systems. ACM, 2014, pp. 232–41, doi:10.1145/2611462.2611499.
LibreCat: https://research-explorer.ista.ac.at/record/771
DOI: 10.1145/2611462.2611499

Alistarh, Dan-Adrian, et al. Are Lock-Free Concurrent Algorithms Practically Wait-Free? ACM, 2014, pp. 714–23, doi:10.1145/2591796.2591836.
LibreCat: https://research-explorer.ista.ac.at/record/772
DOI: 10.1145/2591796.2591836
arXiv: 1311.3200

Alistarh, Dan-Adrian, et al. Communication-Efficient Randomized Consensus. Edited by Fabian Kuhn, vol. 8784, Springer, 2014, pp. 61–75, doi:10.1007/978-3-662-45174-8_5.
LibreCat: https://research-explorer.ista.ac.at/record/773
DOI: 10.1007/978-3-662-45174-8_5

Alistarh, Dan-Adrian, et al. Brief Announcement: Are Lock-Free Concurrent Algorithms Practically Wait-Free? ACM, 2014, pp. 50–52, doi:10.1145/2611462.2611502.
LibreCat: https://research-explorer.ista.ac.at/record/774
DOI: 10.1145/2611462.2611502

Alistarh, Dan-Adrian, et al. The Levelarray: A Fast, Practical Long-Lived Renaming Algorithm. IEEE, 2014, pp. 348–57, doi:10.1109/ICDCS.2014.43.
LibreCat: https://research-explorer.ista.ac.at/record/775
DOI: 10.1109/ICDCS.2014.43
arXiv: 1405.5461

Robinson, Matthew Richard, and Anna Qvarnström. “Influence of the Environment on the Genetic Architecture of Traits Involved in Sexual Selection within Wild Populations.”10.1002/9781118912591.ch6__Genotype-by-Environment Interactions and Sexual Selection, edited by John Hunt and David Hosken, Wiley, 2014, pp. 137–68, doi:10.1002/9781118912591.ch6.
LibreCat: https://research-explorer.ista.ac.at/record/7743
DOI: 10.1002/9781118912591.ch6

Robinson, Matthew Richard, et al. “Explaining Additional Genetic Variation in Complex Traits.”10.1016/j.tig.2014.02.003__Trends in Genetics, vol. 30, no. 4, Elsevier, 2014, pp. 124–32, doi:10.1016/j.tig.2014.02.003.
LibreCat: https://research-explorer.ista.ac.at/record/7744
DOI: 10.1016/j.tig.2014.02.003

Lohr, Matthew A., et al. “Vibrational and Structural Signatures of the Crossover between Dense Glassy and Sparse Gel-like Attractive Colloidal Packings.”10.1103/physreve.90.062305__Physical Review E, vol. 90, no. 6, 062305, American Physical Society, 2014, doi:10.1103/physreve.90.062305.
LibreCat: https://research-explorer.ista.ac.at/record/7768
DOI: 10.1103/physreve.90.062305

Goodrich, Carl Peter, et al. “Comment on ‘Repulsive Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’”10.1103/physrevlett.112.049801__Physical Review Letters, vol. 112, no. 4, 049801, American Physical Society, 2014, doi:10.1103/physrevlett.112.049801.
LibreCat: https://research-explorer.ista.ac.at/record/7771
DOI: 10.1103/physrevlett.112.049801
arXiv: 1306.1285

Still, Tim, et al. “Phonon Dispersion and Elastic Moduli of Two-Dimensional Disordered Colloidal Packings of Soft Particles with Frictional Interactions.”10.1103/physreve.89.012301__Physical Review E, vol. 89, no. 1, 012301, American Physical Society, 2014, doi:10.1103/physreve.89.012301.
LibreCat: https://research-explorer.ista.ac.at/record/7772
DOI: 10.1103/physreve.89.012301

Goodrich, Carl Peter, et al. “Solids between the Mechanical Extremes of Order and Disorder.”10.1038/nphys3006__Nature Physics, vol. 10, no. 8, Springer Nature, 2014, pp. 578–81, doi:10.1038/nphys3006.
LibreCat: https://research-explorer.ista.ac.at/record/7773
DOI: 10.1038/nphys3006

Goodrich, Carl Peter, et al. “Jamming in Finite Systems: Stability, Anisotropy, Fluctuations, and Scaling.”10.1103/physreve.90.022138__Physical Review E, vol. 90, no. 2, 022138, American Physical Society, 2014, doi:10.1103/physreve.90.022138.
LibreCat: https://research-explorer.ista.ac.at/record/7769
DOI: 10.1103/physreve.90.022138

Goodrich, Carl Peter, et al. “Contact Nonlinearities and Linear Response in Jammed Particulate Packings.”10.1103/physreve.90.022201__Physical Review E, vol. 90, no. 2, 022201, American Physical Society, 2014, doi:10.1103/physreve.90.022201.
LibreCat: https://research-explorer.ista.ac.at/record/7770
DOI: 10.1103/physreve.90.022201

Araya, R., et al. “Activity-Dependent Dendritic Spine Neck Changes Are Correlated with Synaptic Strength.”10.1073/pnas.1321869111__Proceedings of the National Academy of Sciences, vol. 111, no. 28, Proceedings of the National Academy of Sciences, 2014, pp. 95–904, doi:10.1073/pnas.1321869111.
LibreCat: https://research-explorer.ista.ac.at/record/8021
DOI: 10.1073/pnas.1321869111
PMID: 24982196