Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.”10.3389/fnbeh.2013.00217__Frontiers in Behavioral Neuroscience, vol. 7, no. DEC, Frontiers Research Foundation, 2013, doi:10.3389/fnbeh.2013.00217.
LibreCat: https://research-explorer.ista.ac.at/record/476
DOI: 10.3389/fnbeh.2013.00217

Ward, Melissa, et al. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.”10.1186/1471-2148-13-222__BMC Evolutionary Biology, vol. 13, no. 1, 222, BioMed Central, 2013, doi:10.1186/1471-2148-13-222.
LibreCat: https://research-explorer.ista.ac.at/record/500
DOI: 10.1186/1471-2148-13-222

Cozzuol, Mario, et al. “A New Species of Tapir from the Amazon.”10.1644/12-MAMM-A-169.1__Journal of Mammalogy, vol. 94, no. 6, Oxford University Press, 2013, pp. 1331–45, doi:10.1644/12-MAMM-A-169.1.
LibreCat: https://research-explorer.ista.ac.at/record/501
DOI: 10.1644/12-MAMM-A-169.1

Tarazona Santos, Eduardo, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NC, and NC: Functional Implications.”10.1093/molbev/mst119__Molecular Biology and Evolution, vol. 30, no. 9, Oxford University Press, 2013, pp. 2157–67, doi:10.1093/molbev/mst119.
LibreCat: https://research-explorer.ista.ac.at/record/508
DOI: 10.1093/molbev/mst119
PMID: 23821607

Di Rubbo, Simone, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIV in Arabidopsis.”10.1105/tpc.113.114058__Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2986–97, doi:10.1105/tpc.113.114058.
LibreCat: https://research-explorer.ista.ac.at/record/509
DOI: 10.1105/tpc.113.114058
PMID: 23975899

Kim, Soo, et al. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.”10.1105/tpc.113.114264__Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2970–85, doi:10.1105/tpc.113.114264.
LibreCat: https://research-explorer.ista.ac.at/record/507
DOI: 10.1105/tpc.113.114264
PMID: 23975898

Pbndík, Ales, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.”10.1105/tpc.113.114421__Plant Cell, vol. 25, no. 10, American Society of Plant Biologists, 2013, pp. 3858–70, doi:10.1105/tpc.113.114421.
LibreCat: https://research-explorer.ista.ac.at/record/511
DOI: 10.1105/tpc.113.114421
PMID: 24163311

Bargmann, Bastiaan, et al. “A Map of Cell Typespecific Auxin Responses.”10.1038/msb.2013.40__Molecular Systems Biology, vol. 9, no. 1, 688, Nature Publishing Group, 2013, doi:10.1038/msb.2013.40.
LibreCat: https://research-explorer.ista.ac.at/record/516
DOI: 10.1038/msb.2013.40

Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.
LibreCat: https://research-explorer.ista.ac.at/record/2279
DOI: 10.1007/978-3-319-02444-8_10

Reiter, Johannes, et al. TTP: Tool for Tumor Progression. IST Austria, 2013, doi:10.15479/AT:IST-2013-104-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5399
DOI: 10.15479/AT:IST-2013-104-v1-1

Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.
LibreCat: https://research-explorer.ista.ac.at/record/2295
DOI: 10.4230/LIPIcs.CSL.2013.165

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-126-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5403
DOI: 10.15479/AT:IST-2013-126-v1-1

Henzinger, Thomas A., and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013, doi:10.15479/AT:IST-2013-123-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5402
DOI: 10.15479/AT:IST-2013-123-v1-1

Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives. IST Austria, 2013, doi:10.15479/AT:IST-2013-109-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5400
DOI: 10.15479/AT:IST-2013-109-v1-1

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-127-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5404
DOI: 10.15479/AT:IST-2013-127-v1-1

Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5401

Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-128-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5405
DOI: 10.15479/AT:IST-2013-128-v1-1

Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5409
DOI: 10.15479/AT:IST-2013-144-v1-1

Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5406
DOI: 10.15479/AT:IST-2013-130-v1-1

Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5408
DOI: 10.15479/AT:IST-2013-141-v1-1

Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5407

Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5410
DOI: 10.15479/AT:IST-2013-146-v1-1

Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. Vol. 8052, Springer, 2013, pp. 273–87, doi:10.1007/978-3-642-40184-8_20.
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 10.1007/978-3-642-40184-8_20

Bernecky, Carrie, and Patrick Cramer. “Struggling to Let Go: A Non-Coding RNA Directs Its Own Extension and Destruction.”10.1038/emboj.2013.36__EMBO Journal, vol. 32, no. 6, Wiley-Blackwell, 2013, pp. 771–72, doi:10.1038/emboj.2013.36.
LibreCat: https://research-explorer.ista.ac.at/record/595
DOI: 10.1038/emboj.2013.36

Kodama-Namba, Eiji, et al. “Cross-Modulation of Homeostatic Responses to Temperature, Oxygen and Carbon Dioxide in C. Elegans.”10.1371/journal.pgen.1004011__PLoS Genetics, vol. 9, no. 12, e1004011, Public Library of Science (PLoS), 2013, doi:10.1371/journal.pgen.1004011.
LibreCat: https://research-explorer.ista.ac.at/record/6128
DOI: 10.1371/journal.pgen.1004011
PMID: 24385919

Chen, Changchun, et al. “Efficient Genome Editing in Caenorhabditis Elegans by CRISPR-Targeted Homologous Recombination.”10.1093/nar/gkt805__Nucleic Acids Research, vol. 41, no. 20, e193, Oxford University Press, 2013, doi:10.1093/nar/gkt805.
LibreCat: https://research-explorer.ista.ac.at/record/6130
DOI: 10.1093/nar/gkt805
PMID: 24013562

Couto, A., et al. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas Sensor.”10.1073/pnas.1217428110__Proceedings of the National Academy of Sciences, vol. 110, no. 35, Proceedings of the National Academy of Sciences, 2013, pp. 01–10, doi:10.1073/pnas.1217428110.
LibreCat: https://research-explorer.ista.ac.at/record/6133
DOI: 10.1073/pnas.1217428110
PMID: 23940325

Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/6440
DOI: 10.15479/AT:IST-2013-124-v1-1

Mondelli, Marco. “A Finite Difference Scheme for the Stack Filter Simulating the MCM.”10.5201/ipol.2013.53__Image Processing On Line, vol. 3, Image Processing On Line, 2013, pp. 68–111, doi:10.5201/ipol.2013.53.
LibreCat: https://research-explorer.ista.ac.at/record/6768
DOI: 10.5201/ipol.2013.53

Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.
LibreCat: https://research-explorer.ista.ac.at/record/2329
DOI: 10.1007/978-3-642-40184-8_35
arXiv: 1210.3141

Vogels, Tim P., et al. “Inhibitory Synaptic Plasticity: Spike Timing-Dependence and Putative Network Function.”10.3389/fncir.2013.00119__Frontiers in Neural Circuits, vol. 7, 119, Frontiers Media, 2013, doi:10.3389/fncir.2013.00119.
LibreCat: https://research-explorer.ista.ac.at/record/8030
DOI: 10.3389/fncir.2013.00119
PMID: 23882186

Petricevic, Branka, et al. “Trastuzumab Mediates Antibody-Dependent Cell-Mediated Cytotoxicity and Phagocytosis to the Same Extent in Both Adjuvant and Metastatic HE/Neu Breast Cancer Patients.”10.1186/1479-5876-11-307__Journal of Translational Medicine, vol. 11, 307, Springer Nature, 2013, doi:10.1186/1479-5876-11-307.
LibreCat: https://research-explorer.ista.ac.at/record/8245
DOI: 10.1186/1479-5876-11-307
PMID: 24330813

O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.”10.3389/fpls.2013.00451__Frontiers in Plant Science, vol. 4, 451, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00451.
LibreCat: https://research-explorer.ista.ac.at/record/827
DOI: 10.3389/fpls.2013.00451

Cuesta, Candela, et al. “Systems Approaches to Study Root Architecture Dynamics.”10.3389/fpls.2013.00537__Frontiers in Plant Science, vol. 4, 537, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00537.
LibreCat: https://research-explorer.ista.ac.at/record/828
DOI: 10.3389/fpls.2013.00537

Serbyn, Maksym, and Mikhail Skvortsov. “Onset of Superconductivity in a Voltage-Biased Normal-Superconducting-Normal Microbridge.”10.1103/PhysRevB.87.020501__Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 2, American Physical Society, 2013, doi:10.1103/PhysRevB.87.020501.
LibreCat: https://research-explorer.ista.ac.at/record/971
DOI: 10.1103/PhysRevB.87.020501

Okada, Yoshinori, et al. “Observation of Dirac Node Formation and Mass Acquisition in a Topological Crystalline Insulator.”10.1126/science.1239451__Science, vol. 341, no. 6153, American Association for the Advancement of Science, 2013, pp. 1496–99, doi:10.1126/science.1239451.
LibreCat: https://research-explorer.ista.ac.at/record/972
DOI: 10.1126/science.1239451
arXiv: 1305.2823

Serbyn, Maksym, et al. “Universal Slow Growth of Entanglement in Interacting Strongly Disordered Systems.”10.1103/PhysRevLett.110.260601__Physical Review Letters, vol. 110, no. 26, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.260601.
LibreCat: https://research-explorer.ista.ac.at/record/975
DOI: 10.1103/PhysRevLett.110.260601

Arkhipov, Vladimir, et al. “Birds of Mys Shmidta, North Chukotka, Russia.” Forktail, no. 29, Oriental Bird Club, 2013, pp. 25–30.
LibreCat: https://research-explorer.ista.ac.at/record/905

Melet, Angélique, et al. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.”10.1002/2013jc009212__Journal of Geophysical Research: Oceans, vol. 118, no. 11, American Geophysical Union, 2013, pp. 6303–18, doi:10.1002/2013jc009212.
LibreCat: https://research-explorer.ista.ac.at/record/9153
DOI: 10.1002/2013jc009212

Muller, Caroline J. “Impact of Convective Organization on the Response of Tropical Precipitation Extremes to Warming.”10.1175/jcli-d-12-00655.1__Journal of Climate, vol. 26, no. 14, American Meteorological Society, 2013, pp. 5028–43, doi:10.1175/jcli-d-12-00655.1.
LibreCat: https://research-explorer.ista.ac.at/record/9154
DOI: 10.1175/jcli-d-12-00655.1

Palacci, Jérémie A., et al. “Photoactivated Colloidal Dockers for Cargo Transportation.”10.1021/ja406090s__Journal of the American Chemical Society, vol. 135, no. 43, American Chemical Society, 2013, pp. 15978–81, doi:10.1021/ja406090s.
LibreCat: https://research-explorer.ista.ac.at/record/9167
DOI: 10.1021/ja406090s
PMID: 24131488
arXiv: 1310.5724

Zemach, Assaf, et al. “The Arabidopsis Nucleosome Remodeler DDM1 Allows DNA Methyltransferases to Access -Containing Heterochromatin.”10.1016/j.cell.2013.02.033__Cell, vol. 153, no. 1, Elsevier, 2013, pp. 193–205, doi:10.1016/j.cell.2013.02.033.
LibreCat: https://research-explorer.ista.ac.at/record/9459
DOI: 10.1016/j.cell.2013.02.033
PMID: 23540698

Rodrigues, Jessica A., et al. “Imprinted Expression of Genes and Small RNA Is Associated with Localized Hypomethylation of the Maternal Genome in Rice Endosperm.”10.1073/pnas.1306164110__Proceedings of the National Academy of Sciences, vol. 110, no. 19, National Academy of Sciences, 2013, pp. 7934–39, doi:10.1073/pnas.1306164110.
LibreCat: https://research-explorer.ista.ac.at/record/9481
DOI: 10.1073/pnas.1306164110
PMID: 23613580

Cheng, Bingqing, and Alfonso H. W. Ngan. “Thermally Induced Solid-Solid Structural Transition of Copper Nanoparticles through Direct Geometrical Conversion.”10.1063/1.4802025__The Journal of Chemical Physics, vol. 138, no. 16, 164314, AIP Publishing, 2013, doi:10.1063/1.4802025.
LibreCat: https://research-explorer.ista.ac.at/record/9663
DOI: 10.1063/1.4802025
PMID: 23635145

Serbyn, Maksym, and Dmitry Abanin. “New Dirac Points and Multiple Landau Level Crossings in Biased Trilayer Graphene.”10.1103/PhysRevB.87.115422__Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 11, American Physical Society, 2013, doi:10.1103/PhysRevB.87.115422.
LibreCat: https://research-explorer.ista.ac.at/record/970
DOI: 10.1103/PhysRevB.87.115422

Serbyn, Maksym, et al. “Local Conservation Laws and the Structure of the Many Body Localized States.”10.1103/PhysRevLett.111.127201__Physical Review Letters, vol. 111, no. 12, American Physical Society, 2013, doi:10.1103/PhysRevLett.111.127201.
LibreCat: https://research-explorer.ista.ac.at/record/973
DOI: 10.1103/PhysRevLett.111.127201

Serbyn, Maksym, et al. “Overscreened Kondo Fixed Point in S=1 Spin Liquid.”10.1103/PhysRevB.88.024419__Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 2, American Physical Society, 2013, doi:10.1103/PhysRevB.88.024419.
LibreCat: https://research-explorer.ista.ac.at/record/974
DOI: 10.1103/PhysRevB.88.024419
arXiv: 1212.5179

Tragust, Simon, et al. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.”10.1186/1471-2148-13-225__BMC Evolutionary Biology, vol. 13, no. 1, 225, BioMed Central, 2013, doi:10.1186/1471-2148-13-225.
LibreCat: https://research-explorer.ista.ac.at/record/2284
DOI: 10.1186/1471-2148-13-225

Simmons, Kristina, et al. “Transformation of Stimulus Correlations by the Retina.”10.1371/journal.pcbi.1003344__PLoS Computational Biology, vol. 9, no. 12, e1003344, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003344.
LibreCat: https://research-explorer.ista.ac.at/record/2277
DOI: 10.1371/journal.pcbi.1003344

Hearn, Jack, et al. Data from: Likelihood-Based Inference of Population History from Low Coverage de Novo Genome Assemblies. Dryad, 2013, doi:10.5061/dryad.r3r60.
LibreCat: https://research-explorer.ista.ac.at/record/9754
DOI: 10.5061/dryad.r3r60

Serbyn, Maksym, and Patrick Lee. “Spinon-Phonon Interaction in Algebraic Spin Liquids.”10.1103/PhysRevB.87.174424__Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 17, American Physical Society, 2013, doi:10.1103/PhysRevB.87.174424.
LibreCat: https://research-explorer.ista.ac.at/record/976
DOI: 10.1103/PhysRevB.87.174424

Lutz, A. F., et al. “Comparison of Climate Change Signals in CMI and CMI Multi-Model Ensembles and Implications for Central Asian Glaciers.”10.5194/hess-17-3661-2013__Hydrology and Earth System Sciences, vol. 17, no. 9, Copernicus GmbH, 2013, pp. 3661–77, doi:10.5194/hess-17-3661-2013.
LibreCat: https://research-explorer.ista.ac.at/record/12638
DOI: 10.5194/hess-17-3661-2013

Ragettli, S., et al. “Sources of Uncertainty in Modeling the Glaciohydrological Response of a Karakoram Watershed to Climate Change.”10.1002/wrcr.20450__Water Resources Research, vol. 49, no. 9, American Geophysical Union, 2013, pp. 6048–66, doi:10.1002/wrcr.20450.
LibreCat: https://research-explorer.ista.ac.at/record/12639
DOI: 10.1002/wrcr.20450

Feng, Xiaoqi, et al. “A Conversation across Generations: Soma-Germ Cell Crosstalk in Plants.”10.1016/j.devcel.2013.01.014__Developmental Cell, vol. 24, no. 3, Elsevier, 2013, pp. 215–25, doi:10.1016/j.devcel.2013.01.014.
LibreCat: https://research-explorer.ista.ac.at/record/9520
DOI: 10.1016/j.devcel.2013.01.014
PMID: 23410937

Stephens, Greg, et al. “Statistical Thermodynamics of Natural Images.”10.1103/PhysRevLett.110.018701__Physical Review Letters, vol. 110, no. 1, 018701, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.018701.
LibreCat: https://research-explorer.ista.ac.at/record/2914
DOI: 10.1103/PhysRevLett.110.018701
arXiv: 0806.2694

Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.”10.1007/978-3-642-39799-8_11__Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
LibreCat: https://research-explorer.ista.ac.at/record/5747
DOI: 10.1007/978-3-642-39799-8_11

Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5.
LibreCat: https://research-explorer.ista.ac.at/record/2847
DOI: 10.1007/978-3-642-36742-7_5

Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .”10.1371/journal.pone.0080814__PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.”10.1111/eva.12020__Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

Boei, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.”10.7554/eLife.00747__ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.”10.1007/978-3-642-39799-8_6__Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.
LibreCat: https://research-explorer.ista.ac.at/record/2000
DOI: 10.1007/978-3-642-39799-8_6
arXiv: 1303.5251

Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

Brázdil, Tomás, et al. “Trading Performance for Stability in Markov Decision Processes.”10.1109/LICS.2013.39__28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
LibreCat: https://research-explorer.ista.ac.at/record/2305
DOI: 10.1109/LICS.2013.39
arXiv: 1305.4103

Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference on International, vol. 28, no. 3, ML Research Press, 2013, pp. 145–53.
LibreCat: https://research-explorer.ista.ac.at/record/2272

Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.”10.4161/psb.25688__Plant Signaling &; Behavior, vol. 8, no. 10, e25688, Taylor &; Francis, 2013, doi:10.4161/psb.25688.
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

Refardt, Dominik, et al. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”10.1098/rspb.2012.3035__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759, The Royal Society, 2013, doi:10.1098/rspb.2012.3035.
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

Refardt, Dominik, et al. Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection. Dryad, 2013, doi:10.5061/dryad.b1q2n.
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Sari, Anela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.”10.1103/physrevlett.109.188101__Physical Review Letters, vol. 109, no. 18, 188101, American Physical Society, 2012, doi:10.1103/physrevlett.109.188101.
LibreCat: https://research-explorer.ista.ac.at/record/10387
DOI: 10.1103/physrevlett.109.188101
PMID: 23215334
arXiv: 1206.3528

Sari, Anela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.”10.1103/physrevlett.108.118101__Physical Review Letters, vol. 108, no. 11, 118101, American Physical Society, 2012, doi:10.1103/physrevlett.108.118101.
LibreCat: https://research-explorer.ista.ac.at/record/10388
DOI: 10.1103/physrevlett.108.118101
PMID: 22540513
arXiv: 1201.0036

Mark, Manfred, et al. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.”10.1103/PhysRevLett.108.215302__Physical Review Letters, vol. 108, no. 21, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.215302.
LibreCat: https://research-explorer.ista.ac.at/record/1056
DOI: 10.1103/PhysRevLett.108.215302
arXiv: 1201.1008

Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” APS March Meeting 2012, vol. 57, no. 1, .00008, American Physical Society, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/10750

D’Angelo, Maximiliano A., et al. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.”10.1016/j.devcel.2011.11.021__Developmental Cell, vol. 22, no. 2, Elsevier, 2012, pp. 446–58, doi:10.1016/j.devcel.2011.11.021.
LibreCat: https://research-explorer.ista.ac.at/record/11093
DOI: 10.1016/j.devcel.2011.11.021
PMID: 22264802

Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.”10.1016/j.cell.2012.04.018__Cell, vol. 149, no. 4, Elsevier, 2012, pp. 733–35, doi:10.1016/j.cell.2012.04.018.
LibreCat: https://research-explorer.ista.ac.at/record/11090
DOI: 10.1016/j.cell.2012.04.018
PMID: 22579277

Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” Revista Cubana de Fisica, vol. 29, no. 1E, Universidad de La Habana, 2012, p. 1-1.
LibreCat: https://research-explorer.ista.ac.at/record/114

Dütting, Paul, et al. “Auctions with Heterogeneous Items and Budget Limits.”10.1007/978-3-642-35311-6_4__8th International Workshop on Internet and Network Economics, vol. 7695, Springer Nature, 2012, pp. 44–57, doi:10.1007/978-3-642-35311-6_4.
LibreCat: https://research-explorer.ista.ac.at/record/11794
DOI: 10.1007/978-3-642-35311-6_4
arXiv: 1209.6448

Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically Based, Spatially Distributed Hydrological Model in a Glacierized Basin: On the Use of Knowledge from Glaciometeorological Processes to Constrain Model Parameters.”10.1029/2011wr010559__Water Resources Research, vol. 48, no. 3, 509, American Geophysical Union, 2012, doi:10.1029/2011wr010559.
LibreCat: https://research-explorer.ista.ac.at/record/12644
DOI: 10.1029/2011wr010559

Pellicciotti, Francesca, et al. “Challenges and Uncertainties in Hydrological Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration Strategies.”10.1659/mrd-journal-d-11-00092.1__Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 39–50, doi:10.1659/mrd-journal-d-11-00092.1.
LibreCat: https://research-explorer.ista.ac.at/record/12646
DOI: 10.1659/mrd-journal-d-11-00092.1

Immerzeel, Walter Willem, et al. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.”10.1659/mrd-journal-d-11-00097.1__Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 30–38, doi:10.1659/mrd-journal-d-11-00097.1.
LibreCat: https://research-explorer.ista.ac.at/record/12647
DOI: 10.1659/mrd-journal-d-11-00097.1

Reid, T. D., et al. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.”10.1029/2012jd017795__Journal of Geophysical Research: Atmospheres, vol. 117, no. , 105, American Geophysical Union, 2012, doi:10.1029/2012jd017795.
LibreCat: https://research-explorer.ista.ac.at/record/12648
DOI: 10.1029/2012jd017795

Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.”10.1145/2393596.2393664__Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
LibreCat: https://research-explorer.ista.ac.at/record/1384
DOI: 10.1145/2393596.2393664

De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.”10.4007/annals.2012.175.3.7__Annals of Mathematics, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.
LibreCat: https://research-explorer.ista.ac.at/record/1472
DOI: 10.4007/annals.2012.175.3.7

Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.”10.2140/gt.2012.16.1609__Geometry and Topology, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:10.2140/gt.2012.16.1609.
LibreCat: https://research-explorer.ista.ac.at/record/1471
DOI: 10.2140/gt.2012.16.1609

Browning, Timothy D., and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.”https://doi.org/10.1515/crelle.2012.039__Journal Fur Die Reine Und Angewandte Mathematik, vol. 2013, no. 680, Walter de Gruyter, 2012, pp. 1–65, doi:https://doi.org/10.1515/crelle.2012.039.
LibreCat: https://research-explorer.ista.ac.at/record/171
DOI: https://doi.org/10.1515/crelle.2012.039

Zhang, Jianjun, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .”10.1103/PhysRevLett.109.085502__Physical Review Letters, vol. 109, no. 8, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.085502.
LibreCat: https://research-explorer.ista.ac.at/record/1757
DOI: 10.1103/PhysRevLett.109.085502

Lee, Eduardo, et al. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.”10.1103/PhysRevLett.109.186802__Physical Review Letters, vol. 109, no. 18, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.186802.
LibreCat: https://research-explorer.ista.ac.at/record/1758
DOI: 10.1103/PhysRevLett.109.186802

Mongillo, Massimo, et al. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.”10.1021/nl300930m__Nano Letters, vol. 12, no. 6, American Chemical Society, 2012, pp. 3074–79, doi:10.1021/nl300930m.
LibreCat: https://research-explorer.ista.ac.at/record/1756
DOI: 10.1021/nl300930m

Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.”10.1103/PhysRevA.86.053838__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5, American Physical Society, 2012, doi:10.1103/PhysRevA.86.053838.
LibreCat: https://research-explorer.ista.ac.at/record/1783
DOI: 10.1103/PhysRevA.86.053838

Pechal, M., et al. “Geometric Phase and Nonadiabatic Effects in an Electronic Harmonic Oscillator.”10.1103/PhysRevLett.108.170401__Physical Review Letters, vol. 108, no. 17, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.170401.
LibreCat: https://research-explorer.ista.ac.at/record/1782
DOI: 10.1103/PhysRevLett.108.170401

Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.”10.1007/978-3-642-33027-8_13__10.1007/978-3-642-33027-8_13__Conference Proceedings CHES 2012, vol. 7428, Springer, 2012, pp. 213–32, doi:10.1007/978-3-642-33027-8_13.
LibreCat: https://research-explorer.ista.ac.at/record/2048
DOI: 10.1007/978-3-642-33027-8_13

Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.”10.1007/978-3-642-34047-5_20__10.1007/978-3-642-34047-5_20__Conference Proceedings FSE 2012, vol. 7549, Springer, 2012, pp. 346–65, doi:10.1007/978-3-642-34047-5_20.
LibreCat: https://research-explorer.ista.ac.at/record/2049
DOI: 10.1007/978-3-642-34047-5_20

Hairer, Martin, and Jan Maas. “A Spatial Version of the Itô-Stratonovich Correction.”10.1214/11-AOP662__Annals of Probability, vol. 40, no. 4, Institute of Mathematical Statistics, 2012, pp. 1675–714, doi:10.1214/11-AOP662.
LibreCat: https://research-explorer.ista.ac.at/record/2125
DOI: 10.1214/11-AOP662

Erbar, Matthias, and Jan Maas. “Ricci Curvature of Finite Markov Chains via Convexity of the Entropy.”10.1007/s00205-012-0554-z__Archive for Rational Mechanics and Analysis, vol. 206, no. 3, Springer, 2012, pp. 997–1038, doi:10.1007/s00205-012-0554-z.
LibreCat: https://research-explorer.ista.ac.at/record/2127
DOI: 10.1007/s00205-012-0554-z

Maas, Jan, et al. “Whitney Coverings and the Tent Spaces T 1,q (;3) for the Gaussian Measure.”10.1007/s11512-010-0143-z__Arkiv För Matematik, vol. 50, no. 2, Springer, 2012, pp. 379–95, doi:10.1007/s11512-010-0143-z.
LibreCat: https://research-explorer.ista.ac.at/record/2128
DOI: 10.1007/s11512-010-0143-z

Lemeshko, Mikhail, and Betislav Friedrich. “Interaction between Polar Molecules Subject to a Far-off-Resonant Optical Field: Entangled Dipoles up- or down-Holding Each Other.”10.1080/00268976.2012.689868__Molecular Physics, vol. 110, no. 15–16, Taylor &; Francis, 2012, pp. 1873–81, doi:10.1080/00268976.2012.689868.
LibreCat: https://research-explorer.ista.ac.at/record/2203
DOI: 10.1080/00268976.2012.689868

Lemeshko, Mikhail, et al. “Nonadiabatic Preparation of Spin Crystals with Ultracold Polar Molecules.”10.1103/PhysRevLett.109.035301__Physical Review Letters, vol. 109, no. 3, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.035301.
LibreCat: https://research-explorer.ista.ac.at/record/2201
DOI: 10.1103/PhysRevLett.109.035301

Alyabyshev, Sergey, et al. “Sensitive Imaging of Electromagnetic Fields with Paramagnetic Polar Molecules.”10.1103/PhysRevA.86.013409__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 1, American Physical Society, 2012, doi:10.1103/PhysRevA.86.013409.
LibreCat: https://research-explorer.ista.ac.at/record/2202
DOI: 10.1103/PhysRevA.86.013409

Liang, Huixuan, et al. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.”10.1242/bio.20122287__Biology Open, vol. 1, no. 12, The Company of Biologists, 2012, pp. 1200–03, doi:10.1242/bio.20122287.
LibreCat: https://research-explorer.ista.ac.at/record/2263
DOI: 10.1242/bio.20122287

Preiner, Reinhold, et al. Auto Splats: Dynamic Point Cloud Visualization on the GPU. Eurographics Association, 2012, pp. 139–48, doi:10.2312/EGPGV/EGPGV12/139-148.
LibreCat: https://research-explorer.ista.ac.at/record/2267
DOI: 10.2312/EGPGV/EGPGV12/139-148