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.
11069 Publications
2006 | Published | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field constraint analysis. 7th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 3855, 157–173.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. 2006. Real time temporal logic: Past, present, future. Third International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 2–16.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4235
de Vladar H, González J. 2006. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 240(1), 162–163.
View
| Files available
| DOI
2005 | Published | Journal Article | IST-REx-ID: 13431
Smoukov SK, Bishop KJM, Klajn R, Campbell CJ, Grzybowski BA. 2005. Cutting into solids with micropatterned gels. Advanced Materials. 17(11), 1361–1365.
View
| DOI
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 13432
Campbell CJ, Klajn R, Fialkowski M, Grzybowski BA. 2005. One-step multilevel microfabrication by reaction−diffusion. Langmuir. 21(1), 418–423.
View
| DOI
| PubMed | Europe PMC
2005 | Published | Book Chapter | IST-REx-ID: 1444 | 
Hausel T. 2005.Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In: Geometric Methods in Algebra and Number Theory. Progress in Mathematics, vol. 235, 193–217.
View
| DOI
| Download (ext.)
2005 | Published | Journal Article | IST-REx-ID: 1447 |
Hausel T. 2005. Quaternionic geometry of matroids. Open Mathematics. 3(1), 26–38.
View
| DOI
| Download (ext.)
2005 | Published | Journal Article | IST-REx-ID: 1463 |
Hausel T, Proudfoot N. 2005. Abelianization for hyperkähler quotients. Topology. 44(1), 231–248.
View
| DOI
| Download (ext.)
2005 | Published | Journal Article | IST-REx-ID: 11120
Hetzer M, Walther TC, Mattaj IW. 2005. Pushing the envelope: Structure, function, and dynamics of the nuclear periphery. Annual Review of Cell and Developmental Biology. 21, 347–380.
View
| DOI
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 11763 |
Goel A, Henzinger M, Plotkin S. 2005. An online throughput-competitive algorithm for multicast routing and admission control. Journal of Algorithms. 55(1), 1–20.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 11904
Henzinger M, Chang B-W, Milch B, Brin S. 2005. Query-free news search. World Wide Web. 8(2), 101–126.
View
| Files available
| DOI