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.
192 Publications
2007 | Thesis | IST-REx-ID: 4559
Chatterjee, Krishnendu. Stochastic ω-Regular Games. University of California, Berkeley, 2007, pp. 1–247.
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, pp. 1–244.
View
2007 | Journal Article | IST-REx-ID: 4567
Beyer, Dirk, et al. “The Software Model Checker BLAST: Applications to Software Engineering.” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5, Springer, 2007, pp. 505–25, doi:10.1007/s10009-007-0044-z.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4570
Brihaye, Thomas, et al. Minimum-Time Reachability in Timed Games. Vol. 4596, Springer, 2007, pp. 825–37, doi:10.1007/978-3-540-73420-8_71.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, et al. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. Vol. 4590, Springer, 2007, pp. 504–18, doi:10.1007/978-3-540-73368-3_51.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4572
Beyer, Dirk, et al. Invariant Synthesis for Combined Theories. Vol. 4349, Springer, 2007, pp. 378–94, doi:10.1007/978-3-540-69738-1_27.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4571
Beyer, Dirk, et al. Path Invariants. ACM, 2007, pp. 300–09, doi:10.1145/1250734.1250769.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4575
Beyer, Dirk, et al. An Application of Web-Service Interfaces. IEEE, 2007, pp. 831–38, doi:10.1109/ICWS.2007.32 .
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Theoretical Computer Science, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi: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, doi:10.1364/FIO.2007.JTuA4.
View
| DOI
2007 | Journal Article | IST-REx-ID: 6150
Gumienny, Tina L., et al. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.” Current Biology, vol. 17, no. 2, Elsevier, 2007, pp. 159–64, doi:10.1016/j.cub.2006.11.065.
View
| DOI
| PubMed | Europe PMC
2007 | Book Chapter | IST-REx-ID: 6323 | 
Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Preprint | IST-REx-ID: 6321 |
Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, 0704.1217.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 7325
Schneider, I. A., et al. “Oscillations in Gas Channels: Part I. The Forgotten Player in Impedance Spectroscopy in PEFCs.” Journal of The Electrochemical Society, vol. 154, no. 4, B383, The Electrochemical Society, 2007, doi:10.1149/1.2435706.
View
| DOI
2007 | Journal Article | IST-REx-ID: 7323
Büchi, F. N., 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, 2007, pp. 329–35, doi:10.1002/fuce.200600050.
View
| DOI
2007 | Journal Article | IST-REx-ID: 7324
Büchi, F. N., et al. “On the Efficiency of an Advanced Automotive Fuel Cell System.” Fuel Cells, vol. 7, no. 2, Wiley, 2007, pp. 159–64, doi:10.1002/fuce.200500257.
View
| DOI
2007 | Journal Article | IST-REx-ID: 7753 |
Robinson, Matthew Richard, and Loeske 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, 2007, pp. 651–54, doi:10.1098/rsbl.2007.0278.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 7781
Robinson, Matthew Richard, et al. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.” Evolution, vol. 60, no. 10, Wiley, 2007, pp. 2168–81, doi:10.1111/j.0014-3820.2006.tb01854.x.
View
| DOI
2007 | Journal Article | IST-REx-ID: 7780
Goodrich, Carl Peter, et al. “Single-Molecule Electrophoresis of β-Hairpin Peptides by Electrical Recordings and Langevin Dynamics Simulations.” The Journal of Physical Chemistry B, vol. 111, no. 13, American Chemical Society, 2007, pp. 3332–35, doi:10.1021/jp071364h.
View
| DOI
2007 | Journal Article | IST-REx-ID: 8027
Vogels, Tim P., and L. Abbott. “Gating Deficits in Model Networks: A Path to Schizophrenia?” Pharmacopsychiatry, vol. 40, no. S 1, Thieme, 2007, pp. S73–77, doi:10.1055/s-2007-992130.
View
| DOI
| PubMed | Europe PMC