en
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.
2472 Publications
2011 | Conference Paper | IST-REx-ID: 3362
Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, J.-P. Katoen, B. König (Eds.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
View
| DOI
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, J.-P. Katoen, B. König (Eds.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
2011 | Conference Paper | IST-REx-ID: 3367
An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, in:, ACM, 2011, pp. 207–216.
View
| DOI
C. Chen, M. Kerber, in:, ACM, 2011, pp. 207–216.
2011 | Journal Article | IST-REx-ID: 3778 
Estimating linkage disequilibria
N.H. Barton, Heredity 106 (2011) 205–206.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
N.H. Barton, Heredity 106 (2011) 205–206.
2011 | Journal Article | IST-REx-ID: 3381
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, IJFCS: International Journal of Foundations of Computer Science 22 (2011) 823–841.
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, IJFCS: International Journal of Foundations of Computer Science 22 (2011) 823–841.
2011 | Technical Report | IST-REx-ID: 5382
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
View
| Files available
| DOI
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
2011 | Technical Report | IST-REx-ID: 5387
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
2011 | Conference Paper | IST-REx-ID: 3336
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
View
| Files available
| DOI
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
2011 | Journal Article | IST-REx-ID: 3267
Hardness results for homology localization
C. Chen, D. Freedman, Discrete & Computational Geometry 45 (2011) 425–448.
View
| DOI
C. Chen, D. Freedman, Discrete & Computational Geometry 45 (2011) 425–448.
2011 | Conference Paper | IST-REx-ID: 3298
Hybrid smoothed particle hydrodynamics
K. Raveendran, C.J. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
View
| Files available
| DOI
K. Raveendran, C.J. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
2011 | Conference Paper | IST-REx-ID: 3301
Tail approximation for the chemical master equation
T.A. Henzinger, M. Mateescu, in:, Tampere International Center for Signal Processing, 2011.
View
| Files available
T.A. Henzinger, M. Mateescu, in:, Tampere International Center for Signal Processing, 2011.