Zhang H, Baader S, Sixt MK, Kappler J, Rauch U. Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. Journal of Histochemistry and Cytochemistry. 2004;52(7):915-922. doi:10.1369/jhc.3A6221.2004
LibreCat: https://research-explorer.ista.ac.at/record/3931
DOI: 10.1369/jhc.3A6221.2004

Witte V, Laffert B, Rosorius O, et al. HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. 2004;13(2):179-190. doi:10.1016/S1097-2765(04)00004-8
LibreCat: https://research-explorer.ista.ac.at/record/3929
DOI: 10.1016/S1097-2765(04)00004-8

Agarwal P, Edelsbrunner H, Wang Y. Computing the writhing number of a polygonal knot. Discrete &; Computational Geometry. 2004;32(1):37-53. doi:10.1007/s00454-004-2864-x
LibreCat: https://research-explorer.ista.ac.at/record/3990
DOI: 10.1007/s00454-004-2864-x

Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. 2004;131(19):4843-4856. doi:10.1242/dev.01335
LibreCat: https://research-explorer.ista.ac.at/record/4224
DOI: 10.1242/dev.01335

de Vladar H, Cipriani R, Scharifker B, Bubis J. A Mechanism for the Prebiotic Emergence of Proteins. In: Seckbach J, Chela Flores J, Owen T, Raulin F, eds. Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Vol 7. Springer; 2004:83-87. doi:3807
LibreCat: https://research-explorer.ista.ac.at/record/4239
DOI: 3807

Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. Annals of Applied Probability. 2004;14(2):754-785.
LibreCat: https://research-explorer.ista.ac.at/record/4253

Hippenmeyer S, Kramer I, Arber S. Control of neuronal phenotype: What targets tell the cell bodies. Trends in Neurosciences. 2004;27(8):482-488. doi:10.1016/j.tins.2004.05.012
LibreCat: https://research-explorer.ista.ac.at/record/3142
DOI: 10.1016/j.tins.2004.05.012

Boykov Y, Kolmogorov V. An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2004;26(9):1124-1137. doi:10.1109/TPAMI.2004.60
LibreCat: https://research-explorer.ista.ac.at/record/3178
DOI: 10.1109/TPAMI.2004.60

Kolmogorov V, Zabih R. What energy functions can be minimized via graph cuts? . IEEE Transactions on Pattern Analysis and Machine Intelligence. 2004;26(2):147-159. doi:10.1109/TPAMI.2004.1262177
LibreCat: https://research-explorer.ista.ac.at/record/3173
DOI: 10.1109/TPAMI.2004.1262177

Kolmogorov V, Nguyen T, Nuval A, et al. Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method. Magnetic Resonance in Medicine. 2004;52(2):362-367. doi:10.1002/mrm.20162
LibreCat: https://research-explorer.ista.ac.at/record/3172
DOI: 10.1002/mrm.20162

Zabih R, Kolmogorov V. Spatially coherent clustering using graph cuts. In: Vol 2. IEEE; 2004:437-444. doi:10.1109/CVPR.2004.1315196
LibreCat: https://research-explorer.ista.ac.at/record/3177
DOI: 10.1109/CVPR.2004.1315196

Rother C, Kolmogorov V, Blake A. &;quot;GrabCut&;quot; - Interactive foreground extraction using iterated graph cuts . In: Vol 23. ACM; 2004:309-314. doi:10.1145/1015706.1015720
LibreCat: https://research-explorer.ista.ac.at/record/3179
DOI: 10.1145/1015706.1015720

Kedrov A, Ziegler C, Janovjak HL, Kühlbrandt W, Mueller D. Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy. Journal of Molecular Biology. 2004;340(5):1143-1152. doi:10.1016/j.jmb.2004.05.026
LibreCat: https://research-explorer.ista.ac.at/record/3420
DOI: 10.1016/j.jmb.2004.05.026

Janovjak HL, Struckmeier J, Hubain M, Kessler M, Kedrov A, Mueller D. Probing the energy landscape of the membrane protein bacteriorhodopsin. Structure. 2004;12(5):871-879. doi:10.1016/j.str.2004.03.016
LibreCat: https://research-explorer.ista.ac.at/record/3419
DOI: 10.1016/j.str.2004.03.016

Edelsbrunner H, Harer J. Jacobi sets of multiple Morse functions. In: Foundations of Computational Mathematics. Vol 312. Springer; 2004:37-57. doi:10.1017/CBO9781139106962.003
LibreCat: https://research-explorer.ista.ac.at/record/3575
DOI: 10.1017/CBO9781139106962.003

Edelsbrunner H. Biological applications of computational topology. In: Handbook of Discrete and Computational Geometry. CRC Press; 2004:1395-1412.
LibreCat: https://research-explorer.ista.ac.at/record/3574

Charlesworth B, Barton NH. Genome size: Does bigger mean worse? Current Biology. 2004;14(6):3-5. doi:10.1016/j.cub.2004.02.054
LibreCat: https://research-explorer.ista.ac.at/record/3595
DOI: 10.1016/j.cub.2004.02.054

Barton NH, Turelli M. Effects of allele frequency changes on variance components under a general model of epistasis. Evolution; International Journal of Organic Evolution. 2004;58(10):2111-2132. doi:10.1111/j.0014-3820.2004.tb01591.x
LibreCat: https://research-explorer.ista.ac.at/record/3614
DOI: 10.1111/j.0014-3820.2004.tb01591.x

Turelli M, Barton NH. Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions. Genetics. 2004;166(2):1053-1079. doi:10.1534/genetics.166.2.1053
LibreCat: https://research-explorer.ista.ac.at/record/3615
DOI: 10.1534/genetics.166.2.1053

Kampa B, Clements J, Jonas PM, Stuart G. Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity. Journal of Physiology. 2004;556(Pt 2):337-345. doi:10.1113/jphysiol.2003.058842 
LibreCat: https://research-explorer.ista.ac.at/record/3807
DOI: 10.1113/jphysiol.2003.058842 

Schmidt Hieber C, Jonas PM, Bischofberger J. Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. 2004;429(6988):184-187. doi:10.1038/nature02553
LibreCat: https://research-explorer.ista.ac.at/record/3809
DOI: 10.1038/nature02553

Jonas PM, Bischofberger J, Fricker D, Miles R. Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. 2004;27(1):30-40. doi:doi:10.1016/j.tins.2003.10.010
LibreCat: https://research-explorer.ista.ac.at/record/3805
DOI: doi:10.1016/j.tins.2003.10.010

Heinze J, Böttcher A, Cremer S. Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. 2004;51(3):275-278. doi:10.1007/s00040-004-0740-6
LibreCat: https://research-explorer.ista.ac.at/record/3918
DOI: 10.1007/s00040-004-0740-6

Choi V, Agarwal P, Edelsbrunner H, Rudolph J. Local search heuristic for rigid protein docking. In: Vol 3240. Springer; 2004:218-229. doi:10.1007/978-3-540-30219-3_19
LibreCat: https://research-explorer.ista.ac.at/record/3988
DOI: 10.1007/978-3-540-30219-3_19

Bryant R, Edelsbrunner H, Koehl P, Levitt M. The area derivative of a space-filling diagram. Discrete &; Computational Geometry. 2004;32(3):293-308. doi:10.1007/s00454-004-1099-1
LibreCat: https://research-explorer.ista.ac.at/record/3986
DOI: 10.1007/s00454-004-1099-1

Bremer P, Edelsbrunner H, Hamann B, Pascucci V. A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. 2004;10(4):385-396. doi:10.1109/TVCG.2004.3
LibreCat: https://research-explorer.ista.ac.at/record/3984
DOI: 10.1109/TVCG.2004.3

Natarajan V, Edelsbrunner H. Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. 2004;10(5):587-597. doi:10.1109/TVCG.2004.32
LibreCat: https://research-explorer.ista.ac.at/record/3987
DOI: 10.1109/TVCG.2004.32

Cole Mclaughlin K, Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Loops in Reeb graphs of 2-manifolds. Discrete &; Computational Geometry. 2004;32(2):231-244. doi:10.1007/s00454-004-1122-6
LibreCat: https://research-explorer.ista.ac.at/record/3985
DOI: 10.1007/s00454-004-1122-6

Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Local and global comparison of continuous functions. In: IEEE; 2004:275-280. doi:10.1109/VISUAL.2004.68
LibreCat: https://research-explorer.ista.ac.at/record/3989
DOI: 10.1109/VISUAL.2004.68

Montero J, Heisenberg C-PJ. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 2004;14(11):620-627. doi:10.1016/j.tcb.2004.09.008
LibreCat: https://research-explorer.ista.ac.at/record/4172
DOI: 10.1016/j.tcb.2004.09.008

de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2004;227(3):335-348. doi:3801
LibreCat: https://research-explorer.ista.ac.at/record/4238
DOI: 3801

de Vladar H, Cipriani R, Scharifker B, Bubis J. A mechanism for the prebiotic emergence of proteins. In: Hanslmeier A, Kempe S, Seckbach J, eds. Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Springer; 2004:83-87.
LibreCat: https://research-explorer.ista.ac.at/record/4230

de Vladar H. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. 2004. doi:3810
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:1572
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

Jhala R. Program verification by lazy abstraction. 2004:1-165.
LibreCat: https://research-explorer.ista.ac.at/record/4424

Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: ACM; 2004:104-113. doi:10.1145/1017753.1017774
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In: ACM; 2004:232-244. doi:10.1145/964001.964021
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In: Verification: Theory and Practice. Vol 2772. Springer; 2004:332-358. doi:10.1007/978-3-540-39910-0_16
LibreCat: https://research-explorer.ista.ac.at/record/4461
DOI: 10.1007/978-3-540-39910-0_16

Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: ACM; 2004:1-13. doi:10.1145/996841.996844
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Vol 2993. Springer; 2004:167-170. doi:10.1007/978-3-540-24743-2_24
LibreCat: https://research-explorer.ista.ac.at/record/4525
DOI: 10.1007/978-3-540-24743-2_24

Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In: IEEE; 2004:206-217. doi:10.1109/QEST.2004.10051
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee K, Jurdziski M, Henzinger TA. Quantitative stochastic parity games. In: SIAM; 2004:121-130.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. Information and Computation. 2004;194(2):144-174. doi:10.1016/j.ic.2004.06.001
LibreCat: https://research-explorer.ista.ac.at/record/4556
DOI: 10.1016/j.ic.2004.06.001

Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. The BLAST query language for software verification. In: Vol 3148. Springer; 2004:2-18. doi:10.1007/978-3-540-27864-1_2
LibreCat: https://research-explorer.ista.ac.at/record/4578
DOI: 10.1007/978-3-540-27864-1_2

Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking. In: IEEE; 2004:251-255. doi:10.1109/WPC.2004.1311069Â  
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455
LibreCat: https://research-explorer.ista.ac.at/record/4581
DOI: 10.1109/ICSE.2004.1317455

De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6
LibreCat: https://research-explorer.ista.ac.at/record/4629
DOI: 10.1007/978-3-540-24730-2_6

Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. 2004;14(12):1105-1111. doi:10.1016/j.cub.2004.06.027
LibreCat: https://research-explorer.ista.ac.at/record/6155
DOI: 10.1016/j.cub.2004.06.027
PMID: 15203005

Mantzaras J, Freunberger SA, Büchi FN, et al. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 2004;58(12):857-868. doi:10.2533/000942904777677029
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. Modular stack-internal air humidification concept-verification in a 1kW stack. Fuel Cells. 2004;4(3):214-218. doi:10.1002/fuce.200400028
LibreCat: https://research-explorer.ista.ac.at/record/7333
DOI: 10.1002/fuce.200400028

Panchenko A, Kondrashov F, Bryant S. Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. 2004;13(4):884-892. doi:10.1110/ps.03465504
LibreCat: https://research-explorer.ista.ac.at/record/864
DOI: 10.1110/ps.03465504

Kondrashov F, Ogurtsov A, Kondrashov A. Bioinformatical assay of human gene morbidity. Nucleic Acids Research. 2004;32(5):1731-1737. doi:10.1093/nar/gkh330
LibreCat: https://research-explorer.ista.ac.at/record/870
DOI: 10.1093/nar/gkh330

Kondrashov F, Koonin E. A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. 2004;20(7):287-291. doi:10.1016/j.tig.2004.05.001
LibreCat: https://research-explorer.ista.ac.at/record/875
DOI: 10.1016/j.tig.2004.05.001

Kern A, Kondrashov F. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. 2004;36(11):1207-1212. doi:10.1038/ng1451
LibreCat: https://research-explorer.ista.ac.at/record/889
DOI: 10.1038/ng1451

Zilberman D, Cao X, Johansen LK, Xie Z, Carrington JC, Jacobsen SE. Role of Arabidopsis ARGONAUT in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. 2004;14(13):1214-1220. doi:10.1016/j.cub.2004.06.055
LibreCat: https://research-explorer.ista.ac.at/record/9493
DOI: 10.1016/j.cub.2004.06.055
PMID: 15242620 

Xie Z, Johansen LK, Gustafson AM, et al. Genetic and functional diversification of small RNA pathways in plants. PLoS Biology. 2004;2(5):0642-0652. doi:10.1371/journal.pbio.0020104
LibreCat: https://research-explorer.ista.ac.at/record/9517
DOI: 10.1371/journal.pbio.0020104
PMID: 15024409

Zilberman D, Henikoff S. Silencing of transposons in plant genomes: kick them when they’re down. Genome Biology. 2004;5(12). doi:10.1186/gb-2004-5-12-249
LibreCat: https://research-explorer.ista.ac.at/record/9511
DOI: 10.1186/gb-2004-5-12-249
PMID: 15575975

Dolgopyat D, Kaloshin V, Koralov L. A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. 2004;57(9):1127-1158. doi:10.1002/cpa.20032
LibreCat: https://research-explorer.ista.ac.at/record/8517
DOI: 10.1002/cpa.20032

Koralov L, Kaloshin V, Dolgopyat D. Sample path properties of the stochastic flows. The Annals of Probability. 2004;32(1A):1-27. doi:10.1214/aop/1078415827
LibreCat: https://research-explorer.ista.ac.at/record/8518
DOI: 10.1214/aop/1078415827

Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. 2004;429(6991):558-562. doi:10.1038/nature02601
LibreCat: https://research-explorer.ista.ac.at/record/898
DOI: 10.1038/nature02601

Castillo Davis C, Kondrashov F, Hartl D, Kulathinal R. The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. 2004;14(5):802-811. doi:10.1101/gr.2195604
LibreCat: https://research-explorer.ista.ac.at/record/902
DOI: 10.1101/gr.2195604

Chan SW-L, Zilberman D, Xie10.1126/science.1095989__Zhixin, Johansen10.1126/science.1095989__Lisa K., Carrington JC, Jacobsen SE. RNA silencing genes control de novo DNA methylation. Science. 2004;303(5662):1336. doi:10.1126/science.1095989
LibreCat: https://research-explorer.ista.ac.at/record/9454
DOI: 10.1126/science.1095989
PMID: 14988555

Liao Z, Chen M, Gong Y, et al. A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. 2004;15(2):153-158. doi:10.1080/10425170410001667348
LibreCat: https://research-explorer.ista.ac.at/record/12203
DOI: 10.1080/10425170410001667348
PMID: 15352294

Klajn R, Fialkowski M, Bensemann IT, et al. Multicolour micropatterning of thin films of dry gels. Nature Materials. 2004;3:729-735. doi:10.1038/nmat1231
LibreCat: https://research-explorer.ista.ac.at/record/13435
DOI: 10.1038/nmat1231
PMID: 15378052

Campbell CJ, Fialkowski M, Klajn R, Bensemann IT, Grzybowski BA. Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. 2004;16(21):1912-1917. doi:10.1002/adma.200400383
LibreCat: https://research-explorer.ista.ac.at/record/13434
DOI: 10.1002/adma.200400383

Brunet A, Sweeney LB, Sturgill JF, et al. Stress-dependent regulation of FOXO transcription factors by the SIR deacetylase. Science. 2004;303(5666):2011-2015. doi:10.1126/science.1094637
LibreCat: https://research-explorer.ista.ac.at/record/7706
DOI: 10.1126/science.1094637