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.




2989 Publications

2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee K, Doyen L. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria; 2011. doi:10.15479/AT:IST-2011-0001
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3356 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. In: IEEE; 2011. doi:10.1109/LICS.2011.33
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi:10.1007/978-3-642-22993-0_21
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3336
Chen C, Freedman D, Lampert C. Enforcing topological constraints in random field image segmentation. In: CVPR: Computer Vision and Pattern Recognition. IEEE; 2011:2089-2096. doi:10.1109/CVPR.2011.5995503
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5385 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011. doi:10.15479/AT:IST-2011-0003
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5386 | OA
Chen C, Freedman D, Lampert C. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria; 2011. doi:10.15479/AT:IST-2011-0002
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 6496 | OA
Park H, Oikonomou P, Guet CC, Cluzel P. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 2011;101(10):2336-2340. doi: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. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 2010;5(1). doi:10.1186/1748-7188-5-37
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3303 | OA
Weissman D, Feldman M, Fisher D. The rate of fitness-valley crossing in sexual populations. Genetics. 2010;186(4):1389-1410. doi:10.1534/genetics.110.123240
View | DOI | Download Submitted Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23. doi:10.2168/LMCS-6(3:10)2010
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret J, Henzinger TA, Koeppl H, Petrov T. Lumpability abstractions of rule-based systems. In: Vol 40. Open Publishing Association; 2010:142-161.
View | Files available | arXiv
 
2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton NH. Understanding adaptation in large populations. PLoS Genetics. 2010;6(6). doi:10.1371/journal.pgen.1000987
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton NH. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1547):1825-1840. doi:10.1098/rstb.2010.0001
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3774
Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 2010;79(2):414-425. doi:10.1111/j.1365-2656.2009.01633.x
View | DOI | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton NH. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1552):2559-2569. doi:10.1098/rstb.2010.0106
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton NH. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1544):1281-1294. doi:10.1098/rstb.2009.0320
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 2010;8(7). doi:10.1371/journal.pbio.1000429
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3782
Chen C, Freedman D. Topology noise removal for curve  and surface evolution. In: Conference Proceedings MCV 2010. Vol 6533. Springer; 2010:31-42. doi:10.1007/978-3-642-18421-5_4
View | DOI
 

Search

Filter Publications