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.

6113 Publications


2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
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.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak HL, Mueller D, Humphris A. 2005. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 88(2), 1423–1431.
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. 102(51), 18297–18302.
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, 1–11, .
View | Download (ext.)
 

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

2005 | Journal Article | IST-REx-ID: 3763
Shi L, Yu Y, Wojtan CJ, Chenney S. 2005. Controllable motion synthesis in a gaseous medium. The Visual Computer. 21(7), 474–487.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel D, Jonas PM. 2005. Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. 45(3), 405–17.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3612
Davison A, Chiba S, Barton NH, Clarke B. 2005. Speciation and gene flow between snails of opposing chirality. PLoS Biology. 3(9).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Gardner M, Fowler K, Barton NH, Patridge L. 2005. Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. 169(3), 1553–1571.
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. CBDAR: Camera Based Document Analysis and Recognition , 79–86.
View | Download (ext.)
 

2005 | Book Review | IST-REx-ID: 3812
Hefft S, Jonas PM. 2005. Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. 8(10), 1319–28.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3689
Ulges A, Lampert C, Breuel T. 2005. Document image dewarping using robust estimation of curled text lines. ICDAR: International Conference on Document Analysis and Recognition, Document Analysis and Recognition, vol. 2, 1001–1005.
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.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Games with secure equilibria. FMCO: Formal Methods for Components and Objects, LNCS, vol. 3657, 141–161.
View | DOI
 

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

Search

Filter Publications