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.

8978 Publications


2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories. In: Vol 5218. Springer; 2008:305-319. doi:10.1007/978-3-540-87779-0_21
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model checking transactional memories. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:21-35. doi: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. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
Aviv A, Cerny P, Clark S, et al. Security Evaluation of ES&S Voting Machines and Election Management System. In: USENIX; 2008. doi:1545
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409 | OA
Prabhu V. Games for the verification of timed systems. 2008:1-137.
View | Download None (ext.)
 

2008 | Thesis | IST-REx-ID: 4415
Matic S. Compositionality in deterministic real-time embedded systems. 2008:1-148.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. Valigator: A verification tool with bound and invariant generation. In: Vol 5330. Springer; 2008:333-342. doi:10.1007/978-3-540-89439-1_24
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger TA. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 2008;366(1881):3727-3736. doi:10.1098/rsta.2008.0141
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal A. A hierarchical coordination language for reliable real-time tasks. 2008:1-210.
View
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. Proving non-termination. In: ACM; 2008:147-158. doi:10.1145/1328438.1328459
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. Bounded asynchrony: Concurrency for modeling cell-cell interactions. In: Vol 5054. Springer; 2008:17-32. doi:10.1007/978-3-540-68413-8_2
View | DOI | Download (ext.)
 

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

2008 | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. Interface theories with component reuse. In: ACM; 2008:79-88. doi:10.1145/1450058.1450070
View | DOI | Download (ext.)
 

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

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, et al. Logical reliability of interacting real-time tasks. In: IEEE; 2008:909-914. doi:10.1145/1403375.1403595
View | DOI | Download (ext.)
 

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

2008 | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. Program analysis with dynamic change of precision. In: ACM; 2008:29-38. doi:10.1109/ASE.2008.13
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 581
Hosten O, Kwiat P. Observation of the spin hall effect of light via weak measurements. Science. 2008;319(5864):787-790. doi:10.1126/science.1152697
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. Spin hall effect of light via weak measurements: Sharp and smooth index variations. In: Optica Publishing Group; 2008.
View | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
Bretscher AJ, Busch KE, de Bono M. A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2008;105(23):8044-8049. doi:10.1073/pnas.0707607105
[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. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 2008;24(4):178-185. doi:10.1016/j.tig.2008.01.001
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 6149
Olofsson B, de Bono M. Sleep: dozy worms and sleepy flies. Current Biology. 2008;18(5):R204-R206. doi:10.1016/j.cub.2008.01.002
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. Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. 2008;155(7). doi:10.1149/1.2913095
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 7322
Kramer D, Freunberger SA, Flückiger R, et al. Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. 2008;612(1):63-77. doi:10.1016/j.jelechem.2007.09.014
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 7425
Santis M, Freunberger SA, Papra M, Büchi FN. 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. ASMEDC; 2008:763-765. doi:10.1115/fuelcell2005-74116
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 753
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. How to solve consensus in the smallest window of synchrony. In: Vol 5218 LNCS. Springer; 2008:32-46. doi:10.1007/978-3-540-87779-0_3
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7752
Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. 2008;18(10):751-757. doi: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. Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. 2008;4(11). doi:10.1371/journal.pgen.1000281
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8481
Bersch B, Favier A, Schanda P, 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. 2008;380(2):386-403. doi:10.1016/j.jmb.2008.05.017
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8480
Schanda P, Brutscher B, Konrat R, Tollinger M. 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. 2008;380(4):726-741. doi:10.1016/j.jmb.2008.05.040
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8482
Kern T, Schanda P, Brutscher B. Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load. Journal of Magnetic Resonance. 2008;190(2):333-338. doi:10.1016/j.jmr.2007.11.015
View | DOI
 

2008 | Journal Article | IST-REx-ID: 9537
Zilberman D. The evolving functions of DNA methylation. Current Opinion in Plant Biology. 2008;11(5):554-559. doi:10.1016/j.pbi.2008.07.004
View | DOI | PubMed | Europe PMC
 

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

2008 | Journal Article | IST-REx-ID: 8510
Kaloshin V, Levi M. An example of Arnold diffusion for near-integrable Hamiltonians. Bulletin of the American Mathematical Society. 2008;45(3):409-427. doi:10.1090/s0273-0979-08-01211-1
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 895
Donaldson Z, Kondrashov F, Putnam A, et al. Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene. BMC Evolutionary Biology. 2008;8(1). doi:10.1186/1471-2148-8-180
View | DOI
 

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

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

2008 | Journal Article | IST-REx-ID: 13423
Klajn R, Gray TP, Wesson PJ, et al. Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. 2008;18(18):2763-2769. doi:10.1002/adfm.200800293
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 517
Barton NH. Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetics Research. 2008;89(5-6):475-477. doi:10.1017/S0016672308009683
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark M, Ferlaino F, Knoop S, et al. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(4). doi:10.1103/PhysRevA.76.042514
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 11116 | OA
Franz C, Walczak R, Yavuz S, et al. MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly. EMBO reports. 2007;8(2):165-172. doi:10.1038/sj.embor.7400889
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2007 | Journal Article | IST-REx-ID: 11884
Henzinger MH. Search technologies for the internet. Science. 2007;317(5837):468-471. doi:10.1126/science.1126557
View | DOI | PubMed | Europe PMC
 

2007 | Conference Paper | IST-REx-ID: 11924
Henzinger MH. Combinatorial algorithms for web search engines: three success stories. In: 18th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial & Applied Mathematics; 2007:1022-1026.
View
 

2007 | Journal Article | IST-REx-ID: 128 | OA
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. Cover slip external cavity diode laser. Review of Scientific Instruments. 2007;78(10). doi:10.1063/1.2801006
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1297
Raghu S, Jösch MA, Borst A, Reiff D. Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites. Journal of Comparative Neurology. 2007;502(4):598-610. doi:10.1002/cne.21319
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Browning TD, Heath Brown R. Simultaneous equal sums of three powers. In: Zannier U, ed. Diophantine Geometry. Vol 4. Edizioni della Normale; 2007:93-100.
[Preprint] View | Download Preprint (ext.) | arXiv
 

Search

Filter Publications