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: 3971
Time-varying Reeb graphs for continuous space-time data
H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, J. Snoeyink, Computational Geometry: Theory and Applications 41 (2008) 149–166.
View
| DOI
H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, J. Snoeyink, Computational Geometry: Theory and Applications 41 (2008) 149–166.
2008 | Book Chapter | IST-REx-ID: 3969
Persistent homology - a survey
H. Edelsbrunner, J. Harer, in:, Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–282.
View
H. Edelsbrunner, J. Harer, in:, Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–282.
2008 | Journal Article | IST-REx-ID: 4141
Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation
H. Vervenne, K. Crombez, K. Lambaerts, L. Carvalho, M. Köppen, C.-P.J. Heisenberg, W. Van De Ven, M. Petit, Developmental Biology 320 (2008) 267–277.
View
| DOI
H. Vervenne, K. Crombez, K. Lambaerts, L. Carvalho, M. Köppen, C.-P.J. Heisenberg, W. Van De Ven, M. Petit, Developmental Biology 320 (2008) 267–277.
2008 | Journal Article | IST-REx-ID: 4161
Origin and shaping of the laterality organ in zebrafish
P. Oteíza, M. Köppen, M. Concha, C.-P.J. Heisenberg, Development 135 (2008) 2807–2813.
View
| DOI
P. Oteíza, M. Köppen, M. Concha, C.-P.J. Heisenberg, Development 135 (2008) 2807–2813.
2008 | Journal Article | IST-REx-ID: 4190
Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation
M. Kai, C.-P.J. Heisenberg, M. Tada, Development 135 (2008) 3043–3051.
View
| DOI
M. Kai, C.-P.J. Heisenberg, M. Tada, Development 135 (2008) 3043–3051.
2008 | Conference Paper | IST-REx-ID: 4384 |
Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
View
| Files available
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
2008 | Conference Paper | IST-REx-ID: 4386
Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
2008 | Conference Paper | IST-REx-ID: 4387
Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
2008 | Conference Paper | IST-REx-ID: 4397
CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
View
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
2008 | Conference Paper | IST-REx-ID: 4400
Security Evaluation of ES&S Voting Machines and Election Management System
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
View
| DOI
| Download (ext.)
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
2008 | Thesis | IST-REx-ID: 4409 |
Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
View
| Download None (ext.)
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
2008 | Thesis | IST-REx-ID: 4415
Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
View
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
2008 | Conference Paper | IST-REx-ID: 4452
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View
| DOI
| Download (ext.)
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
2008 | Journal Article | IST-REx-ID: 4509
Two challenges in embedded systems design: Predictability and robustness
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
View
| DOI
| Download (ext.)
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
2008 | Thesis | IST-REx-ID: 4524
A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
View
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
2008 | Conference Paper | IST-REx-ID: 4521
Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
View
| DOI
| Download (ext.)
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
2008 | Conference Paper | IST-REx-ID: 4527
Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
View
| DOI
| Download (ext.)
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
2008 | Journal Article | IST-REx-ID: 4532
Equivalence of labeled Markov chains
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
View
| DOI
| Download (ext.)
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
2008 | Conference Paper | IST-REx-ID: 4533
Interface theories with component reuse
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
View
| DOI
| Download (ext.)
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
2008 | Journal Article | IST-REx-ID: 4534
Reduction of stochastic parity to stochastic mean-payoff games
K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008) 1–7.
View
| DOI
| Download (ext.)
K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008) 1–7.
2008 | Conference Paper | IST-REx-ID: 4546
Logical reliability of interacting real-time tasks
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
View
| DOI
| Download (ext.)
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
2008 | Journal Article | IST-REx-ID: 4548
Stochastic limit-average games are in EXPTIME
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.
View
| DOI
| Download (ext.)
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.
2008 | Conference Paper | IST-REx-ID: 4568
Program analysis with dynamic change of precision
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
View
| DOI
| Download (ext.)
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
2008 | Journal Article | IST-REx-ID: 581
Observation of the spin hall effect of light via weak measurements
O. Hosten, P. Kwiat, Science 319 (2008) 787–790.
View
| DOI
O. Hosten, P. Kwiat, Science 319 (2008) 787–790.
2008 | Conference Paper | IST-REx-ID: 584
Spin hall effect of light via weak measurements: Sharp and smooth index variations
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
View
| Download None (ext.)
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
2008 | Journal Article | IST-REx-ID: 6146 |
A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans
A.J. Bretscher, K.E. Busch, M. de Bono, Proceedings of the National Academy of Sciences 105 (2008) 8044–8049.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A.J. Bretscher, K.E. Busch, M. de Bono, Proceedings of the National Academy of Sciences 105 (2008) 8044–8049.
2008 | Journal Article | IST-REx-ID: 6148
Beyond induced mutants: using worms to study natural variation in genetic pathways
J.E. Kammenga, P.C. Phillips, M. de Bono, A. Doroszuk, Trends in Genetics 24 (2008) 178–185.
View
| DOI
| PubMed | Europe PMC
J.E. Kammenga, P.C. Phillips, M. de Bono, A. Doroszuk, Trends in Genetics 24 (2008) 178–185.
2008 | Journal Article | IST-REx-ID: 6149
Sleep: dozy worms and sleepy flies
B. Olofsson, M. de Bono, Current Biology 18 (2008) R204–R206.
View
| DOI
| PubMed | Europe PMC
B. Olofsson, M. de Bono, Current Biology 18 (2008) R204–R206.
2008 | Journal Article | IST-REx-ID: 7321
Cell interaction phenomena in polymer electrolyte fuel cell stacks
S.A. Freunberger, I.A. Schneider, P.-C. Sui, A. Wokaun, N. Djilali, F.N. Büchi, Journal of The Electrochemical Society 155 (2008).
View
| DOI
S.A. Freunberger, I.A. Schneider, P.-C. Sui, A. Wokaun, N. Djilali, F.N. Büchi, Journal of The Electrochemical Society 155 (2008).
2008 | Journal Article | IST-REx-ID: 7320
Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC
R. Flückiger, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, F.N. Büchi, Electrochimica Acta 54 (2008) 551–559.
View
| DOI
R. Flückiger, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, F.N. Büchi, Electrochimica Acta 54 (2008) 551–559.
2008 | Journal Article | IST-REx-ID: 7322
Electrochemical diffusimetry of fuel cell gas diffusion layers
D. Kramer, S.A. Freunberger, R. Flückiger, I.A. Schneider, A. Wokaun, F.N. Büchi, G.G. Scherer, Journal of Electroanalytical Chemistry 612 (2008) 63–77.
View
| DOI
D. Kramer, S.A. Freunberger, R. Flückiger, I.A. Schneider, A. Wokaun, F.N. Büchi, G.G. Scherer, Journal of Electroanalytical Chemistry 612 (2008) 63–77.
2008 | Conference Paper | IST-REx-ID: 7425
Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks
M. Santis, S.A. Freunberger, M. Papra, F.N. Büchi, in:, 3rd International Conference on Fuel Cell Science, Engineering and Technology, ASMEDC, 2008, pp. 763–765.
View
| DOI
M. Santis, S.A. Freunberger, M. Papra, F.N. Büchi, in:, 3rd International Conference on Fuel Cell Science, Engineering and Technology, ASMEDC, 2008, pp. 763–765.
2008 | Conference Paper | IST-REx-ID: 753
How to solve consensus in the smallest window of synchrony
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
2008 | Journal Article | IST-REx-ID: 7752
Environmental heterogeneity generates fluctuating selection on a secondary sexual trait
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Current Biology 18 (2008) 751–757.
View
| DOI
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Current Biology 18 (2008) 751–757.
2008 | Journal Article | IST-REx-ID: 844
Hypermutable non-synonymous sites are under stronger negative selection
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).
View
| DOI
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).
2008 | Journal Article | IST-REx-ID: 8481
Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge
B. Bersch, A. Favier, P. Schanda, S. van Aelst, T. Vallaeys, J. Covès, M. Mergeay, R. Wattiez, Journal of Molecular Biology 380 (2008) 386–403.
View
| DOI
B. Bersch, A. Favier, P. Schanda, S. van Aelst, T. Vallaeys, J. Covès, M. Mergeay, R. Wattiez, Journal of Molecular Biology 380 (2008) 386–403.
2008 | Journal Article | IST-REx-ID: 8480
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
P. Schanda, B. Brutscher, R. Konrat, M. Tollinger, Journal of Molecular Biology 380 (2008) 726–741.
View
| DOI
P. Schanda, B. Brutscher, R. Konrat, M. Tollinger, Journal of Molecular Biology 380 (2008) 726–741.
2008 | Journal Article | IST-REx-ID: 8482
Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load
T. Kern, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 190 (2008) 333–338.
View
| DOI
T. Kern, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 190 (2008) 333–338.
2008 | Journal Article | IST-REx-ID: 9537
The evolving functions of DNA methylation
D. Zilberman, Current Opinion in Plant Biology 11 (2008) 554–559.
View
| DOI
| PubMed | Europe PMC
D. Zilberman, Current Opinion in Plant Biology 11 (2008) 554–559.
2008 | Journal Article | IST-REx-ID: 965 |
Nonlinear algebra and Bogoliubov's recursion
A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.
View
| DOI
| Download (ext.)
A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.
2008 | Journal Article | IST-REx-ID: 8510
An example of Arnold diffusion for near-integrable Hamiltonians
V. Kaloshin, M. Levi, Bulletin of the American Mathematical Society 45 (2008) 409–427.
View
| DOI
V. Kaloshin, M. Levi, Bulletin of the American Mathematical Society 45 (2008) 409–427.
2008 | Journal Article | IST-REx-ID: 8509
Geometry of Arnold diffusion
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.
View
| DOI
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.
2008 | Journal Article | IST-REx-ID: 895
Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene
Z. Donaldson, F. Kondrashov, A. Putnam, Y. Bai, T. Stoinski, E. Hammock, L. Young, BMC Evolutionary Biology 8 (2008).
View
| DOI
Z. Donaldson, F. Kondrashov, A. Putnam, Y. Bai, T. Stoinski, E. Hammock, L. Young, BMC Evolutionary Biology 8 (2008).
2008 | Journal Article | IST-REx-ID: 907
Nested genes and increasing organizational complexity of metazoan genomes
R. Assis, A. Kondrashov, E. Koonin, F. Kondrashov, Trends in Genetics 24 (2008) 475–478.
View
| DOI
R. Assis, A. Kondrashov, E. Koonin, F. Kondrashov, Trends in Genetics 24 (2008) 475–478.
2008 | Journal Article | IST-REx-ID: 9457 |
Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks
D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008) 125–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008) 125–129.
2008 | Journal Article | IST-REx-ID: 13423
Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates
R. Klajn, T.P. Gray, P.J. Wesson, B.D. Myers, V.P. Dravid, S.K. Smoukov, B.A. Grzybowski, Advanced Functional Materials 18 (2008) 2763–2769.
View
| DOI
R. Klajn, T.P. Gray, P.J. Wesson, B.D. Myers, V.P. Dravid, S.K. Smoukov, B.A. Grzybowski, Advanced Functional Materials 18 (2008) 2763–2769.
2008 | Journal Article | IST-REx-ID: 13422
Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers”
Y. Wei, R. Klajn, A.O. Pinchuk, B.A. Grzybowski, Small 4 (2008) 1635–1639.
View
| DOI
| PubMed | Europe PMC
Y. Wei, R. Klajn, A.O. Pinchuk, B.A. Grzybowski, Small 4 (2008) 1635–1639.
2008 | Journal Article | IST-REx-ID: 517
Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
N.H. Barton, Genetics Research 89 (2008) 475–477.
View
| DOI
N.H. Barton, Genetics Research 89 (2008) 475–477.
2007 | Journal Article | IST-REx-ID: 1035 |
Spectroscopy of ultracold trapped cesium Feshbach molecules
M. Mark, F. Ferlaino, S. Knoop, J.G. Danzl, T. Kraemer, C. Chin, H. Nägerl, R. Grimm, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
View
| DOI
| Download None (ext.)
M. Mark, F. Ferlaino, S. Knoop, J.G. Danzl, T. Kraemer, C. Chin, H. Nägerl, R. Grimm, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
2007 | Journal Article | IST-REx-ID: 11116 |
MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly
C. Franz, R. Walczak, S. Yavuz, R. Santarella, M. Gentzel, P. Askjaer, V. Galy, M. Hetzer, I.W. Mattaj, W. Antonin, EMBO Reports 8 (2007) 165–172.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Franz, R. Walczak, S. Yavuz, R. Santarella, M. Gentzel, P. Askjaer, V. Galy, M. Hetzer, I.W. Mattaj, W. Antonin, EMBO Reports 8 (2007) 165–172.