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.




2682 Publications

2011 | Journal Article | IST-REx-ID: 3378
Persistent intersection homology
P. Bendich, J. Harer, Foundations of Computational Mathematics 11 (2011) 305–336.
View | DOI
 
2011 | Technical Report | IST-REx-ID: 5386   OA
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3323
An efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5381
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366   OA
Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3359
From boolean to quantitative synthesis
P. Cerny, T.A. Henzinger, in:, ACM, 2011, pp. 149–154.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3361   OA
The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3347   OA
Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
View | DOI | Download (ext.) | arXiv
 
2011 | Journal Article | IST-REx-ID: 3354
Qualitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 12 (2011).
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5379
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3342
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
View | Files available | DOI | Download (ext.) | arXiv
 
2011 | Journal Article | IST-REx-ID: 518   OA
CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
D. Schraivogel, L. Weinmann, D. Beier, G. Tabatabai, A. Eichner, J. Zhu, M. Anton, M.K. Sixt, M. Weller, C. Beier, G. Meister, EMBO Journal 30 (2011) 4309–4322.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Conference Paper | IST-REx-ID: 3316   OA
Specification-centered robustness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–185.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3328   OA
A generic algebraic kernel for non linear geometric applications
E. Berberich, M. Hemmer, M. Kerber, in:, ACM, 2011, pp. 179–186.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3380   OA
Mapping Mendelian traits in asexual progeny using changes in marker allele frequency
S. Logeswaran, N.H. Barton, Genetical Research 93 (2011) 221–232.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3784   OA
Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description
F. Palero, G. Guerao, P. Clark, P. Abello, Journal of the Marine Biological Association of the United Kingdom 91 (2011) 485–492.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3266
Probabilistic joint image segmentation and labeling
A. Ion, J. Carreira, C. Sminchisescu, in:, NIPS Proceedings, Neural Information Processing Systems Foundation, 2011, pp. 1827–1835.
View
 
2011 | Thesis | IST-REx-ID: 3273
Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors
J.-L. Maître, Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors, IST Austria, 2011.
View
 
2011 | Conference Paper | IST-REx-ID: 3297   OA
Liquid simulation with mesh-based surface tracking
C.J. Wojtan, M. Müller Fischer, T. Brochu, in:, ACM, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3324   OA
Decision procedures for automating termination proofs
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed