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.
7473 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: 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.