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.
120 Publications
2002 | Published | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” in Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, Spain, 2002, vol. 15, no. 1.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 4474 | 
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1. Elsevier, pp. 64–81, 2002.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Published | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 414–427.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol. 2289, pp. 134–148.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 6158
J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans,” Nature, vol. 419, no. 6910. Springer Nature, pp. 925–929, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 6159
M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,” Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 12659 |
P. Burlando, F. Pellicciotti, and U. Strasser, “Modelling mountainous water systems between learning and speculating looking for challenges,” Hydrology Research, vol. 33, no. 1. IWA Publishing, pp. 47–74, 2002.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Published | Journal Article | IST-REx-ID: 18369
M. M. Bronstein and A. M. Bronstein, “Biometrics was no match for hair-raising tricks,” Nature, vol. 420, no. 6917. Springer Nature, pp. 739–739, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Conference Paper | IST-REx-ID: 18382
A. M. Bronstein, M. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “Optimal non-linear line-of-flight estimation in positron emission tomography,” in The 22nd Convention on Electrical and Electronics Engineers in Israel, Tel-Aviv, Israel, 2002, vol. 2002–January, pp. 341–344.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 18383
M. M. Bronstein, A. M. Bronstein, M. Zibulevsky, and H. Azhari, “Application of the NUFFT for reconstruction problems in diffraction tomography,” in The 22nd Convention on Electrical and Electronics Engineers in Israel, Tel-Aviv, Israel, 2002, vol. 2002–January, pp. 345–347.
View
| DOI