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.

131 Publications


2005 | Journal Article | IST-REx-ID: 1298
In vivo performance of genetically encoded indicators of neural activity in flies
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Periodic pillar structures by Si etching of multilayer GeSi/Si islands
Z. Zhong, G. Katsaros, M. Stoffel, G. Costantini, K. Kern, O. Schmidt, N. Jin Phillipp, G. Bauer, Applied Physics Letters 87 (2005) 1–3.
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: 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 | 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, 2005.
View | 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: 2361   OA
Stronger subadditivity of entropy
É. Lieb, R. Seiringer, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View | DOI | Download (ext.)
 

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

2005 | Patent | IST-REx-ID: 3509 View | DOI | 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: 3720
P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.
S. Guzman, Z. Gerevich, J. Hengstler, P. Illes, W. Kleemann, Synapse 57 (2005) 235–238.
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 | 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 | Conference Paper | IST-REx-ID: 4367
Boolean Heaps
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
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 | 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: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 1744
Non linear transmission effects in duobinary and dicode optical systems
G. Katsaros, I. Darwazeh, P. Lane, IEE Proceedings - Optoelectronics 152 (2005) 344–352.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 214   OA
Plane curves in boxes and equal sums of two powers
T.D. Browning, R. Heath Brown, Mathematische Zeitschrift 251 (2005) 233–247.
View | DOI | Download (ext.)
 

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: 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 | 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: 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 | 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: 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: 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 | 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: 3182 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: 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: 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: 3808 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 | 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 | 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: 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
 

2005 | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View | DOI
 
 

2005 | Journal Article | IST-REx-ID: 1447   OA
Quaternionic geometry of matroids
T. Hausel, Open Mathematics 3 (2005) 26–38.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
View | DOI
 

2005 | Book | IST-REx-ID: 210
Analytic methods for diophantine equations and diophantine inequalities
H. Davenport, T.D. Browning, Analytic Methods for Diophantine Equations and Diophantine Inequalities, Cambridge University Press, 2005.
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: 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 | 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 | 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: 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 | 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 | 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: 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 | Journal Article | IST-REx-ID: 3741   OA
Information-based clustering
N. Slonim, G. Atwal, G. Tkacik, 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. Tkacik, W. Bialek, ArXiv (2005) 1–11.
View | Download (ext.)
 

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 | 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 | 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. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones
W. Norton, M. Mangoli, Z. Lele, H. Pogoda, B. Diamond, S. Mercurio, C. Russell, H. Teraoka, H. Stickney, G. Rauch, C. Heisenberg, C. Houart, T. Schilling, H. Frohnhoefer, S. Rastegar, C. Neumann, R.M. Gardiner, U. Strähle, R. Geisler, M. Rees, W. Talbot, S. Wilson, Development 132 (2005) 645–658.
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: 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 | Conference Paper | IST-REx-ID: 4554
Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 878
In search of the limits of evolution
F. Kondrashov, Nature Genetics 37 (2005) 9–10.
View | DOI
 
 

2005 | Journal Article | IST-REx-ID: 1741
Lateral motion of SiGe islands driven by surface-mediated alloying
U. Denker, A. Rastelli, M. Stoffel, J. Tersoff, G. Katsaros, G. Costantini, K. Kern, N. Jin Phillipp, D. Jesson, O. Schmidt, Physical Review Letters 94 (2005).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1962
Biochemistry: Organization of iron-sulfur clusters in respiratory complex I
P. Hinchliffe, L.A. Sazanov, Science 309 (2005) 771–774.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 211
Equal sums of like polynomials
T.D. Browning, Bulletin of the London Mathematical Society 37 (2005) 801–808.
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 | 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: 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 | 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: 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: 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 | 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: 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 | 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 | 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 | 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: 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 | Book Chapter | IST-REx-ID: 3588
Cell migration during zebrafish gastrulation
I. Castanon Ortega, C. 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. 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 | Journal Article | IST-REx-ID: 3691
Boundary regularity of admissible operators
C. Lampert, Publicacions Matemàtiques 49 (2005) 179–195.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812 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 | 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: 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 | 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. Heisenberg, Developmental Cell 9 (2005) 555–564.
View | DOI
 

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 | 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 | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications

Display / Sort

Export / Embed