Cerny, Pavol, Sivakanth Gopi, Thomas A Henzinger, Arjun Radhakrishna, and Nishant Totla. “Synthesis from Incompatible Specifications.”https://doi.org/10.1145/2380356.2380371__In Proceedings of the Tenth ACM International Conference on Embedded Software, 53–62. ACM, 2012.https://doi.org/10.1145/2380356.2380371 .
LibreCat: https://research-explorer.ista.ac.at/record/2890
DOI: 10.1145/2380356.2380371

Henzinger, Thomas A. “Quantitative Reactive Models.”https://doi.org/10.1007/978-3-642-33666-9_1__In Conference Proceedings MODELS 2012, 7590:1–2. Springer, 2012.https://doi.org/10.1007/978-3-642-33666-9_1 .
LibreCat: https://research-explorer.ista.ac.at/record/2888
DOI: 10.1007/978-3-642-33666-9_1

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

Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.”https://doi.org/10.4204/EPTCS.96.3__In Electronic Proceedings in Theoretical Computer Science, 96:29–42. EPTCS, 2012.https://doi.org/10.4204/EPTCS.96.3 .
LibreCat: https://research-explorer.ista.ac.at/record/2916
DOI: 10.4204/EPTCS.96.3
arXiv: 1210.2450

Vladar, Harold de. “The Game of Active Search for Extra Terrestrial Intelligence Breaking the Great Silence .”https://doi.org/10.1017/S1473550412000407__International Journal of Astrobiology. Cambridge University Press, 2012.https://doi.org/10.1017/S1473550412000407 .
LibreCat: https://research-explorer.ista.ac.at/record/2917
DOI: 10.1017/S1473550412000407

Huber, Anna, and Vladimir Kolmogorov. “Towards Minimizing K-Submodular Functions,”https://doi.org/10.1007/978-3-642-32147-4_40__7422:451–62. Springer, 2012.https://doi.org/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é, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, and Santiago Béguelin. “Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.”https://doi.org/10.1145/2382196.2382249__In Proceedings of the 2012 ACM Conference on Computer and Communications Security, 488–500. ACM, 2012.https://doi.org/10.1145/2382196.2382249 .
LibreCat: https://research-explorer.ista.ac.at/record/2937
DOI: 10.1145/2382196.2382249

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Finite Automata with Time Delay Blocks.”https://doi.org/10.1145/2380356.2380370__In Roceedings of the Tenth ACM International Conference on Embedded Software, 43–52. ACM, 2012.https://doi.org/10.1145/2380356.2380370 .
LibreCat: https://research-explorer.ista.ac.at/record/2936
DOI: 10.1145/2380356.2380370

Ugelvig, Line V, and Sylvia Cremer. “Effects of Social Immunity and Unicoloniality on Host Parasite Interactions in Invasive Insect Societies.”https://doi.org/10.1111/1365-2435.12013__Functional Ecology. Wiley-Blackwell, 2012.https://doi.org/10.1111/1365-2435.12013 .
LibreCat: https://research-explorer.ista.ac.at/record/2938
DOI: 10.1111/1365-2435.12013

Torresani, Lorenzo, Vladimir Kolmogorov, and Carsten Rother. “A Dual Decomposition Approach to Feature Correspondence.”https://doi.org/10.1109/TPAMI.2012.105__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2012.https://doi.org/10.1109/TPAMI.2012.105 .
LibreCat: https://research-explorer.ista.ac.at/record/2931
DOI: 10.1109/TPAMI.2012.105

Henzinger, Thomas A, and Dejan Nickovic. “Independent Implementability of Viewpoints.”https://doi.org/10.1007/978-3-642-34059-8_20__In https://doi.org/10.1007/978-3-642-34059-8_20__Conference Proceedings Monterey Workshop 2012, 7539:380–95. Springer, 2012.https://doi.org/10.1007/978-3-642-34059-8_20 .
LibreCat: https://research-explorer.ista.ac.at/record/2942
DOI: 10.1007/978-3-642-34059-8_20

Hadizadeh Yazdi, Nastaran, Calin C Guet, Reid Johnson, and John Marko. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.”https://doi.org/10.1111/mmi.12071__Molecular Microbiology. Wiley-Blackwell, 2012.https://doi.org/10.1111/mmi.12071 .
LibreCat: https://research-explorer.ista.ac.at/record/2943
DOI: 10.1111/mmi.12071

Dolbilin, Nikolai, Herbert Edelsbrunner, and Oleg Musin. “On the Optimality of Functionals over Triangulations of Delaunay Sets.”https://doi.org/10.1070/RM2012v067n04ABEH004807__Russian Mathematical Surveys. IOP Publishing, 2012.https://doi.org/10.1070/RM2012v067n04ABEH004807 .
LibreCat: https://research-explorer.ista.ac.at/record/2941
DOI: 10.1070/RM2012v067n04ABEH004807

Dueck, Anne, Christian Ziegler, Alexander Eichner, Eugène Berezikov, and Gunter Meister. “MicroRNAs Associated with the Different Human Argonaute Proteins.”https://doi.org/10.1093/nar/gks705__Nucleic Acids Research. Oxford University Press, 2012.https://doi.org/10.1093/nar/gks705 .
LibreCat: https://research-explorer.ista.ac.at/record/2946
DOI: 10.1093/nar/gks705

Chatterjee, Krishnendu, Martin Chmelik, and Ritankar Majumdar. “Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games,”https://doi.org/10.1007/978-3-642-33386-6_30__7561:385–99. Springer, 2012.https://doi.org/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

Girard, Jean, Christine Moussion, and Reinhold Förster. “HEVs, Lymphatics and Homeostatic Immune Cell Trafficking in Lymph Nodes.”https://doi.org/10.1038/nri3298__Nature Reviews Immunology. Nature Publishing Group, 2012.https://doi.org/10.1038/nri3298 .
LibreCat: https://research-explorer.ista.ac.at/record/2945
DOI: 10.1038/nri3298

Dupret, David, and Jozsef L Csicsvari. “The Medial Entorhinal Cortex Keeps Up.”https://doi.org/10.1038/nn.3245__Nature Neuroscience. Nature Publishing Group, 2012.https://doi.org/10.1038/nn.3245 .
LibreCat: https://research-explorer.ista.ac.at/record/2949
DOI: 10.1038/nn.3245

Pernia-Andrade, Alejandro, Sarit Goswami, Yvonne Stickler, Ulrich Fröbe, Alois Schlögl, and Peter M Jonas. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.”https://doi.org/10.1016/j.bpj.2012.08.039__Biophysical Journal. Biophysical, 2012.https://doi.org/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

Behrndt, Martin, Guillaume Salbreux, Pedro Campinho, Robert Hauschild, Felix Oswald, Julia Roensch, Stephan Grill, and Carl-Philipp J Heisenberg. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.”https://doi.org/10.1126/science.1224143__Science. American Association for the Advancement of Science, 2012.https://doi.org/10.1126/science.1224143 .
LibreCat: https://research-explorer.ista.ac.at/record/2950
DOI: 10.1126/science.1224143

Maître, Jean-Léon, Hélène Berthoumieux, Gabriel Krens, Guillaume Salbreux, Frank Julicher, Ewa Paluch, and Carl-Philipp J Heisenberg. “Adhesion Functions in Cell Sorting by Mechanically Coupling the Cortices of Adhering Cells.”https://doi.org/10.1126/science.1225399__Science. American Association for the Advancement of Science, 2012.https://doi.org/10.1126/science.1225399 .
LibreCat: https://research-explorer.ista.ac.at/record/2951
DOI: 10.1126/science.1225399

Tada, Masazumi, and Carl-Philipp J Heisenberg. “Convergent Extension Using Collective Cell Migration and Cell Intercalation to Shape Embryos.”https://doi.org/10.1242/dev.073007__Development. Company of Biologists, 2012.https://doi.org/10.1242/dev.073007 .
LibreCat: https://research-explorer.ista.ac.at/record/2952
DOI: 10.1242/dev.073007

Heisenberg, Carl-Philipp J, and Reinhard Fässler. “Cell-Cell Adhesion and Extracellular Matrix Diversity Counts.”https://doi.org/10.1016/j.ceb.2012.09.002__Current Opinion in Cell Biology. Elsevier, 2012.https://doi.org/10.1016/j.ceb.2012.09.002 .
LibreCat: https://research-explorer.ista.ac.at/record/2953
DOI: 10.1016/j.ceb.2012.09.002

Allen, Kevin, J Nick Rawlins, David Bannerman, and Jozsef L Csicsvari. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through Rate Remapping.”https://doi.org/10.1523/JNEUROSCI.6175-11.2012__Journal of Neuroscience. Society for Neuroscience, 2012.https://doi.org/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.”https://doi.org/10.1214/11-AOS957__Annals of Statistics. Institute of Mathematical Statistics, 2012.https://doi.org/10.1214/11-AOS957 .
LibreCat: https://research-explorer.ista.ac.at/record/2959
DOI: 10.1214/11-AOS957

Cremer, Sylvia, Masaki Suefuji, Alexandra Schrempf, and Jürgen Heinze. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.”https://doi.org/10.1186/1472-6785-12-7__BMC Ecology. BioMed Central, 2012.https://doi.org/10.1186/1472-6785-12-7 .
LibreCat: https://research-explorer.ista.ac.at/record/2966
DOI: 10.1186/1472-6785-12-7

Aeschbacher, Simon, Mark Beaumont, and Andreas Futschik. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.”https://doi.org/10.1534/genetics.112.143164__Genetics. Genetics Society of America, 2012.https://doi.org/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. VÖB, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2965

Jesse, Fabienne, and Katharina Riebel. “Social Facilitation of Male Song by Male and Female Conspecifics in the Zebra Finch, Taeniopygia Guttata.”https://doi.org/10.1016/j.beproc.2012.09.006__Behavioural Processes. Elsevier, 2012.https://doi.org/10.1016/j.beproc.2012.09.006 .
LibreCat: https://research-explorer.ista.ac.at/record/2963
DOI: 10.1016/j.beproc.2012.09.006

Jain, Abhishek, Stephan Krenn, Krzysztof Z Pietrzak, and Aris Tentes. “Commitments and Efficient Zero Knowledge Proofs from Learning Parity with Noise.”https://doi.org/10.1007/978-3-642-34961-4_40__edited by Xiaoyun Wang and Kazue Sako, 7658:663–80. Springer, 2012.https://doi.org/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, Iancu Bucurenciu, and Peter M Jonas. “Miniature IPSCs in Hippocampal Granule Cells Are Triggered by Voltage-Gated Ca^(2+) Channels via Microdomain Coupling.”https://doi.org/10.1523/JNEUROSCI.6104-11.2012__Journal of Neuroscience. Society for Neuroscience, 2012.https://doi.org/10.1523/JNEUROSCI.6104-11.2012 .
LibreCat: https://research-explorer.ista.ac.at/record/2969
DOI: 10.1523/JNEUROSCI.6104-11.2012
PMID: 23055500

Kicheva, Anna, Mark Tobias Bollenbach, Ortrud Wartlick, Frank Julicher, and Marcos Gonzalez Gaitan. “Investigating the Principles of Morphogen Gradient Formation: From Tissues to Cells.”https://doi.org/10.1016/j.gde.2012.08.004__Current Opinion in Genetics &; Development. Elsevier, 2012.https://doi.org/10.1016/j.gde.2012.08.004 .
LibreCat: https://research-explorer.ista.ac.at/record/2970
DOI: 10.1016/j.gde.2012.08.004

Zankl, Georg, Yll Haxhimusa, and Adrian Ion. “Interactive Labeling of Image Segmentation Hierarchies,”https://doi.org/10.1007/978-3-642-32717-9_2__7476:11–20. Springer, 2012.https://doi.org/10.1007/978-3-642-32717-9_2 .
LibreCat: https://research-explorer.ista.ac.at/record/2971
DOI: 10.1007/978-3-642-32717-9_2

Raveendran, Karthik, Nils Thuerey, Chris Wojtan, and Greg Turk. “Controlling Liquids Using Meshes.” In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 255–64. ACM, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3119

Bojsen-Hansen, Morten, Hao Li, and Chris Wojtan. “Tracking Surfaces with Evolving Topology.”https://doi.org/10.1145/2185520.2185549__ACM Transactions on Graphics. ACM, 2012.https://doi.org/10.1145/2185520.2185549 .
LibreCat: https://research-explorer.ista.ac.at/record/3118
DOI: 10.1145/2185520.2185549

Field, David, and Spencer Barrett. “Disassortative Mating and the Maintenance of Sexual Polymorphism in Painted Maple.”https://doi.org/10.1111/j.1365-294X.2012.05643.x__Molecular Ecology. Wiley-Blackwell, 2012.https://doi.org/10.1111/j.1365-294X.2012.05643.x .
LibreCat: https://research-explorer.ista.ac.at/record/3122
DOI: 10.1111/j.1365-294X.2012.05643.x

Williams, Courtney, Wenyan Chen, Chia Lee, Daniel Yaeger, Nicholas Vyleta, and Stephen Smith. “Coactivation of Multiple Tightly Coupled Calcium Channels Triggers Spontaneous Release of GABA.”https://doi.org/10.1038/nn.3162__Nature Neuroscience. Nature Publishing Group, 2012.https://doi.org/10.1038/nn.3162 .
LibreCat: https://research-explorer.ista.ac.at/record/3121
DOI: 10.1038/nn.3162
PMID: 22842148

Brown, Gavin, Michael Kerber, and Miles Reid. “Fano 3 Folds in Codimension 4 Tom and Jerry Part I.”https://doi.org/10.1112/S0010437X11007226__Compositio Mathematica. Cambridge University Press, 2012.https://doi.org/10.1112/S0010437X11007226 .
LibreCat: https://research-explorer.ista.ac.at/record/3120
DOI: 10.1112/S0010437X11007226

Kolmogorov, Vladimir. “Minimizing a Sum of Submodular Functions.”https://doi.org/10.1016/j.dam.2012.05.025__Discrete Applied Mathematics. Elsevier, 2012.https://doi.org/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.”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

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

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

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

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

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

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

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