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.




2401 Publications

2010 | Journal Article | IST-REx-ID: 3861
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
View | Files available | DOI
 
2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger.   Dendritic Cell Migration across Basement Membranes in the Skin. IST Austria, 2010.
View
 
2010 | Conference Paper | IST-REx-ID: 4369   OA
Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 474
Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution, vol. 64, no. 9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4388
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
View | Files available | DOI | Download (ext.) | arXiv
 
2010 | Conference Paper | IST-REx-ID: 4390
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
View | Files available | DOI
 
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández, Elena, et al. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.” Current Biology, vol. 20, no. 21, Cell Press, 2010, pp. 1966–72, doi:10.1016/j.cub.2010.10.009.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3773   OA
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547, Royal Society, 2010, pp. 1825–40, doi:10.1098/rstb.2010.0001.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3785
Palero, Ferran, et al. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).” Journal of Crustacean Biology, vol. 30, no. 4, BioOne, 2010, pp. 658–63, doi:10.1651/09-3192.1 .
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3848
Bendich, Paul, et al. The Robustness of Level Sets. Vol. 6346, Springer, 2010, pp. 1–10, doi:10.1007/978-3-642-15775-2_1.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3850
Berberich, Eric, et al. Polygonal Reconstruction from Approximate Offsets. TU Dortmund, 2010, pp. 12–23.
View
 
2010 | Journal Article | IST-REx-ID: 3901   OA
Bendich, Paul, et al. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6, IEEE, 2010, pp. 1251–60, doi:10.1109/TVCG.2010.139.
View | Files available | DOI
 
2010 | Book | IST-REx-ID: 4346   OA
Danowski, Patrick, and Julia Bergmann. Handbuch Bibliothek 2.0. De Gruyter, 2010.
View | Download (ext.)
 
2010 | Book Chapter | IST-REx-ID: 4339   OA
Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, De Gruyter, 2010, pp. 5–20, doi:10.1515/9783110232103.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4389   OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, et al. “Doomed Program Points.” Formal Methods in System Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3855
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed