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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3130
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3136
DOI: 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 .
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.”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 .
LibreCat: https://research-explorer.ista.ac.at/record/3133
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3134
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3132
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3161
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3162
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3160
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3164
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3166
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3167
DOI: 10.1126/science.336.6077.32
PMID: 22491839

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3241
DOI: 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 .
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,”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 .
LibreCat: https://research-explorer.ista.ac.at/record/3255
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3250
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3256
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3254
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3253
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3265
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3282
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3280
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3281
DOI: 10.1007/978-3-642-28914-9_26

Kolmogorov, Vladimir, and Stanislav divný. “The Complexity of Conservative Valued CSPs,” 750–59. SIAM, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3284

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 .
LibreCat: https://research-explorer.ista.ac.at/record/330
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3317
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3314
DOI: 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 .
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.”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 .
LibreCat: https://research-explorer.ista.ac.at/record/3331
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/346
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3168
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/377
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3846
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/387
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3110
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3113
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3114
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3111
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3112
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3128
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3125
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3129
DOI: 10.1007/978-3-642-31155-0_17
arXiv: 1107.3793

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3126
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3155
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3159
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3156
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3158
DOI: 10.1016/j.ejcb.2012.04.002
PMID: 22658956

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3248
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3247
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3245
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3262
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3257
DOI: 10.1016/j.dam.2011.10.026
arXiv: 1005.2305

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3277
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3279
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3274
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3289
DOI: 10.1128/JVI.05638-11
PMID: 22031940

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3310
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/338
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/339
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/340
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/345
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/347
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3836
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2972
DOI: 10.1016/j.tcs.2012.07.038
arXiv: 1001.5183

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2967
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/492
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/493
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/495
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/498
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/496
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/494
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/506
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/497
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3165
DOI: 10.1137/1.9781611973099.109
arXiv: 1109.5018

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2956
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5377
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5378
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2955
DOI: 10.1109/LICS.2012.28
arXiv: 1107.2141

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3341
DOI: 10.1007/978-3-642-28729-9_18
arXiv: 1107.2009

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2957
DOI: 10.1109/LICS.2012.29
arXiv: 1107.2091

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3249
DOI: 10.1016/j.tcs.2011.08.002

Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. “Approximating Marginals Using Discrete Energy Minimization.” ICML, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3124

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 .
LibreCat: https://research-explorer.ista.ac.at/record/5396
DOI: 10.15479/AT:IST-2012-0003

Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/5398

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 .
LibreCat: https://research-explorer.ista.ac.at/record/5839
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/596
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/6136
DOI: 10.1038/nn.3061
PMID: 22388961

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 .
LibreCat: https://research-explorer.ista.ac.at/record/6746
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7074
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7308
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7309
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7310
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7311
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/762
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/763
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/764
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/766
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/767
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7749
DOI: 10.1111/j.1461-0248.2011.01735.x