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.




2740 Publications

2012 | Journal Article | IST-REx-ID: 3249
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2012). Simulation distances. Theoretical Computer Science, 413(1), 21–35. https://doi.org/10.1016/j.tcs.2011.08.002
View | Files available | DOI
 
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, 338(6104), 257–260. https://doi.org/10.1126/science.1224143
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5377
Chatterjee, K., & Velner, Y. (2012). Mean-payoff pushdown games. IST Austria. https://doi.org/10.15479/AT:IST-2012-0002
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2967
Alur, R., Cerny, P., & Weinstein, S. (2012). Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL), 13(3). https://doi.org/10.1145/2287718.2287727
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2955   OA
Chatterjee, K., & Doyen, L. (2012). Partial-observation stochastic games: How to win when belief fails. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.28
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2936   OA
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 (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3251   OA
Zufferey, D., Wies, T., & Henzinger, T. A. (2012). Ideal abstractions for well structured transition systems (Vol. 7148, pp. 445–460). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA: Springer. https://doi.org/10.1007/978-3-642-27940-9_29
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3314
Chatterjee, K., & Majumdar, R. (2012). Discounting and averaging in games across time scales. International Journal of Foundations of Computer Science, 23(3), 609–625. https://doi.org/10.1142/S0129054112400308
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 496   OA
Rabinovich, A., & Rubin, S. (2012). Interpretations in trees with countably many branches. Presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.65
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2715
Chatterjee, K., Joglekar, M., & Shah, N. (2012). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Vol. 18, pp. 461–473). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.461
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3162   OA
Asarin, E., Donzé, A., Maler, O., & Nickovic, D. (2012). Parametric identification of temporal properties (Vol. 7186, pp. 147–160). Presented at the RV: Runtime Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-642-29860-8_12
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2949
Dupret, D., & Csicsvari, J. L. (2012). The medial entorhinal cortex keeps Up. Nature Neuroscience, 15(11), 1471–1472. https://doi.org/10.1038/nn.3245
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2937   OA
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 (ext.)
 
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, 338(6104), 253–256. https://doi.org/10.1126/science.1225399
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2968   OA
Lohse, K., Barton, N. H., Melika, G., & Stone, G. (2012). A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology, 21(18), 4605–4617. https://doi.org/10.1111/j.1365-294X.2012.05700.x
View | Files available | DOI
 
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, 22(6), 527–532. https://doi.org/10.1016/j.gde.2012.08.004
View | DOI
 
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, 91(3), 262–266. https://doi.org/10.1016/j.beproc.2012.09.006
View | 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: 3118   OA
Bojsen-Hansen, M., Li, H., & Wojtan, C. J. (2012). Tracking surfaces with evolving topology. ACM Transactions on Graphics, 31(4). https://doi.org/10.1145/2185520.2185549
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3120   OA
Brown, G., Kerber, M., & Reid, M. (2012). Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica, 148(4), 1171–1194. https://doi.org/10.1112/S0010437X11007226
View | DOI | Download (ext.)
 
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 | Journal Article | IST-REx-ID: 3245
Behrndt, M., & Heisenberg, C.-P. J. (2012). Spurred by resistance mechanosensation in collective migration. Developmental Cell, 22(1), 3–4. https://doi.org/10.1016/j.devcel.2011.12.018
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3257   OA
Kolmogorov, V. (2012). Generalized roof duality and bisubmodular functions. Discrete Applied Mathematics, 160(4–5), 416–426. https://doi.org/10.1016/j.dam.2011.10.026
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3310   OA
Bendich, P., Cabello, S., & Edelsbrunner, H. (2012). A point calculus for interlevel set homology. Pattern Recognition Letters, 33(11), 1436–1444. https://doi.org/10.1016/j.patrec.2011.10.007
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3168
Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2012). Lumpability abstractions of rule based systems. Theoretical Computer Science, 431, 137–164. https://doi.org/10.1016/j.tcs.2011.12.059
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3846   OA
Chatterjee, K., & Henzinger, T. A. (2012). A survey of stochastic ω regular games. Journal of Computer and System Sciences, 78(2), 394–413. https://doi.org/10.1016/j.jcss.2011.05.002
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2848   OA
Chatterjee, K., Zufferey, D., & Nowak, M. (2012). Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology, 301, 161–173. https://doi.org/10.1016/j.jtbi.2012.02.021
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee, K., & Velner, Y. (2012). Mean payoff pushdown games. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE. https://doi.org/10.1109/LICS.2012.30
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3341   OA
Chatterjee, K. (2012). Robustness of structurally equivalent concurrent parity games (Vol. 7213, pp. 270–285). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Tallinn, Estonia: Springer. https://doi.org/10.1007/978-3-642-28729-9_18
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 3252   OA
Chatterjee, K., & Raman, V. (2012). Synthesizing protocols for digital contract signing (Vol. 7148, pp. 152–168). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA: Springer. https://doi.org/10.1007/978-3-642-27940-9_11
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 497   OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations (Vol. 16, pp. 167–182). Presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.167
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5378
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations. IST Austria. https://doi.org/10.15479/AT:IST-2012-0001
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3125   OA
Sharmanska, V., Quadrianto, N., & Lampert, C. (2012). Augmented attribute representations (Vol. 7576, pp. 242–255). Presented at the ECCV: European Conference on Computer Vision, Florence, Italy: Springer. https://doi.org/10.1007/978-3-642-33715-4_18
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2318   OA
Seiringer, R. (2012). Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory, 2(3), 321–328. https://doi.org/10.4171/JST/31
View | DOI | Download (ext.)
 
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, 19(6), 152–160.
View | Download (ext.)
 
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: 2849   OA
Edelsbrunner, H., & Strelkova, N. (2012). On the configuration space of Steiner minimal trees. Russian Mathematical Surveys, 67(6), 1167–1168. https://doi.org/10.1070/RM2012v067n06ABEH004820
View | Files available | DOI
 
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, 12(11), 762–773. https://doi.org/10.1038/nri3298
View | DOI
 
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, 26(6), 1300–1312. https://doi.org/10.1111/1365-2435.12013
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, 139(21), 3897–3904. https://doi.org/10.1242/dev.073007
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2969   OA
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, 32(41), 14294–14304. https://doi.org/10.1523/JNEUROSCI.6104-11.2012
View | DOI | Download (ext.) | PubMed | Europe PMC
 
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: 3119   OA
Raveendran, K., Thuerey, N., Wojtan, C. J., & 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: 3121   OA
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. https://doi.org/10.1038/nn.3162
View | DOI | Download (ext.) | PubMed | Europe PMC
 
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 (ext.)
 
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 | Journal Article | IST-REx-ID: 3164
Blaschko, M., & Lampert, C. (2012). Guest editorial: Special issue on structured prediction and inference. International Journal of Computer Vision, 99(3), 257–258. https://doi.org/10.1007/s11263-012-0530-y
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3265
Ion, A., Carreira, J., & Sminchisescu, C. (2012). Image segmentation by figure-ground composition into maximal cliques. Presented at the ICCV: International Conference on Computer Vision, Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126486
View | DOI
 
2012 | Book Chapter | IST-REx-ID: 3277
de Vladar, H., & Chela Flores, J. (2012). Can the evolution of multicellularity be anticipated in the exploration of the solar system? In Life on Earth and other planetary bodies (Vol. 24, pp. 387–405). Springer. https://doi.org/10.1007/978-94-007-4966-5_22
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3289   OA
Pereira, A., Leite, F., Brasil, B., Soares Martins, J., Torres, A., Pimenta, P., … Bonjardim, C. (2012). A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization. Journal of Virology, 86(1), 172–184. https://doi.org/10.1128/JVI.05638-11
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed