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.
LibreCat: https://research-explorer.ista.ac.at/record/6158
DOI: 10.1038/nature01170
PMID: 12410311

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.
LibreCat: https://research-explorer.ista.ac.at/record/6159
DOI: 10.1038/nature01169
PMID: 12410303

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.
LibreCat: https://research-explorer.ista.ac.at/record/4631
DOI: 10.1007/3-540-45828-X_9

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.
LibreCat: https://research-explorer.ista.ac.at/record/4562
DOI: 10.1007/3-540-45657-0_34

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.
LibreCat: https://research-explorer.ista.ac.at/record/4565
DOI: 10.1007/3-540-45873-5_13

Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
LibreCat: https://research-explorer.ista.ac.at/record/4595
DOI: 10.1145/585265.585270

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.
LibreCat: https://research-explorer.ista.ac.at/record/4471
DOI: 10.1007/3-540-45465-9_55

Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
LibreCat: https://research-explorer.ista.ac.at/record/4474
DOI: 10.1006/inco.2001.3085

Interface compatibility checking for software modules
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziski, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 428–441.
LibreCat: https://research-explorer.ista.ac.at/record/4563
DOI: 10.1007/3-540-45657-0_35

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.
LibreCat: https://research-explorer.ista.ac.at/record/4472
DOI: 10.1007/3-540-45657-0_45

Time-safety checking for embedded programs
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 76–92.
LibreCat: https://research-explorer.ista.ac.at/record/4470
DOI: 10.1007/3-540-45828-X_7

The embedded machine: predictable, portable real-time code
T.A. Henzinger, C. Kirsch, in:, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, ACM, 2002, pp. 315–326.
LibreCat: https://research-explorer.ista.ac.at/record/4444
DOI: 10.1145/512529.512567

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.
LibreCat: https://research-explorer.ista.ac.at/record/4476
DOI: 10.1145/503272.503279

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.
LibreCat: https://research-explorer.ista.ac.at/record/4473
DOI: 10.1145/509705.509707

Embedded software design and system integration for rotorcraft UAV using platforms
B. Horowitz, J. Liebman, C. Ma, T.J. Koo, T.A. Henzinger, A. Sangiovanni Vincentelli, S. Sastry, in:, Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Elsevier, 2002.
LibreCat: https://research-explorer.ista.ac.at/record/4423
DOI: 10.3182/20020721-6-ES-1901.01628

A Giotto-based helicopter control system
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 46–60.
LibreCat: https://research-explorer.ista.ac.at/record/4421
DOI: 10.1007/3-540-45828-X_5

Trading probability for fairness
M. Jurdziski, O. Kupferman, T.A. Henzinger, in:, Proceedings of the 16th International Workshop on Computer Science Logic, Springer, 2002, pp. 292–305.
LibreCat: https://research-explorer.ista.ac.at/record/4422
DOI: 10.1007/3-540-45793-3_20

Convertibility verification and converter synthesis: Two faces of the same coin
R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:, Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, IEEE, 2002, pp. 132–139.
LibreCat: https://research-explorer.ista.ac.at/record/4413
DOI: 10.1145/774572.774592

Extending the coalescent to multilocus systems: the case of balancing selection
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
LibreCat: https://research-explorer.ista.ac.at/record/4262
DOI: 10.1017/S0016672301005493
PMID: 12073551

The effect of deleterious alleles on adaptation in asexual populations
T. Johnson, N.H. Barton, Genetics 162 (2002) 395–411.
LibreCat: https://research-explorer.ista.ac.at/record/4260
DOI: 10.1093/genetics/162.1.395
PMID: 12242249