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.
11081 Publications
2007 | Published | Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:10.2168/LMCS-3(3:4)2007.
View
| DOI
2007 | Published | Thesis | IST-REx-ID: 4559
Chatterjee, Krishnendu. Stochastic ω-Regular Games. University of California, Berkeley, 2007, pp. 1–247.
View
| Download (ext.)
2007 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 12201
Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.” Trends in Genetics, vol. 23, no. 10, Elsevier BV, 2007, pp. 503–10, doi:10.1016/j.tig.2007.08.005.
View
| DOI
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 128 | 
Carr, Adra, et al. “Cover Slip External Cavity Diode Laser.” Review of Scientific Instruments, vol. 78, no. 10, 106108, American Institute of Physics, 2007, doi:10.1063/1.2801006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Published | Journal Article | IST-REx-ID: 1297
Raghu, Shamprasad, et al. “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, 2007, pp. 598–610, doi:10.1002/cne.21319.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 7704
Komiyama, Takaki, et al. “Graded Expression of Semaphorin-1a Cell-Autonomously Directs Dendritic Targeting of Olfactory Projection Neurons.” Cell, vol. 128, no. 2, Elsevier, 2007, pp. 399–410, doi:10.1016/j.cell.2006.12.028.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 7705
Sweeney, Lora B., et al. “Temporal Target Restriction of Olfactory Receptor Neurons by Semaphorin-1a/PlexinA-Mediated Axon-Axon Interactions.” Neuron, vol. 53, no. 2, Elsevier, 2007, pp. 185–200, doi:10.1016/j.neuron.2006.12.022.
View
| DOI
2007 | Published | 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 | Published | 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