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.

1966 Publications


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 | Journal Article | IST-REx-ID: 2984 | OA
Swarup R, Friml J, Marchant A, Ljung K, Sandberg G, Palme K, Bennett M. 2001. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 15(20), 2648–2653.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
 

2001 | Published | Journal Article | IST-REx-ID: 3928 | OA
Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. 2001. Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 276(22), 18878–18887.
[Published Version] View | DOI | Download Published Version (ext.) | 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 | Journal Article | IST-REx-ID: 8524
Kaloshin V, Rodnianski I. 2001. Diophantine properties of elements of SO(3). Geometric And Functional Analysis. 11(5), 953–970.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 13437
Macogonkosza M, Przyborowski J, Klajn R, Kwast A. 2000. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000(12), 1773–1774.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 1455 | OA
Hausel T, Makai E, Szücs A. 2000. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 47(1–2), 371–397.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Published | Conference Paper | IST-REx-ID: 11802
Henzinger M. 2000. Web information retrieval - an algorithmic perspective. 8th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 1879, 1–8.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11893
Henzinger M. 2000. Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. 29(6), 1761–1815.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 17823 | OA
Fan X, White RL, Davis M, Becker RH, Strauss MA, Haiman Z, Schneider DP, Gregg MD, Gunn JE, Knapp GR, Lupton RH, Anderson, Jr. JE, Anderson SF, Annis J, Bahcall NA, Boroski WN, Brunner RJ, Chen B, Connolly AJ, Csabai I, Doi M, Fukugita M, Hennessy GS, Hindsley RB, Ichikawa T, Ivezić Ž, Loveday J, Meiksin A, McKay TA, Munn JA, Newberg HJ, Nichol R, Okamura S, Pier JR, Sekiguchi M, Shimasaku K, Stoughton C, Szalay AS, Szokoly GP, Thakar AR, Vogeley MS, York DG. 2000. The Discovery of a Luminous z = 5.80 Quasar from the Sloan Digital Sky Survey. The Astronomical Journal. 120(3), 1167–1174.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed