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 | OA
D. Bilbao-Cortés, M. Hetzer, G. Längst, P. B. Becker, and I. W. Mattaj, “Ran binds to chromatin by two distinct mechanisms,” Current Biology, vol. 12, no. 13. Elsevier BV, pp. 1151–1156, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 11123
M. Hetzer, O. J. Gruss, and I. W. Mattaj, “The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly,” Nature Cell Biology, vol. 4, no. 7. Springer Nature, pp. E177–E184, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 12659 | OA
P. Burlando, F. Pellicciotti, and U. Strasser, “Modelling mountainous water systems between learning and speculating looking for challenges,” Hydrology Research, vol. 33, no. 1. IWA Publishing, pp. 47–74, 2002.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Conference Paper | IST-REx-ID: 1738
P. Falaras et al., “Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes,” presented at the Organic Photovoltaics, 2002, vol. 4801, pp. 125–135.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1739
T. Stergiopoulos, I. Arabatzis, G. Katsaros, and P. Falaras, “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells,” Nano Letters, vol. 2, no. 11. American Chemical Society, pp. 1259–1261, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2339
R. Seiringer, “Symmetry breaking in a model of a rotating Bose gas,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 281–286.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2351 | OA
R. Seiringer, “Gross-Pitaevskii theory of the rotating Bose gas,” Communications in Mathematical Physics, vol. 229, no. 3. Springer, pp. 491–509, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2349 | OA
É. Lieb and R. Seiringer, “Proof of Bose-Einstein condensation for dilute trapped gases,” Physical Review Letters, vol. 88, no. 17. American Physical Society, pp. 1704091–1704094, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2352 | OA
C. Hainzl and R. Seiringer, “General decomposition of radial functions on ℝn and applications to N-body quantum systems,” Letters in Mathematical Physics, vol. 61, no. 1. Springer, pp. 75–84, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2617 | OA
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones,” Journal of Physiology, vol. 542, no. 1. Wiley-Blackwell, pp. 193–210, 2002.
View | DOI | Download (ext.)
 

2002 | Conference Paper | IST-REx-ID: 2708
L. Erdös, “Two dimensional Pauli operator via scalar potential,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 129–133.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
J. Friml and K. Palme, “Polar auxin transport - Old questions and new concepts?,” Plant Molecular Biology, vol. 49, no. 3–4. Springer, pp. 273–284, 2002.
View | DOI
 

2002 | Patent | IST-REx-ID: 3508 | OA
H. Edelsbrunner and P. Fu, “Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.” 2002.
[Published Version] View | Download Published Version (ext.)
 

2002 | Conference Paper | IST-REx-ID: 3448
S. Mallick, K. Chatterjee, A. Merchant, and P. Dasgupta, “Implementation of shape grammar for plan analysis,” presented at the IT-Built: Information Technology For Built Environment, 2002.
View
 

2002 | Thesis | IST-REx-ID: 4414
F. Mang, “Games in open systems verification and synthesis,” University of California, Berkeley, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 6158
J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans,” Nature, vol. 419, no. 6910. Springer Nature, pp. 925–929, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,” Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 4631
L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 108–122.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol. 2289, pp. 134–148.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” Journal of the ACM, vol. 49, no. 5. ACM, pp. 672–713, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” in Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Malaga, Spain, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474 | OA
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1. Elsevier, pp. 64–81, 2002.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
T. A. Henzinger and C. Kirsch, “The embedded machine: predictable, portable real-time code,” in Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, Berlin, Germany, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” in Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Portland, OR, USA, 2002, pp. 58–70.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1. ACM, pp. 51–64, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz 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, Barcelona, Spain, 2002, vol. 15, no. 1.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
C. Kirsch, M. Sanvido, T. A. Henzinger, and W. Pree, “A Giotto-based helicopter control system,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
M. Jurdziński, O. Kupferman, and T. A. Henzinger, “Trading probability for fairness,” in Proceedings of the 16th International Workshop on Computer Science Logic, Edinburgh, Scotland, 2002, vol. 2471, pp. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
R. Passerone, L. De Alfaro, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Convertibility verification and converter synthesis: Two faces of the same coin,” in Proceedings of the 11th IEEE/ACM international conference on Computer-aided design, San Jose, CA, USA, 2002, pp. 132–139.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
N. H. Barton and A. Navarro, “Extending the coalescent to multilocus systems: the case of balancing selection,” Genetical Research, vol. 79, no. 2. Cambridge University Press, pp. 129–139, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4260 | OA
T. Johnson and N. H. Barton, “The effect of deleterious alleles on adaptation in asexual populations,” Genetics, vol. 162, no. 1. Genetics Society of America, pp. 395–411, 2002.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4349
J. P. Bollback, “Bayesian model adequacy and choice in phylogenetics,” Molecular Biology and Evolution, vol. 19, no. 7. Oxford University Press, pp. 1171–80, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4263
N. H. Barton, F. Depaulis, and A. Etheridge, “Neutral evolution in spatially continuous populations,” Theoretical Population Biology, vol. 61, no. 1. Academic Press, pp. 31–48, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4261
N. H. Barton and P. Keightley, “Understanding quantitative genetic variation,” Nature Reviews Genetics, vol. 3. Nature Publishing Group, pp. 11–21, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4347
J. Huelsenbeck, J. P. Bollback, and A. Levine, “Inferring the root of a phylogenetic tree,” Systematic Biology, vol. 51, no. 1. Oxford University Press, pp. 32–43, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4407
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” Theoretical Computer Science, vol. 274, no. 1–2. Elsevier, pp. 151–182, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258 | OA
A. Navarro and N. H. Barton, “The effects of multilocus balancing selection on neutral variability,” Genetics, vol. 161, no. 2. Genetics Society of America, pp. 849–863, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4259 | OA
M. Orive and N. H. Barton, “Associations between cytoplasmic and nuclear loci in hybridizing populations,” Genetics, vol. 162, no. 3. Genetics Society of America, pp. 1469–1485, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4209
M. Hannus, F. Feiguin, C.-P. J. Heisenberg, and S. Eaton, “Planar cell polarization requires Widerborst, a B′ regulatory subunit of protein phosphatase 2A,” Development, vol. 129, no. 14. Company of Biologists, pp. 3493–3503, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4207
C.-P. J. Heisenberg, “Wnt signalling: Refocusing on Strabismus,” Current Biology, vol. 12, no. 19. Cell Press, pp. R657–R659, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4194
C. Houart, L. Caneparo, C.-P. J. Heisenberg, K. A. Barth, M. Take Uchi, and S. Wilson, “Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling,” Neuron, vol. 35, no. 2. Elsevier, pp. 255–265, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4148
M. Tada, M. Concha, and C.-P. J. Heisenberg, “Non-canonical Wnt signalling and regulation of gastrulation movements,” Seminars in Cell & Developmental Biology, vol. 13, no. 3. Academic Press, pp. 251–260, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4196
C.-P. J. Heisenberg and M. Tada, “Zebrafish gastrulation movements: bridging cell and developmental biology,” Seminars in Cell & Developmental Biology, vol. 13, no. 6. Academic Press, pp. 471–479, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4199
C.-P. J. Heisenberg and M. Tada, “Wnt signalling: A moving picture emerges from van gogh,” Current Biology, vol. 12, no. 4. Cell Press, pp. R126–R128, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4139
J. Polechova and P. Stopka, “Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus,” Canadian Journal of Zoology, vol. 80, no. 8. NRC Research Press, pp. 1383–1388, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” in Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms, San Francisco, CA, USA, 2002, pp. 791–799.
View | Download None (ext.)
 

Filters and Search Terms

year=2002

Search

Filter Publications