Henzinger MH. 2004. Algorithmic challenges in web search engines. Internet Mathematics. 1(1), 115–123.
LibreCat: https://research-explorer.ista.ac.at/record/11762
DOI: 10.1080/15427951.2004.10129079

Henzinger MH. 2004. Algorithmic aspects of web search engines. 2th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 3221, 3.
LibreCat: https://research-explorer.ista.ac.at/record/11801
DOI: 10.1007/978-3-540-30140-0_2

Henzinger MH. 2004. The past, present, and future of web search engines. 31st International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 3142, 3.
LibreCat: https://research-explorer.ista.ac.at/record/11800
DOI: 10.1007/978-3-540-27836-8_2

Henzinger MH. 2004. The past, present, and future of web information retrieval. SPIE Proceedings. Document Recognition and Retrieval XI vol. 5296, 23–26.
LibreCat: https://research-explorer.ista.ac.at/record/11859
DOI: 10.1117/12.537534

Henzinger MH, Lawrence S. 2004. Extracting knowledge from the World Wide Web. Proceedings of the National Academy of Sciences. 101(suppl_1), 5186–5191.
LibreCat: https://research-explorer.ista.ac.at/record/11877
DOI: 10.1073/pnas.0307528100
PMID: 14745041

Strasser U, Corripio J, Pellicciotti F, Burlando P, Brock B, Funk M. 2004. Spatial and temporal variability of meteorological variables at Haut Glacier d’Arolla (Switzerland) during the ablation season 2001: Measurements and simulations. Journal of Geophysical Research: Atmospheres. 109(), 103.
LibreCat: https://research-explorer.ista.ac.at/record/12658
DOI: 10.1029/2003jd003973

Hausel T, Hunsicker E, Mazzeo R. 2004. Hodge cohomology of gravitational instantons. Duke Mathematical Journal. 122(3), 485–548.
LibreCat: https://research-explorer.ista.ac.at/record/1456
DOI: 10.1215/S0012-7094-04-12233-X

Hausel T, Thaddeus M. 2004. Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. 88(3), 632–658.
LibreCat: https://research-explorer.ista.ac.at/record/1464
DOI: 10.1112/S0024611503014618

Mamedova A, Holt P, Carroll J, Sazanov LA. 2004. Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. 279(22), 23830–23836.
LibreCat: https://research-explorer.ista.ac.at/record/1963
DOI: 10.1074/jbc.M401539200

Browning TD, Heath Brown R. 2004. Equal sums of three powers. Inventiones Mathematicae. 157(3), 553–573.
LibreCat: https://research-explorer.ista.ac.at/record/209
DOI: 10.1007/s00222-004-0360-9

Novarino G, Fabrizi C, Tonini R, Denti M, Malchiodi A, Lauro G, Sacchetti B, Paradisi S, Ferroni A, Curmi P, Breit S, Mazzanti M. 2004. Involvement of the intracellular ion channel CLI in microglia-mediated ;2-amyloid-induced neurotoxicity. Journal of Neuroscience. 24(23), 5322–5330.
LibreCat: https://research-explorer.ista.ac.at/record/2308
DOI: 10.1523/JNEUROSCI.1170-04.2004

Lieb É, Seiringer R, Yngvason J. 2004. One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. 244(2), 347–393.
LibreCat: https://research-explorer.ista.ac.at/record/2356
DOI: 10.1007/s00220-003-0993-3

Lieb É, Seiringer R. 2004.  Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 115(1–2), 185–190.
LibreCat: https://research-explorer.ista.ac.at/record/2355
DOI: 10.1023/B:JOSS.0000019811.15510.27

Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. 2004. Bose-Einstein quantum phase transition in an optical lattice model. Physical Review A - Atomic, Molecular, and Optical Physics. 70(2), 023612-1-0236121-2.
LibreCat: https://research-explorer.ista.ac.at/record/2360
DOI: 10.1103/PhysRevA.70.023612

Lovász L, Vesztergombi K, Wagner U, Welzl E. 2004.Convex quadrilaterals and k-sets . In: Towards a Theory of Geometric Graphs. Contemporary Mathematics , vol. 342, 139–148.
LibreCat: https://research-explorer.ista.ac.at/record/2417
DOI: 10.1090/conm/342

Giesen J, Wagner U. 2004. Shape dimension and intrinsic metric from samples of manifolds. Discrete &; Computational Geometry. 32(2), 245–267.
LibreCat: https://research-explorer.ista.ac.at/record/2426
DOI: 10.1007/s00454-004-1120-8

Matousek J, Wagner U. 2004. New constructions of weak ;5-nets. Discrete &; Computational Geometry. 32(2), 195–206.
LibreCat: https://research-explorer.ista.ac.at/record/2425
DOI: 10.1007/s00454-004-1116-4

Sauer M, Friml J. 2004. The Matryoshka dolls of plant polarity. Development. 131(23), 5774–5775.
LibreCat: https://research-explorer.ista.ac.at/record/2461
DOI: 10.1242/dev.01463

Ferraguti F, Cobden P, Pollard M, Cope D, Shigemoto R, Watanabe M, Somogyi P. 2004. Immunolocalization of metabotropic glutamate receptor 1;1 (mGlu;1) in distinct classes of interneuron in the C region of the rat hippocampus. Hippocampus. 14(2), 193–215.
LibreCat: https://research-explorer.ista.ac.at/record/2642
DOI: 10.1002/hipo.10163

Somogyi J, Baude A, Omori Y, Shimizu H, El Mestikawy S, Fukaya M, Shigemoto R, Watanabe M, Somogyi P. 2004. GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLU) in their synaptic terminals in hippocampus and isocortex of the rat. European Journal of Neuroscience. 19(3), 552–569.
LibreCat: https://research-explorer.ista.ac.at/record/2639
DOI: 10.1111/j.0953-816X.2003.03091.x

Luján R, Shigemoto R, Kulik Á, Juíz J. 2004. Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. Journal of Comparative Neurology. 475(1), 36–46.
LibreCat: https://research-explorer.ista.ac.at/record/2643
DOI: 10.1002/cne.20160

Kulik Á, Nakadate K, Hagiwara A, Fukazawa Y, Luján R, Saito H, Suzuki N, Futatsugi A, Mikoshiba K, Frotscher M, Shigemoto R. 2004. Immunocytochemical localization of the ;11A subunit of the P/Q-type calcium channel in the rat cerebellum. European Journal of Neuroscience. 19(8), 2169–2178.
LibreCat: https://research-explorer.ista.ac.at/record/2638
DOI: 10.1111/j.0953-816X.2004.03319.x

Notomi T, Shigemoto R. 2004. Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. Journal of Comparative Neurology. 471(3), 241–276.
LibreCat: https://research-explorer.ista.ac.at/record/2640
DOI: 10.1002/cne.11039

Kang Y, Notomi T, Saito M, Zhang W, Shigemoto R. 2004. Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons. Journal of Neuroscience. 24(14), 3694–3702.
LibreCat: https://research-explorer.ista.ac.at/record/2641
DOI: 10.1523/JNEUROSCI.5641-03.2004

Momiyama A, Shigemoto R. 2004. Function and distribution of glutamate receptors in the central synapses. Tanpakushitsu kakusan koso Protein nucleic acid enzyme. 49(3 Suppl), 287–294.
LibreCat: https://research-explorer.ista.ac.at/record/2636

Chan S, Shigemoto R, Mercer J, Surmeier J. 2004. HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons. Journal of Neuroscience. 24(44), 9921–9932.
LibreCat: https://research-explorer.ista.ac.at/record/2645
DOI: 10.1523/JNEUROSCI.2162-04.2004

Kogo N, Dalezios Y, Capogna M, Ferraguti F, Shigemoto R, Somogyi P. 2004. Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. European Journal of Neuroscience. 19(10), 2727–2740.
LibreCat: https://research-explorer.ista.ac.at/record/2644
DOI: 10.1111/j.0953-816X.2004.03394.x

López Bendito G, Shigemoto R, Kulik Á, Vida I, Fairén A, Luján R. 2004.  Distribution of metabotropic GABA receptor subunits GABAa/b and GABA in the rat hippocampus during prenatal and postnatal development. Hippocampus. 14(7), 836–848.
LibreCat: https://research-explorer.ista.ac.at/record/2646
DOI: 10.1002/hipo.10221

Erdös L, Solovej J. 2004. Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength. Journal of Statistical Physics. 116(1–4), 475–506.
LibreCat: https://research-explorer.ista.ac.at/record/2706
DOI: 10.1023/B:JOSS.0000037216.45270.1d

Erdös L, Salmhofer M, Yau H. 2004. On the quantum Boltzmann equation. Journal of Statistical Physics. 116(1–4), 367–380.
LibreCat: https://research-explorer.ista.ac.at/record/2707
DOI: 10.1023/B:JOSS.0000037224.56191.ed

Erdös L, Solovej J. 2004. Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field. Annales Henri Poincare. 5(4), 671–741.
LibreCat: https://research-explorer.ista.ac.at/record/2741
DOI: 10.1007/s00023-004-0180-x

Elgart A, Erdös L, Schlein B, Yau H. 2004. Nonlinear Hartree equation as the mean field limit of weakly coupled fermions. Journal de Mathématiques Pures et Appliquées. 83(10), 1241–1273.
LibreCat: https://research-explorer.ista.ac.at/record/2742
DOI: 10.1016/j.matpur.2004.03.006

Hof B, Juel A, Zhao L, Henry D, Ben Hadid H, Mullin T. 2004. On the onset of oscillatory convection in molten gallium. Journal of Fluid Mechanics. 515, 391–413.
LibreCat: https://research-explorer.ista.ac.at/record/2787
DOI: 10.1017/S0022112004000527

Hof B, Van Doorne C, Westerweel J, Nieuwstadt F, Faisst H, Eckhardt B, Wedin H, Kersweli R, Waleffe F. 2004. Experimental observation of nonlinear traveling waves in turbulent pipe flow. Science. 305(5690), 1594–1598.
LibreCat: https://research-explorer.ista.ac.at/record/2786
DOI: 10.1126/science.1100393

Duroux M, Houben A, Rfeidka K, Friml J, Grasser K. 2004. The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome. Plant Journal. 40(5), 660–671.
LibreCat: https://research-explorer.ista.ac.at/record/2998
DOI: 10.1111/j.1365-313X.2004.02242.x

Friml J, Yang X, Michniewicz M, Weijers D, Quint A, Tietz O, Benjamins R, Ouwerkerk P, Ljung K, Sandberg G, Hooykaas P, Palme K, Offringa R. 2004. A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux. Science. 306(5697), 862–865.
LibreCat: https://research-explorer.ista.ac.at/record/2997
DOI: 10.1126/science.1100618

Sauer M, Friml J. 2004. In vitro culture of Arabidopsis embryos within their ovules. Plant Journal. 40(5), 835–843.
LibreCat: https://research-explorer.ista.ac.at/record/2999
DOI: 10.1111/j.1365-313X.2004.02248.x

Maurer U, Pietrzak KZ. 2004. Composition of random systems: When two weak make one strong. TCC: Theory of Cryptography Conference, LNCS, vol. 2951, 410–427.
LibreCat: https://research-explorer.ista.ac.at/record/3208
DOI: 10.1007/978-3-540-24638-1_23

Ulrich F, Heisenberg C-PJ. 2004.Gastrulation in zebrafish. In: Fish development and geneticsf: the zebrafish and medaka models. Molecular Aspects of Fish and Marine Biology, vol. 2, 39–86.
LibreCat: https://research-explorer.ista.ac.at/record/3587

Barton NH, Etheridge A. 2004. The effect of selection on genealogies. Genetics. 166(2), 1115–1131.
LibreCat: https://research-explorer.ista.ac.at/record/3617
DOI: 10.1534/genetics.166.2.1115

Barton NH. 2004. Speciation: Why, how, where and when? Current Biology. 14(15), 3–4.
LibreCat: https://research-explorer.ista.ac.at/record/3616
DOI: 10.1016/j.cub.2004.07.037

Ulges A, Lampert C, Breuel T. 2004. Document capture using stereo vision. DocEng: ACM Symposium on Document Engineering, 198–200.
LibreCat: https://research-explorer.ista.ac.at/record/3688
DOI: 10.1145/1030397.1030434

Oliver D, Lien C, Soom M, Baukrowitz T, Jonas PM, Fakler B. 2004. Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids. Science. 304(5668), 265–70.
LibreCat: https://research-explorer.ista.ac.at/record/3810
DOI: 10.1126/science.1094113

Chatterjee K, Majumdar R, Jurdziski M. 2004. On Nash equilibria in stochastic games. CSL: Computer Science Logic, LNCS , vol. 3210, 26–40.
LibreCat: https://research-explorer.ista.ac.at/record/3894
DOI: 10.1007/978-3-540-30124-0_6

Chatterjee K, Henzinger TA, Jurdziski M. 2004. Games with secure equilibria. LICS: Logic in Computer Science, 160–169.
LibreCat: https://research-explorer.ista.ac.at/record/3895
DOI: 10.1109/LICS.2004.1319610

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

Witte V, Laffert B, Rosorius O, Lischka P, Blume K, Galler G, Stilper A, Willbold D, D’Aloja P, Sixt MK, Kolanus J, Ott M, Kolanus W, Schuler G, Baur A. 2004. HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. 13(2), 179–190.
LibreCat: https://research-explorer.ista.ac.at/record/3929
DOI: 10.1016/S1097-2765(04)00004-8

Agarwal P, Edelsbrunner H, Wang Y. 2004. Computing the writhing number of a polygonal knot. Discrete &; Computational Geometry. 32(1), 37–53.
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. 2004. Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. 131(19), 4843–4856.
LibreCat: https://research-explorer.ista.ac.at/record/4224
DOI: 10.1242/dev.01335

de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.A Mechanism for the Prebiotic Emergence of Proteins. In: Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Cellular Origin, Life in Extreme Habitats and Astrobiology, vol. 7, 83–87.
LibreCat: https://research-explorer.ista.ac.at/record/4239
DOI: 3807

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

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

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

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

Kolmogorov V, Nguyen T, Nuval A, Spincemaille P, Prince M, Zabih R, Wang Y. 2004. Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method. Magnetic Resonance in Medicine. 52(2), 362–367.
LibreCat: https://research-explorer.ista.ac.at/record/3172
DOI: 10.1002/mrm.20162

Zabih R, Kolmogorov V. 2004. Spatially coherent clustering using graph cuts. CVPR: Computer Vision and Pattern Recognition vol. 2, 437–444.
LibreCat: https://research-explorer.ista.ac.at/record/3177
DOI: 10.1109/CVPR.2004.1315196

Rother C, Kolmogorov V, Blake A. 2004. &;quot;GrabCut&;quot; - Interactive foreground extraction using iterated graph cuts . SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 23, 309–314.
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. 2004. Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy. Journal of Molecular Biology. 340(5), 1143–1152.
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. 2004. Probing the energy landscape of the membrane protein bacteriorhodopsin. Structure. 12(5), 871–879.
LibreCat: https://research-explorer.ista.ac.at/record/3419
DOI: 10.1016/j.str.2004.03.016

Edelsbrunner H, Harer J. 2004.Jacobi sets of multiple Morse functions. In: Foundations of Computational Mathematics. London Mathematical Society Lecture Note, vol. 312, 37–57.
LibreCat: https://research-explorer.ista.ac.at/record/3575
DOI: 10.1017/CBO9781139106962.003

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

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

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

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

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

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

Jonas PM, Bischofberger J, Fricker D, Miles R. 2004. Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. 27(1), 30–40.
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. 2004. Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. 51(3), 275–278.
LibreCat: https://research-explorer.ista.ac.at/record/3918
DOI: 10.1007/s00040-004-0740-6

Choi V, Agarwal P, Edelsbrunner H, Rudolph J. 2004. Local search heuristic for rigid protein docking. WABI: 4th International Workshop on Algorithms in Bioinformatics, LNCS, vol. 3240, 218–229.
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. 2004. The area derivative of a space-filling diagram. Discrete &; Computational Geometry. 32(3), 293–308.
LibreCat: https://research-explorer.ista.ac.at/record/3986
DOI: 10.1007/s00454-004-1099-1

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

Natarajan V, Edelsbrunner H. 2004. Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. 10(5), 587–597.
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. 2004. Loops in Reeb graphs of 2-manifolds. Discrete &; Computational Geometry. 32(2), 231–244.
LibreCat: https://research-explorer.ista.ac.at/record/3985
DOI: 10.1007/s00454-004-1122-6

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

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

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

de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.A mechanism for the prebiotic emergence of proteins. In: Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Cellular Origin and Life in Extreme Habitats and Astrobiology, , 83–87.
LibreCat: https://research-explorer.ista.ac.at/record/4230

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

Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

Jhala R. 2004. Program verification by lazy abstraction. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4424

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

Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. POPL: Principles of Programming Languages, 232–244.
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

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

Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming with logical execution times. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2993, 167–170.
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. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217.
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee K, Jurdziski M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack size analysis for interrupt-driven programs. Information and Computation. 194(2), 144–174.
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. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.
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. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.
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. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.
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. 2004. Model checking discounted temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2988, 77–92.
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. 2004. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. 14(12), 1105–1111.
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, Roos M, Brandstätter W, Prestat M, Gauckler LJ, Andreaus B, Hajbolouri F, Senn SM, Poulikakos D, Chaniotis AK, Larrain D, Autissier N, Maréchal F. 2004. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 58(12), 857–868.
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

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

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

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

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

Kern A, Kondrashov F. 2004. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. 36(11), 1207–1212.
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. 2004. Role of Arabidopsis ARGONAUT in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. 14(13), 1214–1220.
LibreCat: https://research-explorer.ista.ac.at/record/9493
DOI: 10.1016/j.cub.2004.06.055
PMID: 15242620