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 |Published| 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
L. Erdös, in:, World Scientific Publishing, 2002, pp. 129–133.
2002 |Published| 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
J. Friml, K. Palme, Plant Molecular Biology 49 (2002) 273–284.
2002 | Patent | IST-REx-ID: 3508 |
Methods of generating three-dimensional digital models of objects by wrapping point cloud data points
H. Edelsbrunner, P. Fu, (2002).
[Published Version]
View
| Download Published Version (ext.)
H. Edelsbrunner, P. Fu, (2002).
2002 |Published| 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
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
2002 |Published| 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
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
2002 |Published| Journal Article | IST-REx-ID: 6158
Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans
J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.
View
| DOI
| PubMed | Europe PMC
J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.
2002 |Published| 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
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
2002 |Published| 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
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
2002 |Published| 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
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.
2002 |Published| 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
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.
2002 |Published| 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
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
2002 |Published| 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
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.
2002 |Published| Journal Article | IST-REx-ID: 4474 |
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
2002 |Published| 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
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.
2002 |Published| 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
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.
2002 |Published| 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
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 76–92.
2002 |Published| 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
T.A. Henzinger, C. Kirsch, in:, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, ACM, 2002, pp. 315–326.
2002 |Published| 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
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.
2002 |Published| 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
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.
2002 |Published| 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
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.
2002 |Published| 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
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 46–60.
2002 |Published| 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
M. Jurdziński, O. Kupferman, T.A. Henzinger, in:, Proceedings of the 16th International Workshop on Computer Science Logic, Springer, 2002, pp. 292–305.
2002 |Published| 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
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.
2002 |Published| 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
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
2002 |Published| Journal Article | IST-REx-ID: 4260 |
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
T. Johnson, N.H. Barton, Genetics 162 (2002) 395–411.
2002 |Published| 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
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
2002 |Published| 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
N.H. Barton, F. Depaulis, A. Etheridge, Theoretical Population Biology 61 (2002) 31–48.
2002 |Published| 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
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.
2002 |Published| 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
J. Huelsenbeck, J.P. Bollback, A. Levine, Systematic Biology 51 (2002) 32–43.
2002 |Published| 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
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
2002 |Published| Journal Article | IST-REx-ID: 4258 |
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
A. Navarro, N.H. Barton, Genetics 161 (2002) 849–863.
2002 |Published| Journal Article | IST-REx-ID: 4259 |
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
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
2002 |Published| 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
M. Hannus, F. Feiguin, C.-P.J. Heisenberg, S. Eaton, Development 129 (2002) 3493–3503.
2002 |Published| 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
C.-P.J. Heisenberg, Current Biology 12 (2002) R657–R659.
2002 |Published| 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
C. Houart, L. Caneparo, C.-P.J. Heisenberg, K.A. Barth, M. Take Uchi, S. Wilson, Neuron 35 (2002) 255–265.
2002 |Published| 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
M. Tada, M. Concha, C.-P.J. Heisenberg, Seminars in Cell & Developmental Biology 13 (2002) 251–260.
2002 |Published| 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
C.-P.J. Heisenberg, M. Tada, Seminars in Cell & Developmental Biology 13 (2002) 471–479.
2002 |Published| 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
C.-P.J. Heisenberg, M. Tada, Current Biology 12 (2002) R126–R128.
2002 |Published| 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
J. Polechova, P. Stopka, Canadian Journal of Zoology 80 (2002) 1383–1388.
2002 |Published| 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.)
P. Agarwal, H. Edelsbrunner, Y. Wang, in:, Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2002, pp. 791–799.
2002 |Published| 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
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.
2002 |Published| 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
A. Zomorodian, H. Edelsbrunner, International Journal of Computational Geometry and Applications 12 (2002) 143–172.
2002 |Published| 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
H. Edelsbrunner, D. Guoy, Engineering with Computers 18 (2002) 229–240.
2002 |Published| Journal Article | IST-REx-ID: 3802 |
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
J. Bischofberger, J. Geiger, P.M. Jonas, Journal of Neuroscience 22 (2002) 10593–10602.
2002 |Published| Journal Article | IST-REx-ID: 3919 |
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
S. Cremer, J. Heinze, Proceedings of the Royal Society of London Series B Biological Sciences 269 (2002) 417–422.
2002 |Published| Journal Article | IST-REx-ID: 3924
A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior
S. Cremer, B. Lautenschläger, J. Heinze, Insectes Sociaux 49 (2002) 221–228.
View
| DOI
S. Cremer, B. Lautenschläger, J. Heinze, Insectes Sociaux 49 (2002) 221–228.
2002 |Published| Journal Article | IST-REx-ID: 3925
Chemical mimicry: Male ants disguised by the queen's bouquet
S. Cremer, M. Sledge, J. Heinze, Nature 419 (2002) 897–897.
View
| DOI
| PubMed | Europe PMC
S. Cremer, M. Sledge, J. Heinze, Nature 419 (2002) 897–897.
2002 |Published| Journal Article | IST-REx-ID: 3996
Topological persistence and simplification
H. Edelsbrunner, D. Letscher, A. Zomorodian, Discrete & Computational Geometry 28 (2002) 511–533.
View
| DOI
H. Edelsbrunner, D. Letscher, A. Zomorodian, Discrete & Computational Geometry 28 (2002) 511–533.
2002 |Published| Journal Article | IST-REx-ID: 3920
A method for analysing small-size specimens in GC-MS
S. Turillazzi, M. Sledge, S. Cremer, J. Heinze, Insect Social Life 4 (2002) 169–175.
View
S. Turillazzi, M. Sledge, S. Cremer, J. Heinze, Insect Social Life 4 (2002) 169–175.
2002 |Published| Journal Article | IST-REx-ID: 3800 |
Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks
M. Bartos, I. Vida, M. Frotscher, A. Meyer, H. Monyer, J. Geiger, P.M. Jonas, PNAS 99 (2002) 13222–13227.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Bartos, I. Vida, M. Frotscher, A. Meyer, H. Monyer, J. Geiger, P.M. Jonas, PNAS 99 (2002) 13222–13227.
2002 |Published| Journal Article | IST-REx-ID: 3803
TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus
J. Bischofberger, P.M. Jonas, Trends in Neurosciences 25 (2002) 600–603.
View
| DOI
| PubMed | Europe PMC
J. Bischofberger, P.M. Jonas, Trends in Neurosciences 25 (2002) 600–603.
2002 |Published| Journal Article | IST-REx-ID: 3801 |
Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus
S. Hefft, U. Kraushaar, J. Geiger, P.M. Jonas, Journal of Physiology 539 (2002) 201–8.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Hefft, U. Kraushaar, J. Geiger, P.M. Jonas, Journal of Physiology 539 (2002) 201–8.
2002 |Published| Journal Article | IST-REx-ID: 3799 |
Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus
C. Lien, M. Martina, J. Schultz, H. Ehmke, P.M. Jonas, Journal of Physiology 538 (2002) 405–419.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Lien, M. Martina, J. Schultz, H. Ehmke, P.M. Jonas, Journal of Physiology 538 (2002) 405–419.
2002 |Published| Journal Article | IST-REx-ID: 3621 |
General models of multilocus evolution
M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.
2002 |Published| Journal Article | IST-REx-ID: 3757
Combinatorial synthesis of genetic networks
C.C. Guet, M. Elowitz, W. Hsing, S. Leibler, Science 296 (2002) 1466–1470.
View
| DOI
| PubMed | Europe PMC
C.C. Guet, M. Elowitz, W. Hsing, S. Leibler, Science 296 (2002) 1466–1470.
2002 |Published| Journal Article | IST-REx-ID: 3497
Patch-clamp recording in brain slices with improved slicer technology
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443 (2002) 491–501.
View
| DOI
| PubMed | Europe PMC
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443 (2002) 491–501.
2002 |Published| Journal Article | IST-REx-ID: 3533
Homeostatic maintenance of neuronal excitability by burst discharges in vivo
G. Buzsáki, J.L. Csicsvari, G. Dragoi, K. Harris, D. Henze, H. Hirase, Cerebral Cortex 12 (2002) 893–899.
View
| DOI
| PubMed | Europe PMC
G. Buzsáki, J.L. Csicsvari, G. Dragoi, K. Harris, D. Henze, H. Hirase, Cerebral Cortex 12 (2002) 893–899.
2002 |Published| Conference Paper | IST-REx-ID: 3424
3d supernovae collapse calculations
M.T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
View
| DOI
M.T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
2002 |Published| Journal Article | IST-REx-ID: 2988
Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway
M. Grebe, J. Friml, R. Swarup, K. Ljung, G. Sandberg, M. Terlou, K. Palme, M. Bennett, B. Scheres, Current Biology 12 (2002) 329–334.
View
| DOI
| PubMed | Europe PMC
M. Grebe, J. Friml, R. Swarup, K. Ljung, G. Sandberg, M. Terlou, K. Palme, M. Bennett, B. Scheres, Current Biology 12 (2002) 329–334.
2002 |Published| Journal Article | IST-REx-ID: 3421
Observing structure, function and assembly of single proteins by AFM
D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.
View
| DOI
| PubMed | Europe PMC
D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.
2002 |Published| Journal Article | IST-REx-ID: 2989
AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis
J. Friml, E. Benková, I. Blilou, J. Wiśniewska, T. Hamann, K. Ljung, S. Woody, G. Sandberg, B. Scheres, G. Jürgens, K. Palme, Cell 108 (2002) 661–673.
View
| DOI
| PubMed | Europe PMC
J. Friml, E. Benková, I. Blilou, J. Wiśniewska, T. Hamann, K. Ljung, S. Woody, G. Sandberg, B. Scheres, G. Jürgens, K. Palme, Cell 108 (2002) 661–673.
2002 |Published| Journal Article | IST-REx-ID: 3422
Processing of gene expression data generated by quantitative real-time RT-PCR
P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.
View
| PubMed | Europe PMC
P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.
2002 |Published| Journal Article | IST-REx-ID: 3140
A role for Neuregulin1 signaling in muscle spindle differentiation
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, S. Arber, Neuron 36 (2002) 1035–1049.
View
| DOI
| PubMed | Europe PMC
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, S. Arber, Neuron 36 (2002) 1035–1049.
2002 |Published| Conference Paper | IST-REx-ID: 3423
The percolation interpretation of the nuclear fragmentation phase transition
W. Bauer, M.T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, Proceedings of the 18th Winter Workshop on Nuclear Dynamics, EP Systema, 2002, pp. 111–118.
View
W. Bauer, M.T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, Proceedings of the 18th Winter Workshop on Nuclear Dynamics, EP Systema, 2002, pp. 111–118.
2002 |Published| Journal Article | IST-REx-ID: 2986
Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis
J. Friml, J. Wiśniewska, E. Benková, K. Mendgen, K. Palme, Nature 415 (2002) 806–809.
View
| DOI
| PubMed | Europe PMC
J. Friml, J. Wiśniewska, E. Benková, K. Mendgen, K. Palme, Nature 415 (2002) 806–809.
2002 |Published| Journal Article | IST-REx-ID: 2987 |
Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling
M. Souter, J. Topping, M. Pullen, J. Friml, K. Palme, R. Hackett, D. Grierson, K. Lindsey, Plant Cell 14 (2002) 1017–1031.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Souter, J. Topping, M. Pullen, J. Friml, K. Palme, R. Hackett, D. Grierson, K. Lindsey, Plant Cell 14 (2002) 1017–1031.
2002 |Published| Journal Article | IST-REx-ID: 2866 |
The Arabidopsis BODENLOS gene encodes an auxin response protein inhibiting MONOPTEROS-mediated embryo patterning
T. Hamann, E. Benková, I. Bäurle, M. Kientz, G. Jürgens, Genes and Development 16 (2002) 1610–1615.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Hamann, E. Benková, I. Bäurle, M. Kientz, G. Jürgens, Genes and Development 16 (2002) 1610–1615.
2002 |Published| Conference Paper | IST-REx-ID: 2927
Multi-camera scene reconstruction via graph cuts
V. Kolmogorov, R. Zabih, in:, Proceedings of the 7th European Conference on Computer Vision, Springer, 2002, pp. 65–81.
View
| DOI
V. Kolmogorov, R. Zabih, in:, Proceedings of the 7th European Conference on Computer Vision, Springer, 2002, pp. 65–81.
2002 |Published| Journal Article | IST-REx-ID: 2739
Pauli operator and Aharonov–Casher theorem¶ for measure valued magnetic fields
L. Erdös, V. Vougalter, Communications in Mathematical Physics 225 (2002) 399–421.
View
| DOI
| arXiv
L. Erdös, V. Vougalter, Communications in Mathematical Physics 225 (2002) 399–421.
2002 |Published| Journal Article | IST-REx-ID: 2738
Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field
L. Erdös, Journal of Statistical Physics 107 (2002) 1043–1127.
[Submitted Version]
View
| DOI
| arXiv
L. Erdös, Journal of Statistical Physics 107 (2002) 1043–1127.
2002 |Published| Journal Article | IST-REx-ID: 2740
Spectral shift and multiplicity of the first eigenvalue of the magnetic Schrödinger operator in two dimensions
L. Erdös, Annales de l’Institut Fourier 52 (2002) 1833–1874.
View
| DOI
L. Erdös, Annales de l’Institut Fourier 52 (2002) 1833–1874.
2002 |Published| Journal Article | IST-REx-ID: 2737
Derivation of the Schrödinger-Poisson equation from the quantum N-body problem
C. Bardos, L. Erdös, F. Golse, N. Mauser, H. Yau, Comptes Rendus Mathematique 334 (2002) 515–520.
View
| DOI
C. Bardos, L. Erdös, F. Golse, N. Mauser, H. Yau, Comptes Rendus Mathematique 334 (2002) 515–520.
2002 |Published| Journal Article | IST-REx-ID: 2624
Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus
Á. Kulik, K. Nakadate, G. Nyíri, T. Notomi, B. Malitschek, B. Bettler, R. Shigemoto, European Journal of Neuroscience 15 (2002) 291–307.
View
| DOI
| PubMed | Europe PMC
Á. Kulik, K. Nakadate, G. Nyíri, T. Notomi, B. Malitschek, B. Bettler, R. Shigemoto, European Journal of Neuroscience 15 (2002) 291–307.
2002 |Published| Book Chapter | IST-REx-ID: 2694
Scaling limits of Schrödinger quantum mechanics
L. Erdös, in:, Dynamics of Dissipation, Springer, 2002, pp. 487–506.
View
| DOI
L. Erdös, in:, Dynamics of Dissipation, Springer, 2002, pp. 487–506.
2002 |Published| Journal Article | IST-REx-ID: 2622
Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development
G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, R. Luján, European Journal of Neuroscience 15 (2002) 1766–1778.
View
| DOI
| PubMed | Europe PMC
G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, R. Luján, European Journal of Neuroscience 15 (2002) 1766–1778.
2002 |Published| Journal Article | IST-REx-ID: 2621
Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.
[Published Version]
View
| DOI
| PubMed | Europe PMC
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.
2002 |Published| Journal Article | IST-REx-ID: 2620
Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites
A. Lörincz, T. Notomi, G. Tamás, R. Shigemoto, Z. Nusser, Nature Neuroscience 5 (2002) 1185–1193.
View
| DOI
| PubMed | Europe PMC
A. Lörincz, T. Notomi, G. Tamás, R. Shigemoto, Z. Nusser, Nature Neuroscience 5 (2002) 1185–1193.
2002 |Published| Journal Article | IST-REx-ID: 2614 |
The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.
2002 |Published| Journal Article | IST-REx-ID: 2613
Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins
J. Kitano, K. Kimura, Y. Yamazaki, T. Soda, R. Shigemoto, Y. Nakajima, S. Nakanishi, Journal of Neuroscience 22 (2002) 1280–1289.
View
| DOI
| PubMed | Europe PMC
J. Kitano, K. Kimura, Y. Yamazaki, T. Soda, R. Shigemoto, Y. Nakajima, S. Nakanishi, Journal of Neuroscience 22 (2002) 1280–1289.
2002 |Published| Journal Article | IST-REx-ID: 2616
Differential distribution of group I metabotropic glutamate receptors during rat cortical development
G. López Bendito, R. Shigemoto, A. Fairén, R. Luján, Cerebral Cortex 12 (2002) 625–638.
View
| DOI
| PubMed | Europe PMC
G. López Bendito, R. Shigemoto, A. Fairén, R. Luján, Cerebral Cortex 12 (2002) 625–638.
2002 |Published| Journal Article | IST-REx-ID: 2619
Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974.
View
| DOI
| PubMed | Europe PMC
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974.
2002 |Published| Journal Article | IST-REx-ID: 2615
Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae
T. Toyono, Y. Seta, S. Sataoka, H. Harada, T. Morotomi, S. Kawano, R. Shigemoto, K. Toyoshima, Archives of Histology and Cytology 65 (2002) 91–96.
View
| DOI
| PubMed | Europe PMC
T. Toyono, Y. Seta, S. Sataoka, H. Harada, T. Morotomi, S. Kawano, R. Shigemoto, K. Toyoshima, Archives of Histology and Cytology 65 (2002) 91–96.
2002 |Published| Journal Article | IST-REx-ID: 2618
Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum
M. Nunzi, R. Shigemoto, E. Mugnaini, Journal of Comparative Neurology 451 (2002) 189–199.
View
| DOI
| PubMed | Europe PMC
M. Nunzi, R. Shigemoto, E. Mugnaini, Journal of Comparative Neurology 451 (2002) 189–199.
2002 |Published| Conference Paper | IST-REx-ID: 2421
On the Clique problem in intersection graphs of ellipses
C. Ambühl, U. Wagner, in:, Proceedings of the 13th International Symposium on Algorithms and Computation, Springer, 2002, pp. 489–500.
View
| DOI
C. Ambühl, U. Wagner, in:, Proceedings of the 13th International Symposium on Algorithms and Computation, Springer, 2002, pp. 489–500.
2002 |Published| Journal Article | IST-REx-ID: 2353 |
Superfluidity in dilute trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Physical Review B - Condensed Matter and Materials Physics 66 (2002).
View
| DOI
| Download None (ext.)
| arXiv
É. Lieb, R. Seiringer, J. Yngvason, Physical Review B - Condensed Matter and Materials Physics 66 (2002).
2002 |Published| Journal Article | IST-REx-ID: 2420
On the number of corner cuts
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.
View
| DOI
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.
2002 |Published| Book Chapter | IST-REx-ID: 2338 |
The ground state of the Bose gas
É. Lieb, J. Solovej, R. Seiringer, J. Yngvason, in:, Current Developments in Mathematics, 2001, International Press, 2002, pp. 131–178.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
É. Lieb, J. Solovej, R. Seiringer, J. Yngvason, in:, Current Developments in Mathematics, 2001, International Press, 2002, pp. 131–178.
2002 |Published| Journal Article | IST-REx-ID: 1737
A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, P. Falaras, Journal of Photochemistry and Photobiology A: Chemistry 149 (2002) 191–198.
View
| DOI
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, P. Falaras, Journal of Photochemistry and Photobiology A: Chemistry 149 (2002) 191–198.
2002 |Published| Journal Article | IST-REx-ID: 2350 |
Mass renormalization and energy level shift in non-relativistic QED
C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics 6 (2002) 847–871.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics 6 (2002) 847–871.
2002 |Published| Journal Article | IST-REx-ID: 885 |
Dobzhansky-Muller incompatibilities in protein evolution
A. Kondrashov, S. Sunyaev, F. Kondrashov, PNAS 99 (2002) 14878–14883.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Kondrashov, S. Sunyaev, F. Kondrashov, PNAS 99 (2002) 14878–14883.
2002 |Published| Journal Article | IST-REx-ID: 1451 |
Toric hyperkähler varieties
T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.
2002 |Published| Journal Article | IST-REx-ID: 897
Selection for short introns in highly expressed genes
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, F. Kondrashov, Nature Genetics 31 (2002) 415–418.
View
| DOI
| PubMed | Europe PMC
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, F. Kondrashov, Nature Genetics 31 (2002) 415–418.
2002 |Published| Journal Article | IST-REx-ID: 871 |
Selection in the evolution of gene duplications
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
2002 |Published| Journal Article | IST-REx-ID: 859
Evolution of the mouse polyubiquitin C gene
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.
View
| DOI
| PubMed | Europe PMC
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.
2002 |Published| Journal Article | IST-REx-ID: 204
Equal Sums of Two kth Powers
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.
[Published Version]
View
| DOI
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.
2002 |Published| Journal Article | IST-REx-ID: 13438 |
ICln Ion channel splice variants in Caenorhabditis elegans
J. Fürst, M. Ritter, J. Rudzki, J.G. Danzl, M. Gschwentner, E. Scandella, M. Jakab, M. König, B. Oehl, F. Lang, P. Deetjen, M. Paulmichl, Journal of Biological Chemistry 277 (2002) 4435–4445.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Fürst, M. Ritter, J. Rudzki, J.G. Danzl, M. Gschwentner, E. Scandella, M. Jakab, M. König, B. Oehl, F. Lang, P. Deetjen, M. Paulmichl, Journal of Biological Chemistry 277 (2002) 4435–4445.