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.

212 Publications


2008 | Published | Journal Article | IST-REx-ID: 3825 | OA
Y. Aponte, J. Bischofberger, and P. M. Jonas, “Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus,” Journal of Physiology, vol. 586, no. 8. Wiley-Blackwell, pp. 2061–75, 2008.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 3826
D. Doischer et al., “Postnatal differentiation of basket cells from slow to fast signaling devices,” Journal of Neuroscience, vol. 28, no. 48. Society for Neuroscience, pp. 12956–68, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3827
A. Kerr, E. Reisinger, and P. M. Jonas, “Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses,” PNAS, vol. 105, no. 40. National Academy of Sciences, pp. 15581–6, 2008.
View | DOI
 

2008 | Published | Book Chapter | IST-REx-ID: 3872
K. Chatterjee and T. A. Henzinger, “Value iteration,” in 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–138.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3873
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with budget constraints,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 72–86.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3874
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 87–100.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3875
K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular properties of interval Markov chains,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, 2008, vol. 4962, pp. 302–317.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3876
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2008, vol. 5215, pp. 124–140.
View | Files available | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3877
K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 147–161.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3878 | OA
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 3879
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” presented at the CSL: Computer Science Logic, 2008, vol. 5213, pp. 385–400.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3880
D. Berwanger, K. Chatterjee, L. Doyen, T. A. Henzinger, and S. Raje, “Strategy construction for parity games with imperfect information,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 325–339.
View | Files available | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3903
L. V. Ugelvig, F. Drijfhout, D. Kronauer, J. Boomsma, J. Pedersen, and S. Cremer, “The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches,” BMC Biology, vol. 6, no. 11. BioMed Central, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3905
S. Cremer, P. D’Ettorre, F. Drijfhout, M. Sledge, S. Turillazzi, and J. Heinze, “Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior,” Naturwissenschaften, vol. 95, no. 11. Springer, pp. 1101–1105, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3906
S. Cremer et al., “The evolution of invasiveness in garden ants,” PLoS One, vol. 3, no. 12. Public Library of Science, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3907
M. Suefuji, S. Cremer, J. Oettler, and J. Heinze, “Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants,” Biology Letters, vol. 4, no. 6. Royal Society, The, pp. 670–673, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3939
T. Lämmermann and M. K. Sixt, “The microanatomy of T-cell responses,” Immunological Reviews, vol. 221, no. 1. Wiley-Blackwell, pp. 26–43, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3940
Z. Lokmic, T. Lämmermann, M. K. Sixt, S. Cardell, R. Hallmann, and L. Sorokin, “The extracellular matrix of the spleen as a potential organizer of immune cell compartments,” Seminars in Immunology, vol. 20, no. 1. Academic Press, pp. 4–13, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3941
T. Lämmermann et al., “Rapid leukocyte migration by integrin-independent flowing and squeezing,” Nature, vol. 453, no. 7191. Nature Publishing Group, pp. 51–55, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3942
D. Frommhold et al., “Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation,” The Journal of Experimental Medicine, vol. 205, no. 6. Rockefeller University Press, pp. 1435–1446, 2008.
View | DOI
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed