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.

9087 Publications


2008 | Journal Article | IST-REx-ID: 3769
A. Kupczok, A. Von Haeseler, and S. Klaere, “An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.,” Journal of Computational Biology, vol. 15, no. 6. Mary Ann Liebert, pp. 577–591, 2008.
View | DOI
 

2008 | 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 | 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 | Conference Paper | IST-REx-ID: 3504 | OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2008, vol. 2, pp. 107–118.
[Published Version] View | Files available | DOI
 

2008 | 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
 

Search

Filter Publications