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.

7219 Publications


2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. 2007. Stochastic ω-Regular Games. University of California, Berkeley.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. 2007. A framework for compositional design and analysis of systems. University of California, Berkeley.
View
 

2007 | Journal Article | IST-REx-ID: 4567
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2007. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 9(5), 505–525.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. 2007. Minimum-time reachability in timed games. ICALP: Automata, Languages and Programming, LNCS, vol. 4596, 825–837.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Path invariants. PLDI: Programming Languages Design and Implementation, 300–309.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Invariant synthesis for combined theories. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 378–394.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. 2007. Configurable software verification: Concretizing the convergence of model checking and program analysis. CAV: Computer Aided Verification, LNCS, vol. 4590, 504–518.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. 2007. An application of web-service interfaces. ICWS: International Conference on Web Service, 831–838.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. 2007. Concurrent reachability games. Theoretical Computer Science. 386(3), 188–217.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 582
Hosten O, Kwiat P. 2007. Observing the spin hall effect of light via quantum weak measurements. OMD: Organic Materials and Devices for Displays and Energy Conversion, Optics InfoBase Conference Papers, .
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7323
Büchi FN, Paganelli G, Dietrich P, Laurent D, Tsukada A, Varenne P, Delfino A, Kötz R, Freunberger SA, Magne P-A, Walser D, Olsommer D. 2007. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 7(4), 329–335.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7324
Büchi FN, Freunberger SA, Reum M, Paganelli G, Tsukada A, Dietrich P, Delfino A. 2007. On the efficiency of an advanced automotive fuel cell system. Fuel Cells. 7(2), 159–164.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7325
Schneider IA, Freunberger SA, Kramer D, Wokaun A, Scherer GG. 2007. Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. 154(4), B383.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7704
Komiyama T, Sweeney LBJ, Schuldiner O, Garcia KC, Luo L. 2007. Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. 128(2), 399–410.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7705
Sweeney LBJ, Couto A, Chou Y-H, Berdnik D, Dickson BJ, Luo L, Komiyama T. 2007. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. 53(2), 185–200.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7753 | OA
Robinson MR, Kruuk LE. 2007. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 3(6), 651–654.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 11115
Anderson DJ, HETZER MW. 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: 11116 | OA
Franz C, Walczak R, Yavuz S, Santarella R, Gentzel M, Askjaer P, Galy V, HETZER MW, 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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Browning TD, Heath Brown R. 2007.Simultaneous equal sums of three powers. In: Diophantine Geometry. CRM Series, vol. 4, 93–100.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1750
Katsaros G, Stoffel M, Rastelli A, Schmidt O, Kern K, Tersoff J. 2007. Three-dimensional isocompositional profiles of buried SiGeSi (001) islands. Applied Physics Letters. 91(1).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1762 | OA
Leek P, Fink JM, Blais A, Bianchetti R, Göppl M, Gambetta J, Schuster D, Frunzio L, Schoelkopf R, Wallraff A. 2007. Observation of Berry’s phase in a solid-state qubit. Science. 318(5858), 1889–1892.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 1797
Viney T, Bálint K, Hillier D, Siegert S, Boldogköi Z, Enquist L, Meister M, Cepko C, Roska B. 2007. Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing. Current Biology. 17(11), 981–988.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1964
Sazanov LA. 2007. Respiratory complex I: Mechanistic and structural insights provided by the crystal structure of the hydrophilic domain. Biochemistry. 46(9), 2275–2288.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1965
Baranova E, Holt P, Sazanov LA. 2007. Projection structure of the membrane domain of Escherichia coli respiratory Complex I at 8 Å resolution. Journal of Molecular Biology. 366(1), 140–154.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1969
Baranova E, Morgan D, Sazanov LA. 2007. Single particle analysis confirms distal location of subunits NuoL and NuoM in Escherichia coli complex I. Journal of Structural Biology. 159(2 SPEC. ISS.), 238–242.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 6150
Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. 2007. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 17(2), 159–164.
View | DOI | PubMed | Europe PMC
 

2007 | Preprint | IST-REx-ID: 6321 | OA
Browning TD. The Manin conjecture in dimension 2. arXiv, 0704.1217.
View | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
Browning TD. 2007.An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Clay Mathemetics Proceedings, vol. 7, 39–56.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 879
Kondrashov F, Gurbich T, Vlasov P. 2007. Selection for functional uniformity of tuf duplicates in γ-proteobacteria. Trends in Genetics. 23(5), 215–218.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 904
Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. 2007. Extensive parallelism in protein evolution. Biology Direct. 2.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
Bühler O, Muller CJ. 2007. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 588, 1–28.
View | DOI | Download None (ext.)
 

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

2007 | Journal Article | IST-REx-ID: 1297
Raghu S, Jösch MA, Borst A, Reiff D. 2007. Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites. Journal of Comparative Neurology. 502(4), 598–610.
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 | Conference Paper | IST-REx-ID: 2091 | OA
Bickel B, Botsch M, Angst R, Matusik W, Otaduy M, Pfister H, Groß M. 2007. Multi scale capture of facial geometry and motion. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2092
Pietroni N, Otaduy M, Bickel B, Ganovelli F, Groß M. 2007. Texturing internal surfaces from a few cross-sections. Computer Graphics Forum. 26(3), 637–644.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2093 | OA
Bickel B, Botsch M, Angst R, Matusik W, Otaduy M, Pfister H, Groß M. 2007. Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. 26(3).
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2118 | OA
Maas J, Van Neerven J. 2007. On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv der Mathematik. 89(3), 226–236.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2135
Lemeshko M, Nazarenko E, Gonchar A., Reznichenko L, Nedoseykina T, Novakovich A, Mathon O, Joly Y, Vedrinskiǐ R. 2007. 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. 76.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2143
Lemeshko M, Nazarenko E, Gonchar A, Reznichenko L, Mathon O, Joly Y, Vedrinskiǐ R. 2007. Phase transitions in lead-free piezoelectric ceramics: Study of local atomic structure. EPL. 77(2).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2145
Lemeshko M, Nazarenko E, Gonchar A, Reznichenko L, Nedoseykina T, Novakovich A, Mathon O, Joly Y, Vedrinskiǐ R. 2007. 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. 76(13).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 219
De La Bretèche R, Browning TD, Derenthal U. 2007. On Manin’s conjecture for a certain singular cubic surface. Annales Scientifiques de l’Ecole Normale Superieure. 40(1), 1–50.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 220
Browning TD. 2007. Counting rational points on cubic hypersurfaces. Mathematika. 54(1–2), 93–112.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 221 | OA
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 55(1), 51–80.
View | Files available | DOI | arXiv
 

2007 | Journal Article | IST-REx-ID: 222 | OA
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 143(3), 579–605.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 223 | OA
Browning TD. 2007. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 152(1), 13–38.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2367 | OA
Seiringer R. 2007. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 80(3), 285–288.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
Lieb É, Seiringer R, Yngvason J. 2007. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 59(3), 389–399.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2371 | OA
Frank R, Lieb É, Seiringer R. 2007. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 275(2), 479–489.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2372 | OA
Frank R, Lieb É, Seiringer R, Siedentop H. 2007. Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. 76(5).
View | DOI | Download (ext.)
 

Search

Filter Publications