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.
106 Publications
2002 | Journal Article | IST-REx-ID: 11124 | 
Bilbao-Cortés, D., Hetzer, M., Längst, G., Becker, P. B., & Mattaj, I. W. (2002). Ran binds to chromatin by two distinct mechanisms. Current Biology. Elsevier BV. https://doi.org/10.1016/s0960-9822(02)00927-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 11123
Hetzer, M., Gruss, O. J., & Mattaj, I. W. (2002). The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/ncb0702-e177
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 12659 |
Burlando, P., Pellicciotti, F., & Strasser, U. (2002). Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. IWA Publishing. https://doi.org/10.2166/nh.2002.0004
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 1738
Falaras, P., Chryssou, K., Stergiopoulos, T., Arabatzis, I., Katsaros, G., Catalano, V., … Bernard, M. (2002). Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes (Vol. 4801, pp. 125–135). Presented at the Organic Photovoltaics, SPIE. https://doi.org/10.1117/12.452446
View
| DOI
2002 | Journal Article | IST-REx-ID: 1739
Stergiopoulos, T., Arabatzis, I., Katsaros, G., & Falaras, P. (2002). Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl025798u
View
| DOI
2002 | Conference Paper | IST-REx-ID: 2339
Seiringer, R. (2002). Symmetry breaking in a model of a rotating Bose gas. In R. Weder, P. Exner, & B. Grébert (Eds.) (Vol. 307, pp. 281–286). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
View
| DOI
2002 | Journal Article | IST-REx-ID: 2351 |
Seiringer, R. (2002). Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-002-0695-2
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2349 |
Lieb, É., & Seiringer, R. (2002). Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.88.170409
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2352 |
Hainzl, C., & Seiringer, R. (2002). General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics. Springer. https://doi.org/10.1023/A:1020204818938
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2617 |
Losonczy, A., Zhang, L., Shigemoto, R., Somogyi, P., & Nusser, Z. (2002). Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2002.020024
View
| DOI
| Download (ext.)
2002 | Conference Paper | IST-REx-ID: 2708
Erdös, L. (2002). Two dimensional Pauli operator via scalar potential (Vol. 307, pp. 129–133). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
View
| DOI
2002 | Journal Article | IST-REx-ID: 2991
Friml, J., & Palme, K. (2002). Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. Springer. https://doi.org/10.1023/A:1015248926412
View
| DOI
2002 | Patent | IST-REx-ID: 3508 |
Edelsbrunner, H., & Fu, P. (2002). Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.
[Published Version]
View
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 3448
Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation of shape grammar for plan analysis. Presented at the IT-Built: Information Technology For Built Environment, Elsevier.
View
2002 | Thesis | IST-REx-ID: 4414
Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.
View
2002 | Journal Article | IST-REx-ID: 6158
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
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 6159
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
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4631
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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4562
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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4565
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
View
| DOI
2002 | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4471
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
View
| DOI
2002 | Journal Article | IST-REx-ID: 4474 |
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier. https://doi.org/10.1006/inco.2001.3085
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, 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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4472
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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4470
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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4444
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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4476
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
View
| DOI
2002 | Journal Article | IST-REx-ID: 4473
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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4423
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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4421
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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, 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
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4413
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
View
| DOI
2002 | Journal Article | IST-REx-ID: 4262
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
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4260 |
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
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4349
Bollback, J. P. (2002). Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/oxfordjournals.molbev.a004175
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4263
Barton, N. H., Depaulis, F., & Etheridge, A. (2002). Neutral evolution in spatially continuous populations. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2001.1557
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4261
Barton, N. H., & Keightley, P. (2002). Understanding quantitative genetic variation. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg700
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, J., Bollback, J. P., & Levine, A. (2002). Inferring the root of a phylogenetic tree. Systematic Biology. Oxford University Press. https://doi.org/10.1080/106351502753475862
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4407
Raskin, J., Schobbens, P., & Henzinger, T. A. (2002). Axioms for real-time logics. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/S0304-3975(00)00308-X
View
| DOI
2002 | Journal Article | IST-REx-ID: 4258 |
Navarro, A., & Barton, N. H. (2002). The effects of multilocus balancing selection on neutral variability. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/161.2.849
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4259 |
Orive, M., & Barton, N. H. (2002). Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/162.3.1469
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4209
Hannus, M., Feiguin, F., Heisenberg, C.-P. J., & Eaton, S. (2002). Planar cell polarization requires Widerborst, a B′ regulatory subunit of protein phosphatase 2A. Development. Company of Biologists. https://doi.org/10.1242/dev.129.14.3493
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4207
Heisenberg, C.-P. J. (2002). Wnt signalling: Refocusing on Strabismus. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)01160-0
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4194
Houart, C., Caneparo, L., Heisenberg, C.-P. J., Barth, K. A., Take Uchi, M., & Wilson, S. (2002). Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(02)00751-1
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4148
Tada, M., Concha, M., & Heisenberg, C.-P. J. (2002). Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology. Academic Press. https://doi.org/10.1016/S1084-9521(02)00052-6
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4196
Heisenberg, C.-P. J., & Tada, M. (2002). Zebrafish gastrulation movements: bridging cell and developmental biology. Seminars in Cell & Developmental Biology. Academic Press. https://doi.org/10.1016/S1084952102001003
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4199
Heisenberg, C.-P. J., & Tada, M. (2002). Wnt signalling: A moving picture emerges from van gogh. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)00704-2
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4139
Polechova, J., & Stopka, P. (2002). Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. NRC Research Press. https://doi.org/10.1139/z02-128
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4003
Agarwal, P., Edelsbrunner, H., & Wang, Y. (2002). Computing the writhing number of a polygonal knot. In Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms (pp. 791–799). San Francisco, CA, USA: SIAM.
View
| Download None (ext.)