Please note that IST 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.
5761 Publications
2002 | Journal Article | IST-REx-ID: 4474
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
2002 | Conference Paper | IST-REx-ID: 4476
Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, ACM, 2002, pp. 58–70.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, ACM, 2002, pp. 58–70.
2002 | Conference Paper | IST-REx-ID: 4562
Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Springer, 2002, pp. 414–427.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Springer, 2002, pp. 414–427.
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:, Springer, 2002, pp. 428–441.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Springer, 2002, pp. 428–441.
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:, Springer, 2002, pp. 134–148.
View
| DOI
F. Cassez, T.A. Henzinger, J. Raskin, in:, Springer, 2002, pp. 134–148.
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
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
2002 | Conference Paper | IST-REx-ID: 4631
Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, ACM, 2002, pp. 108–122.
View
| DOI
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, ACM, 2002, pp. 108–122.
2002 | 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 | 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 | Conference Paper | IST-REx-ID: 2927
Multi-camera scene reconstruction via graph cuts
V. Kolmogorov, R. Zabih, in:, Springer, 2002, pp. 65–81.
View
| DOI
V. Kolmogorov, R. Zabih, in:, Springer, 2002, pp. 65–81.
2002 | 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
J. Friml, J. Wiśniewska, E. Benková, K. Mendgen, K. Palme, Nature 415 (2002) 806–809.
2002 | 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
M. Souter, J. Topping, M. Pullen, J. Friml, K. Palme, R. Hackett, D. Grierson, K. Lindsey, Plant Cell 14 (2002) 1017–1031.
2002 | 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
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 | 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
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 | 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 | 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
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, S. Arber, Neuron 36 (2002) 1035–1049.
2002 | Book Review | 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
D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.
2002 | 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
P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.
2002 | Conference Paper | IST-REx-ID: 3423
The percolation interpretation of the nuclear fragmentation phase transition
W. Bauer, T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, EP Systema, 2002, pp. 111–118.
View
W. Bauer, T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, EP Systema, 2002, pp. 111–118.
2002 | Conference Paper | IST-REx-ID: 3424
3d supernovae collapse calculations
T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
View
| DOI
T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
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
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
2002 | 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
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 | 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).
View
| DOI
| Download (ext.)
H. Edelsbrunner, P. Fu, (2002).
2002 | 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
G. Buzsáki, J.L. Csicsvari, G. Dragoi, K. Harris, D. Henze, H. Hirase, Cerebral Cortex 12 (2002) 893–899.
2002 | Journal Article | IST-REx-ID: 3621 | 
General models of multilocus evolution
M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.
View
| Download (ext.)
M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.
2002 | 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
| Download (ext.)
C.C. Guet, M. Elowitz, W. Hsing, S. Leibler, Science 296 (2002) 1466–1470.
2002 | 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.
View
| DOI
| Download (ext.)
C. Lien, M. Martina, J. Schultz, H. Ehmke, P.M. Jonas, Journal of Physiology 538 (2002) 405–419.
2002 | 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.
View
| DOI
M. Bartos, I. Vida, M. Frotscher, A. Meyer, H. Monyer, J. Geiger, P.M. Jonas, PNAS 99 (2002) 13222–13227.
2002 | 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.
View
| DOI
S. Hefft, U. Kraushaar, J. Geiger, P.M. Jonas, Journal of Physiology 539 (2002) 201–8.
2002 | 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.
View
J. Bischofberger, J. Geiger, P.M. Jonas, Journal of Neuroscience 22 (2002) 10593–10602.
2002 | 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
J. Bischofberger, P.M. Jonas, Trends in Neurosciences 25 (2002) 600–603.
2002 | 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.)
S. Cremer, J. Heinze, Proceedings of the Royal Society of London Series B Biological Sciences 269 (2002) 417–422.
2002 | 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 | 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 | 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
S. Cremer, M. Sledge, J. Heinze, Nature 419 (2002) 897–897.
2002 | Journal Article | IST-REx-ID: 3995
Algorithmic issues in modeling motion
P. Agarwal, L. Guibas, H. Edelsbrunner, J. Erickson, M. Isard, S. Har Peled, J. Hershberger, C. Jensen, L. Kavraki, P. Koehl, M. Lin, D. Manocha, D. Metaxas, B. Mirtich, D. Mount, S. Muthukrishnan, D. Pai, E. Sacks, J. Snoeyink, S. Suri, O. Wolefson, ACM Computing Surveys 34 (2002) 550–572.
View
| DOI
P. Agarwal, L. Guibas, H. Edelsbrunner, J. Erickson, M. Isard, S. Har Peled, J. Hershberger, C. Jensen, L. Kavraki, P. Koehl, M. Lin, D. Manocha, D. Metaxas, B. Mirtich, D. Mount, S. Muthukrishnan, D. Pai, E. Sacks, J. Snoeyink, S. Suri, O. Wolefson, ACM Computing Surveys 34 (2002) 550–572.
2002 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 4003
Computing the writhing number of a polygonal knot
P. Agarwal, H. Edelsbrunner, Y. Wang, in:, SIAM, 2002, pp. 791–799.
View
P. Agarwal, H. Edelsbrunner, Y. Wang, in:, SIAM, 2002, pp. 791–799.
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
J. Polechova, P. Stopka, Canadian Journal of Zoology 80 (2002) 1383–1388.
2002 | Journal Article | IST-REx-ID: 4148
Non-canonical Wnt signalling and regulation of gastrulation movements
M. Tada, M. Concha, C. Heisenberg, Seminars in Cell & Developmental Biology 13 (2002) 251–260.
View
| DOI
M. Tada, M. Concha, C. Heisenberg, Seminars in Cell & Developmental Biology 13 (2002) 251–260.
2002 | 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
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.
2002 | 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).
View
| DOI
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
2002 | Journal Article | IST-REx-ID: 885
Dobzhansky-Muller incompatibilities in protein evolution
A. Kondrashov, S. Sunyaev, F. Kondrashov, PNAS 99 (2002) 14878–14883.
View
| DOI
A. Kondrashov, S. Sunyaev, F. Kondrashov, PNAS 99 (2002) 14878–14883.
2002 | 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
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, F. Kondrashov, Nature Genetics 31 (2002) 415–418.
2002 | Journal Article | IST-REx-ID: 1032
ICln ion channel splice variants in Caenorhabditis elegans: Voltage dependence and interaction with an operon partner protein
J. Fürst, M. Ritter, J. Rudzki, J. 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.
View
| DOI
J. Fürst, M. Ritter, J. Rudzki, J. 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.
2002 | Journal Article | IST-REx-ID: 1451 |
Toric hyperkähler varieties
T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.
View
| Download (ext.)
T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.
2001 | Conference Paper | IST-REx-ID: 2340 |
Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
View
| DOI
| Download (ext.)
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
2001 | Journal Article | IST-REx-ID: 2341 |
Atoms with bosonic "electrons" in strong magnetic fields
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
View
| DOI
| Download (ext.)
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.