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.




4962 Publications

2011 | Published | Book Chapter | IST-REx-ID: 3335 | OA
Van De Weygaert R, Vegter G, Edelsbrunner H, et al. Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Gavrilova M, Tan K, Mostafavi M, eds. Transactions on Computational Science XIV. Vol 6970. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer; 2011:60-101. doi:10.1007/978-3-642-25249-5_3
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2011 | Published | Conference Paper | IST-REx-ID: 3336
Chen C, Freedman D, Lampert C. Enforcing topological constraints in random field image segmentation. In: CVPR: Computer Vision and Pattern Recognition. IEEE; 2011:2089-2096. doi:10.1109/CVPR.2011.5995503
View | Files available | DOI
 
2011 | Published | Conference Paper | IST-REx-ID: 3337
Wang Z, Lampert C, Mülling K, Schölkopf B, Peters J. Learning anticipation policies for robot table tennis. In: IEEE; 2011:332-337. doi:10.1109/IROS.2011.6094892
View | DOI
 
2011 | Published | Preprint | IST-REx-ID: 3338 | OA
Chatterjee K. Bounded rationality in concurrent parity games. arXiv. 2011:1-51.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2011 | Published | Preprint | IST-REx-ID: 3339 | OA
Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. 2011.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2011 | Published | Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:260-276. doi:10.1007/978-3-642-22110-1_21
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2011 | Published | Conference Paper | IST-REx-ID: 3343 | OA
Chatterjee K, Henzinger MH. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. In: SIAM; 2011:1318-1336. doi:10.1137/1.9781611973082.101
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2011 | Published | Conference Paper | IST-REx-ID: 3344
Chatterjee K. Graph games with reachability objectives. In: Delzanno G, Potapov I, eds. Vol 6945. Springer; 2011:1-1. doi:10.1007/978-3-642-24288-5_1
View | DOI
 
2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. Spatio-temporal extraction of articulated models in a graph pyramid. In: Jiang X, Ferrer M, Torsello A, eds. Graph-Based Representations in Pattern Recognition. Vol 6658. LNIP. Berlin, Heidelberg: Springer; 2011:215-224. doi:10.1007/978-3-642-20844-7_22
View | DOI
 
2011 | Published | Journal Article | IST-REx-ID: 469 | OA
Vyleta N, Smith S. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 2011;31(12):4593-4606. doi:10.1523/JNEUROSCI.6398-10.2011
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2011 | Published | Journal Article | IST-REx-ID: 490 | OA
Schlögl A, Vidaurre C, Sander T. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011;2011. doi:10.1155/2011/935364
[Published Version] View | Files available | DOI
 
2011 | Published | Journal Article | IST-REx-ID: 491
Eichner A, Sixt MK. Setting the clock for recirculating lymphocytes. Science Signaling. 2011;4(198). doi:10.1126/scisignal.2002617
View | DOI
 
2011 | Published | Journal Article | IST-REx-ID: 518 | OA
Schraivogel D, Weinmann L, Beier D, et al. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322. doi:10.1038/emboj.2011.301
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Published | Journal Article | IST-REx-ID: 531 | OA
Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models. Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3
[Published Version] View | DOI | Download Published Version (ext.)
 
2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee K, Henzinger MH. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009
[Published Version] View | Files available | DOI
 
2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee K. Bounded Rationality in Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0008
[Published Version] View | Files available | DOI
 
2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007
[Published Version] View | Files available | DOI
 
2011 | Published | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee K. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0006
[Published Version] View | Files available | DOI
 
2011 | Published | Technical Report | IST-REx-ID: 5383 | OA
Wies T, Muñiz M, Kuncak V. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria; 2011. doi:10.15479/AT:IST-2011-0005
[Published Version] View | Files available | DOI
 
2011 | Published | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed