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.
9114 Publications
2008 | Journal Article | IST-REx-ID: 3544
Mallet, Nicolas, 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, 2008, pp. 4795–806, doi:10.1523/JNEUROSCI.0123-08.2008.
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3577
Biasotti, Silvia, et al. “Skeletal Structures.” Shape Analysis and Structuring, Springer, 2008, pp. 145–83, doi:10.1007/978-3-540-33265-7_5.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3591
Ulrich, Florian, and Carl-Philipp J. Heisenberg. “Probing E-Cadherin Endocytosis by Morpholino-Mediated Rab5 Knock-down in Zebrafish.” Methods in Molecular Biology, vol. 440, Springer, 2008, pp. 371–87, doi:10.1007/978-1-59745-178-9_27.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3599
Yang, Erfu, et al. Adaptive Formation Control and Bio-Inspired Optimization of a Cluster-Based Satellite Wireless Sensor Network . IEEE, 2008, pp. 432–39, doi:10.1109/AHS.2008.60.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3698
Blaschko, Matthew, et al. Semi-Supervised Laplacian Regularization of Kernel Canonical Correlation Analysis. Vol. 5211, no. Part 1, Springer, 2008, pp. 133–45, doi:10.1007/978-3-540-87479-9_27.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3694
Goldstein, Markus, et al. Bayes Optimal DDoS Mitigation by Adaptive History-Based IP Filtering. IEEE, 2008, pp. 174–79, doi:10.1109/ICN.2008.64.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3706
Lampert, Christoph, and Matthew Blaschko. Joint Kernel Support Estimation for Structured Prediction. Curran Associates, Inc., 2008, pp. 1–4.
View
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3712
Blaschko, Matthew, and Christoph Lampert. Correlational Spectral Clustering. IEEE, 2008, pp. 1–8, doi:10.1109/CVPR.2008.4587353.
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3726
Engel, Andreas, et al. “Single-Molecule Microscopy and Force Spectroscopy of Membrane Proteins.” Single Molecules and Nanotechnology, vol. 12, Springer, 2008, pp. 279–311, doi:10.1007/978-3-540-73924-1_11.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3739
Tkačik, Gašper, et al. “Information Capacity of Genetic Regulatory Elements.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 78, no. 1, American Institute of Physics, 2008, doi:10.1103/PhysRevE.78.011910.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3740 | 
Tkačik, Gašper, et al. “Information Flow and Optimization in Transcriptional Regulation.” PNAS, vol. 105, no. 34, National Academy of Sciences, 2008, pp. 12265–70, doi:10.1073/pnas.0806077105.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3744 |
Tkačik, Gašper, and Marcelo Magnasco. “Decoding Spike Timing: The Differential Reverse-Correlation Method.” Biosystems, vol. 93, no. 1–2, Elsevier, 2008, pp. 90–100, doi:10.1016/j.biosystems.2008.04.011.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3760
Wojtan, Chris, and Greg Turk. “Fast Viscoelastic Behavior with Thin Features.” ACM Transactions on Graphics, vol. 27, no. 3, ACM, 2008, doi:10.1145/1360612.1360646.
View
| DOI
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 3825 |
Aponte, Yexica, et al. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.” Journal of Physiology, vol. 586, no. 8, Wiley-Blackwell, 2008, pp. 2061–75, doi:10.1113/jphysiol.2007.147298.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3822 |
Schmidt Hieber, Christoph, et al. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.” Journal of Physiology, vol. 586, no. 7, Wiley-Blackwell, 2008, pp. 1849–57, doi:10.1113/jphysiol.2007.150151 .
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3824
Bucurenciu, Iancu, et al. “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, 2008, pp. 536–45, doi:10.1016/j.neuron.2007.12.026.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3823
Kerr, Angharad, and Peter M. Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).” Neuron, vol. 57, no. 1, Elsevier, 2008, pp. 5–7, doi:10.1016/j.neuron.2007.12.015.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, et al. Strategy Construction for Parity Games with Imperfect Information. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 3903
Ugelvig, Line V., et al. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.” BMC Biology, vol. 6, no. 11, BioMed Central, 2008, doi:10.1186/1741-7007-6-11.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3905
Cremer, Sylvia, et al. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.” Naturwissenschaften, vol. 95, no. 11, Springer, 2008, pp. 1101–05, doi:10.1007/s00114-008-0430-8.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3907
Suefuji, Masaki, et al. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.” Biology Letters, vol. 4, no. 6, Royal Society, The, 2008, pp. 670–73, doi:10.1098/rsbl.2008.0355.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3906
Cremer, Sylvia, et al. “The Evolution of Invasiveness in Garden Ants.” PLoS One, vol. 3, no. 12, Public Library of Science, 2008, doi:10.1371/journal.pone.0003838.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3939
Lämmermann, Tim, and Michael K. Sixt. “The Microanatomy of T-Cell Responses.” Immunological Reviews, vol. 221, no. 1, Wiley-Blackwell, 2008, pp. 26–43, doi:10.1111/j.1600-065X.2008.00592.x.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3940
Lokmic, Zerina, et al. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.” Seminars in Immunology, vol. 20, no. 1, Academic Press, 2008, pp. 4–13, doi:10.1016/j.smim.2007.12.009.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3970
Dequéant, Mary, 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, doi:10.1371/journal.pone.0002856.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3971
Edelsbrunner, Herbert, et al. “Time-Varying Reeb Graphs for Continuous Space-Time Data.” Computational Geometry: Theory and Applications, vol. 41, no. 3, Elsevier, 2008, pp. 149–66, doi:10.1016/j.comgeo.2007.11.001.
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner, Herbert, and John Harer. “Persistent Homology - a Survey.” Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–82.
View
2008 | Journal Article | IST-REx-ID: 4141
Vervenne, Hilke, 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, 2008, pp. 267–77, doi:10.1016/j.ydbio.2008.05.529.
View
| DOI
2008 | Journal Article | IST-REx-ID: 4161
Oteíza, Pablo, et al. “Origin and Shaping of the Laterality Organ in Zebrafish.” Development, vol. 135, no. 16, Company of Biologists, 2008, pp. 2807–13, doi:10.1242/dev.022228.
View
| DOI
2008 | Journal Article | IST-REx-ID: 4190
Kai, Masatake, et al. “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, 2008, pp. 3043–51, doi:10.1242/dev.020396.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4384 |
Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
View
| Files available
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.
View
2008 | Conference Paper | IST-REx-ID: 4400
Aviv, Adam, et al. Security Evaluation of ES&S Voting Machines and Election Management System. USENIX, 2008, doi:1545.
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4409 |
Prabhu, Vinayak. Games for the Verification of Timed Systems. University of California, Berkeley, 2008, pp. 1–137.
View
| Download None (ext.)
2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley, 2008, pp. 1–148.
View
2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “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, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley, 2008, pp. 1–210.
View
2008 | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, et al. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Vol. 5054, Springer, 2008, pp. 17–32, doi:10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4532
Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4533
Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi:10.1145/1450058.1450070.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4568
Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 581
Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.” Science, vol. 319, no. 5864, American Association for the Advancement of Science, 2008, pp. 787–90, doi:10.1126/science.1152697.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 584
Hosten, Onur, and Paul Kwiat. Spin Hall Effect of Light via Weak Measurements: Sharp and Smooth Index Variations. Optica Publishing Group, 2008.
View
| Download None (ext.)