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.
10932 Publications
2007 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | 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. https://doi.org/10.1364/FIO.2007.JTuA4.
View
| DOI
2007 | Published | 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 | Published | Journal Article | IST-REx-ID: 12201
Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.” Trends in Genetics. Elsevier BV, 2007. https://doi.org/10.1016/j.tig.2007.08.005.
View
| DOI
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 128 | 
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Published | 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 | Published | Journal Article | IST-REx-ID: 7704
Komiyama, Takaki, Lora B. 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 | Published | Journal Article | IST-REx-ID: 7705
Sweeney, Lora B., 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 | Published | Journal Article | IST-REx-ID: 7753 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 7780
Goodrich, Carl Peter, Serdal Kirmizialtin, Beatrice M. Huyghues-Despointes, Aiping Zhu, J. Martin Scholtz, Dmitrii E. Makarov, and Liviu Movileanu. “Single-Molecule Electrophoresis of β-Hairpin Peptides by Electrical Recordings and Langevin Dynamics Simulations.” The Journal of Physical Chemistry B. American Chemical Society, 2007. https://doi.org/10.1021/jp071364h.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 7781
Robinson, Matthew Richard, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske E.B. Kruuk. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.” Evolution. Wiley, 2007. https://doi.org/10.1111/j.0014-3820.2006.tb01854.x.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 8027
Vogels, Tim P, and L. Abbott. “Gating Deficits in Model Networks: A Path to Schizophrenia?” Pharmacopsychiatry. Thieme, 2007. https://doi.org/10.1055/s-2007-992130.
View
| DOI
| PubMed | Europe PMC
2007 | Published | Conference Paper | IST-REx-ID: 18336
Bronstein, Alex M., Michael M. Bronstein, Alfred M. Bruckstein, and Ron Kimmel. “Paretian Similarity for Partial Comparison of Non-Rigid Objects.” In First International Conference on Scale Space and Variational Methods in Computer Vision, 4485:264–75. Springer Nature, 2007. https://doi.org/10.1007/978-3-540-72823-8_23.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 18367
Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Weighted Distance Maps Computation on Parametric Three-Dimensional Manifolds.” Journal of Computational Physics. Elsevier, 2007. https://doi.org/10.1016/j.jcp.2007.01.009.
View
| DOI