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.

9101 Publications


2008 | Journal Article | IST-REx-ID: 4161
Oteíza P, Köppen M, Concha M, Heisenberg C-PJ. 2008. Origin and shaping of the laterality organ in zebrafish. Development. 135(16), 2807–2813.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
Kai M, Heisenberg C-PJ, Tada M. 2008. Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. 135(18), 3043–3051.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. 2008. Model checking transactional memories. PLDI: Programming Languages Design and Implementation, 372–382.
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. 2008. Permissiveness in transactional memories. DISC: Distributed Computing, LNCS, vol. 5218, 305–319.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. 2008. Completeness and nondeterminism in model checking transactional memories. CONCUR: Concurrency Theory, LNCS, vol. 5201, 21–35.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF. CAV: Computer Aided Verification, LNCS 5123, , 304–308.
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. Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409 | OA
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 TA, Hottelier T, Kovács L. 2008. Valigator: A verification tool with bound and invariant generation. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 5330, 333–342.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger TA. 2008. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 366(1881), 3727–3736.
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 TA, Majumdar R, Rybalchenko A, Xu R. 2008. Proving non-termination. POPL: Principles of Programming Languages, 147–158.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. 2008. Bounded asynchrony: Concurrency for modeling cell-cell interactions. FMSB: Formal Methods in Systems Biology, LNCS, vol. 5054, 17–32.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. 2008. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 19(3), 549–563.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with component reuse. EMSOFT: Embedded Software , 79–88.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
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. 319(5864), 787–790.
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. QELS: Quantum Electronics and Laser Science Conference, Optics InfoBase Conference Papers, .
View | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
Bretscher AJ, Busch KE, 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. 105(23), 8044–8049.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 6148
Kammenga JE, Phillips PC, de Bono M, Doroszuk A. 2008. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 24(4), 178–185.
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. 18(5), R204–R206.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 7321
Freunberger SA, Schneider IA, Sui P-C, Wokaun A, Djilali N, Büchi FN. 2008. Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. 155(7), B704.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7320
Flückiger R, Freunberger SA, Kramer D, Wokaun A, Scherer GG, Büchi FN. 2008. Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC. Electrochimica Acta. 54(2), 551–559.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7322
Kramer D, Freunberger SA, Flückiger R, Schneider IA, Wokaun A, Büchi FN, Scherer GG. 2008. Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. 612(1), 63–77.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 7425
Santis M, Freunberger SA, Papra M, Büchi FN. 2008. Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks. 3rd International Conference on Fuel Cell Science, Engineering and Technology. International conference on fuel cell science, engineering and technology, 763–765.
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. DISC: Distributed Computing, LNCS, vol. 5218 LNCS, 32–46.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7752
Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. 2008. Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. 18(10), 751–757.
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. 4(11).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8481
Bersch B, Favier A, Schanda P, van Aelst S, Vallaeys T, Covès J, Mergeay M, 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. 380(2), 386–403.
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. 380(4), 726–741.
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. 190(2), 333–338.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 9537
Zilberman D. 2008. The evolving functions of DNA methylation. Current Opinion in Plant Biology. 11(5), 554–559.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 965 | OA
Morozov A, Serbyn M. 2008. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 154(2), 270–293.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 8510
Kaloshin V, Levi M. 2008. An example of Arnold diffusion for near-integrable Hamiltonians. Bulletin of the American Mathematical Society. 45(3), 409–427.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8509
Kaloshin V, Levi M. 2008. Geometry of Arnold diffusion. SIAM Review. 50(4), 702–720.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 895
Donaldson Z, Kondrashov F, Putnam A, Bai Y, Stoinski T, Hammock E, Young L. 2008. Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene. BMC Evolutionary Biology. 8(1).
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 9457 | OA
Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. 2008. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 456(7218), 125–129.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 13423
Klajn R, Gray TP, Wesson PJ, Myers BD, Dravid VP, Smoukov SK, Grzybowski BA. 2008. Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. 18(18), 2763–2769.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 13422
Wei Y, Klajn R, Pinchuk AO, Grzybowski BA. 2008. Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers”. Small. 4(10), 1635–1639.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 517
Barton NH. 2008. Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin. Genetics Research. 89(5–6), 475–477.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark M, Ferlaino F, Knoop S, Danzl JG, Kraemer T, Chin C, Nägerl H, Grimm R. 2007. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 76(4).
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 11116 | OA
Franz C, Walczak R, Yavuz S, Santarella R, Gentzel M, Askjaer P, Galy V, Hetzer M, Mattaj IW, Antonin W. 2007. MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly. EMBO reports. 8(2), 165–172.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 11115
Anderson DJ, Hetzer M. 2007. Nuclear envelope formation by chromatin-mediated reorganization of the endoplasmic reticulum. Nature Cell Biology. 9(10), 1160–1166.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 11884
Henzinger MH. 2007. Search technologies for the internet. Science. 317(5837), 468–471.
View | DOI | PubMed | Europe PMC
 

2007 | Conference Paper | IST-REx-ID: 11924
Henzinger MH. 2007. Combinatorial algorithms for web search engines: three success stories. 18th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1022–1026.
View
 

Search

Filter Publications