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 | Journal Article | IST-REx-ID: 3971
H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, and J. Snoeyink, “Time-varying Reeb graphs for continuous space-time data,” Computational Geometry: Theory and Applications, vol. 41, no. 3. Elsevier, pp. 149–166, 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: 4141
H. Vervenne 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, pp. 267–277, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
P. Oteíza, M. Köppen, M. Concha, and C.-P. J. Heisenberg, “Origin and shaping of the laterality organ in zebrafish,” Development, vol. 135, no. 16. Company of Biologists, pp. 2807–2813, 2008.
View | DOI
 

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 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 581
O. Hosten and P. Kwiat, “Observation of the spin hall effect of light via weak measurements,” Science, vol. 319, no. 5864. American Association for the Advancement of Science, pp. 787–790, 2008.
View | DOI
 

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 | OA
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 | Journal Article | IST-REx-ID: 7320
R. Flückiger, S. A. Freunberger, D. Kramer, A. Wokaun, G. G. Scherer, and F. N. Büchi, “Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC,” Electrochimica Acta, vol. 54, no. 2. Elsevier, pp. 551–559, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7322
D. Kramer et al., “Electrochemical diffusimetry of fuel cell gas diffusion layers,” Journal of Electroanalytical Chemistry, vol. 612, no. 1. Elsevier, pp. 63–77, 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 | Conference Paper | IST-REx-ID: 753
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “How to solve consensus in the smallest window of synchrony,” presented at the DISC: Distributed Computing, 2008, vol. 5218 LNCS, pp. 32–46.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7752
M. R. Robinson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “Environmental heterogeneity generates fluctuating selection on a secondary sexual trait,” Current Biology, vol. 18, no. 10. Elsevier, pp. 751–757, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 844
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, and S. Sunyaev, “Hypermutable non-synonymous sites are under stronger negative selection,” PLoS Genetics, vol. 4, no. 11. Public Library of Science, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8481
B. Bersch et al., “Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge,” Journal of Molecular Biology, vol. 380, no. 2. Elsevier, pp. 386–403, 2008.
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: 8482
T. Kern, P. Schanda, and B. Brutscher, “Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load,” Journal of Magnetic Resonance, vol. 190, no. 2. Elsevier, pp. 333–338, 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 | OA
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: 8510
V. Kaloshin and M. Levi, “An example of Arnold diffusion for near-integrable Hamiltonians,” Bulletin of the American Mathematical Society, vol. 45, no. 3. American Mathematical Society, pp. 409–427, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8509
V. Kaloshin and M. Levi, “Geometry of Arnold diffusion,” SIAM Review, vol. 50, no. 4. Society for Industrial & Applied Mathematics, pp. 702–720, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 895
Z. Donaldson et al., “Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene,” BMC Evolutionary Biology, vol. 8, no. 1. BioMed Central, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 907
R. Assis, A. Kondrashov, E. Koonin, and F. Kondrashov, “Nested genes and increasing organizational complexity of metazoan genomes,” Trends in Genetics, vol. 24, no. 10. Elsevier, pp. 475–478, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 9457 | OA
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: 13423
R. Klajn et al., “Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates,” Advanced Functional Materials, vol. 18, no. 18. Wiley, pp. 2763–2769, 2008.
View | DOI
 

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
 

2008 | Journal Article | IST-REx-ID: 517
N. H. Barton, “Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” Genetics Research, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
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 | OA
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
 

Search

Filter Publications