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.

11361 Publications


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: 4478
Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems. LCTES: Languages, Compilers, and Tools for Embedded Systems, 64–72.
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: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. 2001. A reusable and platform-independent framework for distributed control systems. Proceedings of the 20th Digital Avionics Systems Conference. DASC: Digital Avionics Systems Conference, 1–11.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11683
Henzinger M, Rao S, Gabow HN. 2000. Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. 34(2), 222–250.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11685
Henzinger M, Heydon A, Mitzenmacher M, Najork M. 2000. On near-uniform URL sampling. Computer Networks. 33(1–6), 295–308.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11694
Albers S, Henzinger M. 2000. Exploring unknown environments. SIAM Journal on Computing. 29(4), 1164–1188.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11770 | OA
Bharat K, Broder A, Dean J, Henzinger M. 2000. A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. 51(12), 1114–1122.
[Published Version] View | DOI | Download Published Version (ext.)
 

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 | Book Chapter | IST-REx-ID: 2710
Erdös L. 2000.The kernel of Dirac operators on S3 and R3. In: Differential Equations and Mathematical Physics. AMS/IP Studies in Advanced Mathematics, vol. 16, 111–119.
[Preprint] View | DOI | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 2731
Erdös L, Yau H. 2000. Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. 53(6), 667–735.
[Preprint] View | DOI | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 2732
Castella F, Erdös L, Frommlet F, Markowich P. 2000. Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. 100(3–4), 543–601.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 2733
Erdös L, Loss M, Vougalter V. 2000. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 50(3), 891–907.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 3149 | OA
Hwang J, Siekhaus DE, Fuller R, Taghert P, Lindberg I. 2000. Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry. 275(23), 17886–17893.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 17813 | OA
Cen R, Haiman Z. 2000. Quasar Strömgren spheres before cosmological reionization. The Astrophysical Journal. 542(2), L75–L78.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 17814 | OA
Haiman Z, Abel T, Rees MJ. 2000. The radiative feedback of the first cosmological objects. The Astrophysical Journal. 534(1), 11–24.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 17817 | OA
Aguirre A, Haiman Z. 2000. Cosmological constant or intergalactic dust? Constraints from the cosmic far‐infrared background. The Astrophysical Journal. 532(1), 28–36.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed