Please note that ISTA 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.

1752 Publications


2005 | Published | Journal Article | IST-REx-ID: 3418
Janovjak HL, Struckmeier J, Mueller D. 2005. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 34(1), 91–96.
View | DOI
 

2005 | Published | 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 | Published | 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. IWDC: International Workshop on Distributed Computing , LNCS, vol. 3326, 89–102.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 3916
Schrempf A, Heinze J, Cremer S. 2005. Sexual cooperation: mating increases longevity in ant queens. Current Biology. 15(3), 267–270.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 11762 | OA
Henzinger MH. 2004. Algorithmic challenges in web search engines. Internet Mathematics. 1(1), 115–123.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 11800
Henzinger MH. 2004. The past, present, and future of web search engines. 31st International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 3142, 3.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11801
Henzinger MH. 2004. Algorithmic aspects of web search engines. 2th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 3221, 3.
View | DOI
 

2004 | Published | 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.
View | DOI | Download (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 2639
Somogyi J, Baude A, Omori Y, Shimizu H, El Mestikawy S, Fukaya M, Shigemoto R, Watanabe 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.
View | DOI
 

2004 | Published | 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.
View | DOI
 

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

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking. In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming with logical execution times. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2993, 167–170.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.
View | DOI
 

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

2004 | Published | Journal Article | IST-REx-ID: 17728 | OA
Dijkstra M, Haiman Z, Rees MJ, Weinberg DH. 2004. Photoionization feedback in low‐mass galaxies at high redshift. The Astrophysical Journal. 601(2), 666–675.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17743 | OA
Haiman Z, Quataert E, Bower GC. 2004. Modeling the counts of faint radio‐loud quasars: Constraints on the supermassive black hole population and predictions for high redshift. The Astrophysical Journal. 612(2), 698–705.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17763 | OA
Haiman Z. 2004. Constraints from gravitational recoil on the growth of supermassive black holes at high redshift. The Astrophysical Journal. 613(1), 36–40.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17775 | OA
Haiman Z, Ciotti L, Ostriker JP. 2004. Reasoning from fossils: Learning from the local black hole population about the evolution of quasars. The Astrophysical Journal. 606(2), 763–773.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed