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.




2842 Publications

2012 | Conference Paper | IST-REx-ID: 3126
Müller, A., Nowozin, S., & Lampert, C. (2012). Information theoretic clustering using minimal spanning trees (Vol. 7476, pp. 205–215). Presented at the DAGM: German Association For Pattern Recognition, Graz, Austria: Springer. https://doi.org/10.1007/978-3-642-32717-9_21
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3127 | OA
Quadrianto, N., Lampert, C., & Chen, C. (2012). The most persistent soft-clique in a set of sampled graphs. In Proceedings of the 29th International Conference on Machine Learning (pp. 211–218). Edinburgh, United Kingdom: Omnipress.
View | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3128 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2012). A survey of partial-observation stochastic parity games. Formal Methods in System Design, 43(2), 268–284. https://doi.org/10.1007/s10703-012-0164-2
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3129 | OA
Busaryev, O., Cabello, S., Chen, C., Dey, T., & Wang, Y. (2012). Annotating simplices with a homology basis and its applications (Vol. 7357, pp. 189–200). Presented at the SWAT: Symposium and Workshops on Algorithm Theory, Helsinki, Finland: Springer. https://doi.org/10.1007/978-3-642-31155-0_17
View | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3130 | OA
Bergmiller, T., Ackermann, M., & Silander, O. (2012). Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics, 8(6). https://doi.org/10.1371/journal.pgen.1002803
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3131 | OA
Weissman, D., & Barton, N. H. (2012). Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics, 8(6). https://doi.org/10.1371/journal.pgen.1002740
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3132
Konrad, M., Pamminger, T., & Foitzik, S. (2012). Two pathways ensuring social harmony. Naturwissenschaften, 99(8), 627–636. https://doi.org/10.1007/s00114-012-0943-z
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3133 | OA
Edelsbrunner, H., & Kerber, M. (2012). Alexander duality for functions: The persistent behavior of land and water and shore. In Proceedings of the twenty-eighth annual symposium on Computational geometry (pp. 249–258). Chapel Hill, NC, USA: ACM. https://doi.org/10.1145/2261250.2261287
View | DOI | Download Preprint (ext.)
 
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. In Proceedings of the twenty-eighth annual symposium on Computational geometry (pp. 91–100). Chapel Hill, NC, USA: ACM. https://doi.org/10.1145/2261250.2261265
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3135 | OA
Brázdil, B., Chatterjee, K., Kučera, A., & Novotny, P. (2012). Efficient controller synthesis for consumption games with multiple resource types (Vol. 7358, pp. 23–38). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer. https://doi.org/10.1007/978-3-642-31424-7_8
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3136
Guet, C. C., Gupta, A., Henzinger, T. A., Mateescu, M., & Sezgin, A. (2012). Delayed continuous time Markov chains for genetic regulatory circuits (Vol. 7358, pp. 294–309). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer. https://doi.org/10.1007/978-3-642-31424-7_24
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A., & Nickovic, D. (2012). Synchronous interface theories and time triggered scheduling (Vol. 7273, pp. 203–218). Presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden: Springer. https://doi.org/10.1007/978-3-642-30793-5_13
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3156
Ugelvig, L. V., 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. https://doi.org/10.1111/j.1365-294X.2012.05592.x
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr, L., Williams, R., Wu, J., Kinde, I., Hecht, J., Berlin, J., … Vogelstein, B. (2012). The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature, 486(7404), 537–540. https://doi.org/10.1038/nature11219
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3158 | OA
Schachtner, H., Li, A., Stevenson, D., Calaminus, S., Thomas, S., Watson, S., … 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. https://doi.org/10.1016/j.ejcb.2012.04.002
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3159 | OA
Mileyko, Y., Edelsbrunner, H., Price, C., & Weitz, J. (2012). Hierarchical ordering of reticular networks. PLoS One, 7(6). https://doi.org/10.1371/journal.pone.0036715
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, F. (2012). Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry, 8(1), 63–78.
View | Download Published Version (ext.) | WoS
 
2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3160
Pantazis, P., & Bollenbach, T. (2012). Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo. Cell Cycle, 11(11), 2055–2058. https://doi.org/10.4161/cc.20118
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3161 | OA
Vyleta, M., Wong, J., & Magun, B. (2012). Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One, 7(5). https://doi.org/10.1371/journal.pone.0036044
View | Files available | DOI
 

Search

Display / Sort

Citation Style: APA

Export / Embed