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.
5948 Publications
2013 | Published | Technical Report | IST-REx-ID: 5406 | 
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 10902
Chatterjee, Krishnendu, et al. “How to Travel between Languages.” 7th International Conference on Language and Automata Theory and Applications, vol. 7810, Springer Nature, 2013, pp. 214–25, doi:10.1007/978-3-642-37064-9_20.
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2270 |
Bachrach, Yoram, et al. Optimal Coalition Structures in Cooperative Graph Games. AAAI Press, 2013, pp. 81–87.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2013 | Draft | Report | IST-REx-ID: 2273 |
Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2901 |
Chen, Chao, et al. Computing the M Most Probable Modes of a Graphical Model. Vol. 31, JMLR, 2013, pp. 161–69.
View
| Download None (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View
| Files available
| DOI
2012 | Published | Book Chapter | IST-REx-ID: 10896
zur Nedden, Stephanie, et al. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., Springer, 2012, pp. 109–29, doi:10.1007/978-1-4614-3903-5_6.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.” Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:10.1007/978-3-642-28756-5_46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 2263 |
Liang, Huixuan, et al. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open, vol. 1, no. 12, The Company of Biologists, 2012, pp. 1200–03, doi:10.1242/bio.20122287.
[Published Version]
View
| Files available
| DOI
2012 | Published | Journal Article | IST-REx-ID: 2411 |
Ebersberger, Ingo, et al. “A Consistent Phylogenetic Backbone for the Fungi.” Molecular Biology and Evolution, vol. 29, no. 5, Oxford University Press, 2012, pp. 1319–34, doi:10.1093/molbev/msr285.
[Published Version]
View
| Files available
| DOI
2012 | Published | Journal Article | IST-REx-ID: 2902 |
Edelsbrunner, Herbert, et al. “Fractal and computational geometry for generalizing cartographic objects.” Modeling and Analysis of Information Systems, vol. 19, no. 6, Russian Academy of Sciences, 2012, pp. 152–60.
[Published Version]
View
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner, Herbert, and Olga Symonova. The Adaptive Topology of a Digital Image. IEEE, 2012, pp. 41–48, doi:10.1109/ISVD.2012.11.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Journal Article | IST-REx-ID: 2904 |
Pausinger, Florian. “Weak Multipliers for Generalized van Der Corput Sequences.” Journal de Theorie Des Nombres Des Bordeaux, vol. 24, no. 3, Université de Bordeaux, 2012, pp. 729–49, doi:10.5802/jtnb.819.
[Published Version]
View
| Files available
| DOI
2012 | Published | Journal Article | IST-REx-ID: 2912
Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space for the Shortest Networks.” Russian Mathematical Surveys, vol. 67, no. 6, Russian Academy of Sciences, 2012, pp. 1167–1168, doi:10.4213/rm9503.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2915
Kroemer, Oliver, et al. Multi-Modal Learning for Dynamic Tactile Sensing. Deutsches Zentrum für Luft und Raumfahrt, 2012.
View
2012 | Published | Journal Article | IST-REx-ID: 2917
de Vladar, Harold. “The Game of Active Search for Extra Terrestrial Intelligence Breaking the Great Silence .” International Journal of Astrobiology, vol. 12, no. 1, Cambridge University Press, 2012, pp. 53–62, doi:10.1017/S1473550412000407.
View
| DOI
2012 | Published | Journal Article | IST-REx-ID: 2938
Ugelvig, Line V., and Sylvia Cremer. “Effects of Social Immunity and Unicoloniality on Host Parasite Interactions in Invasive Insect Societies.” Functional Ecology, vol. 26, no. 6, Wiley-Blackwell, 2012, pp. 1300–12, doi:10.1111/1365-2435.12013.
View
| DOI
2012 | Published | Journal Article | IST-REx-ID: 2941 |
Dolbilin, Nikolai, et al. “On the Optimality of Functionals over Triangulations of Delaunay Sets.” Russian Mathematical Surveys, vol. 67, no. 4, IOP Publishing, 2012, pp. 781–83, doi:10.1070/RM2012v067n04ABEH004807.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Journal Article | IST-REx-ID: 2943 |
Hadizadeh Yazdi, Nastaran, et al. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.” Molecular Microbiology, vol. 86, no. 6, Wiley-Blackwell, 2012, pp. 1318–33, doi:10.1111/mmi.12071.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)