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.
4241 Publications
2012 | Conference Paper | IST-REx-ID: 10904
Chatterjee, K., Randour, M., & Raskin, J.-F. (2012). Strategy synthesis for multi-dimensional quantitative objectives. In M. Koutny & I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory (Vol. 7454, pp. 115–131). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32940-1_10
View
| Files available
| DOI
| arXiv
2012 | Conference Paper | IST-REx-ID: 2825
Lampert, C. (2012). Dynamic pruning of factor graphs for maximum marginal prediction (Vol. 1, pp. 82–90). Presented at the NIPS: Neural Information Processing Systems, Lake Tahoe, NV, United States: Neural Information Processing Systems.
View
2012 | Journal Article | IST-REx-ID: 2848 | 
Chatterjee, K., Zufferey, D., & Nowak, M. (2012). Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2012.02.021
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner, H., & Strelkova, N. (2012). On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. IOP Publishing Ltd. https://doi.org/10.1070/RM2012v067n06ABEH004820
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2891 |
Boker, U., & Henzinger, T. A. (2012). Approximate determinization of quantitative automata. In Leibniz International Proceedings in Informatics (Vol. 18, pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2890
Cerny, P., Gopi, S., Henzinger, T. A., Radhakrishna, A., & Totla, N. (2012). Synthesis from incompatible specifications. In Proceedings of the tenth ACM international conference on Embedded software (pp. 53–62). Tampere, Finland: ACM. https://doi.org/10.1145/2380356.2380371
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger, T. A. (2012). Quantitative reactive models. In Conference proceedings MODELS 2012 (Vol. 7590, pp. 1–2). Innsbruck, Austria: Springer. https://doi.org/10.1007/978-3-642-33666-9_1
View
| DOI
2012 | Journal Article | IST-REx-ID: 2902
Edelsbrunner, H., Musin, O., Ukhalov, A., Yakimova, O., Alexeev, V., Bogaevskaya, V., … Preobrazhenskaya, M. (2012). Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. Technische Universität Darmstadt.
View
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2904 |
Pausinger, F. (2012). Weak multipliers for generalized van der Corput sequences. Journal de Theorie Des Nombres Des Bordeaux. Universite de Bordeaux. https://doi.org/10.5802/jtnb.819
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner, H., & Symonova, O. (2012). The adaptive topology of a digital image (pp. 41–48). Presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/ISVD.2012.11
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916 |
Cerny, P., Chmelik, M., Henzinger, T. A., & Radhakrishna, A. (2012). Interface Simulation Distances. In Electronic Proceedings in Theoretical Computer Science (Vol. 96, pp. 29–42). Napoli, Italy: EPTCS. https://doi.org/10.4204/EPTCS.96.3
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 2917
de Vladar, H. (2012). The game of active search for extra terrestrial intelligence Breaking the Great Silence . International Journal of Astrobiology. Cambridge University Press. https://doi.org/10.1017/S1473550412000407
View
| DOI
2012 | Journal Article | IST-REx-ID: 2912
Edelsbrunner, H., & Strelkova, N. (2012). Configuration space for shortest networks . Uspekhi Mat. Nauk. Moscow Mathematical Society . https://doi.org/10.4213/rm9503
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2915
Kroemer, O., Lampert, C., & Peters, J. (2012). Multi-modal learning for dynamic tactile sensing. Deutsches Zentrum für Luft und Raumfahrt.
View
2012 | Conference Paper | IST-REx-ID: 2930 |
Huber, A., & Kolmogorov, V. (2012). Towards minimizing k-submodular functions (Vol. 7422, pp. 451–462). Presented at the ISCO: International Symposium on Combinatorial Optimization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-642-32147-4_40
View
| DOI
| Download Preprint (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
Kolmogorov, V., & Schoenemann, T. (2012). Generalized sequential tree-reweighted message passing. arXiv. ArXiv.
View
| Download Preprint (ext.)
| arXiv
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. In Proceedings of the 2012 ACM conference on Computer and communications security (pp. 488–500). Raleigh, NC, USA: ACM. https://doi.org/10.1145/2382196.2382249
View
| DOI
| Download Submitted Version (ext.)
2012 | Conference Paper | IST-REx-ID: 2936 |
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2012). Finite automata with time delay blocks. In roceedings of the tenth ACM international conference on Embedded software (pp. 43–52). Tampere, Finland: ACM. https://doi.org/10.1145/2380356.2380370
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2938
Ugelvig, L. V., & Cremer, S. (2012). Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies. Functional Ecology. Wiley-Blackwell. https://doi.org/10.1111/1365-2435.12013
View
| DOI
2012 | Journal Article | IST-REx-ID: 2931
Torresani, L., Kolmogorov, V., & Rother, C. (2012). A dual decomposition approach to feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2012.105
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, T. A., & Nickovic, D. (2012). Independent implementability of viewpoints. In Conference proceedings Monterey Workshop 2012 (Vol. 7539, pp. 380–395). Oxford, UK: Springer. https://doi.org/10.1007/978-3-642-34059-8_20
View
| DOI
2012 | Journal Article | IST-REx-ID: 2943 |
Hadizadeh Yazdi, N., Guet, C. C., Johnson, R., & Marko, J. (2012). Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. Wiley-Blackwell. https://doi.org/10.1111/mmi.12071
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. IOP Publishing. https://doi.org/10.1070/RM2012v067n04ABEH004807
View
| Files available
| DOI
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. Oxford University Press. https://doi.org/10.1093/nar/gks705
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 (Vol. 7561, pp. 385–399). Presented at the ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India: Springer. https://doi.org/10.1007/978-3-642-33386-6_30
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2945
Girard, J., Moussion, C., & Förster, R. (2012). HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes. Nature Reviews Immunology. Nature Publishing Group. https://doi.org/10.1038/nri3298
View
| DOI
2012 | Journal Article | IST-REx-ID: 2949
Dupret, D., & Csicsvari, J. L. (2012). The medial entorhinal cortex keeps Up. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3245
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2954 |
Pernia-Andrade, A., Goswami, S., Stickler, Y., Fröbe, U., Schlögl, A., & Jonas, P. M. (2012). A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. Biophysical. https://doi.org/10.1016/j.bpj.2012.08.039
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2950
Behrndt, M., Salbreux, G., Campinho, P., Hauschild, R., Oswald, F., Roensch, J., … Heisenberg, C.-P. J. (2012). Forces driving epithelial spreading in zebrafish gastrulation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1224143
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2951
Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch, E., & Heisenberg, C.-P. J. (2012). Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1225399
View
| DOI
2012 | Journal Article | IST-REx-ID: 2952
Tada, M., & Heisenberg, C.-P. J. (2012). Convergent extension Using collective cell migration and cell intercalation to shape embryos. Development. Company of Biologists. https://doi.org/10.1242/dev.073007
View
| DOI
2012 | Journal Article | IST-REx-ID: 2953
Heisenberg, C.-P. J., & Fässler, R. (2012). Cell-cell adhesion and extracellular matrix diversity counts. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2012.09.002
View
| DOI
2012 | Journal Article | IST-REx-ID: 2958 |
Allen, K., Rawlins, J. N., Bannerman, D., & Csicsvari, J. L. (2012). Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6175-11.2012
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. Institute of Mathematical Statistics. https://doi.org/10.1214/11-AOS957
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2968 |
Lohse, K., Barton, N. H., Melika, G., & Stone, G. (2012). A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-294X.2012.05700.x
View
| Files available
| DOI
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. BioMed Central. https://doi.org/10.1186/1472-6785-12-7
View
| Files available
| DOI
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. Genetics Society of America. https://doi.org/10.1534/genetics.112.143164
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2965 |
Danowski, P. (2012). Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. VÖB.
View
| Files available
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 2963
Jesse, F., & Riebel, K. (2012). Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. Elsevier. https://doi.org/10.1016/j.beproc.2012.09.006
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2974 |
Jain, A., Krenn, S., Pietrzak, K. Z., & Tentes, A. (2012). Commitments and efficient zero knowledge proofs from learning parity with noise. In X. Wang & K. Sako (Eds.) (Vol. 7658, pp. 663–680). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China: Springer. https://doi.org/10.1007/978-3-642-34961-4_40
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2969 |
Goswami, S., Bucurenciu, I., & Jonas, P. M. (2012). Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6104-11.2012
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2970
Kicheva, A., Bollenbach, M. T., Wartlick, O., Julicher, F., & Gonzalez Gaitan, M. (2012). Investigating the principles of morphogen gradient formation: from tissues to cells. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2012.08.004
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2971
Zankl, G., Haxhimusa, Y., & Ion, A. (2012). Interactive labeling of image segmentation hierarchies (Vol. 7476, pp. 11–20). Presented at the Pattern Recognition, Graz, Austria: Springer. https://doi.org/10.1007/978-3-642-32717-9_2
View
| DOI
2012 | Conference Paper | IST-REx-ID: 3123 |
Yu, J., Wojtan, C., Turk, G., & Yap, C. (2012). Explicit mesh surfaces for particle based fluids. In Computer Graphics Forum (Vol. 31, pp. 815–824). Cagliari, Sardinia, Italy: Blackwell Publishing. https://doi.org/10.1111/j.1467-8659.2012.03062.x
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3119 |
Raveendran, K., Thuerey, N., Wojtan, C., & Turk, G. (2012). Controlling liquids using meshes. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation (pp. 255–264). Aire-la-Ville, Switzerland: ACM.
View
| Files available
2012 | Journal Article | IST-REx-ID: 3118 |
Bojsen-Hansen, M., Li, H., & Wojtan, C. (2012). Tracking surfaces with evolving topology. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2185520.2185549
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3122
Field, D., & Barrett, S. (2012). Disassortative mating and the maintenance of sexual polymorphism in painted maple. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-294X.2012.05643.x
View
| DOI
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. Nature Publishing Group. https://doi.org/10.1038/nn.3162
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
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. Cambridge University Press. https://doi.org/10.1112/S0010437X11007226
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3117 |
Kolmogorov, V. (2012). Minimizing a sum of submodular functions. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/j.dam.2012.05.025
View
| DOI
| Download Preprint (ext.)