Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.”https://doi.org/10.1038/nature01170__Nature. Springer Nature, 2002.https://doi.org/10.1038/nature01170 .
LibreCat: https://research-explorer.ista.ac.at/record/6158
DOI: 10.1038/nature01170
PMID: 12410311

Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.”https://doi.org/10.1038/nature01169__Nature. Springer Nature, 2002.https://doi.org/10.1038/nature01169 .
LibreCat: https://research-explorer.ista.ac.at/record/6159
DOI: 10.1038/nature01169
PMID: 12410303

De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.”https://doi.org/10.1007/3-540-45828-X_9__In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002.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, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.”https://doi.org/10.1007/3-540-45657-0_34__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002.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, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-45873-5_13__In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer, 2002.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, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__Journal of the ACM. ACM, 2002.https://doi.org/10.1145/585265.585270 .
LibreCat: https://research-explorer.ista.ac.at/record/4595
DOI: 10.1145/585265.585270

Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems.”https://doi.org/10.1007/3-540-45465-9_55__In Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2380:644–56. Springer, 2002.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, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1006/inco.2001.3085__Information and Computation. Elsevier, 2002.https://doi.org/10.1006/inco.2001.3085 .
LibreCat: https://research-explorer.ista.ac.at/record/4474
DOI: 10.1006/inco.2001.3085

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziski, and Freddy Mang. “Interface Compatibility Checking for Software Modules.”https://doi.org/10.1007/3-540-45657-0_35__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002.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, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code.”https://doi.org/10.1007/3-540-45657-0_45__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:526–38. Springer, 2002.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, Thomas A, Christoph Kirsch, Ritankar Majumdar, and Slobodan Matic. “Time-Safety Checking for Embedded Programs.”https://doi.org/10.1007/3-540-45828-X_7__In Proceedings of the 2nd International Conference on Embedded Software, 2491:76–92. ACM, 2002.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, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”https://doi.org/10.1145/512529.512567__In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 315–26. ACM, 2002.https://doi.org/10.1145/512529.512567 .
LibreCat: https://research-explorer.ista.ac.at/record/4444
DOI: 10.1145/512529.512567

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction.”https://doi.org/10.1145/503272.503279__In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 58–70. ACM, 2002.https://doi.org/10.1145/503272.503279 .
LibreCat: https://research-explorer.ista.ac.at/record/4476
DOI: 10.1145/503272.503279

Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.”https://doi.org/10.1145/509705.509707__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2002.https://doi.org/10.1145/509705.509707 .
LibreCat: https://research-explorer.ista.ac.at/record/4473
DOI: 10.1145/509705.509707

Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.”https://doi.org/10.3182/20020721-6-ES-1901.01628__In Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Vol. 15. Elsevier, 2002.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, Christoph, Marco Sanvido, Thomas A Henzinger, and Wolfgang Pree. “A Giotto-Based Helicopter Control System.”https://doi.org/10.1007/3-540-45828-X_5__In Proceedings of the 2nd International Conference on Embedded Software, 2491:46–60. ACM, 2002.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, Marcin, Orna Kupferman, and Thomas A Henzinger. “Trading Probability for Fairness.”https://doi.org/10.1007/3-540-45793-3_20__In Proceedings of the 16th International Workshop on Computer Science Logic, 2471:292–305. Springer, 2002.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, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin.”https://doi.org/10.1145/774572.774592__In Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, 132–39. IEEE, 2002.https://doi.org/10.1145/774572.774592 .
LibreCat: https://research-explorer.ista.ac.at/record/4413
DOI: 10.1145/774572.774592

Barton, Nicholas H, and Arcadio Navarro. “Extending the Coalescent to Multilocus Systems: The Case of Balancing Selection.”https://doi.org/10.1017/S0016672301005493__Genetical Research. Cambridge University Press, 2002.https://doi.org/10.1017/S0016672301005493 .
LibreCat: https://research-explorer.ista.ac.at/record/4262
DOI: 10.1017/S0016672301005493
PMID: 12073551

Johnson, Toby, and Nicholas H Barton. “The Effect of Deleterious Alleles on Adaptation in Asexual Populations.”https://doi.org/10.1093/genetics/162.1.395__Genetics. Genetics Society of America, 2002.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

Bollback, Jonathan P. “Bayesian Model Adequacy and Choice in Phylogenetics.”https://doi.org/10.1093/oxfordjournals.molbev.a004175__Molecular Biology and Evolution. Oxford University Press, 2002.https://doi.org/10.1093/oxfordjournals.molbev.a004175 .
LibreCat: https://research-explorer.ista.ac.at/record/4349
DOI: 10.1093/oxfordjournals.molbev.a004175
PMID: 12082136 

Barton, Nicholas H, Frantz Depaulis, and Alison Etheridge. “Neutral Evolution in Spatially Continuous Populations.”https://doi.org/10.1006/tpbi.2001.1557__Theoretical Population Biology. Academic Press, 2002.https://doi.org/10.1006/tpbi.2001.1557 .
LibreCat: https://research-explorer.ista.ac.at/record/4263
DOI: 10.1006/tpbi.2001.1557
PMID: 11895381

Barton, Nicholas H, and Peter Keightley. “Understanding Quantitative Genetic Variation.”https://doi.org/10.1038/nrg700__Nature Reviews Genetics. Nature Publishing Group, 2002.https://doi.org/10.1038/nrg700 .
LibreCat: https://research-explorer.ista.ac.at/record/4261
DOI: 10.1038/nrg700
PMID: 11823787

Huelsenbeck, John, Jonathan P Bollback, and Amy Levine. “Inferring the Root of a Phylogenetic Tree.”https://doi.org/10.1080/106351502753475862__Systematic Biology. Oxford University Press, 2002.https://doi.org/10.1080/106351502753475862 .
LibreCat: https://research-explorer.ista.ac.at/record/4347
DOI: 10.1080/106351502753475862
PMID: 11943091

Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.”https://doi.org/10.1016/S0304-3975(00)00308-X__Theoretical Computer Science. Elsevier, 2002.https://doi.org/10.1016/S0304-3975(00)00308-X .
LibreCat: https://research-explorer.ista.ac.at/record/4407
DOI: 10.1016/S0304-3975(00)00308-X

Navarro, Arcadio, and Nicholas H Barton. “The Effects of Multilocus Balancing Selection on Neutral Variability.”https://doi.org/10.1093/genetics/161.2.849__Genetics. Genetics Society of America, 2002.https://doi.org/10.1093/genetics/161.2.849 .
LibreCat: https://research-explorer.ista.ac.at/record/4258
DOI: 10.1093/genetics/161.2.849
PMID: 12072479

Orive, Maria, and Nicholas H Barton. “Associations between Cytoplasmic and Nuclear Loci in Hybridizing Populations.”https://doi.org/10.1093/genetics/162.3.1469__Genetics. Genetics Society of America, 2002.https://doi.org/10.1093/genetics/162.3.1469 .
LibreCat: https://research-explorer.ista.ac.at/record/4259
DOI: 10.1093/genetics/162.3.1469
PMID: 12454089

Hannus, Michael, Fabian Feiguin, Carl-Philipp J Heisenberg, and Suzanne Eaton. “Planar Cell Polarization Requires Widerborst, a B Regulatory Subunit of Protein Phosphatase 2A.”https://doi.org/10.1242/dev.129.14.3493__Development. Company of Biologists, 2002.https://doi.org/10.1242/dev.129.14.3493 .
LibreCat: https://research-explorer.ista.ac.at/record/4209
DOI: 10.1242/dev.129.14.3493
PMID: 12091318

Heisenberg, Carl-Philipp J. “Wnt Signalling: Refocusing on Strabismus.”https://doi.org/10.1016/S0960-9822(02)01160-0__Current Biology. Cell Press, 2002.https://doi.org/10.1016/S0960-9822(02)01160-0 .
LibreCat: https://research-explorer.ista.ac.at/record/4207
DOI: 10.1016/S0960-9822(02)01160-0
PMID: 12361585

Houart, Corinne, Luca Caneparo, Carl-Philipp J Heisenberg, K Anukampa Barth, Masaya Take Uchi, and Stephen Wilson. “Establishment of the Telencephalon during Gastrulation by Local Antagonism of Wnt Signaling.”https://doi.org/10.1016/S0896-6273(02)00751-1__Neuron. Elsevier, 2002.https://doi.org/10.1016/S0896-6273(02)00751-1 .
LibreCat: https://research-explorer.ista.ac.at/record/4194
DOI: 10.1016/S0896-6273(02)00751-1
PMID: 12160744

Tada, Masazumi, Miguel Concha, and Carl-Philipp J Heisenberg. “Non-Canonical Wnt Signalling and Regulation of Gastrulation Movements.”https://doi.org/10.1016/S1084-9521(02)00052-6__Seminars in Cell &; Developmental Biology. Academic Press, 2002.https://doi.org/10.1016/S1084-9521(02)00052-6 .
LibreCat: https://research-explorer.ista.ac.at/record/4148
DOI: 10.1016/S1084-9521(02)00052-6
PMID: 12137734

Heisenberg, Carl-Philipp J, and Masazumi Tada. “Zebrafish Gastrulation Movements: Bridging Cell and Developmental Biology.”https://doi.org/10.1016/S1084952102001003__Seminars in Cell &; Developmental Biology. Academic Press, 2002.https://doi.org/10.1016/S1084952102001003 .
LibreCat: https://research-explorer.ista.ac.at/record/4196
DOI: 10.1016/S1084952102001003
PMID: 12468250

Heisenberg, Carl-Philipp J, and Masazumi Tada. “Wnt Signalling: A Moving Picture Emerges from van Gogh.”https://doi.org/10.1016/S0960-9822(02)00704-2__Current Biology. Cell Press, 2002.https://doi.org/10.1016/S0960-9822(02)00704-2 .
LibreCat: https://research-explorer.ista.ac.at/record/4199
DOI: 10.1016/S0960-9822(02)00704-2
PMID: 11864583

Polechova, Jitka, and P. Stopka. “Geometry of Social Relationships in the Old World Wood Mouse, Apodemus Sylvaticus.”https://doi.org/10.1139/z02-128__Canadian Journal of Zoology. NRC Research Press, 2002.https://doi.org/10.1139/z02-128 .
LibreCat: https://research-explorer.ista.ac.at/record/4139
DOI: 10.1139/z02-128

Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot.” In Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, 791–99. SIAM, 2002.
LibreCat: https://research-explorer.ista.ac.at/record/4003

Agarwal, Pankaj, Leonidas Guibas, Herbert Edelsbrunner, Jeff Erickson, Michael Isard, Sariel Har Peled, John Hershberger, et al. “Algorithmic Issues in Modeling Motion.”https://doi.org/10.1145/592642.592647__ACM Computing Surveys. ACM, 2002.https://doi.org/10.1145/592642.592647 .
LibreCat: https://research-explorer.ista.ac.at/record/3995
DOI: 10.1145/592642.592647

Zomorodian, Afra, and Herbert Edelsbrunner. “Fast Software for Box Intersections.”https://doi.org/10.1142/S0218195902000785__International Journal of Computational Geometry and Applications. World Scientific Publishing, 2002.https://doi.org/10.1142/S0218195902000785 .
LibreCat: https://research-explorer.ista.ac.at/record/4000
DOI: 10.1142/S0218195902000785

Edelsbrunner, Herbert, and Damrong Guoy. “An Experimental Study of Sliver Exudation.”https://doi.org/10.1007/s003660200020__Engineering with Computers. Springer, 2002.https://doi.org/10.1007/s003660200020 .
LibreCat: https://research-explorer.ista.ac.at/record/3998
DOI: 10.1007/s003660200020

Bischofberger, Josef, Jörg Geiger, and Peter M Jonas. “Timing and Efficacy of Ca(2+) Channel Activation in Hippocampal Mossy Fiber Boutons.”https://doi.org/10.1523/JNEUROSCI.22-24-10593.2002__Journal of Neuroscience. Society for Neuroscience, 2002.https://doi.org/10.1523/JNEUROSCI.22-24-10593.2002 .
LibreCat: https://research-explorer.ista.ac.at/record/3802
DOI: 10.1523/JNEUROSCI.22-24-10593.2002
PMID: 12486151

Cremer, Sylvia, and Jürgen Heinze. “Adaptive Production of Fighter Males: Queens of the Ant Cardiocondyla Adjust the Sex Ratio under Local Mate Competition.”https://doi.org/10.1098/rspb.2001.1892__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2002.https://doi.org/10.1098/rspb.2001.1892 .
LibreCat: https://research-explorer.ista.ac.at/record/3919
DOI: 10.1098/rspb.2001.1892
PMID: 11886631

Cremer, Sylvia, Birgit Lautenschläger, and Jürgen Heinze. “A Transitional Stage between the Ergatoid and Winged Male Morph in the Ant Cardiocondyla Obscurior.”https://doi.org/10.1007/s00040-002-8305-z__Insectes Sociaux. Springer, 2002.https://doi.org/10.1007/s00040-002-8305-z .
LibreCat: https://research-explorer.ista.ac.at/record/3924
DOI: 10.1007/s00040-002-8305-z

Cremer, Sylvia, Matthew Sledge, and Jürgen Heinze. “Chemical Mimicry: Male Ants Disguised by the Queen’s Bouquet.”https://doi.org/10.1038/419897a__Nature. Nature Publishing Group, 2002.https://doi.org/10.1038/419897a .
LibreCat: https://research-explorer.ista.ac.at/record/3925
DOI: 10.1038/419897a
PMID: 12410300

Edelsbrunner, Herbert, David Letscher, and Afra Zomorodian. “Topological Persistence and Simplification.”https://doi.org/10.1007/s00454-002-2885-2__Discrete &; Computational Geometry. Springer, 2002.https://doi.org/10.1007/s00454-002-2885-2 .
LibreCat: https://research-explorer.ista.ac.at/record/3996
DOI: 10.1007/s00454-002-2885-2

Turillazzi, Stefano, Matthew Sledge, Sylvia Cremer, and Jürgen Heinze. “A Method for Analysing Small-Size Specimens in GC-MS.” Insect Social Life. Elsevier, 2002.
LibreCat: https://research-explorer.ista.ac.at/record/3920

Bartos, Marlene, Imre Vida, Michael Frotscher, Axel Meyer, Hannah Monyer, Jörg Geiger, and Peter M Jonas. “Fast Synaptic Inhibition Promotes Synchronized Gamma Oscillations in Hippocampal Interneuron Networks.”https://doi.org/10.1073/pnas.192233099__PNAS. National Academy of Sciences, 2002.https://doi.org/10.1073/pnas.192233099 .
LibreCat: https://research-explorer.ista.ac.at/record/3800
DOI: 10.1073/pnas.192233099
PMID: 12235359

Bischofberger, Josef, and Peter M Jonas. “TwoB or Not TwoB: Differential Transmission at Glutamatergic Mossy Fiber-Interneuron Synapses in the Hippocampus.”https://doi.org/10.1016/S0166-2236(02)02259-2__Trends in Neurosciences. Elsevier, 2002.https://doi.org/10.1016/S0166-2236(02)02259-2 .
LibreCat: https://research-explorer.ista.ac.at/record/3803
DOI: 10.1016/S0166-2236(02)02259-2
PMID: 12446120

Hefft, Stefan, Udo Kraushaar, Jörg Geiger, and Peter M Jonas. “Presynaptic Short-Term Depression Is Maintained during Regulation of Transmitter Release at a GABAergic Synapse in Rat Hippocampus.”https://doi.org/10.1113/jphysiol.2001.013455__Journal of Physiology. Wiley-Blackwell, 2002.https://doi.org/10.1113/jphysiol.2001.013455 .
LibreCat: https://research-explorer.ista.ac.at/record/3801
DOI: 10.1113/jphysiol.2001.013455
PMID: 11850513

Lien, Cheng, Marco Martina, Jobst Schultz, Heimo Ehmke, and Peter M Jonas. “Gating, Modulation and Subunit Composition of Voltage-Gated K(+) Channels in Dendritic Inhibitory Interneurones of Rat Hippocampus.”https://doi.org/10.1113/jphysiol.2001.013066__Journal of Physiology. Wiley-Blackwell, 2002.https://doi.org/10.1113/jphysiol.2001.013066 .
LibreCat: https://research-explorer.ista.ac.at/record/3799
DOI: 10.1113/jphysiol.2001.013066
PMID: 11790809

Kirkpatrick, Mark, Toby Johnson, and Nicholas H Barton. “General Models of Multilocus Evolution.”https://doi.org/10.1093/genetics/161.4.1727__Genetics. Genetics Society of America, 2002.https://doi.org/10.1093/genetics/161.4.1727 .
LibreCat: https://research-explorer.ista.ac.at/record/3621
DOI: 10.1093/genetics/161.4.1727
PMID: 12196414

Guet, Calin C, Michael Elowitz, Weihong Hsing, and Stanislas Leibler. “Combinatorial Synthesis of Genetic Networks.”https://doi.org/10.1126/science.1067407__Science. American Association for the Advancement of Science, 2002.https://doi.org/10.1126/science.1067407 .
LibreCat: https://research-explorer.ista.ac.at/record/3757
DOI: 10.1126/science.1067407
PMID: 12029133