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.

147 Publications


2005 | Journal Article | IST-REx-ID: 217
The density of rational points on a certain singular cubic surface
T.D. Browning, Journal of Number Theory 119 (2005) 242–283.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2307
Substrate binding stoichiometry and kinetics of the norepinephrine transporter
J. Schwartz, G. Novarino, D. Piston, L. Defelice, Journal of Biological Chemistry 280 (2005) 19177–19184.
View | DOI
 

2005 | Book | IST-REx-ID: 2335 | OA
The Mathematics of the Bose gas and its Condensation
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The Mathematics of the Bose Gas and Its Condensation, Birkhäuser Verlag, Basel ; Berlin, 2005.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 2336 | OA
The quantum-mechanical many-body problem: The Bose gas
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, M. Benedicks, P. Jones, S. Smirnov, B. Winckler (Eds.), Perspectives in Analysis, Springer, 2005, pp. 97–183.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2359 | OA
Justification of c-number substitutions in bosonic hamiltonians
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 94 (2005).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2362 | OA
Ground state energy of the low density Fermi gas
É. Lieb, R. Seiringer, J. Solovej, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2361 | OA
Stronger subadditivity of entropy
É. Lieb, R. Seiringer, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 2428
Online conflict-free coloring for intervals
A. Fiat, M. Levy, J. Matoušek, E. Pach, M. Sharir, S. Smorodinsky, U. Wagner, E. Welzl, in:, SIAM, 2005, pp. 545–554.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2427
The Clique problem in intersection graphs of ellipses and triangles
C. Ambühl, U. Wagner, Theory of Computing Systems 38 (2005) 279–292.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2455
The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots
I. Billou, J. Xu, M. Wildwater, V. Willemsen, I. Paponov, J. Friml, R. Heldstra, M. Aida, K. Palme, B. Scheres, Nature 433 (2005) 39–44.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Auxin as an intercellular signal
J. Friml, J. Wiśniewska, in:, A. Fleming (Ed.), Intercellular Communication in Plants, Wiley-Blackwell, 2005.
View
 

2005 | Book Chapter | IST-REx-ID: 2463
Reproduction, plants
J. Dubová, J. Hejátko, J. Friml, in:, R. Meyers (Ed.), Encyclopedia of Molecular Cell Biology and Molecular Medicine, Wiley-Blackwell, 2005, pp. 249–295.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2648
Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum
R. Luján, J. Albasanz, R. Shigemoto, J. Juíz, European Journal of Neuroscience 21 (2005) 2073–2082.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2650
GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons
G. Nyíri, E. Szabadits, C. Cserép, K. Mackie, R. Shigemoto, T. Freund, European Journal of Neuroscience 21 (2005) 3034–3042.
View | DOI
 

2005 | Book Review | IST-REx-ID: 2647
Glutamate and GABA receptor signalling in the developing brain
R. Luján, R. Shigemoto, G. López Bendito, Neuroscience 130 (2005) 567–580.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2651
Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis
K. Kanbara, K. Okamoto, S. Nomura, T. Kaneko, R. Shigemoto, H. Azuma, Y. Katsuoka, M. Watanabe, Journal of Andrology 26 (2005) 485–493.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2649
Number and density of AMPA receptors in single synapses in immature cerebellum
J. Tanaka, M. Matsuzaki, E. Tarusawa, A. Momiyama, E. Molnár, H. Kasai, R. Shigemoto, Journal of Neuroscience 25 (2005) 799–807.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2654
Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus
F. Ferraguti, T. Klausberger, P. Cobden, A. Baude, J. Roberts, P. Szűcs, A. Kinoshita, R. Shigemoto, P. Somogyi, Y. Dalezios, Journal of Neuroscience 25 (2005) 10520–10536.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2658
Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys
K. Kaneda, Y. Tachibana, M. Imanishi, H. Kita, R. Shigemoto, A. Nambu, M. Takada, European Journal of Neuroscience 22 (2005) 3241–3254.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2652
Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area
C. Price, B. Cauli, E. Kovács, Á. Kulik, B. Lambolez, R. Shigemoto, M. Capogna, Journal of Neuroscience 25 (2005) 6775–6786.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2655
Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice
Y. Wu, R. Kawakami, Y. Shinohara, M. Fukaya, K. Sakimura, M. Mishina, M. Watanabe, I. Ito, R. Shigemoto, Journal of Neuroscience 25 (2005) 9213–9226.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2653
Differential distribution of release-related proteins in the hippocampal CA3 area as revealed by freeze-fracture replica labeling
A. Hagiwara, Y. Fukazawa, M. Deguchi Tawarada, T. Ohtsuka, R. Shigemoto, Journal of Comparative Neurology 489 (2005) 195–216.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2656 View | DOI
 

2005 | Journal Article | IST-REx-ID: 2744
The linear Boltzmann equation as the low density limit of a random Schrödinger equation
D. Eng, L. Erdös, Reviews in Mathematical Physics 17 (2005) 669–743.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2743
Existence of the D0-D4 bound state: A detailed proof
L. Erdös, D. Hasler, J. Solovej, Annales Henri Poincare 6 (2005) 247–267.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2788
Turbulence regeneration in pipe flow at moderate reynolds numbers
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Physical Review Letters 95 (2005).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2790
Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection
B. Hof, A. Juel, T. Mullin, Journal of Fluid Mechanics 545 (2005) 193–201.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2789
Transition to turbulence in pipe flow
B. Hof, Fluid Mechanics and Its Applications 77 (2005) 221–231.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2867 | OA
Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators
D. Weijers, E. Benková, K. Jäger, A. Schlereth, T. Hamann, M. Kientz, J. Wilmoth, J. Reed, G. Jürgens, EMBO Journal 24 (2005) 1874–1885.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Immunological self tolerance: Lessons from mathematical modeling
J. Carneiro, T. Paixao, D. Milutinovic, J. Sousa, K. Leon, R. Gardner, J. Faro, Journal of Computational and Applied Mathematics 184 (2005) 77–100.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis
D. Weijers, M. Sauer, O. Meurette, J. Friml, K. Ljung, G. Sandberg, P. Hooykaas, R. Offringa, Plant Cell 17 (2005) 2517–2526.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Auxin inhibits endocytosis and promotes its own efflux from cells
T. Paciorek, E. Zažímalová, N. Ruthardt, J. Petrášek, Y. Stierhof, J. Kleine Vehn, D. Morris, N. Emans, G. Jürgens, N. Geldner, J. Friml, Nature 435 (2005) 1251–1256.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression
A. Vieten, S. Vanneste, J. Wiśniewska, E. Benková, R. Benjamins, T. Beeckman, C. Luschnig, J. Friml, Development 132 (2005) 4521–4531.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
On the generic insecurity of the full domain hash
Y. Dodis, R. Oliveira, K.Z. Pietrzak, in:, Springer, 2005, pp. 449–466.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Composition does not imply adaptive security
K.Z. Pietrzak, in:, Springer, 2005, pp. 55–65.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3211
Improved security analyses for CBC MACs
M. Bellare, K.Z. Pietrzak, P. Rogaway, in:, Springer, 2005, pp. 527–545.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Robust formation of morphogen gradients
M.T. Bollenbach, K. Kruse, P. Pantazis, M. González Gaitán, F. Jülicher, Physical Review Letters 94 (2005).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Journal Article | IST-REx-ID: 3443
Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations
T. Klausberger, L. Marton, J. O’Neill, J. Huck, Y. Dalezios, P. Fuentealba, W. Suen, E. Papp, T. Kaneko, M. Watanabe, J.L. Csicsvari, P. Somogyi, Journal of Neuroscience 25 (2005) 9782–9793.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3557
Surface tiling with differential topology
H. Edelsbrunner, in:, ACM, 2005, pp. 9–11.
View | DOI | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3589
Cleavage and gastrulation in zebrafish embryos
M. Köppen, C.-P.J. Heisenberg, in:, Encyclopedia of Life Sciences, Wiley-Blackwell, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3588
Cell migration during zebrafish gastrulation
I. Castanon Ortega, C.-P.J. Heisenberg, in:, D. Wedlich (Ed.), Cell Migration in Development and Disease, Wiley-VCH, 2005, pp. 71–105.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
A stern view of gastrulation
I. Castanon Ortega, C.-P.J. Heisenberg, Nature Cell Biology 7 (2005) 19–19.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3689
Document image dewarping using robust estimation of curled text lines
A. Ulges, C. Lampert, T. Breuel, in:, IEEE, 2005, pp. 1001–1005.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3684
Oblivious document capture and real-time retrieval
C. Lampert, T. Braun, A. Ulges, D. Keysers, T. Breuel, in:, CBDAR, 2005, pp. 79–86.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3720
P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.
J. Guzmán, Z. Gerevich, J. Hengstler, P. Illes, W. Kleemann, Synapse 57 (2005) 235–238.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3753
Real-time RNA profiling within a single bacterium
T. Le, S. Harlepp, C.C. Guet, K. Dittmar, T. Emonet, T. Pan, P. Cluzel, PNAS 102 (2005) 9160–9164.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Controllable motion synthesis in a gaseous medium
L. Shi, Y. Yu, C. Wojtan, S. Chenney, The Visual Computer 21 (2005) 474–487.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812 View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Complexity of compositional model checking of computation tree logic on simple structures
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Springer, 2005, pp. 89–102.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Two-player nonzero-sum ω-regular games
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–427.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Sexual cooperation: mating increases longevity in ant queens
A. Schrempf, J. Heinze, S. Cremer, Current Biology 15 (2005) 267–270.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3915
Primary sex ratio adjustment by ant queens in response to local mate competition
L. De Menten, S. Cremer, J. Heinze, S. Aron, Animal Behaviour 69 (2005) 1031–1035.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Mechanisms of Development 122 (2005) S112–S113.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4367
Boolean Heaps
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
A developmental switch in the response of DRG neurons to ETS transcription factor signaling
S. Hippenmeyer, E. Vrieseling, M. Sigrist, T. Portmann, C. Laengle, D. Ladle, S. Arber, PLoS Biology 3 (2005) 0878–0890.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Conformational changes in the Arp2 3 complex leading to actin nucleation
A. Rodal, O. Sokolova, D. Robins, K. Daugherty, S. Hippenmeyer, H. Riezman, N. Grigorieff, B. Goode, Nature Structural and Molecular Biology 12 (2005) 26–31.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Digital tapestry
C. Rother, S. Kumar, V. Kolmogorov, A. Blake, in:, IEEE, 2005, pp. 589–596.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 1186–1186.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 407–414.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182 View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
On the optimality of tree reweighted max product message passing
V. Kolmogorov, M. Wainwright, in:, AUAI Press, 2005, pp. 316–323.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Automated alignment and pattern recognition of single-molecule force spectroscopy data
M. Kuhn, H.L. Janovjak, M. Hubain, D. Mueller, Journal of Microscopy 218 (2005) 125–132.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Complex stability of single proteins explored by forced unfolding experiments
H.L. Janovjak, T. Sapra, D. Mueller, Biophysical Journal 88 (2005) 37–39.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3418
Hydrodynamic effects in fast AFM single molecule force measurements
H.L. Janovjak, J. Struckmeier, D. Mueller, European Biophysics Journal 34 (2005) 91–96.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
Posterior mapping and posterior predictive distributions
J.P. Bollback, in:, R. Nielsen (Ed.), Statistical Methods in Molecular Evolution, Springer, 2005, pp. 439–462.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 3558
Extraction and simplification of iso-surfaces in tandem
D. Attali, D. Cohen Steiner, H. Edelsbrunner, in:, ACM, 2005, pp. 139–148.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
The geometry of biomolecular solvation
H. Edelsbrunner, P. Koehl, in:, Combinatorial and Computational Geometry, Cambridge University Press, 2005, pp. 243–275.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3612
Speciation and gene flow between snails of opposing chirality
A. Davison, S. Chiba, N.H. Barton, B. Clarke, PLoS Biology 3 (2005).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3691
Boundary regularity of admissible operators
C. Lampert, Publicacions Matemàtiques 49 (2005) 179–195.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins
H.L. Janovjak, D. Mueller, A. Humphris, Biophysical Journal 88 (2005) 1423–1431.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Information-based clustering
N. Slonim, G. Atwal, G. Tkačik, W. Bialek, PNAS 102 (2005) 18297–18302.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Estimating mutual information and multi-information in large networks
N. Slonim, G. Atwal, G. Tkačik, W. Bialek, ArXiv (2005) 1–11.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3808 View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Springer, 2005, pp. 141–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
The drawback of mobility: invasive species in a globalised world
S. Cremer, J. Boomsma, in:, Elsevier, 2005.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3933
The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node
M.K. Sixt, N. Kanazawa, M. Selg, T. Samson, G. Roos, D. Reinhardt, R. Pabst, M. Lutz, L. Sorokin, Immunity 22 (2005) 19–29.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate
J. Sohn, J. Parks, G. Buhrman, P. Brown, K. Kristjánsdóttir, A. Safi, H. Edelsbrunner, W. Yang, J. Rudolph, Biochemistry 44 (2005) 16563–16573.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Coarse and reliable geometric alignment for protein docking
Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, J. Rudolph, in:, World Scientific Publishing, 2005, pp. 64–75.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
The limitations of adaptive dynamics as a model of evolution
N.H. Barton, J. Polechova, Journal of Evolutionary Biology 18 (2005) 1186–1190.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Shield formation at the onset of zebrafish gastrulation
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J. Heisenberg, Development 132 (2005) 1187–1198.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Speciation through competition: A critical review
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Evolution of recombination due to random drift
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Theoretical models of selection and mutationon quantitative traits
T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 360 (2005) 1411–1425.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4404
Synthesis of interface specifications for Java classes
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Trading end-to-end latency for composability
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Quantifying similarities between timed systems
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications