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.

6062 Publications


2005 | Journal Article | IST-REx-ID: 882
Kondrashov, F. (2005). Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics, 14(16), 2415–2419. https://doi.org/10.1093/hmg/ddi243
View | DOI
 

2005 | Journal Article | IST-REx-ID: 893
Jordan, I., Kondrashov, F., Adzhubeǐ, I., Wolf, Y., Koonin, E., Kondrashov, A., & Sunyaev, S. (2005). A universal trend of amino acid gain and loss in protein evolution. Nature, 433(7026), 633–638. https://doi.org/10.1038/nature03306
View | DOI
 

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

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Hausel, T. (2005). Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In Geometric Methods in Algebra and Number Theory (Vol. 235, pp. 193–217). Springer. https://doi.org/10.1007/0-8176-4417-2_9
View | DOI | Download (ext.)
 

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

2005 | Journal Article | IST-REx-ID: 1463 | OA
Hausel, T., & Proudfoot, N. (2005). Abelianization for hyperkähler quotients. Topology, 44(1), 231–248. https://doi.org/10.1016/j.top.2004.04.002
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother, C., Kumar, S., Kolmogorov, V., & Blake, A. (2005). Digital tapestry (Vol. 1, pp. 589–596). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.130
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov, V., Criminisi, A., Blake, A., Cross, G., & Rother, C. (2005). Bi-layer segmentation of binocular stereo video (pp. 1186–1186). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.90
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov, V., & Wainwright, M. (2005). On the optimality of tree reweighted max product message passing (pp. 316–323). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov, V., & Boykov, Y. (2005). What metrics can be approximated by geo cuts or global optimization of length area and flux (Vol. 1, pp. 564–571). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2005.252
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov, V., Criminisi, A., Blake, A., Cross, G., & Rother, C. (2005). Bi-layer segmentation of binocular stereo video (Vol. 2, pp. 407–414). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.91
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare, M., Pietrzak, K. Z., & Rogaway, P. (2005). Improved security analyses for CBC MACs (Vol. 3621, pp. 527–545). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_32
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis, Y., Oliveira, R., & Pietrzak, K. Z. (2005). On the generic insecurity of the full domain hash (Vol. 3621, pp. 449–466). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_27
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak, K. Z. (2005). Composition does not imply adaptive security (Vol. 3621, pp. 55–65). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_4
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak, H. L., Sapra, T., & Mueller, D. (2005). Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal, 88(5), 37–39. https://doi.org/10.1529/biophysj.105.059774
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn, M., Janovjak, H. L., Hubain, M., & Mueller, D. (2005). Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy, 218(2), 125–132. https://doi.org/10.1111/j.1365-2818.2005.01478.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak, H. L., Struckmeier, J., & Mueller, D. (2005). Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal, 34(1), 91–96. https://doi.org/10.1007/s00249-004-0430-3
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback, J. P. (2005). Posterior mapping and posterior predictive distributions. In R. Nielsen (Ed.), Statistical methods in Molecular Evolution (pp. 439–462). Springer. https://doi.org/10.1007/0-387-27733-1
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger, T., Marton, L., O’Neill, J., Huck, J., Dalezios, Y., Fuentealba, P., … Somogyi, P. (2005). Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience, 25(42), 9782–9793. https://doi.org/10.1523/JNEUROSCI.3269-05.2005
View | DOI
 

2005 | Patent | IST-REx-ID: 3509
Williams, S., Edelsbrunner, H., & Fu, P. (2005). Methods, apparatus and computer program products for modeling three-dimensional colored objects. Elsevier. https://doi.org/US 6,853,373 B2
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner, H. (2005). Surface tiling with differential topology (pp. 9–11). Presented at the SGP: Eurographics Symposium on Geometry processing, ACM. http://dx.doi.org/10.2312/SGP/SGP05/009-011
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali, D., Cohen Steiner, D., & Edelsbrunner, H. (2005). Extraction and simplification of iso-surfaces in tandem (pp. 139–148). Presented at the SGP: Eurographics Symposium on Geometry processing, ACM.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner, H., & Koehl, P. (2005). The geometry of biomolecular solvation. In Combinatorial and Computational Geometry (Vol. 52, pp. 243–275). Cambridge University Press.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger, B., Barton, N. H., Kruuk, L., & Vines, T. (2005). Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity, 94(2), 247–257. https://doi.org/10.1038/sj.hdy.6800607
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3612
Davison, A., Chiba, S., Barton, N. H., & Clarke, B. (2005). Speciation and gene flow between snails of opposing chirality. PLoS Biology, 3(9). https://doi.org/10.1371/journal.pbio.0030282
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Gardner, M., Fowler, K., Barton, N. H., & Patridge, L. (2005). Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics, 169(3), 1553–1571. https://doi.org/10.1534/genetics.104.032367
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3684
Lampert, C., Braun, T., Ulges, A., Keysers, D., & Breuel, T. (2005). Oblivious document capture and real-time retrieval (pp. 79–86). Presented at the CBDAR: Camera Based Document Analysis and Recognition , CBDAR.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3689
Ulges, A., Lampert, C., & Breuel, T. (2005). Document image dewarping using robust estimation of curled text lines (Vol. 2, pp. 1001–1005). Presented at the ICDAR: International Conference on Document Analysis and Recognition, IEEE. https://doi.org/ 10.1109/ICDAR.2005.90
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3691
Lampert, C. (2005). Boundary regularity of admissible operators. Publicacions Matemàtiques, 49(1), 179–195. https://doi.org/10.5565/PUBLMAT_49105_08
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak, H. L., Mueller, D., & Humphris, A. (2005). Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal, 88(2), 1423–1431. https://doi.org/10.1529/biophysj.104.052746
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim, N., Atwal, G., Tkacik, G., & Bialek, W. (2005). Information-based clustering. PNAS, 102(51), 18297–18302. https://doi.org/10.1073/pnas.0507432102
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim, N., Atwal, G., Tkacik, G., & Bialek, W. (2005). Estimating mutual information and multi-information in large networks. ArXiv. ArXiv.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
Le, T., Harlepp, S., Guet, C. C., Dittmar, K., Emonet, T., Pan, T., & Cluzel, P. (2005). Real-time RNA profiling within a single bacterium. PNAS, 102(26), 9160–9164. https://doi.org/10.1073/pnas.0503311102
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel, D., & Jonas, P. M. (2005). Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron, 45(3), 405–417. https://doi.org/10.1016/j.neuron.2004.12.048
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
Hefft, S., & Jonas, P. M. (2005). Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Games with secure equilibria (Vol. 3657, pp. 141–161). Presented at the FMCO: Formal Methods for Components and Objects, Springer. https://doi.org/10.1007/11561163_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, K. (2005). Two-player nonzero-sum ω-regular games (Vol. 3653, pp. 413–427). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11539452_32
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2005). Complexity of compositional model checking of computation tree logic on simple structures (Vol. 3326, pp. 89–102). Presented at the IWDC: International Workshop on Distributed Computing , Springer. https://doi.org/10.1007/978-3-540-30536-1_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
Cremer, S., & Boomsma, J. (2005). The drawback of mobility: invasive species in a globalised world. Presented at the Marie Curie Conference, Elsevier.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach, M. T., Kruse, K., Pantazis, P., González Gaitán, M., & Jülicher, F. (2005). Robust formation of morphogen gradients. Physical Review Letters, 94(1). https://doi.org/10.1103/PhysRevLett.94.018103
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen, M., & Heisenberg, C.-P. J. (2005). Cleavage and gastrulation in zebrafish embryos. In Encyclopedia of Life Sciences. Wiley-Blackwell. https://doi.org/10.1038/npg.els.0001072
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega, I., & Heisenberg, C.-P. J. (2005). Cell migration during zebrafish gastrulation. In D. Wedlich (Ed.), Cell Migration in Development and Disease (pp. 71–105). Wiley-VCH. https://doi.org/10.1002/3527604669
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán, J., Gerevich, Z., Hengstler, J., Illes, P., & Kleemann, W. (2005). P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex. Synapse, 57(4), 235–238. https://doi.org/10.1002/syn.20177
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega, I., & Heisenberg, C.-P. J. (2005). A stern view of gastrulation. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb0105-19
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi, L., Yu, Y., Wojtan, C. J., & Chenney, S. (2005). Controllable motion synthesis in a gaseous medium. The Visual Computer, 21(7), 474–487. https://doi.org/10.1007/s00371-005-0296-0
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich, F., Krieg, M., Schötz, E., Link, V., Castanon, I., Schnabel, V., … Heisenberg, C.-P. J. (2005). Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell, 9(4), 555–564. https://doi.org/10.1016/j.devcel.2005.08.011
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech, P., Taubenberger, A., Ulrich, F., Krieg, M., Mueller, D., & Heisenberg, C.-P. J. (2005). Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science, 118(18), 4199–4206. https://doi.org/10.1242/​jcs.02547
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton, W., Mangoli, M., Lele, Z., Pogoda, H., Diamond, B., Mercurio, S., … Wilson, S. (2005). Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development, 132(4), 645–658. https://doi.org/10.1242/dev.01611
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero, J., Carvalho, L., Wilsch Bräuninger, M., Kilian, B., Mustafa, C., & Heisenberg, C.-P. J. (2005). Shield formation at the onset of zebrafish gastrulation. Development, 132(6), 1187–1198. https://doi.org/10.1242/dev.01667
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen, M., Fernández, B., Carvalho, L., Jacinto, A., & Heisenberg, C.-P. J. (2005). Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development, 122(Supplement 1), S112–S113. https://doi.org/10.1016/j.mod.2005.06.010
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain, J., & Kaloshin, V. (2005). On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis, 229(1), 1–61. https://doi.org/10.1016/j.jfa.2004.09.006
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, P., Kupče, Ē., & Brutscher, B. (2005). SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR, 33(4), 199–211. https://doi.org/10.1007/s10858-005-4425-x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda, P., & Brutscher, B. (2005). Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds. Journal of the American Chemical Society, 127(22), 8014–8015. https://doi.org/10.1021/ja051306e
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Browning, T. D., & Heath Brown, R. (2004). Equal sums of three powers. Inventiones Mathematicae, 157(3), 553–573. https://doi.org/10.1007/s00222-004-0360-9
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino, G., Fabrizi, C., Tonini, R., Denti, M., Malchiodi, A., Lauro, G., … Mazzanti, M. (2004). Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. Journal of Neuroscience, 24(23), 5322–5330. https://doi.org/10.1523/JNEUROSCI.1170-04.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
Lieb, É., & Seiringer, R. (2004). Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics, 115(1–2), 185–190. https://doi.org/10.1023/B:JOSS.0000019811.15510.27
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2004). One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics, 244(2), 347–393. https://doi.org/10.1007/s00220-003-0993-3
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
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. https://doi.org/10.1103/PhysRevA.70.023612
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
Lovász, L., Vesztergombi, K., Wagner, U., & Welzl, E. (2004). Convex quadrilaterals and k-sets . In J. Pach (Ed.), Towards a Theory of Geometric Graphs (Vol. 342, pp. 139–148). American Mathematical Society. https://doi.org/10.1090/conm/342
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
Matoušek, J., & Wagner, U. (2004). New constructions of weak ε-nets. Discrete & Computational Geometry, 32(2), 195–206. https://doi.org/10.1007/s00454-004-1116-4
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
Giesen, J., & Wagner, U. (2004). Shape dimension and intrinsic metric from samples of manifolds. Discrete & Computational Geometry, 32(2), 245–267. https://doi.org/10.1007/s00454-004-1120-8
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
Sauer, M., & Friml, J. (2004). The Matryoshka dolls of plant polarity. Development. Company of Biologists. https://doi.org/10.1242/dev.01463
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., & Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells, 4(3), 214–218. https://doi.org/10.1002/fuce.200400028
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry, 58(12), 857–868. https://doi.org/10.2533/000942904777677029
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet, A., Sweeney, L. B. J., Sturgill, J. F., Chua, K., Greer, P., Lin, Y., … Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science, 303(5666), 2011–2015. https://doi.org/10.1126/science.1094637
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
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. https://doi.org/10.1007/s00040-004-0740-6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, V., Laffert, B., Rosorius, O., Lischka, P., Blume, K., Galler, 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. https://doi.org/10.1016/S1097-2765(04)00004-8
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, H., Baader, S., Sixt, M. K., 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. https://doi.org/10.1369/jhc.3A6221.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
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. https://doi.org/10.1109/TVCG.2004.3
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
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. https://doi.org/10.1007/s00454-004-1122-6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, R., Edelsbrunner, H., Koehl, P., & Levitt, M. (2004). The area derivative of a space-filling diagram. Discrete & Computational Geometry, 32(3), 293–308. https://doi.org/10.1007/s00454-004-1099-1
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, V., & Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics, 10(5), 587–597. https://doi.org/10.1109/TVCG.2004.32
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, V., Agarwal, P., Edelsbrunner, H., & Rudolph, J. (2004). Local search heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer. https://doi.org/10.1007/978-3-540-30219-3_19
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Local and global comparison of continuous functions (pp. 275–280). Presented at the VIS: IEEE Visualization, IEEE. https://doi.org/10.1109/VISUAL.2004.68
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, P., Edelsbrunner, H., & Wang, Y. (2004). Computing the writhing number of a polygonal knot. Discrete & Computational Geometry, 32(1), 37–53. https://doi.org/10.1007/s00454-004-2864-x
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A mechanism for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, & J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (pp. 83–87). Springer.
View
 

2004 | Book Chapter | IST-REx-ID: 4239
Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A Mechanism for the Prebiotic Emergence of Proteins. 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 (Vol. 7, pp. 83–87). Springer. https://doi.org/3807
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability, 14(2), 754–785.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1572
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation, 194(2), 144–174. https://doi.org/10.1016/j.ic.2004.06.001
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069 
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., 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. https://doi.org/10.1016/j.cub.2004.06.027
View | DOI | PubMed | Europe PMC
 

2004 | Book Review | IST-REx-ID: 2636
Momiyama, A., & Shigemoto, R. (2004). Function and distribution of glutamate receptors in the central synapses. Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Kulik, Á., Nakadate, K., Hagiwara, A., Fukazawa, Y., Luján, R., Saito, H., … Shigemoto, R. (2004). Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. European Journal of Neuroscience, 19(8), 2169–2178. https://doi.org/10.1111/j.0953-816X.2004.03319.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
Somogyi, J., Baude, A., Omori, Y., Shimizu, H., El Mestikawy, S., Fukaya, M., … Somogyi, P. (2004). GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat. European Journal of Neuroscience, 19(3), 552–569. https://doi.org/10.1111/j.0953-816X.2003.03091.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
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. https://doi.org/10.1002/cne.11039
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
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. https://doi.org/10.1523/JNEUROSCI.5641-03.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti, F., Cobden, P., Pollard, M., Cope, D., Shigemoto, R., Watanabe, M., & Somogyi, P. (2004). Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus, 14(2), 193–215. https://doi.org/10.1002/hipo.10163
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
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. https://doi.org/10.1002/cne.20160
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
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. https://doi.org/10.1111/j.0953-816X.2004.03394.x
View | DOI
 

Search

Filter Publications