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.

7266 Publications


2010 | Journal Article | IST-REx-ID: 3829
A small number of open Ca(2+) channels trigger transmitter release at a central GABAergic synapse
I. Bucurenciu, J. Bischofberger, P.M. Jonas, Nature Neuroscience 13 (2010) 19–21.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3830 View | DOI
 

2010 | Journal Article | IST-REx-ID: 3831 | OA
Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons
A. Norenberg, H. Hu, I. Vida, M. Bartos, P.M. Jonas, PNAS 107 (2010) 894–9.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
Beyond TARPs: The growing list of auxiliary AMPAR subunits
J. Guzmán, P.M. Jonas, Neuron 66 (2010) 8–10.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3833 View | DOI
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
Solving the chemical master equation using sliding windows
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3840
From boolean to quantitative notions of correctness
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
Aligators for arrays
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3847 | OA
SABRE: A tool for the stochastic analysis of biochemical reaction networks
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3848
The robustness of level sets
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, in:, Springer, 2010, pp. 1–10.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
Persistent homology under non-uniform error
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 385 | OA
STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3850
Polygonal reconstruction from approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, TU Dortmund, 2010, pp. 12–23.
View
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3854
Obliging games
K. Chatterjee, F. Horn, C. Löding, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–296.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3857
Probabilistic Automata on infinite words: decidability and undecidability results
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3858 | OA
The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
View | Files available | DOI
 

2010 | Conference (Editor) | IST-REx-ID: 3859
Formal modeling and analysis of timed systems
K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864 | OA
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3865
Analyzing the impact of change in multi-threaded programs
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 293–307.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3866 | OA
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.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
View | Files available | DOI
 

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.)
 

2010 | Journal Article | IST-REx-ID: 3901 | OA
Computing robustness and persistence for images
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
Rapid anti-pathogen response in ant societies relies on high genetic diversity
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3956
Breaching multiple barriers: leukocyte motility through venular walls and the interstitium
S. Nourshargh, P. Hordijk, M.K. Sixt, Nature Reviews Molecular Cell Biology 11 (2010) 366–378.
View | DOI
 

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
 

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
 

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
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3961 View | DOI
 

2010 | Thesis | IST-REx-ID: 3962
Dendritic cell migration across basement membranes in the skin
H. Pflicke,   Dendritic Cell Migration across Basement Membranes in the Skin, IST Austria, 2010.
View
 

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
 

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
 

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
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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
 

2010 | Journal Article | IST-REx-ID: 4187
A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo
E. Kardash, M. Reichman Fried, J. Maître, B. Boldajipour, E. Papusheva, E. Messerschmidt, C. Heisenberg, E. Raz, Nature Cell Biology 12 (2010) 47–53.
View | DOI
 

Search

Filter Publications