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, N., Pogosyan, A., Sharott, A., Csicsvari, J. L., Bolam, J., Brown, P., & Magill, P. (2008). Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0123-08.2008
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3577
Biasotti, S., Attali, D., Boissonnat, J., Edelsbrunner, H., Elber, G., Mortara, M., … Veltkam, R. (2008). Skeletal structures. In Shape Analysis and Structuring (pp. 145–183). Springer. https://doi.org/10.1007/978-3-540-33265-7_5
View
| DOI
2008 | Journal Article | IST-REx-ID: 3591
Ulrich, F., & Heisenberg, C.-P. J. (2008). Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish. Methods in Molecular Biology. Springer. https://doi.org/10.1007/978-1-59745-178-9_27
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3599
Yang, E., Erdogan, A., Arslan, T., & Barton, N. H. (2008). Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network (pp. 432–439). Presented at the AHS: NASA/ESA Conference on Adaptive Hardware and Systems, IEEE. https://doi.org/10.1109/AHS.2008.60
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3698
Blaschko, M., Lampert, C., & Gretton, A. (2008). Semi-supervised Laplacian regularization of kernel canonical correlation analysis (Vol. 5211, pp. 133–145). Presented at the ECML: European Conference on Machine Learning, Springer. https://doi.org/10.1007/978-3-540-87479-9_27
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3694
Goldstein, M., Lampert, C., Reif, M., Stahl, A., & Breuel, T. (2008). Bayes optimal DDoS mitigation by adaptive history-based IP filtering (pp. 174–179). Presented at the ICN: International Conference on Networking, IEEE. https://doi.org/10.1109/ICN.2008.64
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3706
Lampert, C., & Blaschko, M. (2008). Joint kernel support estimation for structured prediction (pp. 1–4). Presented at the NIPS SISO: NIPS Workshop on “Structured Input - Structured Output,” Curran Associates, Inc.
View
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3712
Blaschko, M., & Lampert, C. (2008). Correlational spectral clustering (pp. 1–8). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2008.4587353
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3726
Engel, A., Janovjak, H. L., Fotiadis, D., Kedrov, A., Cisneros, D., & Mueller, D. (2008). Single-molecule microscopy and force spectroscopy of membrane proteins. In Single Molecules and Nanotechnology (Vol. 12, pp. 279–311). Springer. https://doi.org/10.1007/978-3-540-73924-1_11
View
| DOI
2008 | Journal Article | IST-REx-ID: 3739
Tkačik, G., Callan, C., & Bialek, W. (2008). Information capacity of genetic regulatory elements. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.78.011910
View
| DOI
2008 | Journal Article | IST-REx-ID: 3740 | 
Tkačik, G., Callan, C., & Bialek, W. (2008). Information flow and optimization in transcriptional regulation. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0806077105
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3744 |
Tkačik, G., & Magnasco, M. (2008). Decoding spike timing: The differential reverse-correlation method. Biosystems. Elsevier. https://doi.org/10.1016/j.biosystems.2008.04.011
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3760
Wojtan, C., & Turk, G. (2008). Fast viscoelastic behavior with thin features. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1360612.1360646
View
| DOI
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 3825 |
Aponte, Y., Bischofberger, J., & Jonas, P. M. (2008). Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.147298
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3822 |
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2008). Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.150151
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3824
Bucurenciu, I., Kulik, Á., Schwaller, B., Frotscher, M., & Jonas, P. M. (2008). Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2007.12.026
View
| DOI
2008 | Journal Article | IST-REx-ID: 3823
Kerr, A., & Jonas, P. M. (2008). The two sides of hippocampal mossy fiber plasticity (Review). Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2007.12.015
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, D., Chatterjee, K., Doyen, L., Henzinger, T. A., & Raje, S. (2008). Strategy construction for parity games with imperfect information (Vol. 5201, pp. 325–339). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 3903
Ugelvig, L. V., Drijfhout, F., Kronauer, D., Boomsma, J., Pedersen, J., & Cremer, S. (2008). The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. BioMed Central. https://doi.org/10.1186/1741-7007-6-11
View
| DOI
2008 | Journal Article | IST-REx-ID: 3905
Cremer, S., D’Ettorre, P., Drijfhout, F., Sledge, M., Turillazzi, S., & Heinze, J. (2008). Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. Springer. https://doi.org/10.1007/s00114-008-0430-8
View
| DOI
2008 | Journal Article | IST-REx-ID: 3907
Suefuji, M., Cremer, S., Oettler, J., & Heinze, J. (2008). Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. Royal Society, The. https://doi.org/10.1098/rsbl.2008.0355
View
| DOI
2008 | Journal Article | IST-REx-ID: 3906
Cremer, S., Ugelvig, L. V., Drijfhout, F., Schlick Steiner, B., Steiner, F., Seifert, B., … Boomsma, J. (2008). The evolution of invasiveness in garden ants. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0003838
View
| DOI
2008 | Journal Article | IST-REx-ID: 3939
Lämmermann, T., & Sixt, M. K. (2008). The microanatomy of T-cell responses. Immunological Reviews. Wiley-Blackwell. https://doi.org/10.1111/j.1600-065X.2008.00592.x
View
| DOI
2008 | Journal Article | IST-REx-ID: 3940
Lokmic, Z., Lämmermann, T., Sixt, M. K., Cardell, S., Hallmann, R., & Sorokin, L. (2008). The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. Academic Press. https://doi.org/10.1016/j.smim.2007.12.009
View
| DOI
2008 | Journal Article | IST-REx-ID: 3970
Dequéant, M., Ahnert, S., Edelsbrunner, H., Fink, T., Glynn, E., Hattem, G., … Pourquie, O. (2008). Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0002856
View
| DOI
2008 | Journal Article | IST-REx-ID: 3971
Edelsbrunner, H., Harer, J., Mascarenhas, A., Pascucci, V., & Snoeyink, J. (2008). Time-varying Reeb graphs for continuous space-time data. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2007.11.001
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner, H., & Harer, J. (2008). Persistent homology - a survey. In Surveys on Discrete and Computational Geometry: Twenty Years Later (pp. 257–282). American Mathematical Society.
View
2008 | Journal Article | IST-REx-ID: 4141
Vervenne, H., Crombez, K., Lambaerts, K., Carvalho, L., Köppen, M., Heisenberg, C.-P. J., … Petit, M. (2008). Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2008.05.529
View
| DOI
2008 | Journal Article | IST-REx-ID: 4161
Oteíza, P., Köppen, M., Concha, M., & Heisenberg, C.-P. J. (2008). Origin and shaping of the laterality organ in zebrafish. Development. Company of Biologists. https://doi.org/10.1242/dev.022228
View
| DOI
2008 | Journal Article | IST-REx-ID: 4190
Kai, M., Heisenberg, C.-P. J., & Tada, M. (2008). Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.020396
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4384 |
Guerraoui, R., Henzinger, T. A., Jobstmann, B., & Singh, V. (2008). Model checking transactional memories (pp. 372–382). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1375581.1375626
View
| Files available
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Permissiveness in transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_21
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Completeness and nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_6
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4397
Beyer, D., Zufferey, D., & Majumdar, R. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.
View
2008 | Conference Paper | IST-REx-ID: 4400
Aviv, A., Cerny, P., Clark, S., Cronin, E., Shah, G., Sherr, M., & Blaze, M. (2008). Security Evaluation of ES&S Voting Machines and Election Management System. Presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, USENIX. https://doi.org/1545
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4409 |
Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
2008 | Thesis | IST-REx-ID: 4415
Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, T. A., Hottelier, T., & Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer. https://doi.org/10.1007/978-3-540-89439-1_24
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4509
Henzinger, T. A. (2008). Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rsta.2008.0141
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4524
Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
2008 | Conference Paper | IST-REx-ID: 4521
Gupta, A., Henzinger, T. A., Majumdar, R., Rybalchenko, A., & Xu, R. (2008). Proving non-termination (pp. 147–158). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1328438.1328459
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4527
Fisher, J., Henzinger, T. A., Mateescu, M., & Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-540-68413-8_2
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4532
Doyen, L., Henzinger, T. A., & Raskin, J. (2008). Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054108005814
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4533
Doyen, L., Henzinger, T. A., Jobstmann, B., & Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1450058.1450070
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, K., & Henzinger, T. A. (2008). Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2007.08.035
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello, C., & Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test in Europe, IEEE. https://doi.org/10.1145/1403375.1403595
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4568
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2008). Program analysis with dynamic change of precision (pp. 29–38). Presented at the ASE: Automated Software Engineering, ACM. https://doi.org/10.1109/ASE.2008.13
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 581
Hosten, O., & Kwiat, P. (2008). Observation of the spin hall effect of light via weak measurements. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1152697
View
| DOI
2008 | Conference Paper | IST-REx-ID: 584
Hosten, O., & Kwiat, P. (2008). Spin hall effect of light via weak measurements: Sharp and smooth index variations. Presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States: Optica Publishing Group.
View
| Download None (ext.)