Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2934 Publications
2012 | Preprint | IST-REx-ID: 2928 |

Kolmogorov V, Schoenemann T. 2012. Generalized sequential tree-reweighted message passing. arXiv, .
View
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2930 |

Huber A, Kolmogorov V. 2012. Towards minimizing k-submodular functions. ISCO: International Symposium on Combinatorial Optimization, LNCS, vol. 7422, 451–462.
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2916 |

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.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2936 |

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.
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2937 |

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.
View
| DOI
| Download Submitted Version (ext.)
2012 | Journal Article | IST-REx-ID: 2941 |

Dolbilin N, Edelsbrunner H, Musin O. 2012. On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. 67(4), 781–783.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2943 |

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.
View
| DOI
| Download Submitted Version (ext.)
2012 | Journal Article | IST-REx-ID: 2946 |

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.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2947 |

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.
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2949
Dupret D, Csicsvari JL. 2012. The medial entorhinal cortex keeps Up. Nature Neuroscience. 15(11), 1471–1472.
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2950
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.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2954 |

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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 2974 |

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.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2958 |

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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2959 |

Uhler C. 2012. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 40(1), 238–261.
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2962 |

Aeschbacher S, Beaumont M, Futschik A. 2012. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 192(3), 1027–1047.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2968 |

Lohse K, Barton NH, Melika G, Stone G. 2012. A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. 21(18), 4605–4617.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2969 |

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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2966 |

Cremer S, Suefuji M, Schrempf A, Heinze J. 2012. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 12, 7.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3117 |

Kolmogorov V. 2012. Minimizing a sum of submodular functions. Discrete Applied Mathematics. 160(15), 2246–2258.
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3118 |

Bojsen-Hansen M, Li H, Wojtan CJ. 2012. Tracking surfaces with evolving topology. ACM Transactions on Graphics. 31(4), 53.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3119 |

Raveendran K, Thuerey N, Wojtan CJ, 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.
View
| Files available
2012 | Journal Article | IST-REx-ID: 3120 |

Brown G, Kerber M, Reid M. 2012. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 148(4), 1171–1194.
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3121 |

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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 3123 |

Yu J, Wojtan CJ, Turk G, Yap C. 2012. Explicit mesh surfaces for particle based fluids. Computer Graphics Forum. EUROGRAPHICS: Conference on European Association for Computer Graphics, Eurographics, vol. 31, 815–824.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3125 |

Sharmanska V, Quadrianto N, Lampert C. 2012. Augmented attribute representations. ECCV: European Conference on Computer Vision, LNCS, vol. 7576, 242–255.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3127 |

Quadrianto N, Lampert C, Chen C. 2012. The most persistent soft-clique in a set of sampled graphs. Proceedings of the 29th International Conference on Machine Learning. ICML: International Conference on Machine Learning, 211–218.
View
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3128 |

Chatterjee K, Doyen L, Henzinger TA. 2012. A survey of partial-observation stochastic parity games. Formal Methods in System Design. 43(2), 268–284.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3129 |

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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 3134
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.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3135 |

Brázdil B, Chatterjee K, Kučera A, Novotný P. 2012. Efficient controller synthesis for consumption games with multiple resource types. CAV: Computer Aided Verification, LNCS, vol. 7358, 23–38.
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 3155 |

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.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3157 |

Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I, Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 486(7404), 537–540.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3158 |

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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3159 |

Mileyko Y, Edelsbrunner H, Price C, Weitz J. 2012. Hierarchical ordering of reticular networks. PLoS One. 7(6), e36715.
View
| Files available
| DOI