K. Chatterjee, D. Zufferey, and M. Nowak, “Evolutionary game dynamics in populations with different learners,” Journal of Theoretical Biology, vol. 301. Elsevier, pp. 161–173, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2848
DOI: 10.1016/j.jtbi.2012.02.021
PMID: 22394652

H. Edelsbrunner and N. Strelkova, “On the configuration space of Steiner minimal trees,” Russian Mathematical Surveys, vol. 67, no. 6. IOP Publishing Ltd., pp. 1167–1168, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2849
DOI: 10.1070/RM2012v067n06ABEH004820

N. Kiran et al., “Retargeting a maize ;2-glucosidase to the vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole,” Phytochemistry, vol. 79. Elsevier, pp. 67–77, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2876
DOI: 10.1016/j.phytochem.2012.03.012

A. Bielach, J. Duclercq, P. Marhavý, and E. Benková, “Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 367, no. 1595. Royal Society, The, pp. 1469–1478, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2875
DOI: 10.1098/rstb.2011.0233

B. Guenot et al., “Pin1 independent leaf initiation in Arabidopsis,” Plant Physiology, vol. 159, no. 4. American Society of Plant Biologists, pp. 1501–1510, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2878
DOI: 10.1104/pp.112.200402

S. Bencivenga, S. Simonini, E. Benková, and L. Colombo, “The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis,” Plant Cell, vol. 24, no. 7. American Society of Plant Biologists, pp. 2886–2897, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2879
DOI: 10.1105/tpc.112.100164

U. Boker and T. A. Henzinger, “Approximate determinization of quantitative automata,” in Leibniz International Proceedings in Informatics, Hyderabad, India, 2012, vol. 18, pp. 362–373.
LibreCat: https://research-explorer.ista.ac.at/record/2891
DOI: 10.4230/LIPIcs.FSTTCS.2012.362

P. Cerny, S. Gopi, T. A. Henzinger, A. Radhakrishna, and N. Totla, “Synthesis from incompatible specifications,” in Proceedings of the tenth ACM international conference on Embedded software, Tampere, Finland, 2012, pp. 53–62.
LibreCat: https://research-explorer.ista.ac.at/record/2890
DOI: 10.1145/2380356.2380371

T. A. Henzinger, “Quantitative reactive models,” in Conference proceedings MODELS 2012, Innsbruck, Austria, 2012, vol. 7590, pp. 1–2.
LibreCat: https://research-explorer.ista.ac.at/record/2888
DOI: 10.1007/978-3-642-33666-9_1

H. Edelsbrunner and O. Symonova, “The adaptive topology of a digital image,” presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA , 2012, pp. 41–48.
LibreCat: https://research-explorer.ista.ac.at/record/2903
DOI: 10.1109/ISVD.2012.11

P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface Simulation Distances,” in Electronic Proceedings in Theoretical Computer Science, Napoli, Italy, 2012, vol. 96, pp. 29–42.
LibreCat: https://research-explorer.ista.ac.at/record/2916
DOI: 10.4204/EPTCS.96.3
arXiv: 1210.2450

H. de Vladar, “The game of active search for extra terrestrial intelligence Breaking the Great Silence ,” International Journal of Astrobiology, vol. 12, no. 1. Cambridge University Press, pp. 53–62, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2917
DOI: 10.1017/S1473550412000407

H. Edelsbrunner, A. Ivanov, and R. Karasev, “Open problems in discrete and computational geometry,” Automatic Control and Computer Sciences, vol. in print. Springer, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2911

A. Huber and V. Kolmogorov, “Towards minimizing k-submodular functions,” presented at the ISCO: International Symposium on Combinatorial Optimization, Athens, Greece, 2012, vol. 7422, pp. 451–462.
LibreCat: https://research-explorer.ista.ac.at/record/2930
DOI: 10.1007/978-3-642-32147-4_40

V. Kolmogorov and T. Schoenemann, “Generalized sequential tree-reweighted message passing,” arXiv. ArXiv, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2928
arXiv: 1205.6352

V. Kolmogorov, The power of linear programming for valued CSPs: a constructive characterization. Unknown, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2929

J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, and S. Béguelin, “Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols,” in Proceedings of the 2012 ACM conference on Computer and communications security, Raleigh, NC, USA, 2012, pp. 488–500.
LibreCat: https://research-explorer.ista.ac.at/record/2937
DOI: 10.1145/2382196.2382249

K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Finite automata with time delay blocks,” in roceedings of the tenth ACM international conference on Embedded software, Tampere, Finland, 2012, pp. 43–52.
LibreCat: https://research-explorer.ista.ac.at/record/2936
DOI: 10.1145/2380356.2380370

L. V. Ugelvig and S. Cremer, “Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies,” Functional Ecology, vol. 26, no. 6. Wiley-Blackwell, pp. 1300–1312, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2938
DOI: 10.1111/1365-2435.12013

L. Torresani, V. Kolmogorov, and C. Rother, “A dual decomposition approach to feature correspondence,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 35, no. 2. IEEE, pp. 259–271, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2931
DOI: 10.1109/TPAMI.2012.105

T. A. Henzinger and D. Nickovic, “Independent implementability of viewpoints,” in  Conference proceedings Monterey Workshop 2012, Oxford, UK, 2012, vol. 7539, pp. 380–395.
LibreCat: https://research-explorer.ista.ac.at/record/2942
DOI: 10.1007/978-3-642-34059-8_20

N. Hadizadeh Yazdi, C. C. Guet, R. Johnson, and J. Marko, “Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions,” Molecular Microbiology, vol. 86, no. 6. Wiley-Blackwell, pp. 1318–1333, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2943
DOI: 10.1111/mmi.12071

N. Dolbilin, H. Edelsbrunner, and O. Musin, “On the optimality of functionals over triangulations of Delaunay sets,” Russian Mathematical Surveys, vol. 67, no. 4. IOP Publishing, pp. 781–783, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2941
DOI: 10.1070/RM2012v067n04ABEH004807

A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, and G. Meister, “MicroRNAs associated with the different human Argonaute proteins,” Nucleic Acids Research, vol. 40, no. 19. Oxford University Press, pp. 9850–9862, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2946
DOI: 10.1093/nar/gks705

K. Chatterjee, M. Chmelik, and R. Majumdar, “Equivalence of games with probabilistic uncertainty and partial observation games,” presented at the  ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 385–399.
LibreCat: https://research-explorer.ista.ac.at/record/2947
DOI: 10.1007/978-3-642-33386-6_30

J. Girard, C. Moussion, and R. Förster, “HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes,” Nature Reviews Immunology, vol. 12, no. 11. Nature Publishing Group, pp. 762–773, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2945
DOI: 10.1038/nri3298

D. Dupret and J. L. Csicsvari, “The medial entorhinal cortex keeps Up,” Nature Neuroscience, vol. 15, no. 11. Nature Publishing Group, pp. 1471–1472, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2949
DOI: 10.1038/nn.3245

A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, and P. M. Jonas, “A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo,” Biophysical Journal, vol. 103, no. 7. Biophysical, pp. 1429–1439, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2954
DOI: 10.1016/j.bpj.2012.08.039
PMID: 23062335

M. Behrndt et al., “Forces driving epithelial spreading in zebrafish gastrulation,” Science, vol. 338, no. 6104. American Association for the Advancement of Science, pp. 257–260, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2950
DOI: 10.1126/science.1224143

J.-L. Maître et al., “Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells,” Science, vol. 338, no. 6104. American Association for the Advancement of Science, pp. 253–256, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2951
DOI: 10.1126/science.1225399

M. Tada and C.-P. J. Heisenberg, “Convergent extension Using collective cell migration and cell intercalation to shape embryos,” Development, vol. 139, no. 21. Company of Biologists, pp. 3897–3904, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2952
DOI: 10.1242/dev.073007

C.-P. J. Heisenberg and R. Fässler, “Cell-cell adhesion and extracellular matrix diversity counts,” Current Opinion in Cell Biology, vol. 24, no. 5. Elsevier, pp. 559–561, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2953
DOI: 10.1016/j.ceb.2012.09.002

K. Allen, J. N. Rawlins, D. Bannerman, and J. L. Csicsvari, “Hippocampal place cells can encode multiple trial-dependent features through rate remapping,” Journal of Neuroscience, vol. 32, no. 42. Society for Neuroscience, pp. 14752–14766, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2958
DOI: 10.1523/JNEUROSCI.6175-11.2012
PMID: 23077060

C. Uhler, “Geometry of maximum likelihood estimation in Gaussian graphical models,” Annals of Statistics, vol. 40, no. 1. Institute of Mathematical Statistics, pp. 238–261, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2959
DOI: 10.1214/11-AOS957

S. Cremer, M. Suefuji, A. Schrempf, and J. Heinze, “The dynamics of male-male competition in Cardiocondyla obscurior ants,” BMC Ecology, vol. 12. BioMed Central, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2966
DOI: 10.1186/1472-6785-12-7

S. Aeschbacher, M. Beaumont, and A. Futschik, “A novel approach for choosing summary statistics in approximate Bayesian computation,” Genetics, vol. 192, no. 3. Genetics Society of America, pp. 1027–1047, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2962
DOI: 10.1534/genetics.112.143164
PMID: 22960215

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

F. Jesse and K. Riebel, “Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata,” Behavioural Processes, vol. 91, no. 3. Elsevier, pp. 262–266, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2963
DOI: 10.1016/j.beproc.2012.09.006

A. Jain, S. Krenn, K. Z. Pietrzak, and A. Tentes, “Commitments and efficient zero knowledge proofs from learning parity with noise,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China, 2012, vol. 7658, pp. 663–680.
LibreCat: https://research-explorer.ista.ac.at/record/2974
DOI: 10.1007/978-3-642-34961-4_40

S. Goswami, I. Bucurenciu, and P. M. Jonas, “Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling,” Journal of Neuroscience, vol. 32, no. 41. Society for Neuroscience, pp. 14294–14304, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2969
DOI: 10.1523/JNEUROSCI.6104-11.2012
PMID: 23055500

A. Kicheva, M. T. Bollenbach, O. Wartlick, F. Julicher, and M. Gonzalez Gaitan, “Investigating the principles of morphogen gradient formation: from tissues to cells,” Current Opinion in Genetics &; Development, vol. 22, no. 6. Elsevier, pp. 527–532, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2970
DOI: 10.1016/j.gde.2012.08.004

G. Zankl, Y. Haxhimusa, and A. Ion, “Interactive labeling of image segmentation hierarchies,” presented at the Pattern Recognition, Graz, Austria, 2012, vol. 7476, pp. 11–20.
LibreCat: https://research-explorer.ista.ac.at/record/2971
DOI: 10.1007/978-3-642-32717-9_2

R. Whitford et al., “GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses,” Developmental Cell, vol. 22, no. 3. Cell Press, pp. 678–685, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3105
DOI: 10.1016/j.devcel.2012.02.002

N. Irani et al., “Fluorescent castasterone reveals BR signaling from the plasma membrane,” Nature Chemical Biology, vol. 8, no. 6. Nature Publishing Group, pp. 583–589, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3109
DOI: 10.1038/nchembio.958

W. Grunewald et al., “Transcription factor WRK assists auxin distribution patterns during Arabidopsis root development through local control on flavonol biosynthesis,” PNAS, vol. 109, no. 5. National Academy of Sciences, pp. 1554–1559, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3104
DOI: 10.1073/pnas.1121134109

E. Barbez et al., “A novel putative auxin carrier family regulates intracellular auxin homeostasis in plants,” Nature, vol. 485, no. 7396. Nature Publishing Group, pp. 119–122, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3108
DOI: 10.1038/nature11001

S. Nagawa et al., “ROP GTPase-dependent actin microfilaments promote PIN1 polarization by localized inhibition of clathrin-dependent endocytosis,” PLoS Biology, vol. 10, no. 4. Public Library of Science, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3106
DOI: 10.1371/journal.pbio.1001299

S. Vanneste and J. Friml, Plant signaling: Deconstructing auxin sensing, vol. 8, no. 5. Nature Publishing Group, 2012, pp. 415–416.
LibreCat: https://research-explorer.ista.ac.at/record/3107
DOI: 10.1038/nchembio.943

K. Raveendran, N. Thuerey, C. Wojtan, and G. Turk, “Controlling liquids using meshes,” in Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Aire-la-Ville, Switzerland, 2012, pp. 255–264.
LibreCat: https://research-explorer.ista.ac.at/record/3119

M. Bojsen-Hansen, H. Li, and C. Wojtan, “Tracking surfaces with evolving topology,” ACM Transactions on Graphics, vol. 31, no. 4. ACM, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3118
DOI: 10.1145/2185520.2185549

D. Field and S. Barrett, “Disassortative mating and the maintenance of sexual polymorphism in painted maple,” Molecular Ecology, vol. 21, no. 15. Wiley-Blackwell, pp. 3640–3643, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3122
DOI: 10.1111/j.1365-294X.2012.05643.x

C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, and S. Smith, “Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA,” Nature Neuroscience, vol. 15, no. 9. Nature Publishing Group, pp. 1195–1197, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3121
DOI: 10.1038/nn.3162
PMID: 22842148

G. Brown, M. Kerber, and M. Reid, “Fano 3 folds in codimension 4 Tom and Jerry Part I,” Compositio Mathematica, vol. 148, no. 4. Cambridge University Press, pp. 1171–1194, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3120
DOI: 10.1112/S0010437X11007226

V. Kolmogorov, “Minimizing a sum of submodular functions,” Discrete Applied Mathematics, vol. 160, no. 15. Elsevier, pp. 2246–2258, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3117
DOI: 10.1016/j.dam.2012.05.025

D. Weissman and N. H. Barton, “Limits to the rate of adaptive substitution in sexual populations,” PLoS Genetics, vol. 8, no. 6. Public Library of Science, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3131
DOI: 10.1371/journal.pgen.1002740

T. Bergmiller, M. Ackermann, and O. Silander, “Patterns of evolutionary conservation of essential genes correlate with their compensability,” PLoS Genetics, vol. 8, no. 6. Public Library of Science, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3130
DOI: 10.1371/journal.pgen.1002803

C. C. Guet, A. Gupta, T. A. Henzinger, M. Mateescu, and A. Sezgin, “Delayed continuous time Markov chains for genetic regulatory circuits,” presented at the CAV: Computer Aided Verification, Berkeley, CA, USA, 2012, vol. 7358, pp. 294–309.
LibreCat: https://research-explorer.ista.ac.at/record/3136
DOI: 10.1007/978-3-642-31424-7_24

B. Brázdil, K. Chatterjee, A. Kudera, and P. Novotný, “Efficient controller synthesis for consumption games with multiple resource types,” presented at the CAV: Computer Aided Verification, Berkeley, CA, USA, 2012, vol. 7358, pp. 23–38.
LibreCat: https://research-explorer.ista.ac.at/record/3135
DOI: 10.1007/978-3-642-31424-7_8

H. Edelsbrunner and M. Kerber, “Alexander duality for functions: The persistent behavior of land and water and shore,” in Proceedings of the twenty-eighth annual symposium on Computational geometry , Chapel Hill, NC, USA, 2012, pp. 249–258.
LibreCat: https://research-explorer.ista.ac.at/record/3133
DOI: 10.1145/2261250.2261287

H. Edelsbrunner, B. Fasy, and G. Rote, “Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions,” in Proceedings of the twenty-eighth annual symposium on Computational geometry , Chapel Hill, NC, USA, 2012, pp. 91–100.
LibreCat: https://research-explorer.ista.ac.at/record/3134
DOI: 10.1145/2261250.2261265

M. Konrad, T. Pamminger, and S. Foitzik, “Two pathways ensuring social harmony,” Naturwissenschaften, vol. 99, no. 8. Springer, pp. 627–636, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3132
DOI: 10.1007/s00114-012-0943-z

M. Vyleta, J. Wong, and B. Magun, “Suppression of ribosomal function triggers innate immune signaling through activation of the NLR inflammasome,” PLoS One, vol. 7, no. 5. Public Library of Science, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3161
DOI: 10.1371/journal.pone.0036044

E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, United States, 2012, vol. 7186, pp. 147–160.
LibreCat: https://research-explorer.ista.ac.at/record/3162
DOI: 10.1007/978-3-642-29860-8_12

P. Pantazis and M. T. Bollenbach, “Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo,” Cell Cycle, vol. 11, no. 11. Taylor and Francis, pp. 2055–2058, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3160
DOI: 10.4161/cc.20118

M. Blaschko and C. Lampert, “Guest editorial: Special issue on structured prediction and inference,” International Journal of Computer Vision, vol. 99, no. 3. Springer, pp. 257–258, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3164
DOI: 10.1007/s11263-012-0530-y

H. de Vladar, “Amino acid fermentation at the origin of the genetic code,” Biology Direct, vol. 7. BioMed Central, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3166
DOI: 10.1186/1745-6150-7-6

M. Weber, “NextGen speaks 13 ,” Science, vol. 336, no. 6077. American Association for the Advancement of Science, pp. 32–34, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3167
DOI: 10.1126/science.336.6077.32
PMID: 22491839

K. Z. Pietrzak and D. Wikström, “Parallel repetition of computationally sound protocols revisited,” Journal of Cryptology, vol. 25, no. 1. Springer, pp. 116–135, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3241
DOI: 10.1007/s00145-010-9090-x

K. Chatterjee and V. Raman, “Synthesizing protocols for digital contract signing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 152–168.
LibreCat: https://research-explorer.ista.ac.at/record/3252
DOI: 10.1007/978-3-642-27940-9_11

K. Chatterjee and L. Doyen, “Games and Markov decision processes with mean payoff parity and energy parity objectives,” presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic, 2012, vol. 7119, pp. 37–46.
LibreCat: https://research-explorer.ista.ac.at/record/3255
DOI: 10.1007/978-3-642-25929-6_3

K. Z. Pietrzak, “Cryptography from learning parity with noise,” presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Spindlerfv Mlýn, Czech Republic, 2012, vol. 7147, pp. 99–114.
LibreCat: https://research-explorer.ista.ac.at/record/3250
DOI: 10.1007/978-3-642-27660-6_9

H. Edelsbrunner and M. Kerber, “Dual complexes of cubical subdivisions of dn,” Discrete &; Computational Geometry, vol. 47, no. 2. Springer, pp. 393–414, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3256
DOI: 10.1007/s00454-011-9382-4

K. Chatterjee, “The complexity of stochastic Müller games,” Information and Computation, vol. 211. Elsevier, pp. 29–48, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3254
DOI: 10.1016/j.ic.2011.11.004

A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Abstract domains for automated reasoning about list manipulating programs with infinite data,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 1–22.
LibreCat: https://research-explorer.ista.ac.at/record/3253
DOI: 10.1007/978-3-642-27940-9_1

A. Ion, J. Carreira, and C. Sminchisescu, “Image segmentation by figure-ground composition into maximal cliques,” presented at the ICCV: International Conference on Computer Vision, Barcelona, Spain, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3265
DOI: 10.1109/ICCV.2011.6126486

Y. Dodis, K. Z. Pietrzak, E. Kiltz, and D. Wichs, “Message authentication, revisited,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Cambridge, UK, 2012, vol. 7237, pp. 355–374.
LibreCat: https://research-explorer.ista.ac.at/record/3282
DOI: 10.1007/978-3-642-29011-4_22

K. Z. Pietrzak, “Subspace LWE,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 548–563.
LibreCat: https://research-explorer.ista.ac.at/record/3280
DOI: 10.1007/978-3-642-28914-9_31

K. Z. Pietrzak, A. Rosen, and G. Segev, “Lossy functions do not amplify well,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 458–475.
LibreCat: https://research-explorer.ista.ac.at/record/3281
DOI: 10.1007/978-3-642-28914-9_26

V. Kolmogorov and S. divný, “The complexity of conservative valued CSPs,” presented at the SODA: Symposium on Discrete Algorithms, 2012, pp. 750–759.
LibreCat: https://research-explorer.ista.ac.at/record/3284

A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, and A. Cabot, “Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor,” Journal of the American Chemical Society, vol. 134, no. 3. ACS, pp. 1438–1441, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/330
DOI: 10.1021/ja209688a

E. Eggermann, I. Bucurenciu, S. Goswami, and P. M. Jonas, “Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses,” Nature Reviews Neuroscience, vol. 13, no. 1. Nature Publishing Group, pp. 7–21, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3317
DOI: 10.1038/nrn3125

K. Chatterjee and R. Majumdar, “Discounting and averaging in games across time scales,” International Journal of Foundations of Computer Science, vol. 23, no. 3. World Scientific Publishing, pp. 609–625, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3314
DOI: 10.1142/S0129054112400308

E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” Discrete &; Computational Geometry, vol. 48, no. 4. Springer, pp. 964–989, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3115
DOI: 10.1007/s00454-012-9441-5
arXiv: 1109.2158

M. Kerber and M. Sagraloff, “A worst case bound for topology computation of algebraic curves,”  Journal of Symbolic Computation, vol. 47, no. 3. Elsevier, pp. 239–258, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3331
DOI: 10.1016/j.jsc.2011.11.001

J. Fan et al., “Solution-growth and optoelectronic performance of ZnO:Cl/TiO2 and ZnO:Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness,” Journal of Physics D: Applied Physics, vol. 45, no. 41. IOP Publishing Ltd., 2012.
LibreCat: https://research-explorer.ista.ac.at/record/346
DOI: 10.1088/0022-3727/45/41/415301

J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions of rule based systems,” Theoretical Computer Science, vol. 431. Elsevier, pp. 137–164, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3168
DOI: 10.1016/j.tcs.2011.12.059

M. Ibáñez et al., “Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials,” Chemistry of Materials, vol. 24, no. 23. American Chemical Society, pp. 4615–4622, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/377
DOI: 10.1021/cm303252q

K. Chatterjee and T. A. Henzinger, “A survey of stochastic <9 regular games,” Journal of Computer and System Sciences, vol. 78, no. 2. Elsevier, pp. 394–413, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3846
DOI: 10.1016/j.jcss.2011.05.002

Z. Alpichshev et al., “STM imaging of impurity resonances on Bi 2Se 3,” Physical Review Letters, vol. 108, no. 20. American Physical Society, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/387
DOI: 10.1103/PhysRevLett.108.206402

M. Dai et al., “A P type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis,” Plant Cell, vol. 24, no. 6. American Society of Plant Biologists, pp. 2497–2514, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3110
DOI: 10.1105/tpc.112.098905

A. Martinière et al., “Cell wall constrains lateral diffusion of plant plasma membrane proteins,” PNAS, vol. 109, no. 31. National Academy of Sciences, pp. 12805–12810, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3113
DOI: 10.1073/pnas.1202040109

Z. Ding et al., “ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis,” Nature Communications, vol. 3, no. AN 941. Nature Publishing Group, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3114
DOI: 10.1038/ncomms1941

D. Lin et al., “A ROP GTPase dependent auxin signaling pathway regulates the subcellular distribution of PIN2 in Arabidopsis roots,” Current Biology, vol. 22, no. 14. Cell Press, pp. 1319–1325, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3111
DOI: 10.1016/j.cub.2012.05.019

X. Chen et al., “AB and RO GTPase signaling regulate clathrin mediated endocytosis in Arabidopsis roots,” Current Biology, vol. 22, no. 14. Cell Press, pp. 1326–1332, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3112
DOI: 10.1016/j.cub.2012.05.020

K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of partial-observation stochastic parity games,” Formal Methods in System Design, vol. 43, no. 2. Springer, pp. 268–284, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3128
DOI: 10.1007/s10703-012-0164-2

V. Sharmanska, N. Quadrianto, and C. Lampert, “Augmented attribute representations,” presented at the ECCV: European Conference on Computer Vision, Florence, Italy, 2012, vol. 7576, no. PART 5, pp. 242–255.
LibreCat: https://research-explorer.ista.ac.at/record/3125
DOI: 10.1007/978-3-642-33715-4_18

O. Busaryev, S. Cabello, C. Chen, T. Dey, and Y. Wang, “Annotating simplices with a homology basis and its applications,” presented at the SWAT: Symposium and Workshops on Algorithm Theory, Helsinki, Finland, 2012, vol. 7357, pp. 189–200.
LibreCat: https://research-explorer.ista.ac.at/record/3129
DOI: 10.1007/978-3-642-31155-0_17
arXiv: 1107.3793

A. Müller, S. Nowozin, and C. Lampert, “Information theoretic clustering using minimal spanning trees,” presented at the DAGM: German Association For Pattern Recognition, Graz, Austria, 2012, vol. 7476, pp. 205–215.
LibreCat: https://research-explorer.ista.ac.at/record/3126
DOI: 10.1007/978-3-642-32717-9_21

B. Delahaye, U. Fahrenberg, T. A. Henzinger, A. Legay, and D. Nickovic, “Synchronous interface theories and time triggered scheduling,” presented at the FORTE: Formal Techniques for Networked and Distributed Systems &; FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden, 2012, vol. 7273, pp. 203–218.
LibreCat: https://research-explorer.ista.ac.at/record/3155
DOI: 10.1007/978-3-642-30793-5_13

Y. Mileyko, H. Edelsbrunner, C. Price, and J. Weitz, “Hierarchical ordering of reticular networks,” PLoS One, vol. 7, no. 6. Public Library of Science, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3159
DOI: 10.1371/journal.pone.0036715