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.
9084 Publications
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.)
2008 | Journal Article | IST-REx-ID: 4548
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average games are in EXPTIME,” International Journal of Game Theory, vol. 37, no. 2. Springer, pp. 219–234, 2008.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4568
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Program analysis with dynamic change of precision,” presented at the ASE: Automated Software Engineering, 2008, pp. 29–38.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 584
O. Hosten and P. Kwiat, “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, 2008.
View
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 6146 |
A. J. Bretscher, K. E. Busch, and M. de Bono, “A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 105, no. 23. Proceedings of the National Academy of Sciences, pp. 8044–8049, 2008.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6148
J. E. Kammenga, P. C. Phillips, M. de Bono, and A. Doroszuk, “Beyond induced mutants: using worms to study natural variation in genetic pathways,” Trends in Genetics, vol. 24, no. 4. Elsevier, pp. 178–185, 2008.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6149
B. Olofsson and M. de Bono, “Sleep: dozy worms and sleepy flies,” Current Biology, vol. 18, no. 5. Elsevier, pp. R204–R206, 2008.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 7321
S. A. Freunberger, I. A. Schneider, P.-C. Sui, A. Wokaun, N. Djilali, and F. N. Büchi, “Cell interaction phenomena in polymer electrolyte fuel cell stacks,” Journal of The Electrochemical Society, vol. 155, no. 7. The Electrochemical Society, 2008.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 7425
M. Santis, S. A. Freunberger, M. Papra, and F. N. Büchi, “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, Ypsilanti, MI, United States, 2008, pp. 763–765.
View
| DOI
2008 | Journal Article | IST-REx-ID: 8480
P. Schanda, B. Brutscher, R. Konrat, and M. Tollinger, “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, vol. 380, no. 4. Elsevier, pp. 726–741, 2008.
View
| DOI
2008 | Journal Article | IST-REx-ID: 9537
D. Zilberman, “The evolving functions of DNA methylation,” Current Opinion in Plant Biology, vol. 11, no. 5. Elsevier , pp. 554–559, 2008.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 965 |
A. Morozov and M. Serbyn, “Nonlinear algebra and Bogoliubov’s recursion,” Theoretical and Mathematical Physics, vol. 154, no. 2. Elsevier, pp. 270–293, 2008.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 9457 |
D. Zilberman, D. Coleman-Derr, T. Ballinger, and S. Henikoff, “Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks,” Nature, vol. 456, no. 7218. Springer Nature, pp. 125–129, 2008.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 13422
Y. Wei, R. Klajn, A. O. Pinchuk, and B. A. Grzybowski, “Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 ‘nanoflowers,’” Small, vol. 4, no. 10. Wiley, pp. 1635–1639, 2008.
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 1035 |
M. Mark et al., “Spectroscopy of ultracold trapped cesium Feshbach molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 76, no. 4. American Physical Society, 2007.
View
| DOI
| Download None (ext.)
2007 | Journal Article | IST-REx-ID: 11116 |
C. Franz et al., “MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly,” EMBO reports, vol. 8, no. 2. EMBO, pp. 165–172, 2007.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 11115
D. J. Anderson and M. Hetzer, “Nuclear envelope formation by chromatin-mediated reorganization of the endoplasmic reticulum,” Nature Cell Biology, vol. 9, no. 10. Springer Nature, pp. 1160–1166, 2007.
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 11884
M. H. Henzinger, “Search technologies for the internet,” Science, vol. 317, no. 5837. American Association for the Advancement of Science, pp. 468–471, 2007.
View
| DOI
| PubMed | Europe PMC
2007 | Conference Paper | IST-REx-ID: 11924
M. H. Henzinger, “Combinatorial algorithms for web search engines: three success stories,” in 18th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, LA, United States, 2007, pp. 1022–1026.
View
2007 | Journal Article | IST-REx-ID: 128 |
A. Carr, Y. Serchest, S. R. Waitukaitis, J. Perreault, V. Lonij, and A. Cronin, “Cover slip external cavity diode laser,” Review of Scientific Instruments, vol. 78, no. 10. American Institute of Physics, 2007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 1297
S. Raghu, M. A. Jösch, A. Borst, and D. Reiff, “Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites,” Journal of Comparative Neurology, vol. 502, no. 4. Wiley-Blackwell, pp. 598–610, 2007.
View
| DOI
2007 | Book Chapter | IST-REx-ID: 167 |
T. D. Browning and R. Heath Brown, “Simultaneous equal sums of three powers,” in Diophantine Geometry, vol. 4, U. Zannier, Ed. Edizioni della Normale, 2007, pp. 93–100.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 1762 |
P. Leek et al., “Observation of Berry’s phase in a solid-state qubit,” Science, vol. 318, no. 5858. American Association for the Advancement of Science, pp. 1889–1892, 2007.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 2091 |
B. Bickel et al., “Multi scale capture of facial geometry and motion,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2093 |
B. Bickel et al., “Multi scale capture of facial geometry and motion,” ACM Transactions on Graphics, vol. 26, no. 3. ACM, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2118 |
J. Maas and J. Van Neerven, “On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions,” Archiv der Mathematik, vol. 89, no. 3. Birkhäuser, pp. 226–236, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2135
M. Lemeshko et al., “EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K,” Physical Review B - Condensed Matter and Materials Physics, vol. 76. American Physical Society, 2007.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2145
M. Lemeshko et al., “EXAFS studies of the local atomic structure of the lead free piezoelectric ceramics Kx Na1-x Nb O3 over the temperature range 10-1023 K,” Physical Review B - Condensed Matter and Materials Physics, vol. 76, no. 13. American Physical Society, 2007.
View
| DOI
2007 | Journal Article | IST-REx-ID: 221 |
R. De La Bretèche and T. D. Browning, “On Manin’s conjecture for singular del Pezzo surfaces of degree four, I,” Michigan Mathematical Journal, vol. 55, no. 1. Project Euclid, pp. 51–80, 2007.
[Published Version]
View
| Files available
| DOI
| arXiv
2007 | Journal Article | IST-REx-ID: 222 |
R. De La Bretèche and T. D. Browning, “On Manin’s conjecture for singular del Pezzo surfaces of degree four, II,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 143, no. 3. Unknown, pp. 579–605, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 223 |
T. D. Browning, “Density of integer solutions to diagonal quadratic forms,” Monatshefte fur Mathematik, vol. 152, no. 1. Springer, pp. 13–38, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2367 |
R. Seiringer, “On the failure of subadditivity of the Wigner-Yanase entropy,” Letters in Mathematical Physics, vol. 80, no. 3. Springer, pp. 285–288, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2372 |
R. Frank, É. Lieb, R. Seiringer, and H. Siedentop, “Müller’s exchange-correlation energy in density-matrix-functional theory,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 76, no. 5. American Physical Society, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2370 |
É. Lieb, R. Seiringer, and J. Yngvason, “Bose-Einstein condensation and spontaneous symmetry breaking,” Reports on Mathematical Physics, vol. 59, no. 3. Elsevier, pp. 389–399, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2375 |
R. Frank, É. Lieb, and R. Seiringer, “Number of bound states of Schrödinger operators with matrix-valued potentials,” Letters in Mathematical Physics, vol. 82, no. 2–3. Springer, pp. 107–116, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2373 |
R. Frank, C. Hainzl, S. Naboko, and R. Seiringer, “The critical temperature for the BCS equation at weak coupling,” Journal of Geometric Analysis, vol. 17, no. 4. Springer, pp. 559–567, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2371 |
R. Frank, É. Lieb, and R. Seiringer, “Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value,” Communications in Mathematical Physics, vol. 275, no. 2. Springer, pp. 479–489, 2007.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2451
J. Friml, “Auxin - Universal development signal in plant life,” Živa, vol. 1. CSAV, 2007.
View
2007 | Journal Article | IST-REx-ID: 2495
E. Kuramoto et al., “Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum,” Journal of Comparative Neurology, vol. 500, no. 5. Wiley-Blackwell, pp. 908–922, 2007.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2667
M. Masugi Tokita, E. Tarusawa, M. Watanabe, E. Molnár, K. Fujimoto, and R. Shigemoto, “Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling,” Journal of Neuroscience, vol. 27, no. 8. Society for Neuroscience, pp. 2135–2144, 2007.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2669
A. Brewster, Y. Chen, R. Bender, A. Yeh, R. Shigemoto, and T. Baram, “Quantitative analysis and subcellular distribution of mRNA and protein expression of the hyperpolarization-activated cyclic nucleotide-gated channels throughout development in rat hippocampus,” Cerebral Cortex, vol. 17, no. 3. Oxford University Press, pp. 702–712, 2007.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2672
G. Whitaker, D. Angoli, H. Nazzari, R. Shigemoto, and E. Accili, “HCN2 and HCN4 isoforms self-assemble and co-assemble with equal preference to form functional pacemaker channels,” Journal of Biological Chemistry, vol. 282, no. 31. American Society for Biochemistry and Molecular Biology, pp. 22900–22909, 2007.
View
| DOI
2007 | Book Chapter | IST-REx-ID: 2705 |
L. Erdös, “Recent developments in quantum mechanics with magnetic fields,” in Spectral Theory and Mathematical Physics: a Festschrift in Honor of Barry Simon’s 60th Birthday , vol. 76, F. Gesztesy, P. Deift, P. Galvez, P. Perry, and W. Schlag, Eds. American Mathematical Society, 2007, pp. 401–428.
View
| Download (ext.)