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
The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
2007 | Published | Conference Paper | IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View
| DOI
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
2007 | Published | Conference Paper | IST-REx-ID: 4571
Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
2007 | Published | Conference Paper | IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
2007 | Published | Conference Paper | IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
2007 | Published | Conference Paper | IST-REx-ID: 4575
An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
2007 | Published | Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
2007 | Published | Conference Paper | IST-REx-ID: 582
Observing the spin hall effect of light via quantum weak measurements
O. Hosten, P. Kwiat, in:, OSA, 2007.
View
| DOI
O. Hosten, P. Kwiat, in:, OSA, 2007.
2007 | Published | Journal Article | IST-REx-ID: 6150
Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
View
| DOI
| PubMed | Europe PMC
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
2007 | Published | Journal Article | IST-REx-ID: 12201
Packaging the male germline in plants
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.
View
| DOI
| PubMed | Europe PMC
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.
2007 | Published | Journal Article | IST-REx-ID: 128 | 
Cover slip external cavity diode laser
A. Carr, Y. Serchest, S.R. Waitukaitis, J. Perreault, V. Lonij, A. Cronin, Review of Scientific Instruments 78 (2007).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Carr, Y. Serchest, S.R. Waitukaitis, J. Perreault, V. Lonij, A. Cronin, Review of Scientific Instruments 78 (2007).
2007 | Published | Journal Article | IST-REx-ID: 1297
Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites
S. Raghu, M.A. Jösch, A. Borst, D. Reiff, Journal of Comparative Neurology 502 (2007) 598–610.
View
| DOI
S. Raghu, M.A. Jösch, A. Borst, D. Reiff, Journal of Comparative Neurology 502 (2007) 598–610.
2007 | Published | Journal Article | IST-REx-ID: 7704
Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons
T. Komiyama, L.B. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.
View
| DOI
T. Komiyama, L.B. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.
2007 | Published | Journal Article | IST-REx-ID: 7705
Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions
L.B. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.
View
| DOI
L.B. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.
2007 | Published | Journal Article | IST-REx-ID: 7753 |
Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.
2007 | Published | Journal Article | IST-REx-ID: 7780
Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
View
| DOI
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
2007 | Published | Journal Article | IST-REx-ID: 7781
Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
View
| DOI
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
2007 | Published | Journal Article | IST-REx-ID: 8027
Gating deficits in model networks: A path to schizophrenia?
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
View
| DOI
| PubMed | Europe PMC
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
2007 | Published | Conference Paper | IST-REx-ID: 18336
Paretian similarity for partial comparison of non-rigid objects
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, First International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2007, pp. 264–275.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, First International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2007, pp. 264–275.
2007 | Published | Journal Article | IST-REx-ID: 18367
Weighted distance maps computation on parametric three-dimensional manifolds
A.M. Bronstein, M.M. Bronstein, R. Kimmel, Journal of Computational Physics 225 (2007) 771–784.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, Journal of Computational Physics 225 (2007) 771–784.