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.

138 Publications


2005 | Journal Article | IST-REx-ID: 2656
Feng, Y., Li, Y., Wang, W., Wu, S., Chen, T., Shigemoto, R., & Mizuno, N. (2005). Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/j.neulet.2005.06.068
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2658
Kaneda, K., Tachibana, Y., Imanishi, M., Kita, H., Shigemoto, R., Nambu, A., & Takada, M. (2005). Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2005.04488.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2743
Erdös, L., Hasler, D., & Solovej, J. (2005). Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-005-0205-0
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2744
Eng, D., & Erdös, L. (2005). The linear Boltzmann equation as the low density limit of a random Schrödinger equation. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X0500242X
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2788
Hof, B., Van Doorne, C., Westerweel, J., & Nieuwstadt, F. (2005). Turbulence regeneration in pipe flow at moderate reynolds numbers. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.95.214502
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2789
Hof, B. (2005). Transition to turbulence in pipe flow. Fluid Mechanics and Its Applications. Springer. https://doi.org/10.1007/1-4020-4049-0_12
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2790
Hof, B., Juel, A., & Mullin, T. (2005). Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/S0022112005006762
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2867 | OA
Weijers, D., Benková, E., Jäger, K., Schlereth, A., Hamann, T., Kientz, M., … Jürgens, G. (2005). Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/sj.emboj.7600659
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro, J., Paixao, T., Milutinovic, D., Sousa, J., Leon, K., Gardner, R., & Faro, J. (2005). Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. Elsevier. https://doi.org/10.1016/j.cam.2004.10.025
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels, T. P., & Abbott, L. F. (2005). Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.3508-05.2005
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels, T. P., Rajan, K., & Abbott, L. F. (2005). Neural network dynamics. Annual Review of Neuroscience. Annual Reviews. https://doi.org/10.1146/annurev.neuro.28.061604.135637
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky, L., Kondrashov, F., & Kondrashov, A. (2005). Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddi350
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. Springer Nature. 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. American Chemical Society. https://doi.org/10.1021/ja051306e
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. Elsevier. https://doi.org/10.1016/j.jfa.2004.09.006
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
Kondrashov, F. (2005). The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. Pleiades Publishing.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
Kondrashov, F. (2005). In search of the limits of evolution. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng0105-9
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
Kondrashov, F. (2005). The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. Pleiades Publishing.
View | Download None (ext.) | PubMed | Europe PMC
 

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

2005 | Journal Article | IST-REx-ID: 1740
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Katsaros, G., Songmuang, R., … Kern, K. (2005). Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. Elsevier. https://doi.org/10.1016/j.jcrysgro.2004.12.047
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Denker, U., Rastelli, A., Stoffel, M., Tersoff, J., Katsaros, G., Costantini, G., … Schmidt, O. (2005). Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.94.216103
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Katsaros, G., Costantini, G., Stoffel, M., Esteban, R., Bittner, A., Rastelli, A., … Kern, K. (2005). Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.72.195320
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong, Z., Katsaros, G., Stoffel, M., Costantini, G., Kern, K., Schmidt, O., … Bauer, G. (2005). Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.2150278
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Katsaros, G., Darwazeh, I., & Lane, P. (2005). Non linear transmission effects in duobinary and dicode optical systems. IEE Proceedings - Optoelectronics. Institute of Electrical Engineers. https://doi.org/10.1049/ip-opt:20045067
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Siegert, S., Thaler, S., Wagner, R., & Schnierle, B. (2005). Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors. AIDS Research and Therapy. BioMed Central. https://doi.org/10.1186/1742-6405-2-7
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1962
Hinchliffe, P., & Sazanov, L. A. (2005). Biochemistry: Organization of iron-sulfur clusters in respiratory complex I. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1113988
View | DOI
 

2005 | Book | IST-REx-ID: 210
Davenport, H., & Browning, T. D. (2005). Analytic methods for diophantine equations and diophantine inequalities. Analytic methods for diophantine equations and diophantine inequalities (pp. 1–140). Cambridge University Press. https://doi.org/10.1017/CBO9780511542893
View | DOI
 

2005 | Journal Article | IST-REx-ID: 211
Browning, T. D. (2005). Equal sums of like polynomials. Bulletin of the London Mathematical Society. John Wiley and Sons Ltd. https://doi.org/10.1112/S0024609305004741
View | DOI
 

2005 | Journal Article | IST-REx-ID: 212 | OA
Browning, T. D., & Heath Brown, R. (2005). Counting rational points on hypersurfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter and Co . https://doi.org/10.1515/crll.2005.2005.584.83
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 214 | OA
Browning, T. D., & Heath Brown, R. (2005). Plane curves in boxes and equal sums of two powers. Mathematische Zeitschrift. Unknown. https://doi.org/10.1007/s00209-004-0719-z
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 217
Browning, T. D. (2005). The density of rational points on a certain singular cubic surface. Journal of Number Theory. Elsevier. https://doi.org/10.1016/j.jnt.2005.11.007
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE. https://doi.org/ 10.1109/QELS.2005.1548783
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
de Bono, M., & Villu Maricq, A. (2005). Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. Annual Reviews. https://doi.org/10.1146/annurev.neuro.27.070203.144259
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung, B. H. H., Cohen, M., Rogers, C., Albayram, O., & de Bono, M. (2005). Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2005.04.017
View | DOI | PubMed | Europe PMC
 

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. Society for Neuroscience. 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. Central European Science Journals. 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. Elsevier. https://doi.org/10.1016/j.top.2004.04.002
View | DOI | Download (ext.)
 

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. Nature Publishing Group. https://doi.org/10.1038/nature03306
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. Wiley. https://doi.org/10.1002/syn.20177
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. Biophysical Society. https://doi.org/10.1529/biophysj.104.052746
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim, N., Atwal, G., Tkačik, G., & Bialek, W. (2005). Information-based clustering. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0507432102
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim, N., Atwal, G., Tkačik, 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. National Academy of Sciences. https://doi.org/10.1073/pnas.0503311102
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. Springer. https://doi.org/10.1007/s00371-005-0296-0
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. Elsevier. 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: 3915
De Menten, L., Cremer, S., Heinze, J., & Aron, S. (2005). Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. Elsevier. https://doi.org/10.1016/j.anbehav.2004.09.005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Schrempf, A., Heinze, J., & Cremer, S. (2005). Sexual cooperation: mating increases longevity in ant queens. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2005.01.036
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt, M. K., Kanazawa, N., Selg, M., Samson, T., Roos, G., Reinhardt, D., … Sorokin, L. (2005). The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2004.11.013
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Wang, Y., Agarwal, P., Brown, P., Edelsbrunner, H., & Rudolph, J. (2005). Coarse and reliable geometric alignment for protein docking (pp. 64–75). Presented at the PSB: Pacific Symposium on Biocomputing, World Scientific Publishing. https://doi.org/10.1142/9789812702456_0007
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn, J., Parks, J., Buhrman, G., Brown, P., Kristjánsdóttir, K., Safi, A., … Rudolph, J. (2005). Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. ACS. https://doi.org/10.1021/bi0516879
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton, N. H., & Polechova, J. (2005). The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. Wiley-Blackwell. https://doi.org/10.1111/j.1420-9101.2005.00943.x
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. Cell Press. 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. Company of Biologists. 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, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
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. Company of Biologists. 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. Elsevier. https://doi.org/10.1016/j.mod.2005.06.010
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova, J., & Barton, N. H. (2005). Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton, N. H., & Otto, S. (2005). Evolution of recombination due to random drift. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.104.032821
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson, T., & Barton, N. H. (2005). Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2005.1667
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski, A., & Wies, T. (2005). Boolean Heaps (pp. 267–282). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1550
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur, R., Cerny, P., Madhusudan, P., & Nam, W. (2005). Synthesis of interface specifications for Java classes (pp. 98–109). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic, S., & Henzinger, T. A. (2005). Trading end-to-end latency for composability (pp. 99–110). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/RTSS.2005.43
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, C., Sanvido, M., & Henzinger, T. A. (2005). A programmable microkernel for real-time systems (pp. 35–45). Presented at the VEE: Virtual Execution Environments, ACM. https://doi.org/10.1145/1064979.1064986
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, T. A., Majumdar, R., & Raskin, J. (2005). A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1042038.1042039
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, T. A., Majumdar, R., & Prabhu, V. (2005). Quantifying similarities between timed systems (Vol. 3829, pp. 226–241). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11603009_18
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Permissive interfaces (pp. 31–40). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1081706.1081713
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, T. A., Kirsch, C., & Matic, S. (2005). Composable code generation for distributed Giotto (pp. 21–30). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/1065910.1065914
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen, L., Henzinger, T. A., & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/DOI: 10.1007/11603009_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, K., & Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11590156_1
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/11523468_71
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2005.26
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, K., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM. https://doi.org/10.1145/1060745.1060770
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe, P., Kleine Vehn, J., & Friml, J. (2005). Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. Springer. https://doi.org/10.1007/s00709-005-0104-8
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek, T., Zažímalová, E., Ruthardt, N., Petrášek, J., Stierhof, Y., Kleine Vehn, J., … Friml, J. (2005). Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. Nature Publishing Group. https://doi.org/10.1038/nature03633
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten, A., Vanneste, S., Wiśniewska, J., Benková, E., Benjamins, R., Beeckman, T., … Friml, J. (2005). Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. Company of Biologists. https://doi.org/10.1242/dev.02027
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers, D., Sauer, M., Meurette, O., Friml, J., Ljung, K., Sandberg, G., … Offringa, R. (2005). Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.105.034637
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal, A., Sokolova, O., Robins, D., Daugherty, K., Hippenmeyer, S., Riezman, H., … Goode, B. (2005). Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb870
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer, S., Vrieseling, E., Sigrist, M., Portmann, T., Laengle, C., Ladle, D., & Arber, S. (2005). A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.0030159
View | DOI
 

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. Biophysical Society. 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. Wiley-Blackwell. 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. Springer. https://doi.org/10.1007/s00249-004-0430-3
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications