Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2373 Publications


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
 

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
 

2011 | Technical Report | IST-REx-ID: 5382   OA
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387   OA
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
 

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
 

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
 

2011 | Conference Paper | IST-REx-ID: 3298   OA
Hybrid smoothed particle hydrodynamics
K. Raveendran, C.J. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3301   OA
Tail approximation for the chemical master equation
T.A. Henzinger, M. Mateescu, in:, Tampere International Center for Signal Processing, 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3313   OA
Diffusion runs low on persistence fast
C. Chen, H. Edelsbrunner, in:, Proceedings of the IEEE International Conference on Computer Vision, IEEE, 2011, p. 6126271.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3318   OA View | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed