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.

9114 Publications


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.)
 

2002 | Journal Article | IST-REx-ID: 3995
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
A. Zomorodian and H. Edelsbrunner, “Fast software for box intersections,” International Journal of Computational Geometry and Applications, vol. 12, no. 1–2. World Scientific Publishing, pp. 143–172, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
H. Edelsbrunner and D. Guoy, “An experimental study of sliver exudation,” Engineering with Computers, vol. 18, no. 3. Springer, pp. 229–240, 2002.
View | DOI
 

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

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

2002 | Journal Article | IST-REx-ID: 3924
S. Cremer, B. Lautenschläger, and J. Heinze, “A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior,” Insectes Sociaux, vol. 49, no. 3. Springer, pp. 221–228, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
S. Cremer, M. Sledge, and J. Heinze, “Chemical mimicry: Male ants disguised by the queen’s bouquet,” Nature, vol. 419. Nature Publishing Group, pp. 897–897, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3996
H. Edelsbrunner, D. Letscher, and A. Zomorodian, “Topological persistence and simplification,” Discrete & Computational Geometry, vol. 28, no. 4. Springer, pp. 511–533, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3920
S. Turillazzi, M. Sledge, S. Cremer, and J. Heinze, “A method for analysing small-size specimens in GC-MS,” Insect Social Life, vol. 4. Elsevier, pp. 169–175, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3800 | OA
M. Bartos et al., “Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks,” PNAS, vol. 99, no. 20. National Academy of Sciences, pp. 13222–13227, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3803
J. Bischofberger and P. M. Jonas, “TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus,” Trends in Neurosciences, vol. 25, no. 12. Elsevier, pp. 600–603, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3801 | OA
S. Hefft, U. Kraushaar, J. Geiger, and P. M. Jonas, “Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus,” Journal of Physiology, vol. 539, no. Pt 1. Wiley-Blackwell, pp. 201–8, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
C. Lien, M. Martina, J. Schultz, H. Ehmke, and P. M. Jonas, “Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus,” Journal of Physiology, vol. 538, no. Pt 2. Wiley-Blackwell, pp. 405–419, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
M. Kirkpatrick, T. Johnson, and N. H. Barton, “General models of multilocus evolution,” Genetics, vol. 161, no. 4. Genetics Society of America, pp. 1727–1750, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3757
C. C. Guet, M. Elowitz, W. Hsing, and S. Leibler, “Combinatorial synthesis of genetic networks,” Science, vol. 296, no. 5572. American Association for the Advancement of Science, pp. 1466–1470, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3497
J. Geiger et al., “Patch-clamp recording in brain slices with improved slicer technology,” Pflugers Archiv : European Journal of Physiology, vol. 443, no. 3. Springer, pp. 491–501, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3533
G. Buzsáki, J. L. Csicsvari, G. Dragoi, K. Harris, D. Henze, and H. Hirase, “Homeostatic maintenance of neuronal excitability by burst discharges in vivo,” Cerebral Cortex, vol. 12, no. 9. Oxford University Press, pp. 893–899, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 3424
M. T. Bollenbach and W. Bauer, “3d supernovae collapse calculations,” presented at the CRIS: Catania Relativistic Ion Studies , Catania, Italy, 2002, vol. 644, pp. 219–232.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
M. Grebe et al., “Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway,” Current Biology, vol. 12, no. 4. Cell Press, pp. 329–334, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3421
D. Mueller, H. L. Janovjak, T. Lehto, L. Kuerschner, and K. Anderson, “Observing structure, function and assembly of single proteins by AFM,” Progress in Biophysics and Molecular Biology, vol. 79, no. 1–3. Elsevier, pp. 1–43, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2989
J. Friml et al., “AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis,” Cell, vol. 108, no. 5. Cell Press, pp. 661–673, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3422
P. Müller, H. L. Janovjak, A. Miserez, and Z. Dobbie, “Processing of gene expression data generated by quantitative real-time RT-PCR,” Biotechniques, vol. 32, no. 6. Informa Healthcare, pp. 1372–1379, 2002.
View | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3140
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, and S. Arber, “A role for Neuregulin1 signaling in muscle spindle differentiation,” Neuron, vol. 36, no. 6. Elsevier, pp. 1035–1049, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 3423
W. Bauer, M. T. Bollenbach, M. Kleine Berkenbusch, and H. Harreis, “The percolation interpretation of the nuclear fragmentation phase transition,” in Proceedings of the 18th Winter Workshop on Nuclear Dynamics, Nassau, Bahamas, 2002, pp. 111–118.
View
 

2002 | Journal Article | IST-REx-ID: 2986
J. Friml, J. Wiśniewska, E. Benková, K. Mendgen, and K. Palme, “Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis,” Nature, vol. 415, no. 6873. Nature Publishing Group, pp. 806–809, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2987 | OA
M. Souter et al., “Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling,” Plant Cell, vol. 14, no. 5. American Society of Plant Biologists, pp. 1017–1031, 2002.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2866 | OA
T. Hamann, E. Benková, I. Bäurle, M. Kientz, and G. Jürgens, “The Arabidopsis BODENLOS gene encodes an auxin response protein inhibiting MONOPTEROS-mediated embryo patterning,” Genes and Development, vol. 16, no. 13. Cold Spring Harbor Laboratory Press, pp. 1610–1615, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 2927
V. Kolmogorov and R. Zabih, “Multi-camera scene reconstruction via graph cuts,” in Proceedings of the 7th European Conference on Computer Vision, Copenhagen, Denmark, 2002, pp. 65–81.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2739
L. Erdös and V. Vougalter, “Pauli operator and Aharonov–Casher theorem¶ for measure valued magnetic fields,” Communications in Mathematical Physics, vol. 225, no. 2. Springer, pp. 399–421, 2002.
View | DOI | arXiv
 

2002 | Journal Article | IST-REx-ID: 2738
L. Erdös, “Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field,” Journal of Statistical Physics, vol. 107, no. 5–6. Springer, pp. 1043–1127, 2002.
[Submitted Version] View | DOI | arXiv
 

2002 | Journal Article | IST-REx-ID: 2740
L. Erdös, “Spectral shift and multiplicity of the first eigenvalue of the magnetic Schrödinger operator in two dimensions,” Annales de l’Institut Fourier, vol. 52, no. 6. Association des Annales de l’Institut Fourier, pp. 1833–1874, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2737
C. Bardos, L. Erdös, F. Golse, N. Mauser, and H. Yau, “Derivation of the Schrödinger-Poisson equation from the quantum N-body problem,” Comptes Rendus Mathematique, vol. 334, no. 6. Elsevier, pp. 515–520, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2624
Á. Kulik et al., “Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus,” European Journal of Neuroscience, vol. 15, no. 2. Wiley-Blackwell, pp. 291–307, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Book Chapter | IST-REx-ID: 2694
L. Erdös, “Scaling limits of Schrödinger quantum mechanics,” in Dynamics of Dissipation, Springer, 2002, pp. 487–506.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2622
G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, and R. Luján, “Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development,” European Journal of Neuroscience, vol. 15, no. 11. Wiley-Blackwell, pp. 1766–1778, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2621
C. Millán, R. Luján, R. Shigemoto, and J. Sánchez Prieto, “Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals,” Journal of Biological Chemistry, vol. 277, no. 49. American Society for Biochemistry and Molecular Biology, pp. 47796–47803, 2002.
[Published Version] View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2620
A. Lörincz, T. Notomi, G. Tamás, R. Shigemoto, and Z. Nusser, “Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites,” Nature Neuroscience, vol. 5, no. 11. Nature Publishing Group, pp. 1185–1193, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2614 | OA
C. Millán, R. Luján, R. Shigemoto, and J. Sánchez Prieto, “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,” Journal of Biological Chemistry, vol. 277, no. 16. American Society for Biochemistry and Molecular Biology, pp. 14092–14101, 2002.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2613
J. Kitano et al., “Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins,” Journal of Neuroscience, vol. 22, no. 4. Society for Neuroscience, pp. 1280–1289, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2616
G. López Bendito, R. Shigemoto, A. Fairén, and R. Luján, “Differential distribution of group I metabotropic glutamate receptors during rat cortical development,” Cerebral Cortex, vol. 12, no. 6. Oxford University Press, pp. 625–638, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2619
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, and P. Somogyi, “Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex,” Cerebral Cortex, vol. 12, no. 9. Oxford University Press, pp. 961–974, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2615
T. Toyono et al., “Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae,” Archives of Histology and Cytology, vol. 65, no. 1. Japan Society of Histological Documentation, pp. 91–96, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2618
M. Nunzi, R. Shigemoto, and E. Mugnaini, “Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum,” Journal of Comparative Neurology, vol. 451, no. 2. Wiley-Blackwell, pp. 189–199, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 2421
C. Ambühl and U. Wagner, “On the Clique problem in intersection graphs of ellipses,” in Proceedings of the 13th International Symposium on Algorithms and Computation, Vancouver, Canada, 2002, vol. 2518, pp. 489–500.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2353 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Superfluidity in dilute trapped Bose gases,” Physical Review B - Condensed Matter and Materials Physics, vol. 66, no. 13. American Physical Society, 2002.
View | DOI | Download None (ext.) | arXiv
 

2002 | Journal Article | IST-REx-ID: 2420
U. Wagner, “On the number of corner cuts,” Advances in Applied Mathematics, vol. 29, no. 2. ACM, pp. 152–161, 2002.
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2338 | OA
É. Lieb, J. Solovej, R. Seiringer, and J. Yngvason, “The ground state of the Bose gas,” in Current Developments in Mathematics, 2001, International Press, 2002, pp. 131–178.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Journal Article | IST-REx-ID: 1737
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, and P. Falaras, “A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells,” Journal of Photochemistry and Photobiology A: Chemistry, vol. 149, no. 1–3. Elsevier, pp. 191–198, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2350 | OA
C. Hainzl and R. Seiringer, “Mass renormalization and energy level shift in non-relativistic QED,” Advances in Theoretical and Mathematical Physics, vol. 6, no. 5. International Press, pp. 847–871, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Journal Article | IST-REx-ID: 885 | OA
A. Kondrashov, S. Sunyaev, and F. Kondrashov, “Dobzhansky-Muller incompatibilities in protein evolution,” PNAS, vol. 99, no. 23. National Academy of Sciences, pp. 14878–14883, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” Documenta Mathematica, vol. 7, no. 1. Deutsche Mathematiker Vereinigung, pp. 495–534, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Journal Article | IST-REx-ID: 897
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, and F. Kondrashov, “Selection for short introns in highly expressed genes,” Nature Genetics, vol. 31, no. 4. Nature Publishing Group, pp. 415–418, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 871 | OA
F. Kondrashov, I. Rogozin, Y. Wolf, and E. Koonin, “Selection in the evolution of gene duplications ,” Genome Biology, vol. 3, no. 2. BioMed Central, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 859
A. Perelygin, F. Kondrashov, I. Rogozin, and M. Brinton, “Evolution of the mouse polyubiquitin C gene,” Journal of Molecular Evolution, vol. 55, no. 2. Springer, pp. 202–210, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 204
T. D. Browning, “Equal Sums of Two kth Powers,” Journal of Number Theory, vol. 96, no. 2. Academic Press, pp. 293–318, 2002.
[Published Version] View | DOI
 

2002 | Journal Article | IST-REx-ID: 13438 | OA
J. Fürst et al., “ICln Ion channel splice variants in Caenorhabditis elegans,” Journal of Biological Chemistry, vol. 277, no. 6. Elsevier, pp. 4435–4445, 2002.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 11125
M. Hetzer, H. H. Meyer, T. C. Walther, D. Bilbao-Cortes, G. Warren, and I. W. Mattaj, “Distinct AAA-ATPase p97 complexes function in discrete steps of nuclear assembly,” Nature Cell Biology, vol. 3, no. 12. Springer Nature, pp. 1086–1091, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 11892
M. H. Henzinger and V. King, “Maintaining minimum spanning forests in dynamic graphs,” SIAM Journal on Computing, vol. 31, no. 2. Society for Industrial & Applied Mathematics, pp. 364–374, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 11914
K. Bharat, B.-W. Chang, M. H. Henzinger, and M. Ruhl, “Who links to whom: Mining linkage between Web sites,” in 1st IEEE International Conference on Data Mining, San Jose, CA, United States, 2001, pp. 51–58.
View | DOI
 

2001 | Patent | IST-REx-ID: 3507 | OA
J. Liang and H. Edelsbrunner, “Molecular classification for property prediction.” 2001.
[Published Version] View | Download Published Version (ext.)
 

2001 | Book | IST-REx-ID: 3586
H. Edelsbrunner, Geometry and Topology for Mesh Generation, vol. 7. Cambridge University Press, 2001.
View | Files available | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 8522
V. Kaloshin and B. R. Hunt, “A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I,” Electronic Research Announcements of the American Mathematical Society, vol. 7, no. 4. American Mathematical Society, pp. 17–27, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8521
V. Kaloshin and B. R. Hunt, “A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II,” Electronic Research Announcements of the American Mathematical Society, vol. 7, no. 5. American Mathematical Society, pp. 28–36, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8524
V. Kaloshin and I. Rodnianski, “Diophantine properties of elements of SO(3),” Geometric And Functional Analysis, vol. 11, no. 5. Springer Nature, pp. 953–970, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 9444
A. M. Lindroth et al., “Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation,” Science, vol. 292, no. 5524. American Association for the Advancement of Science, pp. 2077–2080, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Conference Paper | IST-REx-ID: 4634
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems, Part II,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 566–581.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Symbolic algorithms for infinite-state games,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 536–550.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4636
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “From verification to control: dynamic programs for omega-regular objectives,” in Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, Boston, MA, USA, 2001, pp. 279–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool for web-site debugging,” in Proceedings of the 10th international conference on World Wide Web, Hong Kong, Hong Kong, 2001, pp. 86–87.
View | Download None (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4632
L. De Alfaro, T. A. Henzinger, and R. Jhala, “Compositional methods for probabilistic systems,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 351–365.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
R. Alur et al., “jMocha: A model-checking tool that exploits design structure,” in Proceedings of the 23rd International Conference on Software Engineering, 2001, pp. 835–836.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” Formal Methods in System Design, vol. 18, no. 2. Springer, pp. 97–116, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
L. De Alfaro and T. A. Henzinger, “Interface automata,” in Proceedings of the 8th European software engineering conference, Vienna, Austria, 2001, pp. 109–120.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 148–165.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
T. Brown, A. Pasetti, W. Pree, T. A. Henzinger, and C. Kirsch, “A reusable and platform-independent framework for distributed control systems,” in Proceedings of the 20th Digital Avionics Systems Conference, Daytona Beach, FL, USA, 2001, pp. 1–11.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” in Proceedings of the 4th International Workshop on Hybrid Systems, Rome, Italy, 2001, vol. 2034, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, New York, NY, United States, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
T. A. Henzinger, J. Preussig, and H. Wong Toi, “Some lessons from the HYTECH experience,” in Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, USA, 2001, vol. 3, pp. 2887–2892.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
T. A. Henzinger, Ed., EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4278
N. H. Barton, “The evolutionary consequences of gene flow and local adaptation: Future approaches,” in Dispersal, Oxford University Press, 2001.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200 | OA
C.-P. J. Heisenberg et al., “A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon,” Genes and Development, vol. 15, no. 11. Cold Spring Harbor Laboratory Press, pp. 1427–1434, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4266
N. H. Barton, “The role of hybridization in evolution,” Molecular Ecology, vol. 10, no. 3. Wiley-Blackwell, pp. 551–568, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4265
S. Otto and N. H. Barton, “Selection for recombination in small populations,” Evolution; International Journal of Organic Evolution, vol. 55, no. 10. Wiley-Blackwell, pp. 1921–1931, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4229
J. P. Bollback and J. Huelsenbeck, “Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae),” Journal of Molecular Evolution, vol. 52, no. 2. Springer, pp. 117–128, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4264
M. Turelli, N. H. Barton, and J. Coyne, “Theory and speciation,” Trends in Ecology and Evolution, vol. 16, no. 7. Cell Press, pp. 330–343, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Book Chapter | IST-REx-ID: 4267
N. H. Barton, “Adaptation at the edge of a species’ range,” in Integrating ecology and evolution in a spatial context, Cambridge University Press, 2001, pp. 365–392.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4002
S. Cheng, H. Edelsbrunner, P. Fu, and K. Lam, “Design and analysis of planar shape deformation,” Computational Geometry: Theory and Applications, vol. 19, no. 2–3. Elsevier, pp. 205–218, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
H. Cheng, H. Edelsbrunner, and P. Fu, “Shape space from deformation,” Computational Geometry: Theory and Applications, vol. 19, no. 2–3. Elsevier, pp. 191–204, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
H. Cheng, T. Dey, H. Edelsbrunner, and J. Sullivan, “Dynamic skin triangulation,” in Proceedings of the 12th annual ACM-SIAM symposium on Discrete algorithms, Washington, DC, USA , 2001, pp. 47–56.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4007
H. Cheng, T. Dey, H. Edelsbrunner, and J. Sullivan, “Dynamic skin triangulation,” Discrete & Computational Geometry, vol. 25, no. 4. Springer, pp. 525–568, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4006
H. Edelsbrunner, “180 wrapped tubes,” Journal of Universal Computer Science, vol. 7, no. 5. Springer, pp. 379–399, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3928 | OA
M. K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, and L. Sorokin, “Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation,” Journal of Biological Chemistry, vol. 276, no. 22. American Society for Biochemistry and Molecular Biology, pp. 18878–18887, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3927 | OA
D. Wolf et al., “TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis,” Journal of Immunology, vol. 166, no. 2. American Association of Immunologists, pp. 1300–1307, 2001.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3930 | OA
M. K. Sixt, B. Engelhardt, F. Pausch, R. Hallmann, O. Wendler, and L. Sorokin, “Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis,” Journal of Cell Biology, vol. 153, no. 5. Rockefeller University Press, pp. 933–946, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3622
M. Gardner, K. Fowler, L. Patridge, and N. H. Barton, “Genetic variation for preadult viability in Drosophila melanogaster,” Evolution, vol. 55, no. 8. Wiley-Blackwell, pp. 1609–1620, 2001.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Book Review | IST-REx-ID: 3596
N. H. Barton, “Mendel and mathematics,” Trends in Genetics, vol. 17. Elsevier, pp. 420–420, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546 | OA
H. Hirase, X. Leinekugel, J. L. Csicsvari, A. Czurkó, and G. Buzsáki, “Behavior-dependent states of the hippocampal network affect functional clustering of neurons,” Journal of Neuroscience, vol. 21, no. 10. Society for Neuroscience, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications