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
Stochastic ω-Regular Games
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
View | Download (ext.)
 

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

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

2007 | Conference Paper | IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
View | DOI
 

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

2007 | Conference Paper | IST-REx-ID: 582 View | DOI
 

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

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

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

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

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

2007 | Journal Article | IST-REx-ID: 7753 | OA View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2007 | Journal Article | IST-REx-ID: 11116 | OA
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.W. HETZER, I.W. Mattaj, W. Antonin, EMBO Reports 8 (2007) 165–172.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Simultaneous equal sums of three powers
T.D. Browning, R. Heath Brown, in:, U. Zannier (Ed.), Diophantine Geometry, Edizioni della Normale, 2007, pp. 93–100.
View | Download Preprint (ext.) | arXiv
 

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

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

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

2007 | Journal Article | IST-REx-ID: 1964 View | DOI
 

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

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

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

2007 | Preprint | IST-REx-ID: 6321 | OA
The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
An overview of Manin's conjecture for del Pezzo surfaces
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
View | Download Preprint (ext.) | arXiv
 

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

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

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

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

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

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

2007 | Conference Paper | IST-REx-ID: 2091 | OA
Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, in:, ACM, 2007.
View | DOI | Download (ext.)
 

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

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

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

2007 | Journal Article | IST-REx-ID: 2135
EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K
M. Lemeshko, E. Nazarenko, A.. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
View | DOI
 

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

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

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

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

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

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

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

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

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

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

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

Search

Filter Publications