Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2616 Publications


2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov Decision Processes (Vol. 6907, pp. 206–218). Presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland: Springer. https://doi.org/10.1007/978-3-642-22993-0_21
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2011). Two views on multiple mean payoff objectives in Markov Decision Processes. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.10
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
Chatterjee, K., & Fijalkow, N. (2011). Finitary languages (Vol. 6638, pp. 216–226). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer. https://doi.org/10.1007/978-3-642-21254-3_16
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
Chatterjee, K., & Prabhu, V. (2011). Synthesis of memory efficient real time controllers for safety objectives (pp. 221–230). Presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA: Springer. https://doi.org/10.1145/1967701.1967734
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
Chatterjee, K., & Fijalkow, N. (2011). A reduction from parity games to simple stochastic games (Vol. 54, pp. 74–86). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.54.6
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3351 | OA
Chatterjee, K., Doyen, L., & Singh, R. (2011). On memoryless quantitative objectives. In O. Owe, M. Steffen, & J. A. Telle (Eds.) (Vol. 6914, pp. 148–159). Presented at the FCT: Fundamentals of Computation Theory, Oslo, Norway: Springer. https://doi.org/10.1007/978-3-642-22953-4_13
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3353 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2011). A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/1985342.1985345
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3355 | OA
Halalai, R., Henzinger, T. A., & Singh, V. (2011). Quantitative evaluation of BFT protocols (pp. 255–264). Presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany: IEEE. https://doi.org/10.1109/QEST.2011.40
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3356 | OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.33
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358 | OA
Henzinger, T. A., Singh, V., Wies, T., & Zufferey, D. (2011). Scheduling large jobs by abstraction refinement (pp. 329–342). Presented at the EuroSys, Salzburg, Austria: ACM. https://doi.org/10.1145/1966445.1966476
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker, U., & Henzinger, T. A. (2011). Determinizing discounted-sum automata (Vol. 12, pp. 82–96). Presented at the CSL: Computer Science Logic, Bergen, Norway: Springer. https://doi.org/10.4230/LIPIcs.CSL.2011.82
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
Cerny, P., Chatterjee, K., & Henzinger, T. A. (2011). The complexity of quantitative information flow problems (pp. 205–217). Presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France: IEEE. https://doi.org/10.1109/CSF.2011.21
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, J., Henzinger, T. A., Nickovic, D., Piterman, N., Singh, A., & Vardi, M. (2011). Dynamic reactive modules (Vol. 6901, pp. 404–418). Presented at the CONCUR: Concurrency Theory, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-23217-6_27
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
Chatterjee, K., Henzinger, T. A., & Tracol, M. (n.d.). The decidability frontier for probabilistic automata on infinite words. ArXiv.
View | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3364 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2011). Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2010.10.022
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2011). QUASY: quantitative synthesis tool (Vol. 6605, pp. 267–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany: Springer. https://doi.org/10.1007/978-3-642-19835-9_24
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny, P., Chatterjee, K., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2011). Quantitative synthesis for concurrent programs. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 243–259). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_20
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368 | OA
Krens, G., Möllmert, S., & Heisenberg, C.-P. J. (2011). Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1010767108
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
Kupczok, A. (2011). Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. Oxford University Press. https://doi.org/10.1093/sysbio/syq086
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
Sixt, M. K., & Parent, C. (2011). Cells on the move in Philadelphia. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1091/mbc.E10-12-0958
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3372 | OA
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel, M., Behrndt, M., Jannasch, A., Schaeffer, E., & Grill, S. (2011). Measuring the complete force field of an optical trap. Optics Letters. OSA. https://doi.org/10.1364/OL.36.001260
View | Files available | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3374 | OA
Tkačik, G., & Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. IOP Publishing Ltd. https://doi.org/10.1088/0953-8984/23/15/153102
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375 | OA
de Vladar, H., & Barton, N. H. (2011). The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. Royal Society of London. https://doi.org/10.1098/rsif.2010.0438
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
Bollenbach, M. T., & Kishony, R. (2011). Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2011.04.016
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3377 | OA
Edelsbrunner, H., Morozov, D., & Patel, A. (2011). Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-011-9090-8
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3379 | OA
Row, R., Maître, J.-L., Martin, B., Stockinger, P., Heisenberg, C.-P. J., & Kimelman, D. (2011). Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2011.03.025
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3380 | OA
Logeswaran, S., & Barton, N. H. (2011). Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672311000115
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3381 | OA
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054111008441
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3384 | OA
Tkačik, G., Garrigan, P., Ratliff, C., Milcinski, G., Klein, J., Seyfarth, L., … Balasubramanian, V. (2011). Natural images from the birthplace of the human eye. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0020409
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3387 | OA
Kupczok, A. (2011). Split based computation of majority rule supertrees. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-11-205
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3388 | OA
Ugelvig, L. V., Nielsen, P., Boomsma, J., & Nash, D. (2011). Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-11-201
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
Barton, N. H., & Etheridge, A. (2011). The relation between reproductive value and genetic contribution. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.127555
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3391 | OA
de Vladar, H., & Barton, N. H. (2011). The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2011.04.002
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3393 | OA
Barton, N. H., & Turelli, M. (2011). Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. University of Chicago Press. https://doi.org/10.1086/661246
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394 | OA
Polechova, J., & Barton, N. H. (2011). Genetic drift widens the expected cline but narrows the expected cline width. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.129817
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
Stockinger, P., Heisenberg, C.-P. J., & Maître, J.-L. (2011). Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. Company of Biologists. https://doi.org/10.1242/dev.071233
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3397 | OA
Maître, J.-L., & Heisenberg, C.-P. J. (2011). The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2011.07.004
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3399 | OA
Cremer, S., Schrempf, A., & Heinze, J. (2011). Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0017323
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3405 | OA
Janovjak, H. L., Sandoz, G., & Isacoff, E. (2011). Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms1231
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3505 | OA
Sixt, M. K., & Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. Springer. https://doi.org/10.1007/978-1-61779-207-6_11
View | DOI | Download Published Version (ext.)
 

2011 | Thesis | IST-REx-ID: 3275 | OA
Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. IST Austria.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 6496 | OA
Park, H., Oikonomou, P., Guet, C. C., & Cluzel, P. (2011). Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. Elsevier. https://doi.org/10.1016/j.bpj.2011.09.040
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 2409 | OA
Kupczok, A., Schmidt, H., & Von Haeseler, A. (2010). Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. BioMed Central. https://doi.org/10.1186/1748-7188-5-37
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau, J., David, C., & Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.25.7
View | DOI | Download Published Version (ext.)
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications