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.

6016 Publications


2005 | Journal Article | IST-REx-ID: 843
L. Yampolsky, F. Kondrashov, and A. Kondrashov, “Distribution of the strength of selection against amino acid replacements in human proteins,” Human Molecular Genetics, vol. 14, no. 21, pp. 3191–3201, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
F. Kondrashov, “The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution,” Biofizika, vol. 50, no. 3, pp. 389–395, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
F. Kondrashov, “In search of the limits of evolution,” Nature Genetics, vol. 37, no. 1, pp. 9–10, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
F. Kondrashov, “The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus,” Biofizika, vol. 50, no. 3, pp. 396–403, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 882
F. Kondrashov, “Prediction of pathogenic mutations in mitochondrially encoded human tRNAs,” Human Molecular Genetics, vol. 14, no. 16, pp. 2415–2419, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 893
I. Jordan et al., “A universal trend of amino acid gain and loss in protein evolution,” Nature, vol. 433, no. 7026, pp. 633–638, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1298
D. Reiff et al., “In vivo performance of genetically encoded indicators of neural activity in flies,” Journal of Neuroscience, vol. 25, no. 19, pp. 4766–4778, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
T. Hausel, “Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve,” in Geometric Methods in Algebra and Number Theory, vol. 235, Springer, 2005, pp. 193–217.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
T. Hausel, “Quaternionic geometry of matroids,” Open Mathematics, vol. 3, no. 1, pp. 26–38, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
T. Hausel and N. Proudfoot, “Abelianization for hyperkähler quotients,” Topology, vol. 44, no. 1, pp. 231–248, 2005.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3175
C. Rother, S. Kumar, V. Kolmogorov, and A. Blake, “Digital tapestry,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, vol. 1, pp. 589–596.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, and C. Rother, “Bi-layer segmentation of binocular stereo video,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, pp. 1186–1186.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 3182
V. Kolmogorov and Y. Boykov, “What metrics can be approximated by geo cuts or global optimization of length area and flux,” presented at the ICCV: International Conference on Computer Vision, 2005, vol. 1, pp. 564–571.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, and C. Rother, “Bi-layer segmentation of binocular stereo video,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, vol. 2, pp. 407–414.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
M. Bellare, K. Z. Pietrzak, and P. Rogaway, “Improved security analyses for CBC MACs,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 527–545.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Y. Dodis, R. Oliveira, and K. Z. Pietrzak, “On the generic insecurity of the full domain hash,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 449–466.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
K. Z. Pietrzak, “Composition does not imply adaptive security,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 55–65.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
H. L. Janovjak, T. Sapra, and D. Mueller, “Complex stability of single proteins explored by forced unfolding experiments,” Biophysical Journal, vol. 88, no. 5, pp. 37–39, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
M. Kuhn, H. L. Janovjak, M. Hubain, and D. Mueller, “Automated alignment and pattern recognition of single-molecule force spectroscopy data,” Journal of Microscopy, vol. 218, no. 2, pp. 125–132, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
H. L. Janovjak, J. Struckmeier, and D. Mueller, “Hydrodynamic effects in fast AFM single molecule force measurements,” European Biophysics Journal, vol. 34, no. 1, pp. 91–96, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
J. P. Bollback, “Posterior mapping and posterior predictive distributions,” in Statistical methods in Molecular Evolution, R. Nielsen, Ed. Springer, 2005, pp. 439–462.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
T. Klausberger et al., “Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations,” Journal of Neuroscience, vol. 25, no. 42, pp. 9782–9793, 2005.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509
S. Williams, H. Edelsbrunner, and P. Fu, “Methods, apparatus and computer program products for modeling three-dimensional colored objects.” Elsevier, 2005.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
H. Edelsbrunner, “Surface tiling with differential topology,” presented at the SGP: Eurographics Symposium on Geometry processing, 2005, pp. 9–11.
View | DOI | Download (ext.)
 

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

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

2005 | Journal Article | IST-REx-ID: 3611
B. Nürnberger, N. H. Barton, L. Kruuk, and T. Vines, “Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes,” Heredity, vol. 94, no. 2, pp. 247–257, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3612
A. Davison, S. Chiba, N. H. Barton, and B. Clarke, “Speciation and gene flow between snails of opposing chirality,” PLoS Biology, vol. 3, no. 9, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
M. Gardner, K. Fowler, N. H. Barton, and L. Patridge, “Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns,” Genetics, vol. 169, no. 3, pp. 1553–1571, 2005.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 3689
A. Ulges, C. Lampert, and T. Breuel, “Document image dewarping using robust estimation of curled text lines,” presented at the ICDAR: International Conference on Document Analysis and Recognition, 2005, vol. 2, pp. 1001–1005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3691
C. Lampert, “Boundary regularity of admissible operators,” Publicacions Matemàtiques, vol. 49, no. 1, pp. 179–195, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
H. L. Janovjak, D. Mueller, and A. Humphris, “Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins,” Biophysical Journal, vol. 88, no. 2, pp. 1423–1431, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
N. Slonim, G. Atwal, G. Tkacik, and W. Bialek, “Information-based clustering,” PNAS, vol. 102, no. 51, pp. 18297–18302, 2005.
View | DOI | Download (ext.)
 

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

2005 | Journal Article | IST-REx-ID: 3753
T. Le et al., “Real-time RNA profiling within a single bacterium,” PNAS, vol. 102, no. 26, pp. 9160–9164, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
D. Engel and P. M. Jonas, “Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons,” Neuron, vol. 45, no. 3, pp. 405–17, 2005.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
S. Hefft and P. M. Jonas, “Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review),” Nature Neuroscience, vol. 8, no. 10. Nature Publishing Group, pp. 1319–28, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” presented at the FMCO: Formal Methods for Components and Objects, 2005, vol. 3657, pp. 141–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
K. Chatterjee, “Two-player nonzero-sum ω-regular games,” presented at the CONCUR: Concurrency Theory, 2005, vol. 3653, pp. 413–427.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Complexity of compositional model checking of computation tree logic on simple structures,” presented at the IWDC: International Workshop on Distributed Computing , 2005, vol. 3326, pp. 89–102.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3426 | OA
M. T. Bollenbach, K. Kruse, P. Pantazis, M. González Gaitán, and F. Jülicher, “Robust formation of morphogen gradients,” Physical Review Letters, vol. 94, no. 1, 2005.
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3589
M. Köppen and C.-P. J. Heisenberg, “Cleavage and gastrulation in zebrafish embryos,” in Encyclopedia of Life Sciences, Wiley-Blackwell, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3588
I. Castanon Ortega and C.-P. J. Heisenberg, “Cell migration during zebrafish gastrulation,” in Cell Migration in Development and Disease, D. Wedlich, Ed. Wiley-VCH, 2005, pp. 71–105.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
J. Guzmán, Z. Gerevich, J. Hengstler, P. Illes, and W. Kleemann, “P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.,” Synapse, vol. 57, no. 4, pp. 235–238, 2005.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
I. Castanon Ortega and C.-P. J. Heisenberg, “A stern view of gastrulation,” Nature Cell Biology, vol. 7, no. 1. Nature Publishing Group, pp. 19–19, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
L. Shi, Y. Yu, C. J. Wojtan, and S. Chenney, “Controllable motion synthesis in a gaseous medium,” The Visual Computer, vol. 21, no. 7, pp. 474–487, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
F. Ulrich et al., “Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin,” Developmental Cell, vol. 9, no. 4, pp. 555–564, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, and C.-P. J. Heisenberg, “Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy,” Journal of Cell Science, vol. 118, no. 18, pp. 4199–4206, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
W. Norton et al., “Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones,” Development, vol. 132, no. 4, pp. 645–658, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, and C.-P. J. Heisenberg, “Shield formation at the onset of zebrafish gastrulation,” Development, vol. 132, no. 6, pp. 1187–1198, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C.-P. J. Heisenberg, “Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure,” Mechanisms of Development, vol. 122, no. Supplement 1, pp. S112–S113, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
J. Bourgain and V. Kaloshin, “On diffusion in high-dimensional Hamiltonian systems,” Journal of Functional Analysis, vol. 229, no. 1, pp. 1–61, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
P. Schanda, Ē. Kupče, and B. Brutscher, “SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds,” Journal of Biomolecular NMR, vol. 33, no. 4, pp. 199–211, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
P. Schanda and B. Brutscher, “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, vol. 127, no. 22, pp. 8014–8015, 2005.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
T. D. Browning and R. Heath Brown, “Equal sums of three powers,” Inventiones Mathematicae, vol. 157, no. 3, pp. 553–573, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
G. Novarino et al., “Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity,” Journal of Neuroscience, vol. 24, no. 23, pp. 5322–5330, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
É. Lieb and R. Seiringer, “ Equivalent forms of the Bessis-Moussa-Villani conjecture,” Journal of Statistical Physics, vol. 115, no. 1–2, pp. 185–190, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional behavior of dilute, trapped Bose gases,” Communications in Mathematical Physics, vol. 244, no. 2, pp. 347–393, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, and J. Yngvason, “Bose-Einstein quantum phase transition in an optical lattice model,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 70, no. 2, pp. 023612-1-0236121-2, 2004.
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
L. Lovász, K. Vesztergombi, U. Wagner, and E. Welzl, “Convex quadrilaterals and k-sets ,” in Towards a Theory of Geometric Graphs, vol. 342, J. Pach, Ed. American Mathematical Society, 2004, pp. 139–148.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
J. Matoušek and U. Wagner, “New constructions of weak ε-nets,” Discrete & Computational Geometry, vol. 32, no. 2, pp. 195–206, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
J. Giesen and U. Wagner, “Shape dimension and intrinsic metric from samples of manifolds,” Discrete & Computational Geometry, vol. 32, no. 2, pp. 245–267, 2004.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
M. Sauer and J. Friml, “The Matryoshka dolls of plant polarity,” Development, vol. 131, no. 23. Company of Biologists, pp. 5774–5775, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
M. Santis, D. Schmid, M. Ruge, S. A. Freunberger, and F. N. Büchi, “Modular stack-internal air humidification concept-verification in a 1 kW stack,” Fuel Cells, vol. 4, no. 3, pp. 214–218, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA International Journal for Chemistry, vol. 58, no. 12, pp. 857–868, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
A. Brunet et al., “Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase,” Science, vol. 303, no. 5666, pp. 2011–2015, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
J. Heinze, A. Böttcher, and S. Cremer, “Production of winged and wingless males in the ant, Cardiocondyla minutior,” Insectes Sociaux, vol. 51, no. 3, pp. 275–278, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
V. Witte et al., “HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane,” Molecular Cell, vol. 13, no. 2, pp. 179–190, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
H. Zhang, S. Baader, M. K. Sixt, J. Kappler, and U. Rauch, “Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells,” Journal of Histochemistry and Cytochemistry, vol. 52, no. 7, pp. 915–922, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A topological hierarchy for functions on triangulated surfaces,” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 4, pp. 385–396, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Loops in Reeb graphs of 2-manifolds,” Discrete & Computational Geometry, vol. 32, no. 2, pp. 231–244, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
R. Bryant, H. Edelsbrunner, P. Koehl, and M. Levitt, “The area derivative of a space-filling diagram,” Discrete & Computational Geometry, vol. 32, no. 3, pp. 293–308, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
V. Natarajan and H. Edelsbrunner, “Simplification of three-dimensional density maps,” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 5, pp. 587–597, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
V. Choi, P. Agarwal, H. Edelsbrunner, and J. Rudolph, “Local search heuristic for rigid protein docking,” presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, 2004, vol. 3240, pp. 218–229.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Local and global comparison of continuous functions,” presented at the VIS: IEEE Visualization, 2004, pp. 275–280.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” Discrete & Computational Geometry, vol. 32, no. 1, pp. 37–53, 2004.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
H. Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “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, A. Hanslmeier, S. Kempe, and J. Seckbach, Eds. Springer, 2004, pp. 83–87.
View
 

2004 | Book Chapter | IST-REx-ID: 4239
H. Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “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, vol. 7, J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, Eds. Springer, 2004, pp. 83–87.
View | DOI
 

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

2004 | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” Information and Computation, vol. 194, no. 2, pp. 144–174, 2004.
View | DOI
 

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

2004 | Conference Paper | IST-REx-ID: 4577
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Book Review | IST-REx-ID: 2636
A. Momiyama and R. Shigemoto, “Function and distribution of glutamate receptors in the central synapses,” Tanpakushitsu kakusan koso Protein nucleic acid enzyme, vol. 49, no. 3 Suppl. Kyoritsu Shuppan, pp. 287–294, 2004.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Á. Kulik et al., “Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum,” European Journal of Neuroscience, vol. 19, no. 8, pp. 2169–2178, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
J. Somogyi et al., “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, vol. 19, no. 3, pp. 552–569, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
T. Notomi and R. Shigemoto, “Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain,” Journal of Comparative Neurology, vol. 471, no. 3, pp. 241–276, 2004.
View | DOI
 

Search

Filter Publications