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.
3768 Publications
2011 | Journal Article | IST-REx-ID: 3334
Edelsbrunner H, Pach J, Ziegler G. Letter from the new editors-in-chief. Discrete & Computational Geometry. 2011;45(1):1-2. doi:10.1007/s00454-010-9313-9
View
| DOI
2011 | Book Chapter | IST-REx-ID: 3335 |

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
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | 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 | Preprint | IST-REx-ID: 3338 |

Chatterjee K. Bounded rationality in concurrent parity games. arXiv. 2011:1-51.
View
| Files available
| Download Preprint (ext.)
| arXiv
2011 | Preprint | IST-REx-ID: 3339 |

Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. 2011.
View
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3342 |

Chatterjee K, Henzinger M, 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
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3343 |

Chatterjee K, Henzinger M. 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
View
| DOI
| Download Submitted Version (ext.)
2011 | 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 | Conference Paper | IST-REx-ID: 3345 |

Chatterjee K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi:10.1007/978-3-642-22993-0_21
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3346 |

Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Two views on multiple mean payoff objectives in Markov Decision Processes. In: IEEE; 2011. doi:10.1109/LICS.2011.10
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3347 |

Chatterjee K, Fijalkow N. Finitary languages. In: Vol 6638. Springer; 2011:216-226. doi:10.1007/978-3-642-21254-3_16
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3348 |

Chatterjee K, Prabhu V. Synthesis of memory efficient real time controllers for safety objectives. In: Springer; 2011:221-230. doi:10.1145/1967701.1967734
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3349 |

Chatterjee K, Fijalkow N. A reduction from parity games to simple stochastic games. In: Vol 54. EPTCS; 2011:74-86. doi:10.4204/EPTCS.54.6
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee K, Majumdar R. Minimum attention controller synthesis for omega regular objectives. In: Fahrenberg U, Tripakis S, eds. Vol 6919. Springer; 2011:145-159. doi:10.1007/978-3-642-24310-3_11
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3351 |

Chatterjee K, Doyen L, Singh R. On memoryless quantitative objectives. In: Owe O, Steffen M, Telle JA, eds. Vol 6914. Springer; 2011:148-159. doi:10.1007/978-3-642-22953-4_13
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3352
Fisher J, Harel D, Henzinger TA. Biology as reactivity. Communications of the ACM. 2011;54(10):72-82. doi:10.1145/2001269.2001289
View
| DOI
2011 | Journal Article | IST-REx-ID: 3353 |

Tripakis S, Lickly B, Henzinger TA, Lee E. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 2011;33(4). doi:10.1145/1985342.1985345
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3354
Chatterjee K, De Alfaro L, Henzinger TA. Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL). 2011;12(4). doi:10.1145/1970398.1970404
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3355 |

Halalai R, Henzinger TA, Singh V. Quantitative evaluation of BFT protocols. In: IEEE; 2011:255-264. doi:10.1109/QEST.2011.40
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3356 |

Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. In: IEEE; 2011. doi:10.1109/LICS.2011.33
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee K, Henzinger TA, Horn F. The complexity of request-response games. In: Dediu A-H, Inenaga S, Martín-Vide C, eds. Vol 6638. Springer; 2011:227-237. doi:10.1007/978-3-642-21254-3_17
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3358 |

Henzinger TA, Singh V, Wies T, Zufferey D. Scheduling large jobs by abstraction refinement. In: ACM; 2011:329-342. doi:10.1145/1966445.1966476
View
| DOI
| Download Published Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3359
Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3360 |

Boker U, Henzinger TA. Determinizing discounted-sum automata. In: Vol 12. Springer; 2011:82-96. doi:10.4230/LIPIcs.CSL.2011.82
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3361 |

Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3362 |

Fisher J, Henzinger TA, Nickovic D, Piterman N, Singh A, Vardi M. Dynamic reactive modules. In: Vol 6901. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2011:404-418. doi:10.1007/978-3-642-23217-6_27
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3363 |

Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
View
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3364 |

Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. 2011;412(21):2128-2141. doi:10.1016/j.tcs.2010.10.022
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3365 |

Chatterjee K, Henzinger TA, Jobstmann B, Singh R. QUASY: quantitative synthesis tool. In: Vol 6605. Springer; 2011:267-271. doi:10.1007/978-3-642-19835-9_24
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |

Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3367
Chen C, Kerber M. An output sensitive algorithm for persistent homology. In: ACM; 2011:207-216. doi:10.1145/1998196.1998228
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3368 |

Krens G, Möllmert S, Heisenberg C-PJ. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 2011;108(3):E9-E10. doi:10.1073/pnas.1010767108
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade A, Jonas PM. The multiple faces of RIM. Neuron. 2011;69(2):185-187. doi:10.1016/j.neuron.2011.01.010
View
| DOI
2011 | Journal Article | IST-REx-ID: 3370 |

Kupczok A. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 2011;60(2):218-225. doi:10.1093/sysbio/syq086
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3371 |

Sixt MK, Parent C. Cells on the move in Philadelphia. Molecular Biology and Evolution. 2011;22(6):724. doi:10.1091/mbc.E10-12-0958
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3372 |

Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3373 |

Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. Measuring the complete force field of an optical trap. Optics Letters. 2011;36(7):1260-1262. doi:10.1364/OL.36.001260
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3374 |

Tkačik G, Walczak A. Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. 2011;23(15). doi:10.1088/0953-8984/23/15/153102
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3375 |

de Vladar H, Barton NH. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 2011;8(58):720-739. doi:10.1098/rsif.2010.0438
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3376 |

Bollenbach MT, Kishony R. Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. 2011;42(4):413-425. doi:10.1016/j.molcel.2011.04.016
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3377 |

Edelsbrunner H, Morozov D, Patel A. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 2011;11(3):345-361. doi:10.1007/s10208-011-9090-8
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3378
Bendich P, Harer J. Persistent intersection homology. Foundations of Computational Mathematics. 2011;11(3):305-336. doi:10.1007/s10208-010-9081-1
View
| DOI
2011 | Journal Article | IST-REx-ID: 3379 |

Row R, Maître J-L, Martin B, Stockinger P, Heisenberg C-PJ, Kimelman D. Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. 2011;354(1):102-110. doi:10.1016/j.ydbio.2011.03.025
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3380 |

Logeswaran S, Barton NH. Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. 2011;93(3):221-232. doi:10.1017/S0016672311000115
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3381 |

Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 2011;22(4):823-841. doi:10.1142/S0129054111008441
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3382
Kroemer O, Lampert C, Peters J. Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics. 2011;27(3):545-557. doi:10.1109/TRO.2011.2121130
View
| DOI
2011 | Journal Article | IST-REx-ID: 3383
Heisenberg C-PJ. Invited Lectures ‐ Symposia Area. FEBS Journal. 2011;278(S1):24-24. doi:10.1111/j.1742-4658.2011.08136.x
View
| DOI
2011 | Journal Article | IST-REx-ID: 3384 |

Tkačik G, Garrigan P, Ratliff C, et al. Natural images from the birthplace of the human eye. PLoS One. 2011;6(6). doi:10.1371/journal.pone.0020409
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3385
Sixt MK. Interstitial locomotion of leukocytes. Immunology Letters. 2011;138(1):32-34. doi:10.1016/j.imlet.2011.02.013
View
| DOI
2011 | Journal Article | IST-REx-ID: 3386
Schrempf A, Cremer S, Heinze J. Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology. 2011;24(7):1455-1461. doi:10.1111/j.1420-9101.2011.02278.x
View
| DOI