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.




3025 Publications

2011 | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0006.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5383 | OA
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0005.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5385 | OA
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5386 | OA
Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 6496 | OA
Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal. Elsevier BV, 2011. https://doi.org/10.1016/j.bpj.2011.09.040.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3771
Pavan, Ana, Felipe Martins, Fabrício Santos, Albert Ditchfield, and Rodrigo A Fernandes Redondo. “Patterns of Diversification in Two Species of Short-Tailed Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian Rainforests.” Biological Journal of the Linnean Society. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1095-8312.2010.01601.x.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3778 | OA
Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity. Nature Publishing Group, 2011. https://doi.org/10.1038/hdy.2010.67.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3781
Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Sci. Math. (Szeged). Szegedi Tudományegyetem, 2011.
View
 
2011 | Journal Article | IST-REx-ID: 3784 | OA
Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.” Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press, 2011. https://doi.org/10.1017/S0025315410000287.
View | DOI | Download Published Version (ext.)
 
2011 | Book Chapter | IST-REx-ID: 3791
Krens, Gabriel, and Carl-Philipp J Heisenberg. “Cell Sorting in Development.” In Forces and Tension in Development, edited by Michel Labouesse, 95:189–213. Elsevier, 2011. https://doi.org/10.1016/B978-0-12-385065-2.00006-2.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3796 | OA
Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.” In Rainbow of Computer Science, edited by Cristian Calude, Grzegorz Rozenberg, and Arto Salomaa, 6570:20–35. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer, 2011. https://doi.org/10.1007/978-3-642-19391-0_2.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3965
Wang, Bei, Herbert Edelsbrunner, and Dmitriy Morozov. “Computing Elevation Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics. ACM, 2011. https://doi.org/10.1145/1963190.1970375.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3163
Lampert, Christoph. “Maximum Margin Multi-Label Structured Prediction.” Neural Information Processing Systems, 2011.
View | Files available
 
2011 | Conference Paper | IST-REx-ID: 3264
Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Solving Recursion-Free Horn Clauses over LI+UIF.” edited by Hongseok Yang, 7078:188–203. Springer, 2011. https://doi.org/10.1007/978-3-642-25318-8_16.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3266
Ion, Adrian, Joao Carreira, and Cristian Sminchisescu. “Probabilistic Joint Image Segmentation and Labeling.” In NIPS Proceedings, 24:1827–35. Neural Information Processing Systems Foundation, 2011.
View
 
2011 | Journal Article | IST-REx-ID: 3267
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Discrete & Computational Geometry. Springer, 2011. https://doi.org/10.1007/s00454-010-9322-8.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3269 | OA
Sheng, Yu, Barbara Cutler, Chao Chen, and Joshua Nasman. “Perceptual Global Illumination Cancellation in Complex Projection Environments.” Computer Graphics Forum. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1467-8659.2011.01985.x.
View | DOI | Download Published Version (ext.)
 

Search

Filter Publications