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 | Conference Paper | IST-REx-ID: 2339
Symmetry breaking in a model of a rotating Bose gas
R. Seiringer, in:, R. Weder, P. Exner, B. Grébert (Eds.), World Scientific Publishing, 2002, pp. 281–286.
View | DOI
 

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

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

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

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

2002 | Conference Paper | IST-REx-ID: 2708
Two dimensional Pauli operator via scalar potential
L. Erdös, in:, World Scientific Publishing, 2002, pp. 129–133.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Polar auxin transport - Old questions and new concepts?
J. Friml, K. Palme, Plant Molecular Biology 49 (2002) 273–284.
View | DOI
 

2002 | Patent | IST-REx-ID: 3508 | OA [Published Version] View | Download Published Version (ext.)
 

2002 | Conference Paper | IST-REx-ID: 3448
Implementation of shape grammar for plan analysis
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
View
 

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

2002 | Journal Article | IST-REx-ID: 6158 View | DOI | PubMed | Europe PMC
 

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

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

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

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

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

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

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

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

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

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

2002 | Conference Paper | IST-REx-ID: 4444
The embedded machine: predictable, portable real-time code
T.A. Henzinger, C. Kirsch, in:, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, ACM, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70.
View | DOI
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2002 | Journal Article | IST-REx-ID: 4199
Wnt signalling: A moving picture emerges from van gogh
C.-P.J. Heisenberg, M. Tada, Current Biology 12 (2002) R126–R128.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4139
Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus
J. Polechova, P. Stopka, Canadian Journal of Zoology 80 (2002) 1383–1388.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 3995
Algorithmic issues in modeling motion
Agarwal P, Guibas L, Edelsbrunner H, Erickson J, Isard M, Har Peled S, Hershberger J, Jensen C, Kavraki L, Koehl P, Lin M, Manocha D, Metaxas D, Mirtich B, Mount D, Muthukrishnan S, Pai D, Sacks E, Snoeyink J, Suri S, Wolefson O. 2002. Algorithmic issues in modeling motion. ACM Computing Surveys. 34(4), 550–572.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
Fast software for box intersections
A. Zomorodian, H. Edelsbrunner, International Journal of Computational Geometry and Applications 12 (2002) 143–172.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
An experimental study of sliver exudation
H. Edelsbrunner, D. Guoy, Engineering with Computers 18 (2002) 229–240.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802 | OA
Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons
J. Bischofberger, J. Geiger, P.M. Jonas, Journal of Neuroscience 22 (2002) 10593–10602.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
Adaptive production of fighter males: queens of the ant Cardiocondyla adjust the sex ratio under local mate competition
S. Cremer, J. Heinze, Proceedings of the Royal Society of London Series B Biological Sciences 269 (2002) 417–422.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2002

Search

Filter Publications