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


2002 | Published | Conference Paper | IST-REx-ID: 2927
Kolmogorov V, Zabih R. 2002. Multi-camera scene reconstruction via graph cuts. Proceedings of the 7th European Conference on Computer Vision. ECCV: European Conference on Computer Vision, 65–81.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 2988
Grebe M, Friml J, Swarup R, Ljung K, Sandberg G, Terlou M, Palme K, Bennett M, Scheres B. 2002. Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. 12(4), 329–334.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3421
Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. 2002. Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. 79(1–3), 1–43.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3497
Geiger J, Bischofberger J, Vida I, Fröbe U, Pfitzinger S, Weber H, Haverkampf K, Jonas PM. 2002. Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. 443(3), 491–501.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3799 | OA
Lien C, Martina M, Schultz J, Ehmke H, Jonas PM. 2002. Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. 538(Pt 2), 405–419.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3800 | OA
Bartos M, Vida I, Frotscher M, Meyer A, Monyer H, Geiger J, Jonas PM. 2002. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 99(20), 13222–13227.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126, 307–314.
View | DOI | Download None (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner B, Seiringer R. 2001. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2(1), 41–76.
View | DOI | Download None (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2348 | OA
Hainzl C, Seiringer R. 2001. A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. 217(1), 229–248.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2611
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 2001. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 108(1), 157–166.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. 2001. Dynamic skin triangulation. Proceedings of the 12th annual ACM-SIAM symposium on Discrete algorithms. SODA: Symposium on Discrete Algorithms, 47–56.
View | Download None (ext.)
 

2001 | Published | Journal Article | IST-REx-ID: 4007
Cheng H, Dey T, Edelsbrunner H, Sullivan J. 2001. Dynamic skin triangulation. Discrete & Computational Geometry. 25(4), 525–568.
View | DOI
 

2001 | Published | Conference (Editor) | IST-REx-ID: 4449
Henzinger TA ed. 2001. EMSOFT: Embedded Software, ACM,p.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. Proceedings of the 4th International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034, 275–290.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch C, Majumdar R, Mang F, Wang B. 2001. jMocha: A model-checking tool that exploits design structure. Proceedings of the 23rd International Conference on Software Engineering. ICSE: Software Engineering, 835–836.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 148–165.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. 2001. Compositional methods for probabilistic systems. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 351–365.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. 2001. Symbolic algorithms for infinite-state games. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 536–550.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. 2001. The control of synchronous systems, Part II. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 566–581.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed