Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds
P. Schanda, B. Brutscher, Journal of the American Chemical Society 127 (2005) 8014–8015.
LibreCat: https://research-explorer.ista.ac.at/record/8492
DOI: 10.1021/ja051306e

On diffusion in high-dimensional Hamiltonian systems
J. Bourgain, V. Kaloshin, Journal of Functional Analysis 229 (2005) 1–61.
LibreCat: https://research-explorer.ista.ac.at/record/8516
DOI: 10.1016/j.jfa.2004.09.006

The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution
F. Kondrashov, Biofizika 50 (2005) 389–395.
LibreCat: https://research-explorer.ista.ac.at/record/877
PMID: 15977826

In search of the limits of evolution
F. Kondrashov, Nature Genetics 37 (2005) 9–10.
LibreCat: https://research-explorer.ista.ac.at/record/878
DOI: 10.1038/ng0105-9

Prediction of pathogenic mutations in mitochondrially encoded human tRNAs
F. Kondrashov, Human Molecular Genetics 14 (2005) 2415–2419.
LibreCat: https://research-explorer.ista.ac.at/record/882
DOI: 10.1093/hmg/ddi243

The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus
F. Kondrashov, Biofizika 50 (2005) 396–403.
LibreCat: https://research-explorer.ista.ac.at/record/880
PMID: 15977827

A universal trend of amino acid gain and loss in protein evolution
I. Jordan, F. Kondrashov, I. Adzhube0, Y. Wolf, E. Koonin, A. Kondrashov, S. Sunyaev, Nature 433 (2005) 633–638.
LibreCat: https://research-explorer.ista.ac.at/record/893
DOI: 10.1038/nature03306

Epigenetic inheritance in Arabidopsis: Selective silence
D. Zilberman, S. Henikoff, Current Opinion in Genetics and Development 15 (2005) 557–562.
LibreCat: https://research-explorer.ista.ac.at/record/9529
DOI: 10.1016/j.gde.2005.07.002
PMID: 16085410

Cutting into solids with micropatterned gels
S.K. Smoukov, K.J.M. Bishop, R. Klajn, C.J. Campbell, B.A. Grzybowski, Advanced Materials 17 (2005) 1361–1365.
LibreCat: https://research-explorer.ista.ac.at/record/13431
DOI: 10.1002/adma.200402086
PMID: 34412440

Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers
D. Witt, R. Klajn, P. Barski, B. Grzybowski, Current Organic Chemistry 8 (2005) 1763–1797.
LibreCat: https://research-explorer.ista.ac.at/record/13433
DOI: 10.2174/1385272043369421

One-step multilevel microfabrication by reactiondiffusion
C.J. Campbell, R. Klajn, M. Fialkowski, B.A. Grzybowski, Langmuir 21 (2005) 418–423.
LibreCat: https://research-explorer.ista.ac.at/record/13432
DOI: 10.1021/la0487747
PMID: 15620333

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

Algorithmic aspects of web search engines
M.H. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
LibreCat: https://research-explorer.ista.ac.at/record/11801
DOI: 10.1007/978-3-540-30140-0_2

The past, present, and future of web search engines
M.H. Henzinger, in:, 31st International Colloquium on Automata, Languages and Programming, Springer Nature, 2004, p. 3.
LibreCat: https://research-explorer.ista.ac.at/record/11800
DOI: 10.1007/978-3-540-27836-8_2

The past, present, and future of web information retrieval
M.H. Henzinger, in:, SPIE Proceedings, Society of Photo-Optical Instrumentation Engineers, 2004, pp. 23–26.
LibreCat: https://research-explorer.ista.ac.at/record/11859
DOI: 10.1117/12.537534

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

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

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

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

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

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

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

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

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

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

Convex quadrilaterals and k-sets 
L. Lovász, K. Vesztergombi, U. Wagner, E. Welzl, in:, J. Pach (Ed.), Towards a Theory of Geometric Graphs, American Mathematical Society, 2004, pp. 139–148.
LibreCat: https://research-explorer.ista.ac.at/record/2417
DOI: 10.1090/conm/342

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

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

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

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

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

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

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

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

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

Function and distribution of glutamate receptors in the central synapses
A. Momiyama, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme 49 (2004) 287–294.
LibreCat: https://research-explorer.ista.ac.at/record/2636

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

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

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

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

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

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

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

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

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

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

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

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

Composition of random systems: When two weak make one strong
U. Maurer, K.Z. Pietrzak, in:, Springer, 2004, pp. 410–427.
LibreCat: https://research-explorer.ista.ac.at/record/3208
DOI: 10.1007/978-3-540-24638-1_23

Gastrulation in zebrafish
F. Ulrich, C.-P.J. Heisenberg, in:, V. Korzh, Z. Gong (Eds.), Fish Development and Geneticsf: The Zebrafish and Medaka Models, World Scientific Publishing, 2004, pp. 39–86.
LibreCat: https://research-explorer.ista.ac.at/record/3587

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
LibreCat: https://research-explorer.ista.ac.at/record/4461
DOI: 10.1007/978-3-540-39910-0_16

Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

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

Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Quantitative stochastic parity games
K. Chatterjee, M. Jurdziski, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
LibreCat: https://research-explorer.ista.ac.at/record/4558

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

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