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.

8978 Publications


2008 | Journal Article | IST-REx-ID: 3307 | OA
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
J. P. Bollback, T. York, and R. Nielsen, “Estimation of 2Nes From Temporal Allele Frequency Data,” Genetics, vol. 179, no. 1. Genetics Society of America, pp. 497–502, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3516
J. Huxter, T. Senior, K. Allen, and J. L. Csicsvari, “Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus,” Nature Neuroscience, vol. 11, no. 5. Nature Publishing Group, pp. 587–594, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
P. Fuentealba et al., “Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity,” Neuron, vol. 57, no. 6. Elsevier, pp. 917–929, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3544
N. Mallet et al., “Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex,” Journal of Neuroscience, vol. 28, no. 18. Society for Neuroscience, pp. 4795–4806, 2008.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3577
S. Biasotti et al., “Skeletal structures,” in Shape Analysis and Structuring, Springer, 2008, pp. 145–183.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3591
F. Ulrich and C.-P. J. Heisenberg, “Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish.,” Methods in Molecular Biology, vol. 440. Springer, pp. 371–387, 2008.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3599
E. Yang, A. Erdogan, T. Arslan, and N. H. Barton, “Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network ,” presented at the AHS: NASA/ESA Conference on Adaptive Hardware and Systems, 2008, pp. 432–439.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3698
M. Blaschko, C. Lampert, and A. Gretton, “Semi-supervised Laplacian regularization of kernel canonical correlation analysis,” presented at the ECML: European Conference on Machine Learning, 2008, vol. 5211, no. Part 1, pp. 133–145.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3694
M. Goldstein, C. Lampert, M. Reif, A. Stahl, and T. Breuel, “Bayes optimal DDoS mitigation by adaptive history-based IP filtering,” presented at the ICN: International Conference on Networking, 2008, pp. 174–179.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3706
C. Lampert and M. Blaschko, “Joint kernel support estimation for structured prediction,” presented at the NIPS SISO: NIPS Workshop on “Structured Input - Structured Output,” 2008, pp. 1–4.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3712
M. Blaschko and C. Lampert, “Correlational spectral clustering,” presented at the CVPR: Computer Vision and Pattern Recognition, 2008, pp. 1–8.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3726
A. Engel, H. L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, and D. Mueller, “Single-molecule microscopy and force spectroscopy of membrane proteins,” in Single Molecules and Nanotechnology, vol. 12, Springer, 2008, pp. 279–311.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3739
G. Tkačik, C. Callan, and W. Bialek, “Information capacity of genetic regulatory elements,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 78, no. 1. American Institute of Physics, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
G. Tkačik, C. Callan, and W. Bialek, “Information flow and optimization in transcriptional regulation,” PNAS, vol. 105, no. 34. National Academy of Sciences, pp. 12265–12270, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
G. Tkačik and M. Magnasco, “Decoding spike timing: The differential reverse-correlation method,” Biosystems, vol. 93, no. 1–2. Elsevier, pp. 90–100, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3760
C. Wojtan and G. Turk, “Fast viscoelastic behavior with thin features,” ACM Transactions on Graphics, vol. 27, no. 3. ACM, 2008.
View | DOI | Download None (ext.)
 

2008 | 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 | Journal Article | IST-REx-ID: 3822 | OA
C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Action potential initiation and propagation in hippocampal mossy fibre axons,” Journal of Physiology, vol. 586, no. 7. Wiley-Blackwell, pp. 1849–57, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3824
I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, and P. M. Jonas, “Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse,” Neuron, vol. 57, no. 4. Elsevier, pp. 536–45, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3823
A. Kerr and P. M. Jonas, “The two sides of hippocampal mossy fiber plasticity (Review),” Neuron, vol. 57, no. 1. Elsevier, pp. 5–7, 2008.
View | DOI
 

2008 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 3970
M. Dequéant et al., “Comparison of pattern detection methods in microarray time series of the segmentation clock,” PLoS One, vol. 3, no. 8. Public Library of Science, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3971
H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, and J. Snoeyink, “Time-varying Reeb graphs for continuous space-time data,” Computational Geometry: Theory and Applications, vol. 41, no. 3. Elsevier, pp. 149–166, 2008.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3969
H. Edelsbrunner and J. Harer, “Persistent homology - a survey,” in Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–282.
View
 

2008 | Journal Article | IST-REx-ID: 4141
H. Vervenne et al., “Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation,” Developmental Biology, vol. 320, no. 1. Elsevier, pp. 267–277, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
P. Oteíza, M. Köppen, M. Concha, and C.-P. J. Heisenberg, “Origin and shaping of the laterality organ in zebrafish,” Development, vol. 135, no. 16. Company of Biologists, pp. 2807–2813, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
M. Kai, C.-P. J. Heisenberg, and M. Tada, “Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation,” Development, vol. 135, no. 18. Company of Biologists, pp. 3043–3051, 2008.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
R. Guerraoui, T. A. Henzinger, B. Jobstmann, and V. Singh, “Model checking transactional memories,” presented at the PLDI: Programming Languages Design and Implementation, 2008, pp. 372–382.
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,” presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
A. Aviv et al., “Security Evaluation of ES&S Voting Machines and Election Management System,” presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, 2008.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409 | OA
V. Prabhu, “Games for the verification of timed systems,” University of California, Berkeley, 2008.
View | Download None (ext.)
 

2008 | Thesis | IST-REx-ID: 4415
S. Matic, “Compositionality in deterministic real-time embedded systems,” University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
T. A. Henzinger, “Two challenges in embedded systems design: Predictability and robustness,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881. Royal Society of London, pp. 3727–3736, 2008.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4521
A. Gupta, T. A. Henzinger, R. Majumdar, A. Rybalchenko, and R. Xu, “Proving non-termination,” presented at the POPL: Principles of Programming Languages, 2008, pp. 147–158.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4527
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
L. Doyen, T. A. Henzinger, and J. Raskin, “Equivalence of labeled Markov chains,” International Journal of Foundations of Computer Science, vol. 19, no. 3. World Scientific Publishing, pp. 549–563, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp. 79–88.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
View | DOI | Download (ext.)
 

Search

Filter Publications