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: 4471
Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Springer, 2002, pp. 644–656.
View
| DOI
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Springer, 2002, pp. 644–656.
2002 | Published | Conference Paper | IST-REx-ID: 4472
Temporal safety proofs for systems code
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 526–538.
View
| DOI
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 526–538.
2002 | Published | Journal Article | IST-REx-ID: 4473
An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.
2002 | Published | Journal Article | IST-REx-ID: 4474 | 
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
2002 | Published | Conference Paper | IST-REx-ID: 4476
Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70.
2002 | Published | Conference Paper | IST-REx-ID: 4562
Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.
2002 | Published | Conference Paper | IST-REx-ID: 4563
Interface compatibility checking for software modules
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 428–441.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 428–441.
2002 | Published | Conference Paper | IST-REx-ID: 4565
A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.
View
| DOI
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.
2002 | Published | Journal Article | IST-REx-ID: 4595
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
2002 | Published | Conference Paper | IST-REx-ID: 4631
Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
View
| DOI
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
2002 | Published | Journal Article | IST-REx-ID: 6158
Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans
J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.
View
| DOI
| PubMed | Europe PMC
J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.
2002 | Published | Journal Article | IST-REx-ID: 6159
Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
View
| DOI
| PubMed | Europe PMC
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
2002 | Published | Journal Article | IST-REx-ID: 12659 |
Modelling mountainous water systems between learning and speculating looking for challenges
P. Burlando, F. Pellicciotti, U. Strasser, Hydrology Research 33 (2002) 47–74.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Burlando, F. Pellicciotti, U. Strasser, Hydrology Research 33 (2002) 47–74.
2002 | Published | Journal Article | IST-REx-ID: 18369
Biometrics was no match for hair-raising tricks
M.M. Bronstein, A.M. Bronstein, Nature 420 (2002) 739–739.
View
| DOI
| PubMed | Europe PMC
M.M. Bronstein, A.M. Bronstein, Nature 420 (2002) 739–739.
2002 | Published | Conference Paper | IST-REx-ID: 18382
Optimal non-linear line-of-flight estimation in positron emission tomography
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, The 22nd Convention on Electrical and Electronics Engineers in Israel, IEEE, 2002, pp. 341–344.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, The 22nd Convention on Electrical and Electronics Engineers in Israel, IEEE, 2002, pp. 341–344.
2002 | Published | Conference Paper | IST-REx-ID: 18383
Application of the NUFFT for reconstruction problems in diffraction tomography
M.M. Bronstein, A.M. Bronstein, M. Zibulevsky, H. Azhari, in:, The 22nd Convention on Electrical and Electronics Engineers in Israel, IEEE, 2002, pp. 345–347.
View
| DOI
M.M. Bronstein, A.M. Bronstein, M. Zibulevsky, H. Azhari, in:, The 22nd Convention on Electrical and Electronics Engineers in Israel, IEEE, 2002, pp. 345–347.
2002 | Published | Conference Paper | IST-REx-ID: 18404
Optimal nonlinear estimation of photon coordinates in PET
A.M. Bronstein, M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, Proceedings IEEE International Symposium on Biomedical Imaging, IEEE, 2002, pp. 541–544.
View
| DOI
A.M. Bronstein, M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, Proceedings IEEE International Symposium on Biomedical Imaging, IEEE, 2002, pp. 541–544.
2002 | Published | Conference Paper | IST-REx-ID: 18405
Iterative reconstruction in diffraction tomography using nonuniform fast Fourier transform
M. Bronstein, A.M. Bronstein, M. Zibulevsky, in:, Proceedings IEEE International Symposium on Biomedical Imaging, IEEE, 2002, pp. 633–636.
View
| DOI
M. Bronstein, A.M. Bronstein, M. Zibulevsky, in:, Proceedings IEEE International Symposium on Biomedical Imaging, IEEE, 2002, pp. 633–636.
2002 | Published | Journal Article | IST-REx-ID: 18409
Reconstruction in diffraction ultrasound tomography using nonuniform FFT
M.M. Bronstein, A.M. Bronstein, M. Zibulevsky, H. Azhari, IEEE Transactions on Medical Imaging 21 (2002) 1395–1401.
View
| DOI
| PubMed | Europe PMC
M.M. Bronstein, A.M. Bronstein, M. Zibulevsky, H. Azhari, IEEE Transactions on Medical Imaging 21 (2002) 1395–1401.
2002 | Published | Journal Article | IST-REx-ID: 204
Equal Sums of Two kth Powers
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.
[Published Version]
View
| DOI
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.