Institute of Science and Technology Austria (IST Austria)

Detailed reconstruction of 3D plant root shape
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, P. Benfey, Detailed Reconstruction of 3D Plant Root Shape, IEEE, 2011.

Diffusion runs low on persistence fast
C. Chen, H. Edelsbrunner, in:, Proceedings of the IEEE International Conference on Computer Vision, IEEE, 2011.

Timed parity games: Complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).

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.

How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses
E. Eggermann, P.M. Jonas, Nature Neuroscience 15 (2011) 20–22.

Learning multi-view neighborhood preserving projections
N. Quadrianto, C. Lampert, in:, Omnipress, 2011, pp. 425–432.

Structured learning and prediction in computer vision
S. Nowozin, C. Lampert, Foundations and Trends in Computer Graphics and Vision 6 (2011) 185–365.

Maximum margin multi label structured prediction
C. Lampert, Maximum Margin Multi Label Structured Prediction, Neural Information Processing Systems, 2011.

An efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.

Decision procedures for automating termination proofs
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.

Streaming transducers for algorithmic verification of single pass list processing programs
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.

What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.

A generic algebraic kernel for non linear geometric applications
E. Berberich, M. Hemmer, M. Kerber, in:, ACM, 2011, pp. 179–186.

Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 187–196.

Root refinement for real polynomials
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.

A note on the complexity of real algebraic hypersurfaces
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.

Letter from the new editors-in-chief
H. Edelsbrunner, J. Pach, G. Ziegler, Discrete & Computational Geometry 45 (2011) 1–2.

Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web
R. Van De Weygaert, G. Vegter, H. Edelsbrunner, B. Jones, P. Pranav, C. Park, W. Hellwing, B. Eldering, N. Kruithof, P. Bos, J. Hidding, J. Feldbrugge, E. Ten Have, M. Van Engelen, M. Caroli, M. Teillaud, in:, M. Gavrilova, K. Tan, M. Mostafavi (Eds.), Transactions on Computational Science XIV, Springer, 2011, pp. 60–101.

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.

Learning anticipation policies for robot table tennis
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, J. Peters, in:, IEEE, 2011, pp. 332–337.

Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (2011) 1–51.

Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
K. Chatterjee, L. De Alfaro, R. Pritam, ArXiv (2011).

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.

Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M. Henzinger, in:, SIAM, 2011, pp. 1318–1336.

Graph games with reachability objectives
K. Chatterjee, in:, G. Delzanno, I. Potapov (Eds.), Springer, 2011, pp. 1–1.

Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.

Two views on multiple mean payoff objectives in Markov Decision Processes
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.

Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.

Synthesis of memory efficient real time controllers for safety objectives
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.

A reduction from parity games to simple stochastic games
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.

Minimum attention controller synthesis for omega regular objectives
K. Chatterjee, R. Majumdar, in:, U. Fahrenberg, S. Tripakis (Eds.), Springer, 2011, pp. 145–159.

On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.

Biology as reactivity
J. Fisher, D. Harel, T.A. Henzinger, Communications of the ACM 54 (2011) 72–82.

A theory of synchronous relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2011).

Qualitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 12 (2011).

Quantitative evaluation of BFT protocols
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.

The complexity of request-response games
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.

Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.

From boolean to quantitative synthesis
P. Cerny, T.A. Henzinger, in:, ACM, 2011, pp. 149–154.

Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.

The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.

Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.

The decidability frontier for probabilistic automata on infinite words
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).

Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, Theoretical Computer Science 412 (2011) 2128–2141.

QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.

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.

An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, in:, ACM, 2011, pp. 207–216.

Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
G. Krens, S. Möllmert, C.-P.J. Heisenberg, PNAS 108 (2011) E9–E10.

The multiple faces of RIM
A. Pernia-Andrade, P.M. Jonas, Neuron 69 (2011) 185–187.

Consequences of different null models on the tree shape bias of supertree methods
A. Kupczok, Systematic Biology 60 (2011) 218–225.

Cells on the move in Philadelphia
M.K. Sixt, C. Parent, Molecular Biology and Evolution 22 (2011) 724.

Inclusive fitness theory and eusociality
P. Abbot, J. Abe, J. Alcock, S. Alizon, J. Alpedrinha, M. Andersson, J. Andre, M. Van Baalen, F. Balloux, S. Balshine, N.H. Barton, L. Beukeboom, J. Biernaskie, T. Bilde, G. Borgia, M. Breed, S. Brown, R. Bshary, A. Buckling, N. Burley, M. Burton Chellew, M. Cant, M. Chapuisat, E. Charnov, T. Clutton Brock, A. Cockburn, B. Cole, N. Colegrave, L. Cosmides, I. Couzin, J. Coyne, S. Creel, B. Crespi, R. Curry, S. Dall, T. Day, J. Dickinson, L. Dugatkin, C. El Mouden, S. Emlen, J. Evans, R. Ferriere, J. Field, S. Foitzik, K. Foster, W. Foster, C. Fox, J. Gadau, S. Gandon, A. Gardner, M. Gardner, T. Getty, M. Goodisman, A. Grafen, R. Grosberg, C. Grozinger, P. Gouyon, D. Gwynne, P. Harvey, B. Hatchwell, J. Heinze, H. Helantera, K. Helms, K. Hill, N. Jiricny, R. Johnstone, A. Kacelnik, E.T. Kiers, H. Kokko, J. Komdeur, J. Korb, D. Kronauer, R. Kümmerli, L. Lehmann, T. Linksvayer, S. Lion, B. Lyon, J. Marshall, R. Mcelreath, Y. Michalakis, R. Michod, D. Mock, T. Monnin, R. Montgomerie, A. Moore, U. Mueller, R. Noë, S. Okasha, P. Pamilo, G. Parker, J. Pedersen, I. Pen, D. Pfennig, D. Queller, D. Rankin, S. Reece, H. Reeve, M. Reuter, G. Roberts, S. Robson, D. Roze, F. Rousset, O. Rueppell, J. Sachs, L. Santorelli, P. Schmid Hempel, M. Schwarz, T. Scott Phillips, J. Shellmann Sherman, P. Sherman, D. Shuker, J. Smith, J. Spagna, B. Strassmann, A. Suarez, L. Sundström, M. Taborsky, P. Taylor, G. Thompson, J. Tooby, N. Tsutsui, K. Tsuji, S. Turillazzi, F. Úbeda, E. Vargo, B. Voelkl, T. Wenseleers, S. West, M. West Eberhard, D. Westneat, D. Wiernasz, G. Wild, R. Wrangham, A. Young, D. Zeh, J. Zeh, A. Zink, Nature 471 (2011) E1–E4.

Measuring the complete force field of an optical trap
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, S. Grill, Optics Letters 36 (2011) 1260–1262.

Information transmission in genetic regulatory networks a review
G. Tkacik, A. Walczak, Journal of Physics: Condensed Matter 23 (2011).

The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
H. de Vladar, N.H. Barton, Journal of the Royal Society Interface 8 (2011) 720–739.

Resolution of gene regulatory conflicts caused by combinations of antibiotics
M.T. Bollenbach, R. Kishony, Molecular Cell 42 (2011) 413–425.

Quantifying transversality by measuring the robustness of intersections
H. Edelsbrunner, D. Morozov, A. Patel, Foundations of Computational Mathematics 11 (2011) 345–361.

Persistent intersection homology
P. Bendich, J. Harer, Foundations of Computational Mathematics 11 (2011) 305–336.

Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P.J. Heisenberg, D. Kimelman, Developmental Biology 354 (2011) 102–110.

Mapping Mendelian traits in asexual progeny using changes in marker allele frequency
S. Logeswaran, N.H. Barton, Genetical Research 93 (2011) 221–232.

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.

Learning dynamic tactile sensing with robust vision based training
O. Kroemer, C. Lampert, J. Peters, IEEE Transactions on Robotics 27 (2011) 545–557.

Invited Lectures ‐ Symposia Area
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.

Natural images from the birthplace of the human eye
G. Tkačik, P. Garrigan, C. Ratliff, G. Milcinski, J. Klein, L. Seyfarth, P. Sterling, D. Brainard, V. Balasubramanian, PLoS One 6 (2011).

Interstitial locomotion of leukocytes
M.K. Sixt, Immunology Letters 138 (2011) 32–34.

Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies
A. Schrempf, S. Cremer, J. Heinze, Journal of Evolutionary Biology 24 (2011) 1455–1461.

Split based computation of majority rule supertrees
A. Kupczok, BMC Evolutionary Biology 11 (2011).

Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion
L.V. Ugelvig, P. Nielsen, J. Boomsma, D. Nash, BMC Evolutionary Biology 11 (2011).

Semi supervised kernel canonical correlation analysis with application to human fMRI
M. Blaschko, J. Shelton, A. Bartels, C. Lampert, A. Gretton, Pattern Recognition Letters 32 (2011) 1572–1583.

The relation between reproductive value and genetic contribution
N.H. Barton, A. Etheridge, Genetics 188 (2011) 953–973.

The contribution of statistical physics to evolutionary biology
H. de Vladar, N.H. Barton, Trends in Ecology and Evolution 26 (2011) 424–432.

In vivo analysis of uropod function during physiological T cell trafficking
S. Soriano, M. Hons, K. Schumann, V. Kumar, T. Dennier, R. Lyck, M.K. Sixt, J. Stein, Journal of Immunology 187 (2011) 2356–2364.

Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects
N.H. Barton, M. Turelli, American Naturalist 178 (2011) E48–E75.

Genetic drift widens the expected cline but narrows the expected cline width
J. Polechova, N.H. Barton, Genetics 189 (2011) 227–235.

Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas
F. Palero, P. Abello, E. Macpherson, M. Beaumont, M. Pascual, Biological Journal of the Linnean Society 104 (2011) 407–418.

Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
P. Stockinger, C.-P.J. Heisenberg, J.-L. Maître, Development 138 (2011) 4673–4683.

The role of adhesion energy in controlling cell-cell contacts
J.-L. Maître, C.-P.J. Heisenberg, Current Opinion in Cell Biology 23 (2011) 508–514.

Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior
S. Cremer, A. Schrempf, J. Heinze, PLoS One 6 (2011).

Modern ionotropic glutamate receptor with a K+ selectivity signature sequence
H.L. Janovjak, G. Sandoz, E. Isacoff, Nature Communications 2 (2011) 1–6.

Oct4 kinetics predict cell lineage patterning in the early mammalian embryo
N. Plachta, M.T. Bollenbach, S. Pease, S. Fraser, P. Pantazis, Nature Cell Biology 13 (2011) 117–123.

In vitro analysis of chemotactic leukocyte migration in 3D environments
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.

Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.
A. Pavan, F. Martins, F. Santos, A. Ditchfield, R.A. Fernandes Redondo, Biological Journal of the Linnean Society 102 (2011) 527–539.

Estimating linkage disequilibria
N.H. Barton, Heredity 106 (2011) 205–206.

The difference in length of curves in R^n
B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.

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.

Covering and packing with spheres by diagonal distortion in R^n
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.

Cell sorting in development
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Forces and Tension in Development, Elsevier, 2011, pp. 189–213.

Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
A. Kupczok, H. Schmidt, A. Von Haeseler, Algorithms for Molecular Biology 5 (2010).

Dendritic cell migration across basement membranes in the skin
H. Pflicke,   Dendritic Cell Migration across Basement Membranes in the Skin, IST Austria, 2010.

Why is adaptation prevented at ecological margins? New insights from individual-based simulations
J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.

Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.

A new model for evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.

Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.

Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, Handbuch Bibliothek 2.0, De Gruyter, 2010.

Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.

Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.

From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.

Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.

A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.