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 D, Henzinger TA, Jhala R, Majumdar R. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 2007;9(5):505-525. doi:10.1007/s10009-007-0044-z
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 582
Hosten O, Kwiat P. Observing the spin hall effect of light via quantum weak measurements. In: OSA; 2007. doi:10.1364/FIO.2007.JTuA4
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 6150
Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 2007;17(2):159-164. doi:10.1016/j.cub.2006.11.065
View
| DOI
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 12201
Feng X, Dickinson HG. Packaging the male germline in plants. Trends in Genetics. 2007;23(10):503-510. doi:10.1016/j.tig.2007.08.005
View
| DOI
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 128 | 
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. Cover slip external cavity diode laser. Review of Scientific Instruments. 2007;78(10). doi:10.1063/1.2801006
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Published | Journal Article | IST-REx-ID: 1297
Raghu S, Jösch MA, Borst A, Reiff D. Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites. Journal of Comparative Neurology. 2007;502(4):598-610. doi:10.1002/cne.21319
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 7704
Komiyama T, Sweeney LB, Schuldiner O, Garcia KC, Luo L. Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. 2007;128(2):399-410. doi:10.1016/j.cell.2006.12.028
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 7705
Sweeney LB, Couto A, Chou Y-H, et al. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. 2007;53(2):185-200. doi:10.1016/j.neuron.2006.12.022
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 7753 |
Robinson MR, Kruuk LE. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 2007;3(6):651-654. 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 CP, Kirmizialtin S, Huyghues-Despointes BM, et al. Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. 2007;111(13):3332-3335. doi:10.1021/jp071364h
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 7781
Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. 2007;60(10):2168-2181. doi:10.1111/j.0014-3820.2006.tb01854.x
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 8027
Vogels TP, Abbott L. Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. 2007;40(S 1):S73-S77. doi:10.1055/s-2007-992130
View
| DOI
| PubMed | Europe PMC
2007 | Published | Conference Paper | IST-REx-ID: 18336
Bronstein AM, Bronstein MM, Bruckstein AM, Kimmel R. Paretian similarity for partial comparison of non-rigid objects. In: First International Conference on Scale Space and Variational Methods in Computer Vision. Vol 4485. Springer Nature; 2007:264-275. doi:10.1007/978-3-540-72823-8_23
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 18367
Bronstein AM, Bronstein MM, Kimmel R. Weighted distance maps computation on parametric three-dimensional manifolds. Journal of Computational Physics. 2007;225(1):771-784. doi:10.1016/j.jcp.2007.01.009
View
| DOI