Please note that ISTA 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.
9096 Publications
2009 | Book | IST-REx-ID: 3707
Kernel Methods in Computer Vision
C. Lampert, Kernel Methods in Computer Vision, now publishers, 2009.
View
| DOI
C. Lampert, Kernel Methods in Computer Vision, now publishers, 2009.
2009 | Conference Paper | IST-REx-ID: 3708
Global connectivity potentials for random field models
S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 818–825.
View
| DOI
S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 818–825.
2009 | Conference Paper | IST-REx-ID: 3709
Detecting objects in large image collections and videos by efficient subimage retrieval
C. Lampert, in:, IEEE, 2009, pp. 987–994.
View
| DOI
C. Lampert, in:, IEEE, 2009, pp. 987–994.
2009 | Journal Article | IST-REx-ID: 3745
Diffusion, dimensionality, and noise in transcriptional regulation
G. Tkačik, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 79 (2009).
View
| DOI
G. Tkačik, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 79 (2009).
2009 | Journal Article | IST-REx-ID: 3775 |
On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
2009 | Conference Paper | IST-REx-ID: 3837 |
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
2009 | Conference Paper | IST-REx-ID: 3835
Synthesizing robust systems
R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 85–92.
View
| DOI
R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 85–92.
2009 | Journal Article | IST-REx-ID: 3954
Adaptive force transmission in amoeboid cell migration
J. Renkawitz, K. Schumann, M. Weber, T. Lämmermann, H. Pflicke, M. Piel, J. Polleux, J. Spatz, M.K. Sixt, Nature Cell Biology 11 (2009) 1438–1443.
View
| DOI
J. Renkawitz, K. Schumann, M. Weber, T. Lämmermann, H. Pflicke, M. Piel, J. Polleux, J. Spatz, M.K. Sixt, Nature Cell Biology 11 (2009) 1438–1443.
2009 | Journal Article | IST-REx-ID: 3952
A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo
J. Schymeinsky, R. Gerstl, I. Mannigel, K. Niedung, D. Frommhold, K. Panthel, J. Heesemann, M.K. Sixt, T. Quast, W. Kolanus, A. Mocsai, J. Wienands, M. Sperandio, B. Walzog, Blood 114 (2009) 4209–4220.
View
| DOI
J. Schymeinsky, R. Gerstl, I. Mannigel, K. Niedung, D. Frommhold, K. Panthel, J. Heesemann, M.K. Sixt, T. Quast, W. Kolanus, A. Mocsai, J. Wienands, M. Sperandio, B. Walzog, Blood 114 (2009) 4209–4220.
2009 | Journal Article | IST-REx-ID: 3953
The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo
A. Wolf, K. Eller, R. Zeiser, C. Dürr, U. Gerlach, M.K. Sixt, L. Markut, G. Gastl, A. Rosenkranz, D. Wolf, Journal of Immunology 183 (2009) 3751–3760.
View
| DOI
A. Wolf, K. Eller, R. Zeiser, C. Dürr, U. Gerlach, M.K. Sixt, L. Markut, G. Gastl, A. Rosenkranz, D. Wolf, Journal of Immunology 183 (2009) 3751–3760.
2009 | Journal Article | IST-REx-ID: 3955
Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels
H. Pflicke, M.K. Sixt, The Journal of Experimental Medicine 206 (2009) 2925–2935.
View
| DOI
H. Pflicke, M.K. Sixt, The Journal of Experimental Medicine 206 (2009) 2925–2935.
2009 | Journal Article | IST-REx-ID: 3950
Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells
M. Moser, M. Bauer, S. Schmid, R. Ruppert, S. Schmidt, M.K. Sixt, H. Wang, M. Sperandio, R. Fässler, Nature Medicine 15 (2009) 300–305.
View
| DOI
M. Moser, M. Bauer, S. Schmid, R. Ruppert, S. Schmidt, M.K. Sixt, H. Wang, M. Sperandio, R. Fässler, Nature Medicine 15 (2009) 300–305.
2009 | Journal Article | IST-REx-ID: 3951
Mechanical modes of 'amoeboid' cell migration
T. Lämmermann, M.K. Sixt, Current Opinion in Cell Biology 21 (2009) 636–644.
View
| DOI
T. Lämmermann, M.K. Sixt, Current Opinion in Cell Biology 21 (2009) 636–644.
2009 | Conference Paper | IST-REx-ID: 3968 |
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
2009 | Journal Article | IST-REx-ID: 3966
Extending persistence using Poincare and Lefschetz duality
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Foundations of Computational Mathematics 9 (2009) 79–103.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Foundations of Computational Mathematics 9 (2009) 79–103.
2009 | Conference Paper | IST-REx-ID: 3967
Persistent homology for kernels, images, and cokernels
D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, SIAM, 2009, pp. 1011–1020.
View
D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, SIAM, 2009, pp. 1011–1020.
2009 | Journal Article | IST-REx-ID: 4143
Trafficking and cell migration
F. Ulrich, C.-P.J. Heisenberg, Traffic 10 (2009) 811–818.
View
| DOI
F. Ulrich, C.-P.J. Heisenberg, Traffic 10 (2009) 811–818.
2009 | Journal Article | IST-REx-ID: 4160
Linking organ formation to left-right patterning in the embryonic zebrafish
P. Oteíza, C. Lemus, M. Köppen, K. Palma, M. Krieg, C. Melo, C. Farias, E. Pulgar, S. Preibisch, S. Hartel, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S11–S11.
View
| DOI
P. Oteíza, C. Lemus, M. Köppen, K. Palma, M. Krieg, C. Melo, C. Farias, E. Pulgar, S. Preibisch, S. Hartel, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S11–S11.
2009 | Journal Article | IST-REx-ID: 4162
Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces
P. Oteíza, M. Köppen, M. Krieg, S. Preibisch, S. Haertel, D. Müller, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S80–S80.
View
| DOI
P. Oteíza, M. Köppen, M. Krieg, S. Preibisch, S. Haertel, D. Müller, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S80–S80.
2009 | Journal Article | IST-REx-ID: 4158
Biology and physics of cell shape changes in development
E. Paluch, C.-P.J. Heisenberg, Current Biology 19 (2009) R790–R799.
View
| DOI
E. Paluch, C.-P.J. Heisenberg, Current Biology 19 (2009) R790–R799.
2009 | Journal Article | IST-REx-ID: 4159
Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis
E. Paluch, C.-P.J. Heisenberg, Developmental Cell 16 (2009) 4–6.
View
| DOI
E. Paluch, C.-P.J. Heisenberg, Developmental Cell 16 (2009) 4–6.
2009 | Journal Article | IST-REx-ID: 4206
Dorsal closure in Drosophila: cells cannot get out of the tight spot
C.-P.J. Heisenberg, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 31 (2009) 1284–1287.
View
| DOI
C.-P.J. Heisenberg, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 31 (2009) 1284–1287.
2009 | Journal Article | IST-REx-ID: 4217
Control of convergent yolk syncytial layer nuclear movement in zebrafish
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
View
| DOI
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
2009 | Journal Article | IST-REx-ID: 4231
Statistical mechanics and the evolution of polygenic quantitative traits
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
View
| DOI
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
2009 | Thesis | IST-REx-ID: 4232
Stochasticity and Variability in the dynamics and genetics of populations
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
| DOI
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
2009 | Journal Article | IST-REx-ID: 4357
Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
2009 | Conference Paper | IST-REx-ID: 4360
Combining Theories with Shared Set Operations
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.
View
| DOI
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.
2009 | Thesis | IST-REx-ID: 4363
Formalizing and Verifying Transactional Memories
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
2009 | Conference Paper | IST-REx-ID: 4375
Intra-module Inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.
View
| DOI
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.
2009 | Conference Paper | IST-REx-ID: 4377
It's Doomed; We Can Prove It
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.
View
| DOI
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.
2009 | Conference Paper | IST-REx-ID: 4383 |
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
2009 | Conference Paper | IST-REx-ID: 4385
Preventing versus curing: avoiding conflicts in transactional memories
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.
View
| DOI
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.
2009 | Conference Paper | IST-REx-ID: 4376
Parallel programming with object assemblies
R. Lublinerman, S. Chaudhuri, P. Cerny, in:, ACM, 2009, pp. 61–80.
View
| DOI
R. Lublinerman, S. Chaudhuri, P. Cerny, in:, ACM, 2009, pp. 61–80.
2009 | Conference Paper | IST-REx-ID: 4391
Automated Analysis of Java Methods for Confidentiality
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
View
| DOI
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
2009 | Conference Paper | IST-REx-ID: 4403 |
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
2009 | Conference Paper | IST-REx-ID: 4453 |
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
2009 | Conference Paper | IST-REx-ID: 4535
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
2009 | Conference Paper | IST-REx-ID: 4542 |
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
2009 | Conference Paper | IST-REx-ID: 4545 |
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
2009 | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
2009 | Conference Paper | IST-REx-ID: 4544 |
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View
| Files available
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
2009 | Conference Paper | IST-REx-ID: 4540
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
2009 | Conference Paper | IST-REx-ID: 4569 |
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
2009 | Conference Paper | IST-REx-ID: 4580 |
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
2009 | Technical Report | IST-REx-ID: 5393 |
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
2009 | Technical Report | IST-REx-ID: 5394 |
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
2009 | Technical Report | IST-REx-ID: 5392 |
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
2009 | Technical Report | IST-REx-ID: 5395 |
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
2009 | Journal Article | IST-REx-ID: 599 |
The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
View
| DOI
| Download None (ext.)
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
2009 | Journal Article | IST-REx-ID: 6144
Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
View
| DOI
| PubMed | Europe PMC
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.