Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. Ran binds to chromatin by two distinct mechanisms. Current Biology. 2002;12(13):1151-1156. doi:10.1016/s0960-9822(02)00927-2
LibreCat: https://research-explorer.ista.ac.at/record/11124
DOI: 10.1016/s0960-9822(02)00927-2
PMID: 12121625

Hetzer M, Gruss OJ, Mattaj IW. The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly. Nature Cell Biology. 2002;4(7):7-4. doi:10.1038/ncb0702-e177
LibreCat: https://research-explorer.ista.ac.at/record/11123
DOI: 10.1038/ncb0702-e177
PMID: 12105431

Burlando P, Pellicciotti F, Strasser U. Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. 2002;33(1):47-74. doi:10.2166/nh.2002.0004
LibreCat: https://research-explorer.ista.ac.at/record/12659
DOI: 10.2166/nh.2002.0004

Falaras P, Chryssou K, Stergiopoulos T, et al. Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes. In: Vol 4801. SPIE; 2002:125-135. doi:10.1117/12.452446
LibreCat: https://research-explorer.ista.ac.at/record/1738
DOI: 10.1117/12.452446

Stergiopoulos T, Arabatzis I, Katsaros G, Falaras P. Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. 2002;2(11):1259-1261. doi:10.1021/nl025798u
LibreCat: https://research-explorer.ista.ac.at/record/1739
DOI: 10.1021/nl025798u

Seiringer R. Symmetry breaking in a model of a rotating Bose gas. In: Weder R, Exner P, Grébert B, eds. Vol 307. World Scientific Publishing; 2002:281-286. doi:10.1090/conm/307
LibreCat: https://research-explorer.ista.ac.at/record/2339
DOI: 10.1090/conm/307

Seiringer R. Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. 2002;229(3):491-509. doi:10.1007/s00220-002-0695-2
LibreCat: https://research-explorer.ista.ac.at/record/2351
DOI: 10.1007/s00220-002-0695-2

Lieb É, Seiringer R. Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. 2002;88(17):1704091-1704094. doi:10.1103/PhysRevLett.88.170409
LibreCat: https://research-explorer.ista.ac.at/record/2349
DOI: 10.1103/PhysRevLett.88.170409

Hainzl C, Seiringer R. General decomposition of radial functions on dn and applications to N-body quantum systems. Letters in Mathematical Physics. 2002;61(1):75-84. doi:10.1023/A:1020204818938
LibreCat: https://research-explorer.ista.ac.at/record/2352
DOI: 10.1023/A:1020204818938

Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. 2002;542(1):193-210. doi:10.1113/jphysiol.2002.020024
LibreCat: https://research-explorer.ista.ac.at/record/2617
DOI: 10.1113/jphysiol.2002.020024

Erdös L. Two dimensional Pauli operator via scalar potential. In: Vol 307. World Scientific Publishing; 2002:129-133. doi:10.1090/conm/307
LibreCat: https://research-explorer.ista.ac.at/record/2708
DOI: 10.1090/conm/307

Friml J, Palme K. Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. 2002;49(3-4):273-284. doi:10.1023/A:1015248926412
LibreCat: https://research-explorer.ista.ac.at/record/2991
DOI: 10.1023/A:1015248926412

Edelsbrunner H, Fu P. Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. 2002.
LibreCat: https://research-explorer.ista.ac.at/record/3508

Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar for plan analysis. In: Elsevier; 2002.
LibreCat: https://research-explorer.ista.ac.at/record/3448

Mang F. Games in open systems verification and synthesis. 2002:1-116.
LibreCat: https://research-explorer.ista.ac.at/record/4414

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

de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903. doi:10.1038/nature01169
LibreCat: https://research-explorer.ista.ac.at/record/6159
DOI: 10.1038/nature01169
PMID: 12410303

De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122. doi: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 TA, Mang F. Synchronous and bidirectional component interfaces. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:414-427. doi: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 TA, Raskin J. 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. Springer; 2002:134-148. doi: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 TA, Kupferman O. Alternating-time temporal logic. Journal of the ACM. 2002;49(5):672-713. doi:10.1145/585265.585270
LibreCat: https://research-explorer.ista.ac.at/record/4595
DOI: 10.1145/585265.585270

Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Proceedings of the 29th International Colloquium on Automata, Languages and Programming. Vol 2380. Springer; 2002:644-656. doi: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 TA, Kupferman O, Rajamani S. Fair simulation. Information and Computation. 2002;173(1):64-81. doi: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 TA, Jurdziski M, Mang F. Interface compatibility checking for software modules. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:428-441. doi: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 TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. Temporal safety proofs for systems code. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:526-538. doi: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 TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:76-92. doi: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 TA, Kirsch C. The embedded machine: predictable, portable real-time code. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation. ACM; 2002:315-326. doi:10.1145/512529.512567
LibreCat: https://research-explorer.ista.ac.at/record/4444
DOI: 10.1145/512529.512567

Henzinger TA, Jhala R, Majumdar R, Sutre G. Lazy abstraction. In: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM; 2002:58-70. doi:10.1145/503272.503279
LibreCat: https://research-explorer.ista.ac.at/record/4476
DOI: 10.1145/503272.503279

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

Horowitz B, Liebman J, Ma C, et al. 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. Elsevier; 2002. doi: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 TA, Pree W. A Giotto-based helicopter control system. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:46-60. doi: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 TA. Trading probability for fairness. In: Proceedings of the 16th International Workshop on Computer Science Logic. Vol 2471. Springer; 2002:292-305. doi: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 TA, Sangiovanni Vincentelli A. Convertibility verification and converter synthesis: Two faces of the same coin. In: Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design. IEEE; 2002:132-139. doi:10.1145/774572.774592
LibreCat: https://research-explorer.ista.ac.at/record/4413
DOI: 10.1145/774572.774592

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

Johnson T, Barton NH. The effect of deleterious alleles on adaptation in asexual populations. Genetics. 2002;162(1):395-411. doi: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 JP. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 2002;19(7):1171-1180. doi:10.1093/oxfordjournals.molbev.a004175
LibreCat: https://research-explorer.ista.ac.at/record/4349
DOI: 10.1093/oxfordjournals.molbev.a004175
PMID: 12082136 

Barton NH, Depaulis F, Etheridge A. Neutral evolution in spatially continuous populations. Theoretical Population Biology. 2002;61(1):31-48. doi:10.1006/tpbi.2001.1557
LibreCat: https://research-explorer.ista.ac.at/record/4263
DOI: 10.1006/tpbi.2001.1557
PMID: 11895381

Barton NH, Keightley P. Understanding quantitative genetic variation. Nature Reviews Genetics. 2002;3:11-21. doi:10.1038/nrg700
LibreCat: https://research-explorer.ista.ac.at/record/4261
DOI: 10.1038/nrg700
PMID: 11823787

Huelsenbeck J, Bollback JP, Levine A. Inferring the root of a phylogenetic tree. Systematic Biology. 2002;51(1):32-43. doi:10.1080/106351502753475862
LibreCat: https://research-explorer.ista.ac.at/record/4347
DOI: 10.1080/106351502753475862
PMID: 11943091

Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. Theoretical Computer Science. 2002;274(1-2):151-182. doi: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 A, Barton NH. The effects of multilocus balancing selection on neutral variability. Genetics. 2002;161(2):849-863. doi: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 M, Barton NH. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 2002;162(3):1469-1485. doi: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 M, Feiguin F, Heisenberg C-PJ, Eaton S. Planar cell polarization requires Widerborst, a B regulatory subunit of protein phosphatase 2A. Development. 2002;129(14):3493-3503. doi: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 C-PJ. Wnt signalling: Refocusing on Strabismus. Current Biology. 2002;12(19):7-9. doi: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 C, Caneparo L, Heisenberg C-PJ, Barth KA, Take Uchi M, Wilson S. Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron. 2002;35(2):255-265. doi: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 M, Concha M, Heisenberg C-PJ. Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell &; Developmental Biology. 2002;13(3):251-260. doi: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 C-PJ, Tada M. Zebrafish gastrulation movements: bridging cell and developmental biology. Seminars in Cell &; Developmental Biology. 2002;13(6):471-479. doi:10.1016/S1084952102001003
LibreCat: https://research-explorer.ista.ac.at/record/4196
DOI: 10.1016/S1084952102001003
PMID: 12468250

Heisenberg C-PJ, Tada M. Wnt signalling: A moving picture emerges from van gogh. Current Biology. 2002;12(4):6-8. doi: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 J, Stopka P. Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. 2002;80(8):1383-1388. doi:10.1139/z02-128
LibreCat: https://research-explorer.ista.ac.at/record/4139
DOI: 10.1139/z02-128

Agarwal P, Edelsbrunner H, Wang Y. Computing the writhing number of a polygonal knot. In: Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 2002:791-799.
LibreCat: https://research-explorer.ista.ac.at/record/4003