Bergmiller, Tobias, Martin Ackermann, and Olin Silander. “Patterns of Evolutionary Conservation of Essential Genes Correlate with Their Compensability.”https://doi.org/10.1371/journal.pgen.1002803__PLoS Genetics. Public Library of Science, 2012.https://doi.org/10.1371/journal.pgen.1002803 .

Guet, Calin C, Ashutosh Gupta, Thomas A Henzinger, Maria Mateescu, and Ali Sezgin. “Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits,”https://doi.org/10.1007/978-3-642-31424-7_24__7358:294–309. Springer, 2012.https://doi.org/10.1007/978-3-642-31424-7_24 .

Brázdil, Brázdil, Krishnendu Chatterjee, Antonín Kudera, and Petr Novotný. “Efficient Controller Synthesis for Consumption Games with Multiple Resource Types,”https://doi.org/10.1007/978-3-642-31424-7_8__7358:23–38. Springer, 2012.https://doi.org/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.”https://doi.org/10.1145/2261250.2261287__In Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , 249–58. ACM, 2012.https://doi.org/10.1145/2261250.2261287 .

Edelsbrunner, Herbert, Brittany Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.”https://doi.org/10.1145/2261250.2261265__In Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , 91–100. ACM, 2012.https://doi.org/10.1145/2261250.2261265 .

Konrad, Matthias, Tobias Pamminger, and Susanne Foitzik. “Two Pathways Ensuring Social Harmony.”https://doi.org/10.1007/s00114-012-0943-z__Naturwissenschaften. Springer, 2012.https://doi.org/10.1007/s00114-012-0943-z .

Vyleta, Meghan, John Wong, and Bruce Magun. “Suppression of Ribosomal Function Triggers Innate Immune Signaling through Activation of the NLR Inflammasome.”https://doi.org/10.1371/journal.pone.0036044__PLoS One. Public Library of Science, 2012.https://doi.org/10.1371/journal.pone.0036044 .

Asarin, Eugene, Alexandre Donzé, Oded Maler, and Dejan Nickovic. “Parametric Identification of Temporal Properties,”https://doi.org/10.1007/978-3-642-29860-8_12__7186:147–60. Springer, 2012.https://doi.org/10.1007/978-3-642-29860-8_12 .

Pantazis, Periklis, and Mark Tobias Bollenbach. “Transcription Factor Kinetics and the Emerging Asymmetry in the Early Mammalian Embryo.”https://doi.org/10.4161/cc.20118__Cell Cycle. Taylor and Francis, 2012.https://doi.org/10.4161/cc.20118 .

Blaschko, Matthew, and Christoph Lampert. “Guest Editorial: Special Issue on Structured Prediction and Inference.”https://doi.org/10.1007/s11263-012-0530-y__International Journal of Computer Vision. Springer, 2012.https://doi.org/10.1007/s11263-012-0530-y .

Vladar, Harold de. “Amino Acid Fermentation at the Origin of the Genetic Code.”https://doi.org/10.1186/1745-6150-7-6__Biology Direct. BioMed Central, 2012.https://doi.org/10.1186/1745-6150-7-6 .

Weber, Michele. “NextGen Speaks 13 .”https://doi.org/10.1126/science.336.6077.32__Science. American Association for the Advancement of Science, 2012.https://doi.org/10.1126/science.336.6077.32 .

Pietrzak, Krzysztof Z, and Douglas Wikström. “Parallel Repetition of Computationally Sound Protocols Revisited.”https://doi.org/10.1007/s00145-010-9090-x__Journal of Cryptology. Springer, 2012.https://doi.org/10.1007/s00145-010-9090-x .

Chatterjee, Krishnendu, and Vishwanath Raman. “Synthesizing Protocols for Digital Contract Signing,”https://doi.org/10.1007/978-3-642-27940-9_11__7148:152–68. Springer, 2012.https://doi.org/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,”https://doi.org/10.1007/978-3-642-25929-6_3__7119:37–46. Springer, 2012.https://doi.org/10.1007/978-3-642-25929-6_3 .

Pietrzak, Krzysztof Z. “Cryptography from Learning Parity with Noise,”https://doi.org/10.1007/978-3-642-27660-6_9__7147:99–114. Springer, 2012.https://doi.org/10.1007/978-3-642-27660-6_9 .

Edelsbrunner, Herbert, and Michael Kerber. “Dual Complexes of Cubical Subdivisions of dn.”https://doi.org/10.1007/s00454-011-9382-4__Discrete &; Computational Geometry. Springer, 2012.https://doi.org/10.1007/s00454-011-9382-4 .

Chatterjee, Krishnendu. “The Complexity of Stochastic Müller Games.”https://doi.org/10.1016/j.ic.2011.11.004__Information and Computation. Elsevier, 2012.https://doi.org/10.1016/j.ic.2011.11.004 .

Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu. “Abstract Domains for Automated Reasoning about List Manipulating Programs with Infinite Data,”https://doi.org/10.1007/978-3-642-27940-9_1__7148:1–22. Springer, 2012.https://doi.org/10.1007/978-3-642-27940-9_1 .

Ion, Adrian, Joao Carreira, and Cristian Sminchisescu. “Image Segmentation by Figure-Ground Composition into Maximal Cliques.”https://doi.org/10.1109/ICCV.2011.6126486__IEEE, 2012.https://doi.org/10.1109/ICCV.2011.6126486 .

Dodis, Yevgeniy, Krzysztof Z Pietrzak, Eike Kiltz, and Daniel Wichs. “Message Authentication, Revisited,”https://doi.org/10.1007/978-3-642-29011-4_22__7237:355–74. Springer, 2012.https://doi.org/10.1007/978-3-642-29011-4_22 .

Pietrzak, Krzysztof Z. “Subspace LWE,”https://doi.org/10.1007/978-3-642-28914-9_31__7194:548–63. Springer, 2012.https://doi.org/10.1007/978-3-642-28914-9_31 .

Pietrzak, Krzysztof Z, Alon Rosen, and Gil Segev. “Lossy Functions Do Not Amplify Well,”https://doi.org/10.1007/978-3-642-28914-9_26__7194:458–75. Springer, 2012.https://doi.org/10.1007/978-3-642-28914-9_26 .

Kolmogorov, Vladimir, and Stanislav divný. “The Complexity of Conservative Valued CSPs,” 750–59. SIAM, 2012.

Shavel, Alexey, Doris Cadavid, Maria Ibáñez, Alex Carrete, and Andreu Cabot. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow Reactor.”https://doi.org/10.1021/ja209688a__Journal of the American Chemical Society. ACS, 2012.https://doi.org/10.1021/ja209688a .

Eggermann, Emmanuel, Iancu Bucurenciu, Sarit Goswami, and Peter M Jonas. “Nanodomain Coupling between Ca(2+) Channels and Sensors of Exocytosis at Fast Mammalian Synapses.”https://doi.org/10.1038/nrn3125__Nature Reviews Neuroscience. Nature Publishing Group, 2012.https://doi.org/10.1038/nrn3125 .

Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting and Averaging in Games across Time Scales.”https://doi.org/10.1142/S0129054112400308__International Journal of Foundations of Computer Science. World Scientific Publishing, 2012.https://doi.org/10.1142/S0129054112400308 .

Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.”https://doi.org/10.1007/s00454-012-9441-5__Discrete &; Computational Geometry. Springer, 2012.https://doi.org/10.1007/s00454-012-9441-5 .

Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology Computation of Algebraic Curves.”https://doi.org/10.1016/j.jsc.2011.11.001__https://doi.org/10.1016/j.jsc.2011.11.001__Journal of Symbolic Computation. Elsevier, 2012.https://doi.org/10.1016/j.jsc.2011.11.001 .

Fan, Jiandong, Reza Zamani, Cristina Fábrega, Alexey Shavel, Cristina Flox, Maria Ibáñez, Teresa Andreu, et al. “Solution-Growth and Optoelectronic Performance of ZnO:Cl/TiO2 and ZnO:Cl/ZnxTiOy/TiO2 Core–Shell Nanowires with Tunable Shell Thickness.”https://doi.org/10.1088/0022-3727/45/41/415301__Journal of Physics D: Applied Physics. IOP Publishing Ltd., 2012.https://doi.org/10.1088/0022-3727/45/41/415301 .

Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule Based Systems.”https://doi.org/10.1016/j.tcs.2011.12.059__Theoretical Computer Science. Elsevier, 2012.https://doi.org/10.1016/j.tcs.2011.12.059 .

Ibáñez, Maria, Reza Zamani, Wenhua Li, Doris Cadavid, Stéphane Gorse, Nebll Katchoi, Alexey Shavel, et al. “Crystallographic Control at the Nanoscale to Enhance Functionality: Polytypic Cu2GeSe3 Nanoparticles as Thermoelectric Materials.”https://doi.org/10.1021/cm303252q__Chemistry of Materials. American Chemical Society, 2012.https://doi.org/10.1021/cm303252q .

Chatterjee, Krishnendu, and Thomas A Henzinger. “A Survey of Stochastic <9 Regular Games.”https://doi.org/10.1016/j.jcss.2011.05.002__Journal of Computer and System Sciences. Elsevier, 2012.https://doi.org/10.1016/j.jcss.2011.05.002 .

Alpichshev, Zhanybek, Rudro Biswas, Alexander Balatsky, James Analytis, Jiunhaw Chu, Ian Fisher, and Aharon Kapitulnik. “STM Imaging of Impurity Resonances on Bi 2Se 3.”https://doi.org/10.1103/PhysRevLett.108.206402__Physical Review Letters. American Physical Society, 2012.https://doi.org/10.1103/PhysRevLett.108.206402 .

Dai, Mingqiu, Chen Zhang, Urszula Kania, Fang Chen, Qin Xue, Tyra Mccray, Gang Li, et al. “A P Type Phosphatase Holoenzyme Directly Regulates PIN Phosphorylation and Auxin Efflux in Arabidopsis.”https://doi.org/10.1105/tpc.112.098905__Plant Cell. American Society of Plant Biologists, 2012.https://doi.org/10.1105/tpc.112.098905 .

Martinière, Alexandre, Irene Lavagi, Gayathri Nageswaran, Daniel Rolfe, Lilly Maneta Peyret, Doan Luu, Stanley Botchway, et al. “Cell Wall Constrains Lateral Diffusion of Plant Plasma Membrane Proteins.”https://doi.org/10.1073/pnas.1202040109__PNAS. National Academy of Sciences, 2012.https://doi.org/10.1073/pnas.1202040109 .

Ding, Zhaojun, Bangjun Wang, Ignacio Moreno, Nikoleta Dupláková, Sibu Simon, Nicola Carraro, Jesica Reemmer, et al. “ER-Localized Auxin Transporter PIN8 Regulates Auxin Homeostasis and Male Gametophyte Development in Arabidopsis.”https://doi.org/10.1038/ncomms1941__Nature Communications. Nature Publishing Group, 2012.https://doi.org/10.1038/ncomms1941 .

Lin, Deshu, Shingo Nagawa, Jisheng Chen, Lingyan Cao, Xu Chen, Tongda Xu, Hongjiang Li, et al. “A ROP GTPase Dependent Auxin Signaling Pathway Regulates the Subcellular Distribution of PIN2 in Arabidopsis Roots.”https://doi.org/10.1016/j.cub.2012.05.019__Current Biology. Cell Press, 2012.https://doi.org/10.1016/j.cub.2012.05.019 .

Chen, Xu, Satoshi Naramoto, Stéphanie Robert, Ricardo Tejos, Christian Löfke, Deshu Lin, Zhenbiao Yang, and Jií Friml. “AB and RO GTPase Signaling Regulate Clathrin Mediated Endocytosis in Arabidopsis Roots.”https://doi.org/10.1016/j.cub.2012.05.020__Current Biology. Cell Press, 2012.https://doi.org/10.1016/j.cub.2012.05.020 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Partial-Observation Stochastic Parity Games.”https://doi.org/10.1007/s10703-012-0164-2__Formal Methods in System Design. Springer, 2012.https://doi.org/10.1007/s10703-012-0164-2 .

Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Augmented Attribute Representations,”https://doi.org/10.1007/978-3-642-33715-4_18__7576:242–55. Springer, 2012.https://doi.org/10.1007/978-3-642-33715-4_18 .

Busaryev, Oleksiy, Sergio Cabello, Chao Chen, Tamal Dey, and Yusu Wang. “Annotating Simplices with a Homology Basis and Its Applications,”https://doi.org/10.1007/978-3-642-31155-0_17__7357:189–200. Springer, 2012.https://doi.org/10.1007/978-3-642-31155-0_17 .

Müller, Andreas, Sebastian Nowozin, and Christoph Lampert. “Information Theoretic Clustering Using Minimal Spanning Trees,”https://doi.org/10.1007/978-3-642-32717-9_21__7476:205–15. Springer, 2012.https://doi.org/10.1007/978-3-642-32717-9_21 .

Delahaye, Benoît, Uli Fahrenberg, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Synchronous Interface Theories and Time Triggered Scheduling,”https://doi.org/10.1007/978-3-642-30793-5_13__7273:203–18. Springer, 2012.https://doi.org/10.1007/978-3-642-30793-5_13 .

Mileyko, Yuriy, Herbert Edelsbrunner, Charles Price, and Joshua Weitz. “Hierarchical Ordering of Reticular Networks.”https://doi.org/10.1371/journal.pone.0036715__PLoS One. Public Library of Science, 2012.https://doi.org/10.1371/journal.pone.0036715 .

Ugelvig, Line V, Anne Andersen, Jacobus Boomsma, and David Nash. “Dispersal and Gene Flow in the Rare Parasitic Large Blue Butterfly Maculinea Arion.”https://doi.org/10.1111/j.1365-294X.2012.05592.x__Molecular Ecology. Wiley-Blackwell, 2012.https://doi.org/10.1111/j.1365-294X.2012.05592.x .

Schachtner, Hannah, Ang Li, David Stevenson, Simon Calaminus, Steven Thomas, Steve Watson, Michael K Sixt, Roland Wedlich Söldner, Douglas Strathdee, and Laura Machesky. “Tissue Inducible Lifeact Expression Allows Visualization of Actin Dynamics in Vivo and Ex Vivo.”https://doi.org/10.1016/j.ejcb.2012.04.002__European Journal of Cell Biology. Elsevier, 2012.https://doi.org/10.1016/j.ejcb.2012.04.002 .

Lampert, Christoph, and Jan Peters. “Real-Time Detection of Colored Objects in Multiple Camera Streams with off-the-Shelf Hardware Components.”https://doi.org/10.1007/s11554-010-0168-3__Journal of Real-Time Image Processing. Springer, 2012.https://doi.org/10.1007/s11554-010-0168-3 .

Vilaça, Sibelle, Rodrigo A Fernandes Redondo, Lívia Lins, and Fabrício Santos. “Remaining Genetic Diversity in Brazilian Merganser (Mergus Octosetaceus).”https://doi.org/10.1007/s10592-011-0262-5__Conservation Genetics. Springer, 2012.https://doi.org/10.1007/s10592-011-0262-5 .

Behrndt, Martin, and Carl-Philipp J Heisenberg. “Spurred by Resistance Mechanosensation in Collective Migration.”https://doi.org/10.1016/j.devcel.2011.12.018__Developmental Cell. Cell Press, 2012.https://doi.org/10.1016/j.devcel.2011.12.018 .

Tkadik, Gasper, Aleksandra Walczak, and William Bialek. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.”https://doi.org/10.1103/PhysRevE.85.041903__https://doi.org/10.1103/PhysRevE.85.041903__Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics, 2012.https://doi.org/10.1103/PhysRevE.85.041903 .

Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.”https://doi.org/10.1016/j.dam.2011.10.026__Discrete Applied Mathematics. Elsevier, 2012.https://doi.org/10.1016/j.dam.2011.10.026 .

Vladar, Harold de, and Julian Chela Flores. “Can the Evolution of Multicellularity Be Anticipated in the Exploration of the Solar System?”https://doi.org/10.1007/978-94-007-4966-5_22__In Life on Earth and Other Planetary Bodies, 24:387–405. Springer, 2012.https://doi.org/10.1007/978-94-007-4966-5_22 .

Jain, Abhishek, Krzysztof Z Pietrzak, and Aris Tentes. “Hardness Preserving Constructions of Pseudorandom Functions,”https://doi.org/10.1007/978-3-642-28914-9_21__7194:369–82. Springer, 2012.https://doi.org/10.1007/978-3-642-28914-9_21 .

Rieckh, Georg, Wolfgang Kreuzer, Holger Waubke, and Peter Balazs. “A 2.5D-Fourier-BEM Model for Vibrations in a Tunnel Running through Layered Anisotropic Soil.”https://doi.org/10.1016/j.enganabound.2011.12.014__https://doi.org/10.1016/j.enganabound.2011.12.014__Engineering Analysis with Boundary Elements. Elsevier, 2012.https://doi.org/10.1016/j.enganabound.2011.12.014 .

Pereira, Anna, Flávia Leite, Bruno Brasil, Jamaria Soares Martins, Alice Torres, Paulo Pimenta, Thais Souto Padrón, et al. “A Vaccinia Virus-Driven Interplay between the MKK4/7-JNK1/2 Pathway and Cytoskeleton Reorganization.”https://doi.org/10.1128/JVI.05638-11__Journal of Virology. ASM, 2012.https://doi.org/10.1128/JVI.05638-11 .

Bendich, Paul, Sergio Cabello, and Herbert Edelsbrunner. “A Point Calculus for Interlevel Set Homology.”https://doi.org/10.1016/j.patrec.2011.10.007__Pattern Recognition Letters. Elsevier, 2012.https://doi.org/10.1016/j.patrec.2011.10.007 .

Ibáñez, Maria, Reza Zamani, Wenhua Li, Alexey Shavel, Jordi Arbiol, Joan Morante, and Andreu Cabot. “Extending the Nanocrystal Synthesis Control to Quaternary Compositions.”https://doi.org/10.1021/cg201709c__Crystal Growth and Design . American Chemical Society (ACS), 2012.https://doi.org/10.1021/cg201709c .

Ibáñez, Maria, Doris Cadavid, Reza Zamani, Nuria García Castelló, Victora Izquierdo Roca, Wenhua Li, Andrew Fairbrother, et al. “Composition Control and Thermoelectric Properties of Quaternary Chalcogenide Nanocrystals: The Case of Stannite Cu2CdSnSe4.”https://doi.org/10.1021/cm2031812__Chemistry of Materials. American Chemical Society, 2012.https://doi.org/10.1021/cm2031812 .

Shavel, Alexey, Doris Cadavid, Maria Ibáñez, Alex Carrete, and Andreu Cabot. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow Reactor.”https://doi.org/10.1021/ja209688a__Journal of the American Chemical Society. ACS, 2012.https://doi.org/10.1021/ja209688a .

Cadavid, Doris, Maria Ibáñez, Stéphane Gorsse, Antonio López, Albert Cirera, Joan Morante, and Andreu Cabot. “Bottom-up Processing of Thermoelectric Nanocomposites from Colloidal Nanocrystal Building Blocks: The Case of ATe–PbTe.”https://doi.org/10.1007/s11051-012-1328-0__Journal of Nanoparticle Research. Kluwer, 2012.https://doi.org/10.1007/s11051-012-1328-0 .

Ibáñez, Maria, Reza Zamani, Aaron Lalonde, Doris Cadavid, Wenhua Li, Alexey Shavel, Jordi Arbiol, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric Properties.”https://doi.org/10.1021/ja211952z__Journal of the American Chemical Society. ACS, 2012.https://doi.org/10.1021/ja211952z .

Ghosal, Arkadeb, Daniel Iercan, Christoph Kirsch, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.”https://doi.org/10.1016/j.scico.2010.06.004__Science of Computer Programming. Elsevier, 2012.https://doi.org/10.1016/j.scico.2010.06.004 .

Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.”https://doi.org/10.1016/j.tcs.2012.07.038__Theoretical Computer Science. Elsevier, 2012.https://doi.org/10.1016/j.tcs.2012.07.038 .

Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs.”https://doi.org/10.1145/2287718.2287727__ACM Transactions on Computational Logic (TOCL). ACM, 2012.https://doi.org/10.1145/2287718.2287727 .

Galkovskyi, Taras, Yuriy Mileyko, Alexander Bucksch, Brad Moore, Olga Symonova, Charles Price, Chrostopher Topp, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.”https://doi.org/10.1186/1471-2229-12-116__BMC Plant Biology. BioMed Central, 2012.https://doi.org/10.1186/1471-2229-12-116 .

Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.”https://doi.org/10.3389/fnins.2012.00055__Frontiers in Neuroscience. Frontiers Research Foundation, 2012.https://doi.org/10.3389/fnins.2012.00055 .

Kruckman, Alex, Sasha Rubin, John Sheridan, and Ben Zax. “A Myhill Nerode Theorem for Automata with Advice.”https://doi.org/10.4204/EPTCS.96.18__In Proceedings GandALF 2012, 96:238–46. Open Publishing Association, 2012.https://doi.org/10.4204/EPTCS.96.18 .

Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.”https://doi.org/10.1111/j.1752-4571.2012.00284.x__Evolutionary Applications. Wiley-Blackwell, 2012.https://doi.org/10.1111/j.1752-4571.2012.00284.x .

Rabinovich, Alexander, and Sasha Rubin. “Interpretations in Trees with Countably Many Branches.”https://doi.org/10.1109/LICS.2012.65__IEEE, 2012.https://doi.org/10.1109/LICS.2012.65 .

Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.”https://doi.org/10.1145/2362355.2362357__ACM Transactions on Computational Logic (TOCL). ACM, 2012.https://doi.org/10.1145/2362355.2362357 .

Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.”https://doi.org/10.1083/jcb.201204039__Journal of Cell Biology. Rockefeller University Press, 2012.https://doi.org/10.1083/jcb.201204039 .

Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. “Faster Algorithms for Alternating Refinement Relations,”https://doi.org/10.4230/LIPIcs.CSL.2012.167__16:167–82. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012.https://doi.org/10.4230/LIPIcs.CSL.2012.167 .

Chatterjee, Krishnendu, and Monika H Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.”https://doi.org/10.1137/1.9781611973099.109__In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 1386–99. SIAM, 2012.https://doi.org/10.1137/1.9781611973099.109 .

Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.”https://doi.org/10.1109/LICS.2012.30__In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012.https://doi.org/10.1109/LICS.2012.30 .

Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012.https://doi.org/10.15479/AT:IST-2012-0002 .

Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012.https://doi.org/10.15479/AT:IST-2012-0001 .

Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.”https://doi.org/10.1109/LICS.2012.28__In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012.https://doi.org/10.1109/LICS.2012.28 .

Chatterjee, Krishnendu. “Robustness of Structurally Equivalent Concurrent Parity Games,”https://doi.org/10.1007/978-3-642-28729-9_18__7213:270–85. Springer, 2012.https://doi.org/10.1007/978-3-642-28729-9_18 .

Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.”https://doi.org/10.1109/LICS.2012.29__In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012.https://doi.org/10.1109/LICS.2012.29 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances.”https://doi.org/10.1016/j.tcs.2011.08.002__Theoretical Computer Science. Elsevier, 2012.https://doi.org/10.1016/j.tcs.2011.08.002 .

Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. “Approximating Marginals Using Discrete Energy Minimization.” ICML, 2012.

Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012.https://doi.org/10.15479/AT:IST-2012-0003 .

Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.

Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.”https://doi.org/10.1016/j.protcy.2012.05.134__Procedia Technology. Elsevier, 2012.https://doi.org/10.1016/j.protcy.2012.05.134 .

Bernecky, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF Assembly.”https://doi.org/10.1016/j.jmb.2012.02.014__Journal of Molecular Biology. Elsevier, 2012.https://doi.org/10.1016/j.jmb.2012.02.014 .

Busch, Karl Emanuel, Patrick Laurent, Zoltan Soltesz, Robin Joseph Murphy, Olivier Faivre, Berthold Hedwig, Martin Thomas, Heather L Smith, and Mario de Bono. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.”https://doi.org/10.1038/nn.3061__Nature Neuroscience. Springer Nature, 2012.https://doi.org/10.1038/nn.3061 .

Mondelli, Marco, Qi Zhou, Xiaoli Ma, and Vincenzo Lottici. “A Cooperative Approach for Amplify-and-Forward Differential Transmitted Reference IR-UWB Relay Systems.”https://doi.org/10.1109/icassp.2012.6288524__In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2905–8. IEEE, 2012.https://doi.org/10.1109/icassp.2012.6288524 .

Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.”https://doi.org/10.1007/s10853-012-6463-6__Journal of Materials Science. Springer Nature, 2012.https://doi.org/10.1007/s10853-012-6463-6 .

Ottakam Thotiyl, Muhammed M., Stefan Alexander Freunberger, Zhangquan Peng, and Peter G. Bruce. “The Carbon Electrode in Nonaqueous Li–O2 Cells.”https://doi.org/10.1021/ja310258x__Journal of the American Chemical Society. ACS, 2012.https://doi.org/10.1021/ja310258x .

Choi, Nam-Soon, Zonghai Chen, Stefan Alexander Freunberger, Xiulei Ji, Yang-Kook Sun, Khalil Amine, Gleb Yushin, Linda F. Nazar, Jaephil Cho, and Peter G. Bruce. “Challenges Facing Lithium Batteries and Electrical Double-Layer Capacitors.”https://doi.org/10.1002/anie.201201429__Angewandte Chemie International Edition. Wiley, 2012.https://doi.org/10.1002/anie.201201429 .

Peng, Z., Stefan Alexander Freunberger, Y. Chen, and P. G. Bruce. “A Reversible and Higher-Rate Li-O2 Battery.”https://doi.org/10.1126/science.1223985__Science. AAAS, 2012.https://doi.org/10.1126/science.1223985 .

Chen, Yuhui, Stefan Alexander Freunberger, Zhangquan Peng, Fanny Bardé, and Peter G. Bruce. “Li–O2 Battery with a Dimethylformamide Electrolyte.”https://doi.org/10.1021/ja302178w__Journal of the American Chemical Society. ACS, 2012.https://doi.org/10.1021/ja302178w .

Alistarh, Dan-Adrian, Rachid Guerraoui, Petr Kuznetsov, and Giuliano Losa. “On the Cost of Composing Shared-Memory Algorithms,”https://doi.org/10.1145/2312005.2312057__298–307. ACM, 2012.https://doi.org/10.1145/2312005.2312057 .

Alistarh, Dan-Adrian, Hagit Attiya, Rachid Guerraoui, and Corentin Travers. “Early Deciding Synchronous Renaming in O(Log f) Rounds or Less,”https://doi.org/10.1007/978-3-642-31104-8_17__7355 LNCS:195–206. Springer, 2012.https://doi.org/10.1007/978-3-642-31104-8_17 .

Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.”https://doi.org/10.1007/s00453-011-9581-7__Algorithmica (New York). Springer, 2012.https://doi.org/10.1007/s00453-011-9581-7 .

Alistarh, Dan-Adrian, Michael Bender, Seth Gilbert, and Rachid Guerraoui. “How to Allocate Tasks Asynchronously,”https://doi.org/10.1109/FOCS.2012.41__331–40. IEEE, 2012.https://doi.org/10.1109/FOCS.2012.41 .

Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Generating Fast Indulgent Algorithms.”https://doi.org/10.1007/s00224-012-9407-2__Theory of Computing Systems. Elsevier, 2012.https://doi.org/10.1007/s00224-012-9407-2 .

Robinson, Matthew Richard, Khyne U Mar, and Virpi Lummaa. “Senescence and Age-Specific Trade-Offs between Reproduction and Survival in Female Asian Elephants.”https://doi.org/10.1111/j.1461-0248.2011.01735.x__Ecology Letters. Wiley, 2012.https://doi.org/10.1111/j.1461-0248.2011.01735.x .

Robinson, Matthew Richard, G. Sander van Doorn, Lars Gustafsson, and Anna Qvarnström. “Environment-Dependent Selection on Mate Choice in a Natural Population of Birds.”https://doi.org/10.1111/j.1461-0248.2012.01780.x__Ecology Letters. Wiley, 2012.https://doi.org/10.1111/j.1461-0248.2012.01780.x .