Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs on sequence data. ICML’13 Proceedings of the 30th International Conference on International. ICML: International Conference on Machine Learning, JMLR, vol. 28, 145–153.
LibreCat: https://research-explorer.ista.ac.at/record/2272

Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling &; Behavior. 8(10), e25688.
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1759).
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

Refardt D, Bergmiller T, Kümmerli R. 2013. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection, Dryad,10.5061/dryad.b1q2n .
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space, IST Austria,p.
LibreCat: https://research-explorer.ista.ac.at/record/2274

zur Nedden S, Doney AS, Frenguelli BG. 2012.The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Adenosine. , 109–129.
LibreCat: https://research-explorer.ista.ac.at/record/10896
DOI: 10.1007/978-1-4614-3903-5_6

Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.
LibreCat: https://research-explorer.ista.ac.at/record/1384
DOI: 10.1145/2393596.2393664

Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric cryptography.  Conference proceedings CHES 2012. CHES: Cryptographic Hardware and Embedded Systems, LNCS, vol. 7428, 213–232.
LibreCat: https://research-explorer.ista.ac.at/record/2048
DOI: 10.1007/978-3-642-33027-8_13

Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. 2012. Lapin: An efficient authentication protocol based on ring-LPN.  Conference proceedings FSE 2012. FSE: Fast Software Encryption, LNCS, vol. 7549, 346–365.
LibreCat: https://research-explorer.ista.ac.at/record/2049
DOI: 10.1007/978-3-642-34047-5_20

Liang H, Hippenmeyer S, Ghashghaei H. 2012. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open. 1(12), 1200–1203.
LibreCat: https://research-explorer.ista.ac.at/record/2263
DOI: 10.1242/bio.20122287

Henzinger TA, Mateescu M. 2012. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 10(2), 310–322.
LibreCat: https://research-explorer.ista.ac.at/record/2302
DOI: 10.1109/TCBB.2012.91
PMID: 22778152

Seiringer R. 2012. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2(3), 321–328.
LibreCat: https://research-explorer.ista.ac.at/record/2318
DOI: 10.4171/JST/31

Ebersberger I, De Matos Simoes R, Kupczok A, Gube M, Kothe E, Voigt K, Von Haeseler A. 2012. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 29(5), 1319–1334.
LibreCat: https://research-explorer.ista.ac.at/record/2411
DOI: 10.1093/molbev/msr285

Chatterjee K, Joglekar M, Shah N. 2012. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18, 461–473.
LibreCat: https://research-explorer.ista.ac.at/record/2715
DOI: 10.4230/LIPIcs.FSTTCS.2012.461

Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131.
LibreCat: https://research-explorer.ista.ac.at/record/10904
DOI: 10.1007/978-3-642-32940-1_10
arXiv: 1201.5073

Lampert C. 2012. Dynamic pruning of factor graphs for maximum marginal prediction. NIPS: Neural Information Processing Systems vol. 1, 82–90.
LibreCat: https://research-explorer.ista.ac.at/record/2825

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

Edelsbrunner H, Strelkova N. 2012. On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. 67(6), 1167–1168.
LibreCat: https://research-explorer.ista.ac.at/record/2849
DOI: 10.1070/RM2012v067n06ABEH004820

Boker U, Henzinger TA. 2012. Approximate determinization of quantitative automata. Leibniz International Proceedings in Informatics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18, 362–373.
LibreCat: https://research-explorer.ista.ac.at/record/2891
DOI: 10.4230/LIPIcs.FSTTCS.2012.362

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

Henzinger TA. 2012. Quantitative reactive models. Conference proceedings MODELS 2012. MODELS: Model-driven Engineering Languages and Systems, LNCS, vol. 7590, 1–2.
LibreCat: https://research-explorer.ista.ac.at/record/2888
DOI: 10.1007/978-3-642-33666-9_1

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

Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2012. Interface Simulation Distances. Electronic Proceedings in Theoretical Computer Science. GandALF: Games, Automata, Logic, and Formal Verification vol. 96, 29–42.
LibreCat: https://research-explorer.ista.ac.at/record/2916
DOI: 10.4204/EPTCS.96.3
arXiv: 1210.2450

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

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

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

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

Chatterjee K, Henzinger TA, Prabhu V. 2012. Finite automata with time delay blocks. roceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software , 43–52.
LibreCat: https://research-explorer.ista.ac.at/record/2936
DOI: 10.1145/2380356.2380370

Ugelvig LV, Cremer S. 2012. Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies. Functional Ecology. 26(6), 1300–1312.
LibreCat: https://research-explorer.ista.ac.at/record/2938
DOI: 10.1111/1365-2435.12013

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

Henzinger TA, Nickovic D. 2012. Independent implementability of viewpoints.  Conference proceedings Monterey Workshop 2012. Monterey Workshop 2012, LNCS, vol. 7539, 380–395.
LibreCat: https://research-explorer.ista.ac.at/record/2942
DOI: 10.1007/978-3-642-34059-8_20

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

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

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

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

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

Dupret D, Csicsvari JL. 2012. The medial entorhinal cortex keeps Up. Nature Neuroscience. 15(11), 1471–1472.
LibreCat: https://research-explorer.ista.ac.at/record/2949
DOI: 10.1038/nn.3245

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

Behrndt M, Salbreux G, Campinho P, Hauschild R, Oswald F, Roensch J, Grill S, Heisenberg C-PJ. 2012. Forces driving epithelial spreading in zebrafish gastrulation. Science. 338(6104), 257–260.
LibreCat: https://research-explorer.ista.ac.at/record/2950
DOI: 10.1126/science.1224143

Maître J-L, Berthoumieux H, Krens G, Salbreux G, Julicher F, Paluch E, Heisenberg C-PJ. 2012. Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. Science. 338(6104), 253–256.
LibreCat: https://research-explorer.ista.ac.at/record/2951
DOI: 10.1126/science.1225399

Tada M, Heisenberg C-PJ. 2012. Convergent extension Using collective cell migration and cell intercalation to shape embryos. Development. 139(21), 3897–3904.
LibreCat: https://research-explorer.ista.ac.at/record/2952
DOI: 10.1242/dev.073007

Heisenberg C-PJ, Fässler R. 2012. Cell-cell adhesion and extracellular matrix diversity counts. Current Opinion in Cell Biology. 24(5), 559–561.
LibreCat: https://research-explorer.ista.ac.at/record/2953
DOI: 10.1016/j.ceb.2012.09.002

Allen K, Rawlins JN, Bannerman D, Csicsvari JL. 2012. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. 32(42), 14752–14766.
LibreCat: https://research-explorer.ista.ac.at/record/2958
DOI: 10.1523/JNEUROSCI.6175-11.2012
PMID: 23077060

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

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

Aeschbacher S, Beaumont M, Futschik A. 2012. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 192(3), 1027–1047.
LibreCat: https://research-explorer.ista.ac.at/record/2962
DOI: 10.1534/genetics.112.143164
PMID: 22960215

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

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

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

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

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

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

Raveendran K, Thuerey N, Wojtan C, Turk G. 2012. Controlling liquids using meshes. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 255–264.
LibreCat: https://research-explorer.ista.ac.at/record/3119

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

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

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

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

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

Weissman D, Barton NH. 2012. Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. 8(6), e1002740.
LibreCat: https://research-explorer.ista.ac.at/record/3131
DOI: 10.1371/journal.pgen.1002740

Bergmiller T, Ackermann M, Silander O. 2012. Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. 8(6), e1002803.
LibreCat: https://research-explorer.ista.ac.at/record/3130
DOI: 10.1371/journal.pgen.1002803

Guet CC, Gupta A, Henzinger TA, Mateescu M, Sezgin A. 2012. Delayed continuous time Markov chains for genetic regulatory circuits. CAV: Computer Aided Verification, LNCS, vol. 7358, 294–309.
LibreCat: https://research-explorer.ista.ac.at/record/3136
DOI: 10.1007/978-3-642-31424-7_24

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

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

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

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

Vyleta M, Wong J, Magun B. 2012. Suppression of ribosomal function triggers innate immune signaling through activation of the NLR inflammasome. PLoS One. 7(5), e36044.
LibreCat: https://research-explorer.ista.ac.at/record/3161
DOI: 10.1371/journal.pone.0036044

Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186, 147–160.
LibreCat: https://research-explorer.ista.ac.at/record/3162
DOI: 10.1007/978-3-642-29860-8_12

Pantazis P, Bollenbach MT. 2012. Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo. Cell Cycle. 11(11), 2055–2058.
LibreCat: https://research-explorer.ista.ac.at/record/3160
DOI: 10.4161/cc.20118

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

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

Weber M. 2012. NextGen speaks 13 . Science. 336(6077), 32–34.
LibreCat: https://research-explorer.ista.ac.at/record/3167
DOI: 10.1126/science.336.6077.32
PMID: 22491839

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

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

Pietrzak KZ. 2012. Cryptography from learning parity with noise. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 7147, 99–114.
LibreCat: https://research-explorer.ista.ac.at/record/3250
DOI: 10.1007/978-3-642-27660-6_9

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

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

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

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

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

Pietrzak KZ. 2012. Subspace LWE. TCC: Theory of Cryptography Conference, LNCS, vol. 7194, 548–563.
LibreCat: https://research-explorer.ista.ac.at/record/3280
DOI: 10.1007/978-3-642-28914-9_31

Pietrzak KZ, Rosen A, Segev G. 2012. Lossy functions do not amplify well. TCC: Theory of Cryptography Conference, LNCS, vol. 7194, 458–475.
LibreCat: https://research-explorer.ista.ac.at/record/3281
DOI: 10.1007/978-3-642-28914-9_26

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

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

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

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

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

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

Chatterjee K, Doyen L, Henzinger TA. 2012. A survey of partial-observation stochastic parity games. Formal Methods in System Design. 43(2), 268–284.
LibreCat: https://research-explorer.ista.ac.at/record/3128
DOI: 10.1007/s10703-012-0164-2

Sharmanska V, Quadrianto N, Lampert C. 2012. Augmented attribute representations. ECCV: European Conference on Computer Vision, LNCS, vol. 7576, 242–255.
LibreCat: https://research-explorer.ista.ac.at/record/3125
DOI: 10.1007/978-3-642-33715-4_18

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

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

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

Mileyko Y, Edelsbrunner H, Price C, Weitz J. 2012. Hierarchical ordering of reticular networks. PLoS One. 7(6), e36715.
LibreCat: https://research-explorer.ista.ac.at/record/3159
DOI: 10.1371/journal.pone.0036715

Ugelvig LV, Andersen A, Boomsma J, Nash D. 2012. Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion. Molecular Ecology. 21(13), 3224–3236.
LibreCat: https://research-explorer.ista.ac.at/record/3156
DOI: 10.1111/j.1365-294X.2012.05592.x

Schachtner H, Li A, Stevenson D, Calaminus S, Thomas S, Watson S, Sixt MK, Wedlich Söldner R, Strathdee D, Machesky L. 2012. Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo. European Journal of Cell Biology. 91(11–12), 923–929.
LibreCat: https://research-explorer.ista.ac.at/record/3158
DOI: 10.1016/j.ejcb.2012.04.002
PMID: 22658956

Lampert C, Peters J. 2012. Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing. 7(1), 31–41.
LibreCat: https://research-explorer.ista.ac.at/record/3248
DOI: 10.1007/s11554-010-0168-3

Vilaça S, Fernandes Redondo RA, Lins L, Santos F. 2012. Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus). Conservation Genetics. 13(1), 293–298.
LibreCat: https://research-explorer.ista.ac.at/record/3247
DOI: 10.1007/s10592-011-0262-5

Behrndt M, Heisenberg C-PJ. 2012. Spurred by resistance mechanosensation in collective migration. Developmental Cell. 22(1), 3–4.
LibreCat: https://research-explorer.ista.ac.at/record/3245
DOI: 10.1016/j.devcel.2011.12.018

Tkadik G, Walczak A, Bialek W. 2012. Optimizing information flow in small genetic networks. III. A self-interacting gene.  Physical Review E statistical nonlinear and soft matter physics . 85(4), 041903.
LibreCat: https://research-explorer.ista.ac.at/record/3262
DOI: 10.1103/PhysRevE.85.041903

Kolmogorov V. 2012. Generalized roof duality and bisubmodular functions. Discrete Applied Mathematics. 160(4–5), 416–426.
LibreCat: https://research-explorer.ista.ac.at/record/3257
DOI: 10.1016/j.dam.2011.10.026
arXiv: 1005.2305