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.
309 Publications
2011 | Journal Article | IST-REx-ID: 3390 |
The relation between reproductive value and genetic contribution
N.H. Barton, A. Etheridge, Genetics 188 (2011) 953–973.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, A. Etheridge, Genetics 188 (2011) 953–973.
2011 | Journal Article | IST-REx-ID: 3391 |
The contribution of statistical physics to evolutionary biology
H. de Vladar, N.H. Barton, Trends in Ecology and Evolution 26 (2011) 424–432.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
H. de Vladar, N.H. Barton, Trends in Ecology and Evolution 26 (2011) 424–432.
2011 | Journal Article | IST-REx-ID: 3397 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.-L. Maître, C.-P.J. Heisenberg, Current Opinion in Cell Biology 23 (2011) 508–514.
2011 | Journal Article | IST-REx-ID: 3405 |
Modern ionotropic glutamate receptor with a K+ selectivity signature sequence
H.L. Janovjak, G. Sandoz, E. Isacoff, Nature Communications 2 (2011) 1–6.
[Submitted Version]
View
| Files available
| DOI
H.L. Janovjak, G. Sandoz, E. Isacoff, Nature Communications 2 (2011) 1–6.
2011 | Journal Article | IST-REx-ID: 341
Morphology evolution of Cu2−xS nanoparticles: from spheres to dodecahedrons
W. Li, A. Shavel, R. Guzman, J. Rubio Garcia, C. Flox, J. Fan, D. Cadavid, M. Ibáñez, J. Arbiol, J. Morante, A. Cabot, Chemical Communications 47 (2011) 10332–10334.
View
| DOI
W. Li, A. Shavel, R. Guzman, J. Rubio Garcia, C. Flox, J. Fan, D. Cadavid, M. Ibáñez, J. Arbiol, J. Morante, A. Cabot, Chemical Communications 47 (2011) 10332–10334.
2011 | Journal Article | IST-REx-ID: 3429
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.
View
| DOI
N. Plachta, M.T. Bollenbach, S. Pease, S. Fraser, P. Pantazis, Nature Cell Biology 13 (2011) 117–123.
2011 | Journal Article | IST-REx-ID: 3505 |
In vitro analysis of chemotactic leukocyte migration in 3D environments
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
2011 | Journal Article | IST-REx-ID: 3784 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Palero, G. Guerao, P. Clark, P. Abello, Journal of the Marine Biological Association of the United Kingdom 91 (2011) 485–492.
2011 | Journal Article | IST-REx-ID: 3781
The difference in length of curves in R^n
B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.
View
B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.
2011 | Book Chapter | IST-REx-ID: 3796 |
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.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.
2011 | Journal Article | IST-REx-ID: 3381 |
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.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, IJFCS: International Journal of Foundations of Computer Science 22 (2011) 823–841.
2011 | Journal Article | IST-REx-ID: 386 |
STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3
Z. Alpichshev, J.G. Analytis, J.H. Chu, I.R. Fisher, A. Kapitulnik, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Alpichshev, J.G. Analytis, J.H. Chu, I.R. Fisher, A. Kapitulnik, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
2011 | Journal Article | IST-REx-ID: 3315 |
Timed parity games: Complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
2011 | Journal Article | IST-REx-ID: 3965
Computing elevation maxima by searching the Gauss sphere
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
View
| DOI
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
2011 | Journal Article | IST-REx-ID: 3086
Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers
M. Furutani, N. Sakamoto, S. Yoshida, T. Kajiwara, H. Robert, J. Friml, M. Tasaka, Development 138 (2011) 2069–2078.
View
| DOI
M. Furutani, N. Sakamoto, S. Yoshida, T. Kajiwara, H. Robert, J. Friml, M. Tasaka, Development 138 (2011) 2069–2078.
2011 | Journal Article | IST-REx-ID: 3087
Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis
S. Kitakura, S. Vanneste, S. Robert, C. Löfke, T. Teichmann, H. Tanaka, J. Friml, Plant Cell 23 (2011) 1920–1931.
View
| DOI
S. Kitakura, S. Vanneste, S. Robert, C. Löfke, T. Teichmann, H. Tanaka, J. Friml, Plant Cell 23 (2011) 1920–1931.
2011 | Journal Article | IST-REx-ID: 3085
Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis
Z. Ding, C. Galván Ampudia, E. Demarsy, Ł. Łangowski, J. Kleine Vehn, Y. Fan, M. Morita, M. Tasaka, C. Fankhauser, R. Offringa, J. Friml, Nature Cell Biology 13 (2011) 447–453.
View
| DOI
Z. Ding, C. Galván Ampudia, E. Demarsy, Ł. Łangowski, J. Kleine Vehn, Y. Fan, M. Morita, M. Tasaka, C. Fankhauser, R. Offringa, J. Friml, Nature Cell Biology 13 (2011) 447–453.
2011 | Journal Article | IST-REx-ID: 3084
PIN polarity maintenance by the cell wall in Arabidopsis
E. Feraru, M. Feraru, J. Kleine Vehn, A. Martinière, G. Mouille, S. Vanneste, S. Vernhettes, J. Runions, J. Friml, Current Biology 21 (2011) 338–343.
View
| DOI
E. Feraru, M. Feraru, J. Kleine Vehn, A. Martinière, G. Mouille, S. Vanneste, S. Vernhettes, J. Runions, J. Friml, Current Biology 21 (2011) 338–343.
2011 | Journal Article | IST-REx-ID: 3082
Competitive canalization of PIN dependent auxin flow from axillary buds controls pea bud outgrowth
J. Balla, P. Kalousek, V. Reinöhl, J. Friml, S. Procházka, Plant Journal 65 (2011) 571–577.
View
| DOI
J. Balla, P. Kalousek, V. Reinöhl, J. Friml, S. Procházka, Plant Journal 65 (2011) 571–577.
2011 | Journal Article | IST-REx-ID: 3083
ARF1 localizes to the golgi and the trans Golgi network
D. Robinson, D. Scheuring, S. Naramoto, J. Friml, Plant Cell 23 (2011) 846–849.
View
| DOI
D. Robinson, D. Scheuring, S. Naramoto, J. Friml, Plant Cell 23 (2011) 846–849.
2011 | Journal Article | IST-REx-ID: 3101 |
The AP 3 adaptor complex is required for vacuolar function in Arabidopsis
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
View
| DOI
| Download (ext.)
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
2011 | Journal Article | IST-REx-ID: 3098
Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane
J. Kleine Vehn, K.T. Wabnik, A. Martinière, Ł. Łangowski, K. Willig, S. Naramoto, J. Leitner, H. Tanaka, S. Jakobs, S. Robert, C. Luschnig, W. Govaerts, S. Hell, J. Runions, J. Friml, Molecular Systems Biology 7 (2011).
View
| DOI
J. Kleine Vehn, K.T. Wabnik, A. Martinière, Ł. Łangowski, K. Willig, S. Naramoto, J. Leitner, H. Tanaka, S. Jakobs, S. Robert, C. Luschnig, W. Govaerts, S. Hell, J. Runions, J. Friml, Molecular Systems Biology 7 (2011).
2011 | Journal Article | IST-REx-ID: 3100 |
Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis
S. Vanneste, F. Coppens, E. Lee, T. Donner, Z. Xie, G. Van Isterdael, S. Dhondt, F. De Winter, B. De Rybel, M. Vuylsteke, L. De Veylder, J. Friml, D. Inzé, E. Grotewold, E. Scarpella, F. Sack, G. Beemster, T. Beeckman, EMBO Journal 30 (2011) 3430–3441.
View
| DOI
| Download (ext.)
S. Vanneste, F. Coppens, E. Lee, T. Donner, Z. Xie, G. Van Isterdael, S. Dhondt, F. De Winter, B. De Rybel, M. Vuylsteke, L. De Veylder, J. Friml, D. Inzé, E. Grotewold, E. Scarpella, F. Sack, G. Beemster, T. Beeckman, EMBO Journal 30 (2011) 3430–3441.
2011 | Journal Article | IST-REx-ID: 3099
Clusters of bioactive compounds target dynamic endomembrane networks in vivo
G. Drakakaki, S. Robert, A. Szatmári, M. Brown, S. Nagawa, D. Van Damme, M. Leonard, Z. Yang, T. Girke, S. Schmid, E. Russinova, J. Friml, N. Raikhel, G. Hicks, PNAS 108 (2011) 17850–17855.
View
| DOI
G. Drakakaki, S. Robert, A. Szatmári, M. Brown, S. Nagawa, D. Van Damme, M. Leonard, Z. Yang, T. Girke, S. Schmid, E. Russinova, J. Friml, N. Raikhel, G. Hicks, PNAS 108 (2011) 17850–17855.
2011 | Journal Article | IST-REx-ID: 3095
Auxin minimum defines a developmental window for lateral root initiation
J. Dubrovsky, S. Napsucialy Mendivil, J. Duclercq, Y. Cheng, S. Shishkova, M. Ivanchenko, J. Friml, A. Murphy, E. Benková, New Phytologist 191 (2011) 970–983.
View
| DOI
J. Dubrovsky, S. Napsucialy Mendivil, J. Duclercq, Y. Cheng, S. Shishkova, M. Ivanchenko, J. Friml, A. Murphy, E. Benková, New Phytologist 191 (2011) 970–983.
2011 | Journal Article | IST-REx-ID: 3097
Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis
P. Marhavý, A. Bielach, L. Abas, A. Abuzeineh, J. Duclercq, H. Tanaka, M. Pařezová, J. Petrášek, J. Friml, J. Kleine Vehn, E. Benková, Developmental Cell 21 (2011) 796–804.
View
| DOI
P. Marhavý, A. Bielach, L. Abas, A. Abuzeineh, J. Duclercq, H. Tanaka, M. Pařezová, J. Petrášek, J. Friml, J. Kleine Vehn, E. Benková, Developmental Cell 21 (2011) 796–804.
2011 | Journal Article | IST-REx-ID: 3096
Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization
K.T. Wabnik, J. Kleine Vehn, W. Govaerts, J. Friml, Trends in Plant Science 16 (2011) 468–475.
View
| DOI
K.T. Wabnik, J. Kleine Vehn, W. Govaerts, J. Friml, Trends in Plant Science 16 (2011) 468–475.
2011 | Journal Article | IST-REx-ID: 3138
Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity
D. Sullivan, J.L. Csicsvari, K. Mizuseki, S. Montgomery, K. Diba, G. Buzsáki, Journal of Neuroscience 31 (2011) 8605–8616.
View
| DOI
D. Sullivan, J.L. Csicsvari, K. Mizuseki, S. Montgomery, K. Diba, G. Buzsáki, Journal of Neuroscience 31 (2011) 8605–8616.
2011 | Journal Article | IST-REx-ID: 3145
Site specific integrase mediated transgenesis in mice via pronuclear injection
B. Tasic, S. Hippenmeyer, C. Wang, M. Gamboa, H. Zong, Y. Chen Tsai, L. Luo, PNAS 108 (2011) 7902–7907.
View
| DOI
B. Tasic, S. Hippenmeyer, C. Wang, M. Gamboa, H. Zong, Y. Chen Tsai, L. Luo, PNAS 108 (2011) 7902–7907.
2011 | Journal Article | IST-REx-ID: 3154
Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion
M. Degennaro, T. Hurd, D.E. Siekhaus, B. Biteau, H. Jasper, R. Lehmann, Developmental Cell 20 (2011) 233–243.
View
| DOI
M. Degennaro, T. Hurd, D.E. Siekhaus, B. Biteau, H. Jasper, R. Lehmann, Developmental Cell 20 (2011) 233–243.
2011 | Conference Paper | IST-REx-ID: 3239
Tamper proof circuits How to trade leakage for tamper resilience
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.
View
| DOI
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.
2011 | Conference Paper | IST-REx-ID: 3236
Parallel repetition for leakage resilience amplification revisited
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
View
| DOI
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
2011 | Journal Article | IST-REx-ID: 3276 |
Fast, scalable, Bayesian spike identification for multi-electrode arrays
J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, P. Nelson, PLoS One 6 (2011).
View
| Files available
| DOI
J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, P. Nelson, PLoS One 6 (2011).
2011 | Book Chapter | IST-REx-ID: 3271
Efficient computation of persistent homology for cubical data
H. Wagner, C. Chen, E. Vuçini, in:, R. Peikert, H. Hauser, H. Carr, R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II, Springer, 2011, pp. 91–106.
View
| DOI
H. Wagner, C. Chen, E. Vuçini, in:, R. Peikert, H. Hauser, H. Carr, R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II, Springer, 2011, pp. 91–106.
2011 | Journal Article | IST-REx-ID: 3278
A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade
R. Vila, N. Pierce, D. Nash, L.V. Ugelvig, Molecular Phylogenetics and Evolution 61 (2011) 237–243.
View
| DOI
R. Vila, N. Pierce, D. Nash, L.V. Ugelvig, Molecular Phylogenetics and Evolution 61 (2011) 237–243.
2011 | Conference Paper | IST-REx-ID: 3270
Persistent homology computation with a twist
C. Chen, M. Kerber, in:, TU Dortmund, 2011, pp. 197–200.
View
C. Chen, M. Kerber, in:, TU Dortmund, 2011, pp. 197–200.
2011 | Conference Paper | IST-REx-ID: 3298 |
Hybrid smoothed particle hydrodynamics
K. Raveendran, C. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
[Submitted Version]
View
| Files available
| DOI
K. Raveendran, C. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
2011 | Conference Paper | IST-REx-ID: 3297 |
Liquid simulation with mesh-based surface tracking
C. Wojtan, M. Müller Fischer, T. Brochu, in:, ACM, 2011.
[Published Version]
View
| Files available
| DOI
C. Wojtan, M. Müller Fischer, T. Brochu, in:, ACM, 2011.
2011 | Journal Article | IST-REx-ID: 3290 |
A general method for calculating likelihoods under the coalescent process
K. Lohse, R. Harrison, N.H. Barton, Genetics 189 (2011) 977–987.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Lohse, R. Harrison, N.H. Barton, Genetics 189 (2011) 977–987.
2011 | Conference Poster | IST-REx-ID: 3312 |
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.
[Submitted Version]
View
| Files available
| DOI
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, P. Benfey, Detailed Reconstruction of 3D Plant Root Shape, IEEE, 2011.
2011 | Conference Paper | IST-REx-ID: 3313 |
Diffusion runs low on persistence fast
C. Chen, H. Edelsbrunner, in:, Proceedings of the IEEE International Conference on Computer Vision, IEEE, 2011.
[Submitted Version]
View
| Files available
| DOI
C. Chen, H. Edelsbrunner, in:, Proceedings of the IEEE International Conference on Computer Vision, IEEE, 2011.
2011 | Book Chapter | IST-REx-ID: 3311 |
Alpha shapes - a survey
H. Edelsbrunner, in:, R. van de Weygaert, G. Vegter, J. Ritzerveld, V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, Springer, n.d.
[Submitted Version]
View
| Files available
H. Edelsbrunner, in:, R. van de Weygaert, G. Vegter, J. Ritzerveld, V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, Springer, n.d.
2011 | Conference Paper | IST-REx-ID: 3326 |
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
[Submitted Version]
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
2011 | Conference Paper | IST-REx-ID: 3325
Streaming transducers for algorithmic verification of single pass list processing programs
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.
View
| DOI
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.
2011 | Conference Paper | IST-REx-ID: 3324 |
Decision procedures for automating termination proofs
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
2011 | Conference Paper | IST-REx-ID: 3327
Co-Büching them all
U. Boker, O. Kupferman, in:, M. Hofmann (Ed.), Springer, 2011, pp. 184–198.
View
| DOI
U. Boker, O. Kupferman, in:, M. Hofmann (Ed.), Springer, 2011, pp. 184–198.
2011 | Conference Paper | IST-REx-ID: 3337
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.
View
| DOI
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, J. Peters, in:, IEEE, 2011, pp. 332–337.
2011 | Preprint | IST-REx-ID: 3339 |
Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
K. Chatterjee, L. De Alfaro, R. Pritam, ArXiv (2011).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. De Alfaro, R. Pritam, ArXiv (2011).
2011 | Conference Paper | IST-REx-ID: 3342 |
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M.H. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
2011 | Conference Paper | IST-REx-ID: 3347 |
Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
2011 | Conference Paper | IST-REx-ID: 3346 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
2011 | Conference Paper | IST-REx-ID: 3348 |
Synthesis of memory efficient real time controllers for safety objectives
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.
2011 | Conference Paper | IST-REx-ID: 3344
Graph games with reachability objectives
K. Chatterjee, in:, G. Delzanno, I. Potapov (Eds.), Springer, 2011, pp. 1–1.
View
| DOI
K. Chatterjee, in:, G. Delzanno, I. Potapov (Eds.), Springer, 2011, pp. 1–1.
2011 | Conference Paper | IST-REx-ID: 3343 |
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M.H. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, M.H. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
2011 | Conference Paper | IST-REx-ID: 3360 |
Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
2011 | Conference Paper | IST-REx-ID: 3361 |
The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.
2011 | Conference Paper | IST-REx-ID: 3358 |
Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
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
P. Cerny, T.A. Henzinger, in:, ACM, 2011, pp. 149–154.
2011 | Conference Paper | IST-REx-ID: 3357
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.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.
2011 | Journal Article | IST-REx-ID: 336
Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods
M. Ibáñez, P. Guardia, A. Shavel, D. Cadavid, J. Arbiol, J. Morante, A. Cabot, Journal of Physical Chemistry C 115 (2011) 7947–7955.
View
| DOI
M. Ibáñez, P. Guardia, A. Shavel, D. Cadavid, J. Arbiol, J. Morante, A. Cabot, Journal of Physical Chemistry C 115 (2011) 7947–7955.
2011 | Journal Article | IST-REx-ID: 3379 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P.J. Heisenberg, D. Kimelman, Developmental Biology 354 (2011) 102–110.
2011 | Journal Article | IST-REx-ID: 3376 |
Resolution of gene regulatory conflicts caused by combinations of antibiotics
M.T. Bollenbach, R. Kishony, Molecular Cell 42 (2011) 413–425.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M.T. Bollenbach, R. Kishony, Molecular Cell 42 (2011) 413–425.
2011 | Journal Article | IST-REx-ID: 3380 |
Mapping Mendelian traits in asexual progeny using changes in marker allele frequency
S. Logeswaran, N.H. Barton, Genetical Research 93 (2011) 221–232.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Logeswaran, N.H. Barton, Genetical Research 93 (2011) 221–232.
2011 | Journal Article | IST-REx-ID: 3377 |
Quantifying transversality by measuring the robustness of intersections
H. Edelsbrunner, D. Morozov, A. Patel, Foundations of Computational Mathematics 11 (2011) 345–361.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
H. Edelsbrunner, D. Morozov, A. Patel, Foundations of Computational Mathematics 11 (2011) 345–361.
2011 | Journal Article | IST-REx-ID: 3378
Persistent intersection homology
P. Bendich, J. Harer, Foundations of Computational Mathematics 11 (2011) 305–336.
View
| DOI
P. Bendich, J. Harer, Foundations of Computational Mathematics 11 (2011) 305–336.
2011 | Journal Article | IST-REx-ID: 3388 |
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).
[Published Version]
View
| Files available
| DOI
L.V. Ugelvig, P. Nielsen, J. Boomsma, D. Nash, BMC Evolutionary Biology 11 (2011).
2011 | Journal Article | IST-REx-ID: 3384 |
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).
[Published Version]
View
| Files available
| DOI
G. Tkačik, P. Garrigan, C. Ratliff, G. Milcinski, J. Klein, L. Seyfarth, P. Sterling, D. Brainard, V. Balasubramanian, PLoS One 6 (2011).
2011 | Journal Article | IST-REx-ID: 3387 |
Split based computation of majority rule supertrees
A. Kupczok, BMC Evolutionary Biology 11 (2011).
[Published Version]
View
| Files available
| DOI
A. Kupczok, BMC Evolutionary Biology 11 (2011).
2011 | Journal Article | IST-REx-ID: 3389
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.
View
| DOI
M. Blaschko, J. Shelton, A. Bartels, C. Lampert, A. Gretton, Pattern Recognition Letters 32 (2011) 1572–1583.
2011 | Journal Article | IST-REx-ID: 3382
Learning dynamic tactile sensing with robust vision based training
O. Kroemer, C. Lampert, J. Peters, IEEE Transactions on Robotics 27 (2011) 545–557.
View
| DOI
O. Kroemer, C. Lampert, J. Peters, IEEE Transactions on Robotics 27 (2011) 545–557.
2011 | Journal Article | IST-REx-ID: 3386
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.
View
| DOI
A. Schrempf, S. Cremer, J. Heinze, Journal of Evolutionary Biology 24 (2011) 1455–1461.
2011 | Journal Article | IST-REx-ID: 3385
Interstitial locomotion of leukocytes
M.K. Sixt, Immunology Letters 138 (2011) 32–34.
View
| DOI
M.K. Sixt, Immunology Letters 138 (2011) 32–34.
2011 | Journal Article | IST-REx-ID: 3383
Invited Lectures ‐ Symposia Area
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.
View
| DOI
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.
2011 | Journal Article | IST-REx-ID: 3399 |
Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior
S. Cremer, A. Schrempf, J. Heinze, PLoS One 6 (2011).
[Published Version]
View
| Files available
| DOI
S. Cremer, A. Schrempf, J. Heinze, PLoS One 6 (2011).
2011 | Journal Article | IST-REx-ID: 3401
The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source
S. Little, G. Tkačik, T. Kneeland, E. Wieschaus, T. Gregor, PLoS Biology 9 (2011).
View
| DOI
S. Little, G. Tkačik, T. Kneeland, E. Wieschaus, T. Gregor, PLoS Biology 9 (2011).
2011 | Book Chapter | IST-REx-ID: 3724
Structure-based design of light-controlled proteins
H.L. Janovjak, E. Isacoff, in:, Photosensitive Molecules for the Control of Biological Function, Springer, 2011, pp. 233–266.
View
| DOI
H.L. Janovjak, E. Isacoff, in:, Photosensitive Molecules for the Control of Biological Function, Springer, 2011, pp. 233–266.
2011 | Journal Article | IST-REx-ID: 3770
The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis)
C. Hollatz, S. Vilaça, R.A. Fernandes Redondo, M. Marmontel, C. Baker, F. Santos, Biological Journal of the Linnean Society 102 (2011) 812–827.
View
| DOI
C. Hollatz, S. Vilaça, R.A. Fernandes Redondo, M. Marmontel, C. Baker, F. Santos, Biological Journal of the Linnean Society 102 (2011) 812–827.
2011 | Journal Article | IST-REx-ID: 3771
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.
View
| DOI
A. Pavan, F. Martins, F. Santos, A. Ditchfield, R.A. Fernandes Redondo, Biological Journal of the Linnean Society 102 (2011) 527–539.
2011 | Journal Article | IST-REx-ID: 3778 |
Estimating linkage disequilibria
N.H. Barton, Heredity 106 (2011) 205–206.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Heredity 106 (2011) 205–206.
2011 | Book Chapter | IST-REx-ID: 3791
Cell sorting in development
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Forces and Tension in Development, Elsevier, 2011, pp. 189–213.
View
| DOI
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Forces and Tension in Development, Elsevier, 2011, pp. 189–213.
2011 | Journal Article | IST-REx-ID: 3364 |
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, Theoretical Computer Science 412 (2011) 2128–2141.
[Submitted Version]
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, Theoretical Computer Science 412 (2011) 2128–2141.
2011 | Journal Article | IST-REx-ID: 469 |
Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
N. Vyleta, S. Smith, European Journal of Neuroscience 31 (2011) 4593–4606.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
N. Vyleta, S. Smith, European Journal of Neuroscience 31 (2011) 4593–4606.
2011 | Journal Article | IST-REx-ID: 490 |
BioSig: The free and open source software library for biomedical signal processing
A. Schlögl, C. Vidaurre, T. Sander, Computational Intelligence and Neuroscience 2011 (2011).
[Published Version]
View
| Files available
| DOI
A. Schlögl, C. Vidaurre, T. Sander, Computational Intelligence and Neuroscience 2011 (2011).
2011 | Journal Article | IST-REx-ID: 491
Setting the clock for recirculating lymphocytes
A. Eichner, M.K. Sixt, Science Signaling 4 (2011).
View
| DOI
A. Eichner, M.K. Sixt, Science Signaling 4 (2011).
2011 | Journal Article | IST-REx-ID: 518 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
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.
2011 | Journal Article | IST-REx-ID: 531 |
Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
2011 | Technical Report | IST-REx-ID: 5379 |
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
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.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
2011 | Technical Report | IST-REx-ID: 5380 |
Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
2011 | Technical Report | IST-REx-ID: 5382 |
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
2011 | Preprint | IST-REx-ID: 3338 |
Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (2011) 1–51.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
K. Chatterjee, ArXiv (2011) 1–51.
2011 | Conference Paper | IST-REx-ID: 3356 |
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.
[Submitted Version]
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.
2011 | Technical Report | IST-REx-ID: 5385 |
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
2011 | Technical Report | IST-REx-ID: 5386 |
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.
[Published Version]
View
| Files available
| DOI
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
2011 | Technical Report | IST-REx-ID: 5383 |
On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
2011 | Technical Report | IST-REx-ID: 5384 |
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
2011 | Conference Paper | IST-REx-ID: 3336
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.
View
| Files available
| DOI
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
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
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
2011 | Conference Paper | IST-REx-ID: 3366 |
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.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.
2011 | Conference Paper | IST-REx-ID: 3345 |
Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.