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.

6065 Publications


2004 | Conference Paper | IST-REx-ID: 4577
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Book Review | IST-REx-ID: 2636
A. Momiyama and R. Shigemoto, “Function and distribution of glutamate receptors in the central synapses,” Tanpakushitsu kakusan koso Protein nucleic acid enzyme, vol. 49, no. 3 Suppl. Kyoritsu Shuppan, pp. 287–294, 2004.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Á. Kulik et al., “Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum,” European Journal of Neuroscience, vol. 19, no. 8, pp. 2169–2178, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
J. Somogyi et al., “GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat,” European Journal of Neuroscience, vol. 19, no. 3, pp. 552–569, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
T. Notomi and R. Shigemoto, “Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain,” Journal of Comparative Neurology, vol. 471, no. 3, pp. 241–276, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
Y. Kang, T. Notomi, M. Saito, W. Zhang, and R. Shigemoto, “Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons,” Journal of Neuroscience, vol. 24, no. 14, pp. 3694–3702, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
F. Ferraguti et al., “Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus,” Hippocampus, vol. 14, no. 2, pp. 193–215, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
R. Luján, R. Shigemoto, Á. Kulik, and J. Juíz, “Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat,” Journal of Comparative Neurology, vol. 475, no. 1, pp. 36–46, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, and P. Somogyi, “Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat,” European Journal of Neuroscience, vol. 19, no. 10, pp. 2727–2740, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2645
S. Chan, R. Shigemoto, J. Mercer, and J. Surmeier, “HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons,” Journal of Neuroscience, vol. 24, no. 44, pp. 9921–9932, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2646
G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, and R. Luján, “ Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development,” Hippocampus, vol. 14, no. 7, pp. 836–848, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2706
L. Erdös and J. Solovej, “Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength,” Journal of Statistical Physics, vol. 116, no. 1–4, pp. 475–506, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2707
L. Erdös, M. Salmhofer, and H. Yau, “On the quantum Boltzmann equation,” Journal of Statistical Physics, vol. 116, no. 1–4, pp. 367–380, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2741
L. Erdös and J. Solovej, “Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field,” Annales Henri Poincare, vol. 5, no. 4, pp. 671–741, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2742
A. Elgart, L. Erdös, B. Schlein, and H. Yau, “Nonlinear Hartree equation as the mean field limit of weakly coupled fermions,” Journal de Mathématiques Pures et Appliquées, vol. 83, no. 10, pp. 1241–1273, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2786
B. Hof et al., “Experimental observation of nonlinear traveling waves in turbulent pipe flow,” Science, vol. 305, no. 5690, pp. 1594–1598, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2787
B. Hof, A. Juel, L. Zhao, D. Henry, H. Ben Hadid, and T. Mullin, “On the onset of oscillatory convection in molten gallium,” Journal of Fluid Mechanics, vol. 515, pp. 391–413, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
J. Friml et al., “A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux,” Science, vol. 306, no. 5697, pp. 862–865, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
M. Duroux, A. Houben, K. Růžička, J. Friml, and K. Grasser, “The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome,” Plant Journal, vol. 40, no. 5, pp. 660–671, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
M. Sauer and J. Friml, “In vitro culture of Arabidopsis embryos within their ovules,” Plant Journal, vol. 40, no. 5, pp. 835–843, 2004.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
S. Hippenmeyer, I. Kramer, and S. Arber, “Control of neuronal phenotype: What targets tell the cell bodies,” Trends in Neurosciences, vol. 27, no. 8. Elsevier, pp. 482–488, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1963
A. Mamedova, P. Holt, J. Carroll, and L. A. Sazanov, “Substrate-induced conformational change in bacterial complex I,” Journal of Biological Chemistry, vol. 279, no. 22, pp. 23830–23836, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
A. Panchenko, F. Kondrashov, and S. Bryant, “Prediction of functional sites by analysis of sequence and structure conservation,” Protein Science, vol. 13, no. 4, pp. 884–892, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “Bioinformatical assay of human gene morbidity,” Nucleic Acids Research, vol. 32, no. 5, pp. 1731–1737, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
F. Kondrashov and E. Koonin, “A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications,” Trends in Genetics, vol. 20, no. 7, pp. 287–291, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs,” Nature Genetics, vol. 36, no. 11, pp. 1207–1212, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, and A. Kondrashov, “Positive selection at sites of multiple amino acid replacements since rat-mouse divergence,” Nature, vol. 429, no. 6991, pp. 558–562, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
C. Castillo Davis, F. Kondrashov, D. Hartl, and R. Kulathinal, “The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint,” Genome Research, vol. 14, no. 5, pp. 802–811, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
T. Hausel, E. Hunsicker, and R. Mazzeo, “Hodge cohomology of gravitational instantons,” Duke Mathematical Journal, vol. 122, no. 3, pp. 485–548, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
T. Hausel and M. Thaddeus, “Generators for the cohomology ring of the moduli space of rank 2 higgs bundles,” Proceedings of the London Mathematical Society, vol. 88, no. 3, pp. 632–658, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3172
V. Kolmogorov et al., “Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method,” Magnetic Resonance in Medicine, vol. 52, no. 2, pp. 362–367, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
V. Kolmogorov and R. Zabih, “What energy functions can be minimized via graph cuts? ,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 2, pp. 147–159, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
R. Zabih and V. Kolmogorov, “Spatially coherent clustering using graph cuts,” presented at the CVPR: Computer Vision and Pattern Recognition, 2004, vol. 2, pp. 437–444.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Y. Boykov and V. Kolmogorov, “An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 9, pp. 1124–1137, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
C. Rother, V. Kolmogorov, and A. Blake, “"GrabCut" - Interactive foreground extraction using iterated graph cuts ,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2004, vol. 23, no. 3, pp. 309–314.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3208
U. Maurer and K. Z. Pietrzak, “Composition of random systems: When two weak make one strong,” presented at the TCC: Theory of Cryptography Conference, 2004, vol. 2951, pp. 410–427.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
H. L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, and D. Mueller, “Probing the energy landscape of the membrane protein bacteriorhodopsin,” Structure, vol. 12, no. 5, pp. 871–879, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
A. Kedrov, C. Ziegler, H. L. Janovjak, W. Kühlbrandt, and D. Mueller, “Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy,” Journal of Molecular Biology, vol. 340, no. 5, pp. 1143–1152, 2004.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
H. Edelsbrunner, “Biological applications of computational topology,” in Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
View | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 3575
H. Edelsbrunner and J. Harer, “Jacobi sets of multiple Morse functions,” in Foundations of Computational Mathematics, vol. 312, Springer, 2004, pp. 37–57.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3595
B. Charlesworth and N. H. Barton, “Genome size: Does bigger mean worse?,” Current Biology, vol. 14, no. 6. Cell Press, pp. R233–R235, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
N. H. Barton and M. Turelli, “Effects of allele frequency changes on variance components under a general model of epistasis,” Evolution; International Journal of Organic Evolution, vol. 58, no. 10, pp. 2111–2132, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
M. Turelli and N. H. Barton, “Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions,” Genetics, vol. 166, no. 2, pp. 1053–1079, 2004.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
N. H. Barton, “Speciation: Why, how, where and when?,” Current Biology, vol. 14, no. 15. Cell Press, pp. R603–R604, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3617
N. H. Barton and A. Etheridge, “The effect of selection on genealogies,” Genetics, vol. 166, no. 2, pp. 1115–1131, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
A. Ulges, C. Lampert, and T. Breuel, “Document capture using stereo vision,” presented at the DocEng: ACM Symposium on Document Engineering, 2004, pp. 198–200.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3805
P. M. Jonas, J. Bischofberger, D. Fricker, and R. Miles, “Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons,” Trends in Neurosciences, vol. 27, no. 1, pp. 30–40, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
B. Kampa, J. Clements, P. M. Jonas, and G. Stuart, “Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity,” Journal of Physiology, vol. 556, no. Pt 2, pp. 337–45, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3809
C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus,” Nature, vol. 429, no. 6988, pp. 184–7, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P. M. Jonas, and B. Fakler, “Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids,” Science, vol. 304, no. 5668, pp. 265–70, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3894
K. Chatterjee, R. Majumdar, and M. Jurdziński, “On Nash equilibria in stochastic games,” presented at the CSL: Computer Science Logic, 2004, vol. 3210, pp. 26–40.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” presented at the LICS: Logic in Computer Science, 2004, pp. 160–169.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
F. Ulrich and C.-P. J. Heisenberg, “Gastrulation in zebrafish,” in Fish development and genetics : the zebrafish and medaka models, vol. 2, V. Korzh and Z. Gong, Eds. World Scientific Publishing, 2004, pp. 39–86.
View
 

2004 | Journal Article | IST-REx-ID: 4172
J. Montero and C.-P. J. Heisenberg, “Gastrulation dynamics: cells move into focus,” Trends in Cell Biology, vol. 14, no. 11, pp. 620–627, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology, vol. 227, no. 3, pp. 335–348, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
K. Kruse, P. Pantazis, M. T. Bollenbach, F. Julicher, and M. Gonzalez Gaitan, “Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model,” Development, vol. 131, no. 19, pp. 4843–4856, 2004.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4236
H. de Vladar, Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC, 2004.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
R. Jhala, Program verification by lazy abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
 

2004 | Journal Article | IST-REx-ID: 8517
D. Dolgopyat, V. Kaloshin, and L. Koralov, “A limit shape theorem for periodic stochastic dispersion,” Communications on Pure and Applied Mathematics, vol. 57, no. 9, pp. 1127–1158, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
L. Koralov, V. Kaloshin, and D. Dolgopyat, “Sample path properties of the stochastic flows,” The Annals of Probability, vol. 32, no. 1A, pp. 1–27, 2004.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 205
T. D. Browning, “Counting rational points on cubic and quartic surfaces,” Acta Arithmetica, vol. 108, no. 3, pp. 275–295, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
T. D. Browning, “A note on the distribution of rational points on threefolds,” Quarterly Journal of Mathematics, vol. 54, no. 1, pp. 33–39, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
T. D. Browning, “Sums of four biquadrates,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 134, no. 3, pp. 385–395, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
T. D. Browning, “Counting rational points on diagonal quadratic surfaces,” Quarterly Journal of Mathematics, vol. 54, no. 1, pp. 11–31, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
É. Lieb and R. Seiringer, “Bose-Einstein condensation of dilute gases in traps ,” presented at the Differential Equations and Mathematical Physics, 2003, vol. 327, pp. 239–250.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
R. Seiringer, “Ground state asymptotics of a dilute, rotating gas,” Journal of Physics A: Mathematical and Theoretical, vol. 36, no. 37, pp. 9755–9778, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Poincaré inequalities in punctured domains,” Annals of Mathematics, vol. 158, no. 3, pp. 1067–1080, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional Bosons in three-dimensional traps,” Physical Review Letters, vol. 91, no. 15, pp. 1504011–1504014, 2003.
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
U. Wagner, On k-Sets and Their Applications. ETH Zurich, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
U. Wagner, “On the rectilinear crossing number of complete graphs,” presented at the SODA: Symposium on Discrete Algorithms, 2003, pp. 583–588.
View | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 2423
J. Matoušek and U. Wagner, “New constructions of weak epsilon-nets,” presented at the SoCG: Symposium on Computational Geometry, 2003, pp. 129–135.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2424
J. Giesen and U. Wagner, “Shape dimension and intrinsic metric from samples of manifolds with high co-dimension,” presented at the SoCG: Symposium on Computational Geometry, 2003, pp. 329–337.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
S. Cremer and J. Heinze, “Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen,” Blick in die Wissenschaft, vol. 12, no. 15, pp. 32–36, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 3921
C. Anderson, S. Cremer, and J. Heinze, “Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals,” Behavioral Ecology, vol. 14, no. 1, pp. 54–62, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
S. Cremer and J. Heinze, “Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants,” Current Biology, vol. 13, no. 3, pp. 219–223, 2003.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3991
H. Cheng and H. Edelsbrunner, “Area and perimeter derivatives of a union of disks,” in Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3992
H. Edelsbrunner and P. Koehl, “The weighted-volume derivative of a space-filling diagram,” PNAS, vol. 100, no. 5, pp. 2203–2208, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
H. Edelsbrunner, J. Harer, and A. Zomorodian, “Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds,” Discrete & Computational Geometry, vol. 30, no. 1, pp. 87–107, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
H. Cheng and H. Edelsbrunner, “Area, perimeter and derivatives of a skin curve,” Computational Geometry: Theory and Applications, vol. 26, no. 2, pp. 173–192, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A multi-resolution data structure for two-dimensional Morse-Smale functions,” presented at the VIS: IEEE Visualization, 2003, pp. 139–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
H. Edelsbrunner and A. Üngör, “Relaxed scheduling in dynamic skin triangulation,” presented at the JCDCG: Japanese Conference on Discrete and Computational Geometry, 2003, vol. 2866, pp. 135–151.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4254
A. Navarro and N. H. Barton, “Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation,” Evolution; International Journal of Organic Evolution, vol. 57, no. 3, pp. 447–459, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
A. Navarro and N. H. Barton, “Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes,” Science, vol. 300, no. 5617, pp. 321–324, 2003.
View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
N. H. Barton and W. Zuidema, “The erratic path towards complexity,” Current Biology, vol. 13, no. 16. Cell Press, pp. R649–R651, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
B. Charlesworth, D. Charlesworth, and N. H. Barton, “The effects of genetic and geographic structure on neutral variation,” Annual Review of Ecology and Systematics, vol. 34, pp. 99–125, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
T. Vines et al., “On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata,” Evolution; International Journal of Organic Evolution, vol. 57, no. 8, pp. 1876–1888, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
J. Huelsenbeck, R. Nielsen, and J. P. Bollback, “Stochastic mapping of morphological characters,” Systematic Biology, vol. 52, no. 2, pp. 131–58, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
J. Harshman, C. Huddleston, J. P. Bollback, T. Parsons, and M. Braun, “True and false gharials: A nuclear gene phylogeny of crocodylia,” Systematic Biology, vol. 52, no. 3, pp. 386–402, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4460
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3, pp. 303–327, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” presented at the ICALP: Automata, Languages and Programming, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” presented at the CAV: Computer Aided Verification, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 241–256.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2003, vol. 2619, pp. 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” presented at the SPIN: Model Checking Software, 2003, vol. 2648, pp. 235–239.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1, pp. 50–64, 2003.
View | DOI
 

Search

Filter Publications