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.

218 Publications


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
 

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
 

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
 

2007 | Published | Conference Paper | IST-REx-ID: 582 View | DOI
 

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
 

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
 

2007 | Published | Journal Article | IST-REx-ID: 128 | OA
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
 

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
 

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
 

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
 

2007 | Published | Journal Article | IST-REx-ID: 7753 | OA [Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
 

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
 

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
 

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
 

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
 

2007 | Published | Conference Paper | IST-REx-ID: 18389
Rock, paper, and scissors: Extrinsic vs. intrinsic similarity of non-rigid shapes
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 11th International Conference on Computer Vision, IEEE, 2007.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 18390
Symmetries of non-rigid shapes
D. Raviv, A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 11th International Conference on Computer Vision, IEEE, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 1964 View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 1965
Projection structure of the membrane domain of Escherichia coli respiratory Complex I at 8 Å resolution
E. Baranova, P. Holt, L.A. Sazanov, Journal of Molecular Biology 366 (2007) 140–154.
View | DOI
 

Filters and Search Terms

year=2007

Search

Filter Publications

Display / Sort

Export / Embed