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


2006 | Journal Article | IST-REx-ID: 3522
O’Neill J, Senior T, Csicsvari JL. Place-selective firing of CA1 pyramidal cells during sharp wave/ripple network patterns in exploratory behavior. Neuron. 2006;49(1):143-155. doi:10.1016/j.neuron.2005.10.037
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3545
Magill P, Pogosyan A, Sharott A, Csicsvari JL, Bolam J, Brown P. Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo. Journal of Neuroscience. 2006;26(23):6318-6329. doi:10.1523/​JNEUROSCI.0620-06.2006
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3559
Cohen Steiner D, Edelsbrunner H, Morozov D. Vines and vineyards by updating persistence in linear time. In: ACM; 2006:119-126. doi:10.1145/1137856.1137877
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3560
Edelsbrunner H, Morozov D, Pascucci V. Persistence-sensitive simplification of functions on 2-manifolds. In: ACM; 2006:127-134. doi:10.1145/1137856.1137878
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3594
Pemberton J, Swanson G, Barton NH, Livingstone S, Senn H. Hybridisation between red and sika deer in Scotland. Deer. 2006;13(9):22-26.
View
 

2006 | Journal Article | IST-REx-ID: 3607
Turelli M, Barton NH. Will population bottlenecks and multilocus epistasis increase additive genetic variance? Evolution; International Journal of Organic Evolution. 2006;60(9):1763-1776. doi:10.1111/j.0014-3820.2006.tb00521.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3608
Kirkpatrick M, Barton NH. Chromosome inversions, local adaptation, and speciation. Genetics. 2006;173(1):419-434. doi:10.1534/genetics.105.047985
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3609
Yanchukov A, Hofman S, Szymura J, et al. Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time. Evolution; International Journal of Organic Evolution. 2006;60(3):583-600. doi:10.1111/j.0014-3820.2006.tb01139.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3610
Hill W, Barton NH, Turelli M. Prediction of effects of genetic drift on variance components under a general model of epistasis. Theoretical Population Biology. 2006;70(1):56-62. doi:10.1016/j.tpb.2005.10.001
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3677
Ulges A, Lampert C, Keysers D. Spatiogram-based shot distances for video retrieval. In: NIST (National Institute of Standards and Technology, US Department of Commerce); 2006:1-10.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3679
Ali H, Lampert C, Breuel T. Satellite tracks removal in astronomical images. In: Vol 4225. Springer; 2006:892-901. doi:10.1007/11892755_92
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3680
Lampert C, Mei L, Breuel T. Printing technique classification for document counterfeit detection. In: Vol 1. IEEE; 2006:639-634. doi:10.1109/ICCIAS.2006.294214
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3683
Lampert C, Breuel T. Objective quality measurement for geometric document image restoration. In: Springer; 2006.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3685
Lampert C. Machine learning for video compression: Macroblock mode decision. In: IEEE; 2006:936-940. doi:10.1109/ICPR.2006.778
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3692
Keysers D, Lampert C, Breuel T. Color image dequantization by constrained diffusion. In: Vol 6058. SPIE; 2006. doi:10.1117/12.648713
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3693
Lampert C, Wirjadi O. Anisotropic Gaussian filtering using fixed point arithmetic. In: IEEE; 2006:1565-1568. doi:10.1109/ICIP.2006.312606
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3695 | OA
Lampert C, Wirjadi O. An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter. IEEE Transactions on Image Processing (TIP). 2006;15(11):3501-3513. doi: 10.1109/TIP.2006.877501
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 3722
Janovjak HL, Mueller D. Rastersondenmikroskopie. In: Bioanalytik. Spektrum Akademischer Verlag; 2006.
View
 

2006 | Journal Article | IST-REx-ID: 3728
Cieplak M, Filipek S, Janovjak HL, Krzysko K. Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment. Biochimica et Biophysica Acta (BBA) - Biomembranes. 2006;1758(4):537-544. doi:10.1016/j.bbamem.2006.03.028
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3729
Bippes C, Humphris A, Stark M, Mueller D, Janovjak HL. Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments. European Biophysics Journal. 2006;35(3):287-292. doi:10.1007/s00249-005-0023-9
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3750
Le T, Guet CC, Cluzel P. Protein expression enhancement in efflux-deleted mutant bacteria. Protein Expression and Purification. 2006;48(1):28-31.
View
 

2006 | Journal Article | IST-REx-ID: 3755 | OA
Le T, Emonet T, Harlepp S, Guet CC, Cluzel P. Dynamical determinants of drug-inducible gene expression in a single bacterium. Biophysical Journal. 2006;90(9):3315-3321. doi:10.1529/biophysj.105.073353
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3767
Kupczok A, Dittrich P. Determinants of simulated RNA evolution. Journal of Theoretical Biology. 2006;238(3):726-735. doi:10.1016/j.jtbi.2005.06.019
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3811
Vida I, Bartos M, Jonas PM. Shunting inhibition improves robustness of gamma oscillations in hippocampal interneuron networks by homogenizing firing rates. Neuron. 2006;49(1):107-117. doi:10.1016/j.neuron.2005.11.036
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3813 | OA
Aponte Y, Lien C, Reisinger E, Jonas PM. Hyperpolarization-activated cation channels in fast-spiking interneurons of rat hippocampus. Journal of Physiology. 2006;574(Pt 1):229-243. doi:10.1113/jphysiol.2005.104042
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3814
Frotscher M, Jonas PM, Sloviter R. Synapses formed by normal and abnormal hippocampal mossy fibers (Review). Cell and Tissue Research. 2006;326(2):361-367. doi:10.1007/s00441-006-0269-2
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger J, Engel D, Frotscher M, Jonas PM. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. Pflugers Archiv : European Journal of Physiology. 2006;453(3):361-372. doi:10.1007/s00424-006-0093-2
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3817
Frotscher M, Gundelfinger E, Jonas PM, Neher E, Seeburg P. The most important recent advances in synapse research from my point of view--and what remains to be done. Cell and Tissue Research. 2006;326(2):203-204. doi:10.1007/s00441-006-0325-y
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3818
Bischofberger J, Engel D, Li L, Geiger J, Jonas PM. Patch-clamp recording from mossy fiber terminals in hippocampal slices. Nature Protocols. 2006;1(4):2075-2081. doi:10.1038/nprot.2006.312
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee K, Henzinger TA. Strategy improvement for stochastic Rabin and Streett games. In: Vol 4137. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2006:375-389. doi:10.1007/11817949_25
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. In: Vol 4207. Springer; 2006:287-302. doi:10.1007/11874683_19
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of quantitative concurrent parity games. In: SIAM; 2006:678-687. doi:10.1145/1109557.1109631
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee K. Concurrent games with tail objectives. In: Vol 4207. Springer; 2006:256-270. doi:10.1007/11874683_17
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4140
Witzel S, Zimyanin V, Carreira Barbosa F, Tada M, Heisenberg C-PJ. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 2006;175(5):791-802. doi:10.1083/jcb.200606017
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1033 | OA
Kraemer T, Mark M, Waldburger P, et al. Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. 2006;440(7082):315-318. doi:10.1038/nature04626
View | DOI | Download None (ext.)
 

2006 | Conference Paper | IST-REx-ID: 1034 | OA
Nägerl H, Kraemer T, Mark M, et al. Experimental evidence for Efimov quantum states. In: Vol 869. AIP; 2006:269-277. doi:10.1063/1.2400657
View | DOI | Download None (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3758
Wojtan CJ, Mucha P, Turk G. Keyframe control of complex particle systems using the adjoint method. In: ACM; 2006:15-23.
View | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 4145
Tonelli D, Calegari F, Fei J, et al. Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. 2006;41(6):727-732. doi:10.2144/000112296
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4176
Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C-PJ. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 2006;119(10):2073-2083. doi:10.1242/jcs.02928
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173 | OA
Link V, Shevchenko A, Heisenberg C-PJ. Proteomics of early zebrafish embryos. BMC Developmental Biology. 2006;6:1-9. doi:10.1186/1471-213X-6-1
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 2006;235(4):928-933. doi:10.1002/dvdy.20692
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 2006;133(14):2671-2681. doi:doi: 10.1242/dev.02439
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4218
Blaser H, Reichman Fried M, Castanon I, et al. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 2006;11(5):613-627. doi:10.1016/j.devcel.2006.09.023
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4237
de Vladar H. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 2006;238(2):245-256. doi:3802
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
OTT W, HUNT B, Kaloshin V. The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. 2006;26(3):869-891. doi:10.1017/s0143385705000714
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 8515
Kaloshin V, DOLGOPYAT D, KORALOV L. Long time behaviour of periodic stochastic flows. In: XIVth International Congress on Mathematical Physics. World Scientific; 2006:290-295. doi:10.1142/9789812704016_0026
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8513
Kaloshin V, Saprykina M. Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete & Continuous Dynamical Systems - A. 2006;15(2):611-640. doi:10.3934/dcds.2006.15.611
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
Schanda P, Brutscher B. Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. 2006;178(2):334-339. doi:10.1016/j.jmr.2005.10.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8489
Schanda P, Forge V, Brutscher B. HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. 2006;44(S1):S177-S184. doi:10.1002/mrc.1825
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8488
Schanda P, Van Melckebeke H, Brutscher B. Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. 2006;128(28):9042-9043. doi:10.1021/ja062025p
View | DOI
 

2005 | Book | IST-REx-ID: 210
Davenport H, Browning TD. Analytic Methods for Diophantine Equations and Diophantine Inequalities. Cambridge University Press; 2005:1-140. doi:10.1017/CBO9780511542893
View | DOI
 

2005 | Journal Article | IST-REx-ID: 211
Browning TD. Equal sums of like polynomials. Bulletin of the London Mathematical Society. 2005;37(6):801-808. doi:10.1112/S0024609305004741
View | DOI
 

2005 | Journal Article | IST-REx-ID: 212 | OA
Browning TD, Heath Brown R. Counting rational points on hypersurfaces. Journal fur die Reine und Angewandte Mathematik. 2005;(584):83-115. doi:https://doi.org/10.1515/crll.2005.2005.584.83
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 214 | OA
Browning TD, Heath Brown R. Plane curves in boxes and equal sums of two powers. Mathematische Zeitschrift. 2005;251(2):233-247. doi:10.1007/s00209-004-0719-z
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 217
Browning TD. The density of rational points on a certain singular cubic surface. Journal of Number Theory. 2005;119(2):242-283. doi:10.1016/j.jnt.2005.11.007
View | DOI
 

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

2005 | Book | IST-REx-ID: 2335 | OA
Lieb É, Seiringer R, Solovej J, Yngvason J. The Mathematics of the Bose Gas and Its Condensation. Vol 34. Birkhäuser; 2005.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 2336 | OA
Lieb É, Seiringer R, Solovej J, Yngvason J. The quantum-mechanical many-body problem: The Bose gas. In: Benedicks M, Jones P, Smirnov S, Winckler B, eds. Perspectives in Analysis. Vol 27. Springer; 2005:97-183. doi:10.1007/3-540-30434-7_9
View | DOI | Download (ext.)
 

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

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

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

2005 | Journal Article | IST-REx-ID: 2427
Ambühl C, Wagner U. The Clique problem in intersection graphs of ellipses and triangles. Theory of Computing Systems. 2005;38(3):279-292. doi:10.1007/s00224-005-1141-6
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 2428
Fiat A, Levy M, Matoušek J, et al. Online conflict-free coloring for intervals. In: SIAM; 2005:545-554. doi:10.1137/S0097539704446682
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2455
Billou I, Xu J, Wildwater M, et al. The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots. Nature. 2005;433(7021):39-44. doi:10.1038/nature03184
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2463
Dubová J, Hejátko J, Friml J. Reproduction, plants. In: Meyers R, ed. Encyclopedia of Molecular Cell Biology and Molecular Medicine. Vol 12. Wiley-Blackwell; 2005:249-295. doi:10.1002/3527600906
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Friml J, Wiśniewska J. Auxin as an intercellular signal. In: Fleming A, ed. Intercellular Communication in Plants. Vol 16. Wiley-Blackwell; 2005.
View
 

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

2005 | Journal Article | IST-REx-ID: 3916
Schrempf A, Heinze J, Cremer S. Sexual cooperation: mating increases longevity in ant queens. Current Biology. 2005;15(3):267-270. doi:10.1016/j.cub.2005.01.036
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt MK, Kanazawa N, Selg M, et al. The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. 2005;22(1):19-29. doi:10.1016/j.immuni.2004.11.013
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Wang Y, Agarwal P, Brown P, Edelsbrunner H, Rudolph J. Coarse and reliable geometric alignment for protein docking. In: World Scientific Publishing; 2005:64-75. doi:10.1142/9789812702456_0007
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn J, Parks J, Buhrman G, et al. Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. 2005;44(50):16563-16573. doi:10.1021/bi0516879
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton NH, Polechova J. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 2005;18(5):1186-1190. doi:10.1111/j.1420-9101.2005.00943.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova J, Barton NH. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 2005;59(6):1194-1210. doi:10.1111/j.0014-3820.2005.tb01771.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton NH, Otto S. Evolution of recombination due to random drift. Genetics. 2005;169(4):2353-2370. doi:10.1534/genetics.104.032821
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson T, Barton NH. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2005;360(1459):1411-1425. doi:10.1098/rstb.2005.1667
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski A, Wies T. Boolean Heaps. In: Springer; 2005:267-282. doi:1550
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4412
Matic S, Henzinger TA. Trading end-to-end latency for composability. In: IEEE; 2005:99-110. doi:10.1109/RTSS.2005.43
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:10.1145/1081706.1081713
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:10.1145/1065910.1065914
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:10.1007/11590156_1
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:10.1109/LICS.2005.26
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning. In: AUAI Press; 2005:104-111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: ACM; 2005:148-159. doi:10.1145/1060745.1060770
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Vol 3442. Springer; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
de Bono M, Villu Maricq A. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 2005;28:451-501. doi:10.1146/annurev.neuro.27.070203.144259
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 2005;15(10):905-917. doi:10.1016/j.cub.2005.04.017
View | DOI | PubMed | Europe PMC
 

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

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

2005 | Journal Article | IST-REx-ID: 2649
Tanaka J, Matsuzaki M, Tarusawa E, et al. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 2005;25(4):799-807. doi:10.1523/JNEUROSCI.4256-04.2005
View | DOI
 

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

Search

Filter Publications