Coates, J. C., &; de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. Springer Nature.https://doi.org/10.1038/nature01170 
LibreCat: https://research-explorer.ista.ac.at/record/6158
DOI: 10.1038/nature01170
PMID: 12410311

de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., &; Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. Springer Nature.https://doi.org/10.1038/nature01169 
LibreCat: https://research-explorer.ista.ac.at/record/6159
DOI: 10.1038/nature01169
PMID: 12410303

De Alfaro, L., Henzinger, T. A., &; Stoelinga, M. (2002). Timed interfaces. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 108–122). Grenoble, France: ACM.https://doi.org/10.1007/3-540-45828-X_9 
LibreCat: https://research-explorer.ista.ac.at/record/4631
DOI: 10.1007/3-540-45828-X_9

Chakrabarti, A., De Alfaro, L., Henzinger, T. A., &; Mang, F. (2002). Synchronous and bidirectional component interfaces. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen, Denmark: Springer.https://doi.org/10.1007/3-540-45657-0_34 
LibreCat: https://research-explorer.ista.ac.at/record/4562
DOI: 10.1007/3-540-45657-0_34

Cassez, F., Henzinger, T. A., &; Raskin, J. (2002). A comparison of control problems for timed and hybrid systems. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148). Stanford, CA, USA: Springer.https://doi.org/10.1007/3-540-45873-5_13 
LibreCat: https://research-explorer.ista.ac.at/record/4565
DOI: 10.1007/3-540-45873-5_13

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

Henzinger, T. A., Krishnan, S., Kupferman, O., &; Mang, F. (2002). Synthesis of uninitialized systems. In Proceedings of the 29th International Colloquium on Automata, Languages and Programming (Vol. 2380, pp. 644–656). Malaga, Spain: Springer.https://doi.org/10.1007/3-540-45465-9_55 
LibreCat: https://research-explorer.ista.ac.at/record/4471
DOI: 10.1007/3-540-45465-9_55

Henzinger, T. A., Kupferman, O., &; Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier.https://doi.org/10.1006/inco.2001.3085 
LibreCat: https://research-explorer.ista.ac.at/record/4474
DOI: 10.1006/inco.2001.3085

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

Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., &; Weimer, W. (2002). Temporal safety proofs for systems code. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 526–538). Copenhagen, Denmark: Springer.https://doi.org/10.1007/3-540-45657-0_45 
LibreCat: https://research-explorer.ista.ac.at/record/4472
DOI: 10.1007/3-540-45657-0_45

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

Henzinger, T. A., &; Kirsch, C. (2002). The embedded machine: predictable, portable real-time code. In Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation (pp. 315–326). Berlin, Germany: ACM.https://doi.org/10.1145/512529.512567 
LibreCat: https://research-explorer.ista.ac.at/record/4444
DOI: 10.1145/512529.512567

Henzinger, T. A., Jhala, R., Majumdar, R., &; Sutre, G. (2002). Lazy abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 58–70). Portland, OR, USA: ACM.https://doi.org/10.1145/503272.503279 
LibreCat: https://research-explorer.ista.ac.at/record/4476
DOI: 10.1145/503272.503279

Henzinger, T. A., Qadeer, S., Rajamani, S., &; Tasiran, S. (2002). An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM.https://doi.org/10.1145/509705.509707 
LibreCat: https://research-explorer.ista.ac.at/record/4473
DOI: 10.1145/509705.509707

Horowitz, B., Liebman, J., Ma, C., Koo, T. J., Henzinger, T. A., Sangiovanni Vincentelli, A., &; Sastry, S. (2002). 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 (Vol. 15). Barcelona, Spain: Elsevier.https://doi.org/10.3182/20020721-6-ES-1901.01628 
LibreCat: https://research-explorer.ista.ac.at/record/4423
DOI: 10.3182/20020721-6-ES-1901.01628

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

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

Passerone, R., De Alfaro, L., Henzinger, T. A., &; Sangiovanni Vincentelli, A. (2002). Convertibility verification and converter synthesis: Two faces of the same coin. In Proceedings of the 11th IEEE/ACM international conference on Computer-aided design (pp. 132–139). San Jose, CA, USA: IEEE.https://doi.org/10.1145/774572.774592 
LibreCat: https://research-explorer.ista.ac.at/record/4413
DOI: 10.1145/774572.774592

Barton, N. H., &; Navarro, A. (2002). Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672301005493 
LibreCat: https://research-explorer.ista.ac.at/record/4262
DOI: 10.1017/S0016672301005493
PMID: 12073551

Johnson, T., &; Barton, N. H. (2002). The effect of deleterious alleles on adaptation in asexual populations. Genetics. Genetics Society of America.https://doi.org/10.1093/genetics/162.1.395 
LibreCat: https://research-explorer.ista.ac.at/record/4260
DOI: 10.1093/genetics/162.1.395
PMID: 12242249