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.
9096 Publications
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.)
2008 | Journal Article | IST-REx-ID: 6146 |
Bretscher, A. J., Busch, K. E., & de Bono, M. (2008). A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0707607105
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6148
Kammenga, J. E., Phillips, P. C., de Bono, M., & Doroszuk, A. (2008). Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2008.01.001
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6149
Olofsson, B., & de Bono, M. (2008). Sleep: dozy worms and sleepy flies. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2008.01.002
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 7321
Freunberger, S. A., Schneider, I. A., Sui, P.-C., Wokaun, A., Djilali, N., & Büchi, F. N. (2008). Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2913095
View
| DOI
2008 | Journal Article | IST-REx-ID: 7320
Flückiger, R., Freunberger, S. A., Kramer, D., Wokaun, A., Scherer, G. G., & Büchi, F. N. (2008). Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC. Electrochimica Acta. Elsevier. https://doi.org/10.1016/j.electacta.2008.07.034
View
| DOI
2008 | Journal Article | IST-REx-ID: 7322
Kramer, D., Freunberger, S. A., Flückiger, R., Schneider, I. A., Wokaun, A., Büchi, F. N., & Scherer, G. G. (2008). Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. Elsevier. https://doi.org/10.1016/j.jelechem.2007.09.014
View
| DOI
2008 | Conference Paper | IST-REx-ID: 7425
Santis, M., Freunberger, S. A., Papra, M., & Büchi, F. N. (2008). Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks. In 3rd International Conference on Fuel Cell Science, Engineering and Technology (pp. 763–765). Ypsilanti, MI, United States: ASMEDC. https://doi.org/10.1115/fuelcell2005-74116
View
| DOI
2008 | Conference Paper | IST-REx-ID: 753
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2008). How to solve consensus in the smallest window of synchrony (Vol. 5218 LNCS, pp. 32–46). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_3
View
| DOI
2008 | Journal Article | IST-REx-ID: 7752
Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2008). Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2008.04.059
View
| DOI
2008 | Journal Article | IST-REx-ID: 844
Schmidt, S., Gerasimova, A., Kondrashov, F., Adzuhbei, I., Kondrashov, A., & Sunyaev, S. (2008). Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000281
View
| DOI
2008 | Journal Article | IST-REx-ID: 8481
Bersch, B., Favier, A., Schanda, P., van Aelst, S., Vallaeys, T., Covès, J., … Wattiez, R. (2008). Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2008.05.017
View
| DOI
2008 | Journal Article | IST-REx-ID: 8480
Schanda, P., Brutscher, B., Konrat, R., & Tollinger, M. (2008). Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2008.05.040
View
| DOI
2008 | Journal Article | IST-REx-ID: 8482
Kern, T., Schanda, P., & Brutscher, B. (2008). Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2007.11.015
View
| DOI