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
2010 | Conference Paper | IST-REx-ID: 3866 |
Robustness in the presence of liveness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
[Submitted Version]
View
| Files available
| DOI
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
2010 | Journal Article | IST-REx-ID: 3868 |
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
2010 | Book | IST-REx-ID: 3899
Computational Topology: An Introduction
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
View
| Files available
| DOI
| Download None (ext.)
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
2010 | Journal Article | IST-REx-ID: 3963
Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator
M. Streinzer, T. Ellis, H. Paulus, J. Spaethe, Arthropod-Plant Interactions 4 (2010) 141–148.
View
| DOI
M. Streinzer, T. Ellis, H. Paulus, J. Spaethe, Arthropod-Plant Interactions 4 (2010) 141–148.
2010 | Journal Article | IST-REx-ID: 3959
Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells
K. Schumann, T. Lämmermann, M. Bruckner, D. Legler, J. Polleux, J. Spatz, G. Schuler, R. Förster, M. Lutz, L. Sorokin, M.K. Sixt, Immunity 32 (2010) 703–713.
View
| DOI
K. Schumann, T. Lämmermann, M. Bruckner, D. Legler, J. Polleux, J. Spatz, G. Schuler, R. Förster, M. Lutz, L. Sorokin, M.K. Sixt, Immunity 32 (2010) 703–713.
2010 | Journal Article | IST-REx-ID: 3958
Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells
H. Mohan, M. Krumbholz, R. Sharma, S. Eisele, A. Junker, M.K. Sixt, J. Newcombe, H. Wekerle, R. Hohlfeld, H. Lassmann, E. Meinl, Brain Pathology 20 (2010) 966–975.
View
| DOI
H. Mohan, M. Krumbholz, R. Sharma, S. Eisele, A. Junker, M.K. Sixt, J. Newcombe, H. Wekerle, R. Hohlfeld, H. Lassmann, E. Meinl, Brain Pathology 20 (2010) 966–975.
2010 | Journal Article | IST-REx-ID: 3961
Mechanisms of force generation and force transmission during interstitial leukocyte migration
J. Renkawitz, M.K. Sixt, EMBO Reports 11 (2010) 744–750.
View
| DOI
J. Renkawitz, M.K. Sixt, EMBO Reports 11 (2010) 744–750.
2010 | Journal Article | IST-REx-ID: 3960 |
MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
View
| DOI
| Download (ext.)
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
2010 | Journal Article | IST-REx-ID: 3964
Lipschitz functions have L_p-stable persistence
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Y. Mileyko, Foundations of Computational Mathematics 10 (2010) 127–139.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Y. Mileyko, Foundations of Computational Mathematics 10 (2010) 127–139.
2010 | Journal Article | IST-REx-ID: 3957
Lifeact mice for studying F-actin dynamics
J. Riedl, K. Flynn, A. Raducanu, F.R. Gärtner, G. Beck, M. Bosl, F. Bradke, S. Massberg, A. Aszodi, M.K. Sixt, R. Wedlich Söldner, Nature Methods 7 (2010) 168–169.
View
| DOI
J. Riedl, K. Flynn, A. Raducanu, F.R. Gärtner, G. Beck, M. Bosl, F. Bradke, S. Massberg, A. Aszodi, M.K. Sixt, R. Wedlich Söldner, Nature Methods 7 (2010) 168–169.
2010 | Journal Article | IST-REx-ID: 4134
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.
View
| DOI
J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.
2010 | Journal Article | IST-REx-ID: 4163
Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ
P. Oteíza, M. Koeppen, M. Krieg, E. Pulgar, C. Farias, C. Melo, S. Preibisch, D. Mueller, M. Tada, S. Hartel, C.-P.J. Heisenberg, M. Concha, Development 137 (2010) 3459–3468.
View
| DOI
P. Oteíza, M. Koeppen, M. Krieg, E. Pulgar, C. Farias, C. Melo, S. Preibisch, D. Mueller, M. Tada, S. Hartel, C.-P.J. Heisenberg, M. Concha, Development 137 (2010) 3459–3468.
2010 | Journal Article | IST-REx-ID: 4243 |
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.
[Published Version]
View
| Files available
| DOI
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
2010 | Other Publication | IST-REx-ID: 4340 |
Open bibliographic data
P. Danowski, Open Bibliographic Data, Elsevier, 2010.
View
| Files available
| Download None (ext.)
P. Danowski, Open Bibliographic Data, Elsevier, 2010.
2010 | Book (Editor) | IST-REx-ID: 4346 |
Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, eds., Handbuch Bibliothek 2.0, De Gruyter, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Danowski, J. Bergmann, eds., Handbuch Bibliothek 2.0, De Gruyter, 2010.
2010 | Conference Paper | IST-REx-ID: 4341
Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data
P. Danowski, in:, IFLA, 2010.
View
| Download (ext.)
P. Danowski, in:, IFLA, 2010.
2010 | Conference Paper | IST-REx-ID: 4369 |
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
[Submitted Version]
View
| Files available
| DOI
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
2010 | Conference Paper | IST-REx-ID: 4364
Counterexample-guided focus
A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.
View
| DOI
A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.
2010 | Journal Article | IST-REx-ID: 3068
Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid
K. Růžička, L. Strader, A. Bailly, H. Yang, J. Blakeslee, Ł. Łangowski, E. Nejedlá, H. Fujita, H. Itoh, K. Syōno, J. Hejátko, W. Gray, E. Martinoia, M. Geisler, B. Bartel, A. Murphy, J. Friml, PNAS 107 (2010) 10749–10753.
View
| DOI
K. Růžička, L. Strader, A. Bailly, H. Yang, J. Blakeslee, Ł. Łangowski, E. Nejedlá, H. Fujita, H. Itoh, K. Syōno, J. Hejátko, W. Gray, E. Martinoia, M. Geisler, B. Bartel, A. Murphy, J. Friml, PNAS 107 (2010) 10749–10753.
2010 | Journal Article | IST-REx-ID: 3067
Probing plant membranes with FM dyes: Tracking dragging or blocking?
A. Jelínková, K. Malínská, S. Simon, J. Kleine Vehn, M. Pařezová, P. Pejchar, M. Kubeš, J. Martinec, J. Friml, E. Zažímalová, J. Petrášek, Plant Journal 61 (2010) 883–892.
View
| DOI
A. Jelínková, K. Malínská, S. Simon, J. Kleine Vehn, M. Pařezová, P. Pejchar, M. Kubeš, J. Martinec, J. Friml, E. Zažímalová, J. Petrášek, Plant Journal 61 (2010) 883–892.
2010 | Journal Article | IST-REx-ID: 3065
Role of PIN-mediated auxin efflux in apical hook development of Arabidopsis thaliana
P. Žádníková, J. Petrášek, P. Marhavý, V. Raz, F. Vandenbussche, Z. Ding, K. Schwarzerová, M. Morita, M. Tasaka, J. Hejátko, D. Van Der Straeten, J. Friml, E. Benková, Development 137 (2010) 607–617.
View
| DOI
P. Žádníková, J. Petrášek, P. Marhavý, V. Raz, F. Vandenbussche, Z. Ding, K. Schwarzerová, M. Morita, M. Tasaka, J. Hejátko, D. Van Der Straeten, J. Friml, E. Benková, Development 137 (2010) 607–617.
2010 | Journal Article | IST-REx-ID: 3064
PIN phosphorylation is sufficient to mediate PIN polarity and direct auxin transport
J. Zhang, T. Nodzyński, A. Pěnčík, J. Rolčík, J. Friml, PNAS 107 (2010) 918–922.
View
| DOI
J. Zhang, T. Nodzyński, A. Pěnčík, J. Rolčík, J. Friml, PNAS 107 (2010) 918–922.
2010 | Journal Article | IST-REx-ID: 3066
Trafficking to the outer polar domain defines the root soil interface
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, J. Friml, Current Biology 20 (2010) 904–908.
View
| DOI
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, J. Friml, Current Biology 20 (2010) 904–908.
2010 | Journal Article | IST-REx-ID: 3070
The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo
T. Nawy, M. Bayer, J. Mravec, J. Friml, K. Birnbaum, W. Lukowitz, Developmental Cell 19 (2010) 103–113.
View
| DOI
T. Nawy, M. Bayer, J. Mravec, J. Friml, K. Birnbaum, W. Lukowitz, Developmental Cell 19 (2010) 103–113.
2010 | Journal Article | IST-REx-ID: 3069
Auxin regulates distal stem cell differentiation in Arabidopsis roots
Z. Ding, J. Friml, PNAS 107 (2010) 12046–12051.
View
| DOI
Z. Ding, J. Friml, PNAS 107 (2010) 12046–12051.
2010 | Journal Article | IST-REx-ID: 3063
Subcellular trafficking of PIN auxin efflux carriers in auxin transport
J. Friml, European Journal of Cell Biology 89 (2010) 231–235.
View
| DOI
J. Friml, European Journal of Cell Biology 89 (2010) 231–235.
2010 | Journal Article | IST-REx-ID: 3081
ADP ribosylation factor machinery mediates endocytosis in plant cells
S. Naramoto, J. Kleine Vehn, S. Robert, M. Fujimoto, T. Dainobu, T. Paciorek, T. Ueda, A. Nakano, M. Van Montagu, H. Fukuda, J. Friml, PNAS 107 (2010) 21890–21895.
View
| DOI
S. Naramoto, J. Kleine Vehn, S. Robert, M. Fujimoto, T. Dainobu, T. Paciorek, T. Ueda, A. Nakano, M. Van Montagu, H. Fukuda, J. Friml, PNAS 107 (2010) 21890–21895.
2010 | Journal Article | IST-REx-ID: 3080
Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells
J. Kleine Vehn, Z. Ding, A. Jones, M. Tasaka, M. Morita, J. Friml, PNAS 107 (2010) 22344–22349.
View
| DOI
J. Kleine Vehn, Z. Ding, A. Jones, M. Tasaka, M. Morita, J. Friml, PNAS 107 (2010) 22344–22349.
2010 | Journal Article | IST-REx-ID: 3153
RhoL controls invasion and Rap1 localization during immune cell transmigration in Drosophila
D.E. Siekhaus, M. Haesemeyer, O. Moffitt, R. Lehmann, Nature Cell Biology 12 (2010) 605–610.
View
| Download (ext.)
D.E. Siekhaus, M. Haesemeyer, O. Moffitt, R. Lehmann, Nature Cell Biology 12 (2010) 605–610.
2010 | Conference Paper | IST-REx-ID: 3201
Cosegmentation revisited: Models and optimization
S. Vicente, V. Kolmogorov, C. Rother, in:, Springer, 2010, pp. 465–479.
View
| DOI
| Download (ext.)
S. Vicente, V. Kolmogorov, C. Rother, in:, Springer, 2010, pp. 465–479.
2010 | Conference Paper | IST-REx-ID: 3237
Leakage resilient ElGamal encryption
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2010, pp. 595–612.
View
| DOI
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2010, pp. 595–612.
2010 | Conference Paper | IST-REx-ID: 3235
Leakage resilient pseudorandom functions and side channel attacks on feistel networks
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2010, pp. 21–40.
View
| DOI
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2010, pp. 21–40.
2010 | Conference Paper | IST-REx-ID: 3234
Leakage resilient signatures
S. Faust, E. Kiltz, K.Z. Pietrzak, G. Rothblum, in:, Springer, 2010, pp. 343–360.
View
| DOI
S. Faust, E. Kiltz, K.Z. Pietrzak, G. Rothblum, in:, Springer, 2010, pp. 343–360.
2010 | Conference Paper | IST-REx-ID: 3233
An efficient parallel repetition theorem
J. Håstad, R. Pass, D. Wikström, K.Z. Pietrzak, in:, Springer, 2010, pp. 1–18.
View
| DOI
J. Håstad, R. Pass, D. Wikström, K.Z. Pietrzak, in:, Springer, 2010, pp. 1–18.
2010 | Conference Paper | IST-REx-ID: 2934
Generalized roof duality and bisubmodular functions
V. Kolmogorov, in:, Neural Information Processing Systems, 2010.
View
| Files available
V. Kolmogorov, in:, Neural Information Processing Systems, 2010.
2010 | Journal Article | IST-REx-ID: 3294
Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila
A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, O. Siddiqi, PNAS 107 (2010) 9855–60.
View
| DOI
A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, O. Siddiqi, PNAS 107 (2010) 9855–60.
2010 | Thesis | IST-REx-ID: 3296
Animating physical phenomena with embedded surface meshes
C. Wojtan, Animating Physical Phenomena with Embedded Surface Meshes, Georgia Institute of Technology, 2010.
View
| Download None (ext.)
C. Wojtan, Animating Physical Phenomena with Embedded Surface Meshes, Georgia Institute of Technology, 2010.
2010 | Journal Article | IST-REx-ID: 3306 |
Commuting birth and death processes
S. Evans, B. Sturmfels, C. Uhler, The Annals of Applied Probability 20 (2010) 238–266.
View
| DOI
| Download (ext.)
S. Evans, B. Sturmfels, C. Uhler, The Annals of Applied Probability 20 (2010) 238–266.
2010 | Journal Article | IST-REx-ID: 3308 |
Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry
B. Sturmfels, C. Uhler, Annals of the Institute of Statistical Mathematics 62 (2010) 603–638.
View
| DOI
| Download (ext.)
B. Sturmfels, C. Uhler, Annals of the Institute of Statistical Mathematics 62 (2010) 603–638.
2010 | Journal Article | IST-REx-ID: 3402
Model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, Distributed Computing 22 (2010) 129–145.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, Distributed Computing 22 (2010) 129–145.
2010 | Book Review | IST-REx-ID: 3403
Rate remapping: When the code goes beyond space (preview)
B. Pleydell Bouverie, J.L. Csicsvari, Neuron 68 (2010) 1015–1016.
View
| DOI
B. Pleydell Bouverie, J.L. Csicsvari, Neuron 68 (2010) 1015–1016.
2010 | Conference Paper | IST-REx-ID: 3430 |
Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics
G. Tkačik, in:, Elsevier, 2010.
View
| Download (ext.)
G. Tkačik, in:, Elsevier, 2010.
2010 | Journal Article | IST-REx-ID: 3498
Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, C. Schueller Weidekamm, Knee Surgery, Sports Traumatology, Arthroscopy 18 (2010) 1792–1794.
View
| DOI
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, C. Schueller Weidekamm, Knee Surgery, Sports Traumatology, Arthroscopy 18 (2010) 1792–1794.
2010 | Journal Article | IST-REx-ID: 3592
Imaging zebrafish embryos by two-photon excitation time-lapse microscopy
L. Carvalho, C.-P.J. Heisenberg, Methods in Molecular Biology 546 (2010) 273–287.
View
| DOI
L. Carvalho, C.-P.J. Heisenberg, Methods in Molecular Biology 546 (2010) 273–287.
2010 | Conference Paper | IST-REx-ID: 3676
Topic models for semantic video compression
J. Wanke, A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2010, pp. 275–284.
View
| DOI
| Download (ext.)
J. Wanke, A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2010, pp. 275–284.
2010 | Journal Article | IST-REx-ID: 3697
Unsupervised object discovery: A comparison
T. Tuytelaars, C. Lampert, M. Blaschko, W. Buntine, International Journal of Computer Vision 88 (2010) 284–302.
View
| DOI
T. Tuytelaars, C. Lampert, M. Blaschko, W. Buntine, International Journal of Computer Vision 88 (2010) 284–302.
2010 | Conference Paper | IST-REx-ID: 3713
An efficient divide-and-conquer cascade for nonlinear object detection
C. Lampert, in:, IEEE, 2010, pp. 1022–1029.
View
| DOI
C. Lampert, in:, IEEE, 2010, pp. 1022–1029.
2010 | Preprint | IST-REx-ID: 3743 |
From statistical mechanics to information theory: understanding biophysical information-processing systems
G. Tkačik, ArXiv q-MN (2010) 1–52.
View
| Download (ext.)
G. Tkačik, ArXiv q-MN (2010) 1–52.
2010 | Journal Article | IST-REx-ID: 3761
Fluid simulation with articulated bodies
N. Kwatra, C. Wojtan, M. Carlson, I. Essa, P. Mucha, G. Turk, IEEE Transactions on Visualization and Computer Graphics 16 (2010) 70–80.
View
| DOI
N. Kwatra, C. Wojtan, M. Carlson, I. Essa, P. Mucha, G. Turk, IEEE Transactions on Visualization and Computer Graphics 16 (2010) 70–80.
2010 | Journal Article | IST-REx-ID: 3759
Physics-inspired topology changes for thin fluid features
C. Wojtan, N. Thürey, M. Gross, G. Turk, ACM Transactions on Graphics 29 (2010).
View
| DOI
| Download None (ext.)
C. Wojtan, N. Thürey, M. Gross, G. Turk, ACM Transactions on Graphics 29 (2010).