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, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014.https://doi.org/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, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014.https://doi.org/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, Alexander Kössler, Andreas Pavlogiannis, and Ulrich Schmid. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014.https://doi.org/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, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014.https://doi.org/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, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5425

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014.https://doi.org/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, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolution on Graphs. IST Austria, 2014.https://doi.org/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.”https://doi.org/10.1007/s00023-013-0302-4__Annales Henri Poincaré. Springer Nature, 2014.https://doi.org/10.1007/s00023-013-0302-4 .
LibreCat: https://research-explorer.ista.ac.at/record/5813
DOI: 10.1007/s00023-013-0302-4

Lee, Jongmin, Geert Vrijsen, Igor Teper, Onur Hosten, and Mark Kasevich. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.”https://doi.org/10.1364/OL.39.004005__Optics Letters. OSA, 2014.https://doi.org/10.1364/OL.39.004005 .
LibreCat: https://research-explorer.ista.ac.at/record/589
DOI: 10.1364/OL.39.004005

Gross, E., Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and Mario de Bono. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.”https://doi.org/10.1523/jneurosci.5368-13.2014__Journal of Neuroscience. Society for Neuroscience, 2014.https://doi.org/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, Eisuke Itakura, Katherine P. Weber, Ramanujan S. Hegde, and Mario de Bono. “An ER Complex of ODR-4 and ODR-8/Ufm1 Specific Protease 2 Promotes GPCR Maturation by a Ufm1-Independent Mechanism.”https://doi.org/10.1371/journal.pgen.1004082__PLoS Genetics. Public Library of Science (PLoS), 2014.https://doi.org/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., Jake Jacobson, Karl Emanuel Busch, Bruno Hudry, Christo P. Christov, Dirk Dormann, Michaela Yuan, et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.”https://doi.org/10.1016/j.cell.2013.12.008__Cell. Elsevier, 2014.https://doi.org/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.”https://doi.org/10.5802/jtnb.857__Journal de Théorie Des Nombres de Bordeaux. Cellule MathDoc/CEDRAM, 2014.https://doi.org/10.5802/jtnb.857 .
LibreCat: https://research-explorer.ista.ac.at/record/6319
DOI: 10.5802/jtnb.857
arXiv: 1210.4236

Mondelli, Marco, Rudiger Urbanke, and Hamed Hassani. “How to Achieve the Capacity of Asymmetric Channels.”https://doi.org/10.1109/allerton.2014.7028535__In 52nd Annual Allerton Conference on Communication, Control, and Computing, 789–96. IEEE, 2014.https://doi.org/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, Hamed Hassani, and Rudiger Urbanke. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.”https://doi.org/10.1109/tcomm.2014.2345069__IEEE Transactions on Communications. IEEE, 2014.https://doi.org/10.1109/tcomm.2014.2345069 .
LibreCat: https://research-explorer.ista.ac.at/record/6739
DOI: 10.1109/tcomm.2014.2345069
arXiv: 1401.3127

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

Modic, Kimberly A, Tess E. Smidt, Itamar Kimchi, Nicholas P. Breznay, Alun Biffin, Sungkyun Choi, Roger D. Johnson, et al. “Realization of a Three-Dimensional Spin–Anisotropic Harmonic Honeycomb Iridate.”https://doi.org/10.1038/ncomms5203__Nature Communications. Springer Science and Business Media LLC, 2014.https://doi.org/10.1038/ncomms5203 .
LibreCat: https://research-explorer.ista.ac.at/record/7071
DOI: 10.1038/ncomms5203

Tan, Shutang, and Hong-Wei Xue. “Casein Kinase 1 Regulates Ethylene Synthesis by Phosphorylating and Promoting the Turnover of AC.”https://doi.org/10.1016/j.celrep.2014.10.047__Cell Reports. Elsevier, 2014.https://doi.org/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, Keren Censor Hillel, and Nir Shavit. “Are Lock-Free Concurrent Algorithms Practically Wait-Free?,”https://doi.org/10.1145/2591796.2591836__714–23. ACM, 2014.https://doi.org/10.1145/2591796.2591836 .
LibreCat: https://research-explorer.ista.ac.at/record/772
DOI: 10.1145/2591796.2591836
arXiv: 1311.3200