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.

7740 Publications


2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. “Quantitative Generalizations of Languages,” 4588:20–22. Springer, 2007. https://doi.org/10.1007/978-3-540-73208-2_2.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,” 4362:103–10. Springer, 2007. https://doi.org/10.1007/978-3-540-69507-3_7.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4529
Fisher, Jasmin, and Thomas A Henzinger. “Executable Cell Biology.” Nature Biotechnology. Nature Publishing Group, 2007. https://doi.org/10.1038/nbt1356.
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc, Jacques, and Thomas A Henzinger. CSL: Computer Science Logic . CSL: Computer Science Logic. Vol. 4646. Springer, 2007. https://doi.org/10.1007/978-3-540-74915-8.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
Fisher, Jasmin, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology. Public Library of Science, 2007. https://doi.org/10.1371/journal.pcbi.0030092.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,” 4424:261–75. Springer, 2007. https://doi.org/10.1007/978-3-540-71209-1_21.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science. International Federation of Computational Logic, 2007. https://doi.org/10.2168/LMCS-3(3:4)2007.
View | DOI
 

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

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, Arindam. “A Framework for Compositional Design and Analysis of Systems.” University of California, Berkeley, 2007.
View
 

2007 | Journal Article | IST-REx-ID: 4567
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The Software Model Checker BLAST: Applications to Software Engineering.” International Journal on Software Tools for Technology Transfer. Springer, 2007. https://doi.org/10.1007/s10009-007-0044-z.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye, Thomas, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,” 4596:825–37. Springer, 2007. https://doi.org/10.1007/978-3-540-73420-8_71.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Path Invariants,” 300–309. ACM, 2007. https://doi.org/10.1145/1250734.1250769.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,” 4349:378–94. Springer, 2007. https://doi.org/10.1007/978-3-540-69738-1_27.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,” 4590:504–18. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_51.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia. “An Application of Web-Service Interfaces,” 831–38. IEEE, 2007. https://doi.org/10.1109/ICWS.2007.32 .
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” Theoretical Computer Science. Elsevier, 2007. https://doi.org/10.1016/j.tcs.2007.07.008.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 582
Hosten, Onur, and Paul Kwiat. “Observing the Spin Hall Effect of Light via Quantum Weak Measurements.” OSA, 2007. https://doi.org/10.1364/FIO.2007.JTuA4.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7323
Büchi, F. N., G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, et al. “Consumption and Efficiency of a Passenger Car with a Hydrogen/Oxygen PEFC Based Hybrid Electric Drivetrain.” Fuel Cells. Wiley, 2007. https://doi.org/10.1002/fuce.200600050.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7324
Büchi, F. N., Stefan Alexander Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, and A. Delfino. “On the Efficiency of an Advanced Automotive Fuel Cell System.” Fuel Cells. Wiley, 2007. https://doi.org/10.1002/fuce.200500257.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7325
Schneider, I. A., Stefan Alexander 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. The Electrochemical Society, 2007. https://doi.org/10.1149/1.2435706.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7704
Komiyama, Takaki, Lora Beatrice Jaeger Sweeney, Oren Schuldiner, K. Christopher Garcia, and Liqun Luo. “Graded Expression of Semaphorin-1a Cell-Autonomously Directs Dendritic Targeting of Olfactory Projection Neurons.” Cell. Elsevier, 2007. https://doi.org/10.1016/j.cell.2006.12.028.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7705
Sweeney, Lora Beatrice Jaeger, Africa Couto, Ya-Hui Chou, Daniela Berdnik, Barry J. Dickson, Liqun Luo, and Takaki Komiyama. “Temporal Target Restriction of Olfactory Receptor Neurons by Semaphorin-1a/PlexinA-Mediated Axon-Axon Interactions.” Neuron. Elsevier, 2007. https://doi.org/10.1016/j.neuron.2006.12.022.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7753 | OA
Robinson, Matthew Richard, and Loeske E.B Kruuk. “Function of Weaponry in Females: The Use of Horns in Intrasexual Competition for Resources in Female Soay Sheep.” Biology Letters. The Royal Society, 2007. https://doi.org/10.1098/rsbl.2007.0278.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Browning, Timothy D, and Roger Heath Brown. “Simultaneous Equal Sums of Three Powers.” In Diophantine Geometry, edited by Umberto Zannier, 4:93–100. Edizioni della Normale, 2007.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1750
Katsaros, Georgios, Mathieu Stoffel, Armando Rastelli, Oliver Schmidt, Klaus Kern, and Jerry Tersoff. “Three-Dimensional Isocompositional Profiles of Buried SiGeSi (001) Islands.” Applied Physics Letters. American Institute of Physics, 2007. https://doi.org/10.1063/1.2752730.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1762 | OA
Leek, Peter, Johannes M Fink, Alexandre Blais, R Bianchetti, M Göppl, Jay Gambetta, David Schuster, Luigi Frunzio, Robert Schoelkopf, and Andreas Wallraff. “Observation of Berry’s Phase in a Solid-State Qubit.” Science. American Association for the Advancement of Science, 2007. https://doi.org/10.1126/science.1149858.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 1797
Viney, Tim, Kamill Bálint, Dániel Hillier, Sandra Siegert, Zsolt Boldogköi, Lynn Enquist, Markus Meister, Constance Cepko, and Botond Roska. “Local Retinal Circuits of Melanopsin-Containing Ganglion Cells Identified by Transsynaptic Viral Tracing.” Current Biology. Cell Press, 2007. https://doi.org/10.1016/j.cub.2007.04.058.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1964
Sazanov, Leonid A. “Respiratory Complex I: Mechanistic and Structural Insights Provided by the Crystal Structure of the Hydrophilic Domain.” Biochemistry. ACS, 2007. https://doi.org/10.1021/bi602508x.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1965
Baranova, Ekaterina, Peter Holt, and Leonid A Sazanov. “Projection Structure of the Membrane Domain of Escherichia Coli Respiratory Complex I at 8 Å Resolution.” Journal of Molecular Biology. Elsevier, 2007. https://doi.org/10.1016/j.jmb.2006.11.026.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1969
Baranova, Ekaterina, David Morgan, and Leonid A Sazanov. “Single Particle Analysis Confirms Distal Location of Subunits NuoL and NuoM in Escherichia Coli Complex I.” Journal of Structural Biology. Academic Press, 2007. https://doi.org/10.1016/j.jsb.2007.01.009.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 6150
Gumienny, Tina L., Lesley T. MacNeil, Huang Wang, Mario de Bono, Jeffrey L. Wrana, and Richard W. Padgett. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.” Current Biology. Elsevier, 2007. https://doi.org/10.1016/j.cub.2006.11.065.
View | DOI | PubMed | Europe PMC
 

2007 | Preprint | IST-REx-ID: 6321 | OA
Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” In A Tribute to Gauss and Dirichlet, 7:39–56. Analytic Number Theory. American Mathematical Society, 2007.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 879
Kondrashov, Fyodor, Tatiana Gurbich, and Peter Vlasov. “Selection for Functional Uniformity of Tuf Duplicates in γ-Proteobacteria.” Trends in Genetics. Elsevier, 2007. https://doi.org/10.1016/j.tig.2007.03.002.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 904
Bazykin, Georgii, Fyodor Kondrashov, Michael Brudno, Alexander Poliakov, Inna Dubchak, and Alexey Kondrashov. “Extensive Parallelism in Protein Evolution.” Biology Direct. BioMed Central, 2007. https://doi.org/10.1186/1745-6150-2-20.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
Bühler, Oliver, and Caroline J Muller. “Instability and Focusing of Internal Tides in the Deep Ocean.” Journal of Fluid Mechanics. Cambridge University Press, 2007. https://doi.org/10.1017/s0022112007007410.
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 128 | OA
Carr, Adra, Yancey Serchest, Scott R Waitukaitis, John Perreault, Vincent Lonij, and Alexander Cronin. “Cover Slip External Cavity Diode Laser.” Review of Scientific Instruments. American Institute of Physics, 2007. https://doi.org/10.1063/1.2801006.
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1297
Raghu, Shamprasad, Maximilian A Jösch, Alexander Borst, and Dierk Reiff. “Synaptic Organization of Lobula Plate Tangential Cells in Drosophila: γ-Aminobutyric Acid Receptors and Chemical Release Sites.” Journal of Comparative Neurology. Wiley-Blackwell, 2007. https://doi.org/10.1002/cne.21319.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark, Michael, Francesca Ferlaino, Steven Knoop, Johann G Danzl, Tobias Kraemer, Cheng Chin, Hanns Nägerl, and Rudolf Grimm. “Spectroscopy of Ultracold Trapped Cesium Feshbach Molecules.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2007. https://doi.org/10.1103/PhysRevA.76.042514.
View | DOI | Download None (ext.)
 

2007 | Conference Paper | IST-REx-ID: 2091 | OA
Bickel, Bernd, Mario Botsch, Roland Angst, Wojciech Matusik, Miguel Otaduy, Hanspeter Pfister, and Markus Groß. “Multi Scale Capture of Facial Geometry and Motion.” ACM, 2007. https://doi.org/doi:10.1145/1275808.1276419.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2092
Pietroni, Nico, Miguel Otaduy, Bernd Bickel, Fabio Ganovelli, and Markus Groß. “Texturing Internal Surfaces from a Few Cross-Sections.” Computer Graphics Forum. Wiley-Blackwell, 2007. https://doi.org/10.1111/j.1467-8659.2007.01087.x.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2093 | OA
Bickel, Bernd, Mario Botsch, Roland Angst, Wojciech Matusik, Miguel Otaduy, Hanspeter Pfister, and Markus Groß. “Multi Scale Capture of Facial Geometry and Motion.” ACM Transactions on Graphics. ACM, 2007. https://doi.org/10.1145/1276377.1276419.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2118 | OA
Maas, Jan, and Jan Van Neerven. “On Analytic Ornstein-Uhlenbeck Semigroups in Infinite Dimensions.” Archiv Der Mathematik. Birkhäuser, 2007. https://doi.org/10.1007/s00013-007-2082-x.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2135
Lemeshko, Mikhail, Elena Nazarenko, A.A Gonchar, Larisa Reznichenko, Tatiana Nedoseykina, Alexander Novakovich, Olivier Mathon, Yves Joly, and Rostislav Vedrinskiǐ. “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. American Physical Society, 2007. http://dx.doi.org/10.1103/PhysRevB.76.134106.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2143
Lemeshko, Mikhail, Elena Nazarenko, Anastasia Gonchar, Larisa Reznichenko, Olivier Mathon, Yves Joly, and Rostislav Vedrinskiǐ. “Phase Transitions in Lead-Free Piezoelectric Ceramics: Study of Local Atomic Structure.” EPL. IOP Publishing Ltd., 2007. https://doi.org/10.1209/0295-5075/77/26003 .
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2145
Lemeshko, Mikhail, Elena Nazarenko, Anastasia Gonchar, Larisa Reznichenko, Tatiana Nedoseykina, Alexander Novakovich, Olivier Mathon, Yves Joly, and Rostislav Vedrinskiǐ. “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. American Physical Society, 2007. https://doi.org/10.1103/PhysRevB.76.134106.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 219
De La Bretèche, Régis, Timothy D Browning, and Ulrich Derenthal. “On Manin’s Conjecture for a Certain Singular Cubic Surface.” Annales Scientifiques de l’Ecole Normale Superieure. Societe Mathematique de France, 2007. https://doi.org/10.1016/j.ansens.2006.12.002.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 220
Browning, Timothy D. “Counting Rational Points on Cubic Hypersurfaces.” Mathematika. University College London, 2007. https://doi.org/10.1112/S0025579300000243.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 221 | OA
De La Bretèche, Régis, and Timothy D Browning. “On Manin’s Conjecture for Singular Del Pezzo Surfaces of Degree Four, I.” Michigan Mathematical Journal. Project Euclid, 2007. https://doi.org/10.1307/mmj/1177681985.
View | Files available | DOI | arXiv
 

2007 | Journal Article | IST-REx-ID: 222 | OA
De La Bretèche, Régis, and Timothy D Browning. “On Manin’s Conjecture for Singular Del Pezzo Surfaces of Degree Four, II.” Mathematical Proceedings of the Cambridge Philosophical Society. Unknown, 2007. https://doi.org/10.1017/S0305004107000205.
View | DOI | Download (ext.)
 

Search

Filter Publications