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 |
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 |
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 | 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: 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 | Journal Article | IST-REx-ID: 3740 |
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 |
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 |
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 |
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 | 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 | 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: 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 |
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 |
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.)