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.

7224 Publications


2007 | Journal Article | IST-REx-ID: 4529
J. Fisher and T. A. Henzinger, “Executable cell biology,” Nature Biotechnology, vol. 25. Nature Publishing Group, pp. 1239–1249, 2007.
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
J. Duparc and T. A. Henzinger, CSL: Computer Science Logic , vol. 4646. Springer, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
J. Fisher, N. Piterman, A. Hajnal, and T. A. Henzinger, “Predictive modeling of signaling crosstalk during C. elegans vulval development,” PLoS Computational Biology, vol. 3(5):e92. Public Library of Science, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
K. Chatterjee and T. A. Henzinger, “Assume-guarantee synthesis,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, vol. 4424, pp. 261–275.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4547
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” Logical Methods in Computer Science, vol. 3, no. 184. International Federation of Computational Logic, pp. 1–23, 2007.
View | DOI
 

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

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

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

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

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

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

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

2007 | Conference Paper | IST-REx-ID: 4575
D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. Seshia, “An application of web-service interfaces,” presented at the ICWS: International Conference on Web Service, 2007, pp. 831–838.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 7323
F. N. Büchi et al., “Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain,” Fuel Cells, vol. 7, no. 4. Wiley, pp. 329–335, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7324
F. N. Büchi et al., “On the efficiency of an advanced automotive fuel cell system,” Fuel Cells, vol. 7, no. 2. Wiley, pp. 159–164, 2007.
View | DOI
 

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

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

2007 | Journal Article | IST-REx-ID: 7705
L. B. J. Sweeney et al., “Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions,” Neuron, vol. 53, no. 2. Elsevier, pp. 185–200, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7753 | OA
M. R. Robinson and L. E. . Kruuk, “Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep,” Biology Letters, vol. 3, no. 6. The Royal Society, pp. 651–654, 2007.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2007 | Journal Article | IST-REx-ID: 11116 | OA
C. Franz et al., “MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly,” EMBO reports, vol. 8, no. 2. EMBO, pp. 165–172, 2007.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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

2007 | Journal Article | IST-REx-ID: 1762 | OA
P. Leek et al., “Observation of Berry’s phase in a solid-state qubit,” Science, vol. 318, no. 5858. American Association for the Advancement of Science, pp. 1889–1892, 2007.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 1797
T. Viney et al., “Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing,” Current Biology, vol. 17, no. 11. Cell Press, pp. 981–988, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1964
L. A. Sazanov, “Respiratory complex I: Mechanistic and structural insights provided by the crystal structure of the hydrophilic domain,” Biochemistry, vol. 46, no. 9. ACS, pp. 2275–2288, 2007.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 1969
E. Baranova, D. Morgan, and L. A. Sazanov, “Single particle analysis confirms distal location of subunits NuoL and NuoM in Escherichia coli complex I,” Journal of Structural Biology, vol. 159, no. 2 SPEC. ISS. Academic Press, pp. 238–242, 2007.
View | DOI
 

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

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

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

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

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

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

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

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

2007 | Journal Article | IST-REx-ID: 1035 | OA
M. Mark et al., “Spectroscopy of ultracold trapped cesium Feshbach molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 76, no. 4. American Physical Society, 2007.
View | DOI | Download None (ext.)
 

2007 | Conference Paper | IST-REx-ID: 2091 | OA
B. Bickel et al., “Multi scale capture of facial geometry and motion,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2007.
View | DOI | Download (ext.)
 

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

2007 | Journal Article | IST-REx-ID: 2093 | OA
B. Bickel et al., “Multi scale capture of facial geometry and motion,” ACM Transactions on Graphics, vol. 26, no. 3. ACM, 2007.
View | DOI | Download (ext.)
 

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

2007 | Journal Article | IST-REx-ID: 2135
M. Lemeshko et al., “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, vol. 76. American Physical Society, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2143
M. Lemeshko et al., “Phase transitions in lead-free piezoelectric ceramics: Study of local atomic structure,” EPL, vol. 77, no. 2. IOP Publishing Ltd., 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2145
M. Lemeshko et al., “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, vol. 76, no. 13. American Physical Society, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 219
R. De La Bretèche, T. D. Browning, and U. Derenthal, “On Manin’s conjecture for a certain singular cubic surface,” Annales Scientifiques de l’Ecole Normale Superieure, vol. 40, no. 1. Societe Mathematique de France, pp. 1–50, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 220
T. D. Browning, “Counting rational points on cubic hypersurfaces,” Mathematika, vol. 54, no. 1–2. University College London, pp. 93–112, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 221 | OA
R. De La Bretèche and T. D. Browning, “On Manin’s conjecture for singular del Pezzo surfaces of degree four, I,” Michigan Mathematical Journal, vol. 55, no. 1. Project Euclid, pp. 51–80, 2007.
View | Files available | DOI | arXiv
 

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

Search

Filter Publications