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.

109 Publications

2003 | Thesis | IST-REx-ID: 4416
Majumdar R. 2003. Symbolic algorithms for verification and control, University of California, Berkeley,p.

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619. 49–64.
View | DOI

2003 | Journal Article | IST-REx-ID: 576
Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. 2003. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 36(12), 2455–2463.
View | DOI

2003 | Journal Article | IST-REx-ID: 6157
de Bono M. 2003. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 54(1), 78–92.
View | DOI | PubMed | Europe PMC

2003 | Journal Article | IST-REx-ID: 166   OA
Browning TD, Swarbick Jones M. 2003. Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn session in analytic number theory and diophantine equations. 360.
View | Download (ext.) | arXiv

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed