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.
10152 Publications
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.
2002 | Published | Journal Article | IST-REx-ID: 3140
A role for Neuregulin1 signaling in muscle spindle differentiation
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, S. Arber, Neuron 36 (2002) 1035–1049.
View
| DOI
| PubMed | Europe PMC
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, S. Arber, Neuron 36 (2002) 1035–1049.
2002 | Published | Journal Article | IST-REx-ID: 3421
Observing structure, function and assembly of single proteins by AFM
D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.
View
| DOI
| PubMed | Europe PMC
D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.
2002 | Published | Journal Article | IST-REx-ID: 3422
Processing of gene expression data generated by quantitative real-time RT-PCR
P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.
View
| PubMed | Europe PMC
P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.
2002 | Published | Conference Paper | IST-REx-ID: 3423
The percolation interpretation of the nuclear fragmentation phase transition
W. Bauer, M.T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, Proceedings of the 18th Winter Workshop on Nuclear Dynamics, EP Systema, 2002, pp. 111–118.
View
W. Bauer, M.T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, Proceedings of the 18th Winter Workshop on Nuclear Dynamics, EP Systema, 2002, pp. 111–118.
2002 | Published | Conference Paper | IST-REx-ID: 3424
3d supernovae collapse calculations
M.T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
View
| DOI
M.T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
2002 | Published | Conference Paper | IST-REx-ID: 3448
Implementation of shape grammar for plan analysis
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
View
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
2002 | Published | Journal Article | IST-REx-ID: 3497
Patch-clamp recording in brain slices with improved slicer technology
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443 (2002) 491–501.
View
| DOI
| PubMed | Europe PMC
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443 (2002) 491–501.