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
Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. 2002. Ran binds to chromatin by two distinct mechanisms. Current Biology. 12(13), 1151–1156.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 11123
Hetzer M, Gruss OJ, Mattaj IW. 2002. The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly. Nature Cell Biology. 4(7), E177–E184.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 12659 | OA
Burlando P, Pellicciotti F, Strasser U. 2002. Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. 33(1), 47–74.
[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, Kurtaran R, Hugot Le Goff A, Bernard M. 2002. Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes. Organic Photovoltaics vol. 4801, 125–135.
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. 2(11), 1259–1261.
View | DOI
 

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

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

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

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

2002 | Journal Article | IST-REx-ID: 2617 | OA
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. 542(1), 193–210.
View | DOI | Download (ext.)
 

2002 | Conference Paper | IST-REx-ID: 2708
Erdös L. 2002. Two dimensional Pauli operator via scalar potential. QMath: Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307, 129–133.
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. 49(3–4), 273–284.
View | DOI
 

2002 | Patent | IST-REx-ID: 3508 | OA
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. IT-Built: Information Technology For Built Environment.
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 JC, de Bono M. 2002. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 419(6910), 925–929.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 419(6910), 899–903.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 108–122.
View | DOI
 

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

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

2002 | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. 2002. Alternating-time temporal logic. Journal of the ACM. 49(5), 672–713.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. Proceedings of the 29th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2380, 644–656.
View | DOI
 

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

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

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. 2002. Temporal safety proofs for systems code. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 526–538.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. 2002. Time-safety checking for embedded programs. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. 2002. The embedded machine: predictable, portable real-time code. Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation. PLDI: Programming Languages Design and Implementation, 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. 2002. Lazy abstraction. Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL: Principles of Programming Languages, 58–70.
View | DOI
 

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

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. IFAC: World Congress on Automatic Control vol. 15.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. 2002. A Giotto-based helicopter control system. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. 2002. Trading probability for fairness. Proceedings of the 16th International Workshop on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 2471, 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. 2002. Convertibility verification and converter synthesis: Two faces of the same coin. Proceedings of the 11th IEEE/ACM international conference on Computer-aided design. ICCAD: Computer-Aided Design, 132–139.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton NH, Navarro A. 2002. Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. 79(2), 129–139.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4260 | OA
Johnson T, Barton NH. 2002. The effect of deleterious alleles on adaptation in asexual populations. Genetics. 162(1), 395–411.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback JP. 2002. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 19(7), 1171–80.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4263
Barton NH, Depaulis F, Etheridge A. 2002. Neutral evolution in spatially continuous populations. Theoretical Population Biology. 61(1), 31–48.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4261
Barton NH, Keightley P. 2002. Understanding quantitative genetic variation. Nature Reviews Genetics. 3, 11–21.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck J, Bollback JP, Levine A. 2002. Inferring the root of a phylogenetic tree. Systematic Biology. 51(1), 32–43.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin J, Schobbens P, Henzinger TA. 2002. Axioms for real-time logics. Theoretical Computer Science. 274(1–2), 151–182.
View | DOI
 

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

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

2002 | Journal Article | IST-REx-ID: 4209
Hannus M, Feiguin F, Heisenberg C-PJ, Eaton S. 2002. Planar cell polarization requires Widerborst, a B′ regulatory subunit of protein phosphatase 2A. Development. 129(14), 3493–3503.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg C-PJ. 2002. Wnt signalling: Refocusing on Strabismus. Current Biology. 12(19), R657–R659.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4194
Houart C, Caneparo L, Heisenberg C-PJ, Barth KA, Take Uchi M, Wilson S. 2002. Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron. 35(2), 255–265.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4148
Tada M, Concha M, Heisenberg C-PJ. 2002. Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology. 13(3), 251–260.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4196
Heisenberg C-PJ, Tada M. 2002. Zebrafish gastrulation movements: bridging cell and developmental biology. Seminars in Cell & Developmental Biology. 13(6), 471–479.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4199
Heisenberg C-PJ, Tada M. 2002. Wnt signalling: A moving picture emerges from van gogh. Current Biology. 12(4), R126–R128.
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. 80(8), 1383–1388.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal P, Edelsbrunner H, Wang Y. 2002. Computing the writhing number of a polygonal knot. Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms. SODA: Symposium on Discrete Algorithms, 791–799.
View | Download None (ext.)
 

Filters and Search Terms

year=2002

Search

Filter Publications