Dubuis, Julien, et al. “Positional Information, in Bits.”10.1073/pnas.1315642110__PNAS, vol. 110, no. 41, National Academy of Sciences, 2013, pp. 16301–08, doi:10.1073/pnas.1315642110.
LibreCat: https://research-explorer.ista.ac.at/record/3261
DOI: 10.1073/pnas.1315642110
PMID: 24089448

Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.”10.1007/s10703-012-0180-2__Formal Methods in System Design, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:10.1007/s10703-012-0180-2.
LibreCat: https://research-explorer.ista.ac.at/record/2831
DOI: 10.1007/s10703-012-0180-2
arXiv: 1104.3348

Pickup, Melinda, et al. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.”10.1098/rspb.2012.2058__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750, 2058, Royal Society, The, 2013, doi:10.1098/rspb.2012.2058.
LibreCat: https://research-explorer.ista.ac.at/record/450
DOI: 10.1098/rspb.2012.2058
PMID: 23173202

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

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

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

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

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

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

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

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

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

Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.”10.4171/JST/31__Journal of Spectral Theory, vol. 2, no. 3, European Mathematical Society, 2012, pp. 321–28, doi:10.4171/JST/31.
LibreCat: https://research-explorer.ista.ac.at/record/2318
DOI: 10.4171/JST/31

Ebersberger, Ingo, et al. “A Consistent Phylogenetic Backbone for the Fungi.”10.1093/molbev/msr285__Molecular Biology and Evolution, vol. 29, no. 5, Oxford University Press, 2012, pp. 1319–34, doi:10.1093/molbev/msr285.
LibreCat: https://research-explorer.ista.ac.at/record/2411
DOI: 10.1093/molbev/msr285

Chatterjee, Krishnendu, et al. Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. Vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–73, doi:10.4230/LIPIcs.FSTTCS.2012.461.
LibreCat: https://research-explorer.ista.ac.at/record/2715
DOI: 10.4230/LIPIcs.FSTTCS.2012.461

Chatterjee, Krishnendu, et al. “Evolutionary Game Dynamics in Populations with Different Learners.”10.1016/j.jtbi.2012.02.021__Journal of Theoretical Biology, vol. 301, Elsevier, 2012, pp. 161–73, doi:10.1016/j.jtbi.2012.02.021.
LibreCat: https://research-explorer.ista.ac.at/record/2848
DOI: 10.1016/j.jtbi.2012.02.021
PMID: 22394652

Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space of Steiner Minimal Trees.”10.1070/RM2012v067n06ABEH004820__Russian Mathematical Surveys, vol. 67, no. 6, IOP Publishing Ltd., 2012, pp. 1167–68, doi:10.1070/RM2012v067n06ABEH004820.
LibreCat: https://research-explorer.ista.ac.at/record/2849
DOI: 10.1070/RM2012v067n06ABEH004820

Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative Automata.”10.4230/LIPIcs.FSTTCS.2012.362__Leibniz International Proceedings in Informatics, vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:10.4230/LIPIcs.FSTTCS.2012.362.
LibreCat: https://research-explorer.ista.ac.at/record/2891
DOI: 10.4230/LIPIcs.FSTTCS.2012.362

Edelsbrunner, Herbert, and Olga Symonova. The Adaptive Topology of a Digital Image. IEEE, 2012, pp. 41–48, doi:10.1109/ISVD.2012.11.
LibreCat: https://research-explorer.ista.ac.at/record/2903
DOI: 10.1109/ISVD.2012.11

Cerny, Pavol, et al. “Interface Simulation Distances.”10.4204/EPTCS.96.3__Electronic Proceedings in Theoretical Computer Science, vol. 96, EPTCS, 2012, pp. 29–42, doi:10.4204/EPTCS.96.3.
LibreCat: https://research-explorer.ista.ac.at/record/2916
DOI: 10.4204/EPTCS.96.3
arXiv: 1210.2450

Huber, Anna, and Vladimir Kolmogorov. Towards Minimizing K-Submodular Functions. Vol. 7422, Springer, 2012, pp. 451–62, doi:10.1007/978-3-642-32147-4_40.
LibreCat: https://research-explorer.ista.ac.at/record/2930
DOI: 10.1007/978-3-642-32147-4_40

Kolmogorov, Vladimir, and Thomas Schoenemann. “Generalized Sequential Tree-Reweighted Message Passing.” ArXiv, ArXiv, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2928
arXiv: 1205.6352

Almeida, José, et al. “Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.”10.1145/2382196.2382249__Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500, doi:10.1145/2382196.2382249.
LibreCat: https://research-explorer.ista.ac.at/record/2937
DOI: 10.1145/2382196.2382249

Chatterjee, Krishnendu, et al. “Finite Automata with Time Delay Blocks.”10.1145/2380356.2380370__Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52, doi:10.1145/2380356.2380370.
LibreCat: https://research-explorer.ista.ac.at/record/2936
DOI: 10.1145/2380356.2380370

Hadizadeh Yazdi, Nastaran, et al. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.”10.1111/mmi.12071__Molecular Microbiology, vol. 86, no. 6, Wiley-Blackwell, 2012, pp. 1318–33, doi:10.1111/mmi.12071.
LibreCat: https://research-explorer.ista.ac.at/record/2943
DOI: 10.1111/mmi.12071

Dolbilin, Nikolai, et al. “On the Optimality of Functionals over Triangulations of Delaunay Sets.”10.1070/RM2012v067n04ABEH004807__Russian Mathematical Surveys, vol. 67, no. 4, IOP Publishing, 2012, pp. 781–83, doi:10.1070/RM2012v067n04ABEH004807.
LibreCat: https://research-explorer.ista.ac.at/record/2941
DOI: 10.1070/RM2012v067n04ABEH004807

Dueck, Anne, et al. “MicroRNAs Associated with the Different Human Argonaute Proteins.”10.1093/nar/gks705__Nucleic Acids Research, vol. 40, no. 19, Oxford University Press, 2012, pp. 9850–62, doi:10.1093/nar/gks705.
LibreCat: https://research-explorer.ista.ac.at/record/2946
DOI: 10.1093/nar/gks705

Chatterjee, Krishnendu, et al. Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games. Vol. 7561, Springer, 2012, pp. 385–99, doi:10.1007/978-3-642-33386-6_30.
LibreCat: https://research-explorer.ista.ac.at/record/2947
DOI: 10.1007/978-3-642-33386-6_30

Pernia-Andrade, Alejandro, et al. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.”10.1016/j.bpj.2012.08.039__Biophysical Journal, vol. 103, no. 7, Biophysical, 2012, pp. 1429–39, doi:10.1016/j.bpj.2012.08.039.
LibreCat: https://research-explorer.ista.ac.at/record/2954
DOI: 10.1016/j.bpj.2012.08.039
PMID: 23062335

Allen, Kevin, et al. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through Rate Remapping.”10.1523/JNEUROSCI.6175-11.2012__Journal of Neuroscience, vol. 32, no. 42, Society for Neuroscience, 2012, pp. 14752–66, doi:10.1523/JNEUROSCI.6175-11.2012.
LibreCat: https://research-explorer.ista.ac.at/record/2958
DOI: 10.1523/JNEUROSCI.6175-11.2012
PMID: 23077060

Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical Models.”10.1214/11-AOS957__Annals of Statistics, vol. 40, no. 1, Institute of Mathematical Statistics, 2012, pp. 238–61, doi:10.1214/11-AOS957.
LibreCat: https://research-explorer.ista.ac.at/record/2959
DOI: 10.1214/11-AOS957

Cremer, Sylvia, et al. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.”10.1186/1472-6785-12-7__BMC Ecology, vol. 12, 7, BioMed Central, 2012, doi:10.1186/1472-6785-12-7.
LibreCat: https://research-explorer.ista.ac.at/record/2966
DOI: 10.1186/1472-6785-12-7

Aeschbacher, Simon, et al. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.”10.1534/genetics.112.143164__Genetics, vol. 192, no. 3, Genetics Society of America, 2012, pp. 1027–47, doi:10.1534/genetics.112.143164.
LibreCat: https://research-explorer.ista.ac.at/record/2962
DOI: 10.1534/genetics.112.143164
PMID: 22960215

Danowski, Patrick. “Kontext Open Access: Creative Commons.” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare, vol. 65, no. 2, VÖB, 2012, pp. 200–12.
LibreCat: https://research-explorer.ista.ac.at/record/2965

Jain, Abhishek, et al. Commitments and Efficient Zero Knowledge Proofs from Learning Parity with Noise. Edited by Xiaoyun Wang and Kazue Sako, vol. 7658, Springer, 2012, pp. 663–80, doi:10.1007/978-3-642-34961-4_40.
LibreCat: https://research-explorer.ista.ac.at/record/2974
DOI: 10.1007/978-3-642-34961-4_40

Goswami, Sarit, et al. “Miniature IPSCs in Hippocampal Granule Cells Are Triggered by Voltage-Gated Ca^(2+) Channels via Microdomain Coupling.”10.1523/JNEUROSCI.6104-11.2012__Journal of Neuroscience, vol. 32, no. 41, Society for Neuroscience, 2012, pp. 14294–304, doi:10.1523/JNEUROSCI.6104-11.2012.
LibreCat: https://research-explorer.ista.ac.at/record/2969
DOI: 10.1523/JNEUROSCI.6104-11.2012
PMID: 23055500

Raveendran, Karthik, et al. “Controlling Liquids Using Meshes.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–64.
LibreCat: https://research-explorer.ista.ac.at/record/3119

Bojsen-Hansen, Morten, et al. “Tracking Surfaces with Evolving Topology.”10.1145/2185520.2185549__ACM Transactions on Graphics, vol. 31, no. 4, 53, ACM, 2012, doi:10.1145/2185520.2185549.
LibreCat: https://research-explorer.ista.ac.at/record/3118
DOI: 10.1145/2185520.2185549

Williams, Courtney, et al. “Coactivation of Multiple Tightly Coupled Calcium Channels Triggers Spontaneous Release of GABA.”10.1038/nn.3162__Nature Neuroscience, vol. 15, no. 9, Nature Publishing Group, 2012, pp. 1195–97, doi:10.1038/nn.3162.
LibreCat: https://research-explorer.ista.ac.at/record/3121
DOI: 10.1038/nn.3162
PMID: 22842148

Brown, Gavin, et al. “Fano 3 Folds in Codimension 4 Tom and Jerry Part I.”10.1112/S0010437X11007226__Compositio Mathematica, vol. 148, no. 4, Cambridge University Press, 2012, pp. 1171–94, doi:10.1112/S0010437X11007226.
LibreCat: https://research-explorer.ista.ac.at/record/3120
DOI: 10.1112/S0010437X11007226

Kolmogorov, Vladimir. “Minimizing a Sum of Submodular Functions.”10.1016/j.dam.2012.05.025__Discrete Applied Mathematics, vol. 160, no. 15, Elsevier, 2012, pp. 2246–58, doi:10.1016/j.dam.2012.05.025.
LibreCat: https://research-explorer.ista.ac.at/record/3117
DOI: 10.1016/j.dam.2012.05.025

Weissman, Daniel, and Nicholas H. Barton. “Limits to the Rate of Adaptive Substitution in Sexual Populations.”10.1371/journal.pgen.1002740__PLoS Genetics, vol. 8, no. 6, e1002740, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002740.
LibreCat: https://research-explorer.ista.ac.at/record/3131
DOI: 10.1371/journal.pgen.1002740

Bergmiller, Tobias, et al. “Patterns of Evolutionary Conservation of Essential Genes Correlate with Their Compensability.”10.1371/journal.pgen.1002803__PLoS Genetics, vol. 8, no. 6, e1002803, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002803.
LibreCat: https://research-explorer.ista.ac.at/record/3130
DOI: 10.1371/journal.pgen.1002803

Brázdil, Brázdil, et al. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. Vol. 7358, Springer, 2012, pp. 23–38, doi:10.1007/978-3-642-31424-7_8.
LibreCat: https://research-explorer.ista.ac.at/record/3135
DOI: 10.1007/978-3-642-31424-7_8

Edelsbrunner, Herbert, and Michael Kerber. “Alexander Duality for Functions: The Persistent Behavior of Land and Water and Shore.”10.1145/2261250.2261287__Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–58, doi:10.1145/2261250.2261287.
LibreCat: https://research-explorer.ista.ac.at/record/3133
DOI: 10.1145/2261250.2261287

Vyleta, Meghan, et al. “Suppression of Ribosomal Function Triggers Innate Immune Signaling through Activation of the NLR Inflammasome.”10.1371/journal.pone.0036044__PLoS One, vol. 7, no. 5, e36044, Public Library of Science, 2012, doi:10.1371/journal.pone.0036044.
LibreCat: https://research-explorer.ista.ac.at/record/3161
DOI: 10.1371/journal.pone.0036044

Asarin, Eugene, et al. Parametric Identification of Temporal Properties. Vol. 7186, Springer, 2012, pp. 147–60, doi:10.1007/978-3-642-29860-8_12.
LibreCat: https://research-explorer.ista.ac.at/record/3162
DOI: 10.1007/978-3-642-29860-8_12

de Vladar, Harold. “Amino Acid Fermentation at the Origin of the Genetic Code.”10.1186/1745-6150-7-6__Biology Direct, vol. 7, 6, BioMed Central, 2012, doi:10.1186/1745-6150-7-6.
LibreCat: https://research-explorer.ista.ac.at/record/3166
DOI: 10.1186/1745-6150-7-6

Chatterjee, Krishnendu, and Vishwanath Raman. Synthesizing Protocols for Digital Contract Signing. Vol. 7148, Springer, 2012, pp. 152–68, doi:10.1007/978-3-642-27940-9_11.
LibreCat: https://research-explorer.ista.ac.at/record/3252
DOI: 10.1007/978-3-642-27940-9_11

Chatterjee, Krishnendu, and Laurent Doyen. Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives. Vol. 7119, Springer, 2012, pp. 37–46, doi:10.1007/978-3-642-25929-6_3.
LibreCat: https://research-explorer.ista.ac.at/record/3255
DOI: 10.1007/978-3-642-25929-6_3

Edelsbrunner, Herbert, and Michael Kerber. “Dual Complexes of Cubical Subdivisions of dn.”10.1007/s00454-011-9382-4__Discrete &; Computational Geometry, vol. 47, no. 2, Springer, 2012, pp. 393–414, doi:10.1007/s00454-011-9382-4.
LibreCat: https://research-explorer.ista.ac.at/record/3256
DOI: 10.1007/s00454-011-9382-4

Dodis, Yevgeniy, et al. Message Authentication, Revisited. Vol. 7237, Springer, 2012, pp. 355–74, doi:10.1007/978-3-642-29011-4_22.
LibreCat: https://research-explorer.ista.ac.at/record/3282
DOI: 10.1007/978-3-642-29011-4_22

Pietrzak, Krzysztof Z. Subspace LWE. Vol. 7194, Springer, 2012, pp. 548–63, doi:10.1007/978-3-642-28914-9_31.
LibreCat: https://research-explorer.ista.ac.at/record/3280
DOI: 10.1007/978-3-642-28914-9_31

Eggermann, Emmanuel, et al. “Nanodomain Coupling between Ca(2+) Channels and Sensors of Exocytosis at Fast Mammalian Synapses.”10.1038/nrn3125__Nature Reviews Neuroscience, vol. 13, no. 1, Nature Publishing Group, 2012, pp. 7–21, doi:10.1038/nrn3125.
LibreCat: https://research-explorer.ista.ac.at/record/3317
DOI: 10.1038/nrn3125

Berberich, Eric, et al. “Deconstructing Approximate Offsets.”10.1007/s00454-012-9441-5__Discrete &; Computational Geometry, vol. 48, no. 4, Springer, 2012, pp. 964–89, doi:10.1007/s00454-012-9441-5.
LibreCat: https://research-explorer.ista.ac.at/record/3115
DOI: 10.1007/s00454-012-9441-5
arXiv: 1109.2158

Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology Computation of Algebraic Curves.”10.1016/j.jsc.2011.11.001__10.1016/j.jsc.2011.11.001__Journal of Symbolic Computation, vol. 47, no. 3, Elsevier, 2012, pp. 239–58, doi:10.1016/j.jsc.2011.11.001.
LibreCat: https://research-explorer.ista.ac.at/record/3331
DOI: 10.1016/j.jsc.2011.11.001

Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic <9 Regular Games.”10.1016/j.jcss.2011.05.002__Journal of Computer and System Sciences, vol. 78, no. 2, Elsevier, 2012, pp. 394–413, doi:10.1016/j.jcss.2011.05.002.
LibreCat: https://research-explorer.ista.ac.at/record/3846
DOI: 10.1016/j.jcss.2011.05.002

Chatterjee, Krishnendu, et al. “A Survey of Partial-Observation Stochastic Parity Games.”10.1007/s10703-012-0164-2__Formal Methods in System Design, vol. 43, no. 2, Springer, 2012, pp. 268–84, doi:10.1007/s10703-012-0164-2.
LibreCat: https://research-explorer.ista.ac.at/record/3128
DOI: 10.1007/s10703-012-0164-2

Sharmanska, Viktoriia, et al. Augmented Attribute Representations. Vol. 7576, no. PART 5, Springer, 2012, pp. 242–55, doi:10.1007/978-3-642-33715-4_18.
LibreCat: https://research-explorer.ista.ac.at/record/3125
DOI: 10.1007/978-3-642-33715-4_18

Busaryev, Oleksiy, et al. Annotating Simplices with a Homology Basis and Its Applications. Vol. 7357, Springer, 2012, pp. 189–200, doi:10.1007/978-3-642-31155-0_17.
LibreCat: https://research-explorer.ista.ac.at/record/3129
DOI: 10.1007/978-3-642-31155-0_17
arXiv: 1107.3793