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.
10945 Publications
2006 | Published | Conference Paper | IST-REx-ID: 4373
Real time temporal logic: Past, present, future
O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.
2006 | Published | Conference Paper | IST-REx-ID: 4374
From MITL to timed automata
O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.
2006 | Published | Journal Article | IST-REx-ID: 4235
Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology 240 (2006) 162–163.
View
| Files available
| DOI
H. de Vladar, J. González, Journal of Theoretical Biology 240 (2006) 162–163.
2006 | Published | Journal Article | IST-REx-ID: 4237
Density-dependence as a size-independent regulatory mechanism
H. de Vladar, Journal of Theoretical Biology 238 (2006) 245–256.
View
| DOI
| arXiv
H. de Vladar, Journal of Theoretical Biology 238 (2006) 245–256.
2006 | Published | Journal Article | IST-REx-ID: 4345
Bibliothek 2.0 - Die Bibliothek der Zukunft?
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.
View
| DOI
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.
2005 | Published | Journal Article | IST-REx-ID: 13431
Cutting into solids with micropatterned gels
S.K. Smoukov, K.J.M. Bishop, R. Klajn, C.J. Campbell, B.A. Grzybowski, Advanced Materials 17 (2005) 1361–1365.
View
| DOI
| PubMed | Europe PMC
S.K. Smoukov, K.J.M. Bishop, R. Klajn, C.J. Campbell, B.A. Grzybowski, Advanced Materials 17 (2005) 1361–1365.
2005 | Published | Journal Article | IST-REx-ID: 13432
One-step multilevel microfabrication by reaction−diffusion
C.J. Campbell, R. Klajn, M. Fialkowski, B.A. Grzybowski, Langmuir 21 (2005) 418–423.
View
| DOI
| PubMed | Europe PMC
C.J. Campbell, R. Klajn, M. Fialkowski, B.A. Grzybowski, Langmuir 21 (2005) 418–423.
2005 | Published | Journal Article | IST-REx-ID: 13433
Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers
D. Witt, R. Klajn, P. Barski, B. Grzybowski, Current Organic Chemistry 8 (2005) 1763–1797.
View
| DOI
D. Witt, R. Klajn, P. Barski, B. Grzybowski, Current Organic Chemistry 8 (2005) 1763–1797.
2005 | Published | Book Chapter | IST-REx-ID: 1444 | 
Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
View
| DOI
| Download (ext.)
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
2005 | Published | Journal Article | IST-REx-ID: 1447 |
Quaternionic geometry of matroids
T. Hausel, Open Mathematics 3 (2005) 26–38.
View
| DOI
| Download (ext.)
T. Hausel, Open Mathematics 3 (2005) 26–38.
2005 | Published | Journal Article | IST-REx-ID: 1463 |
Abelianization for hyperkähler quotients
T. Hausel, N. Proudfoot, Topology 44 (2005) 231–248.
View
| DOI
| Download (ext.)
T. Hausel, N. Proudfoot, Topology 44 (2005) 231–248.
2005 | Published | Journal Article | IST-REx-ID: 11120
Pushing the envelope: Structure, function, and dynamics of the nuclear periphery
M. Hetzer, T.C. Walther, I.W. Mattaj, Annual Review of Cell and Developmental Biology 21 (2005) 347–380.
View
| DOI
| PubMed | Europe PMC
M. Hetzer, T.C. Walther, I.W. Mattaj, Annual Review of Cell and Developmental Biology 21 (2005) 347–380.
2005 | Published | Conference Paper | IST-REx-ID: 11698
Hyperlink analysis on the world wide web
M. Henzinger, in:, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, Association for Computing Machinery, 2005, pp. 1–3.
View
| DOI
M. Henzinger, in:, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, Association for Computing Machinery, 2005, pp. 1–3.
2005 | Published | Journal Article | IST-REx-ID: 11763 |
An online throughput-competitive algorithm for multicast routing and admission control
A. Goel, M. Henzinger, S. Plotkin, Journal of Algorithms 55 (2005) 1–20.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Goel, M. Henzinger, S. Plotkin, Journal of Algorithms 55 (2005) 1–20.
2005 | Published | Journal Article | IST-REx-ID: 11904
Query-free news search
M. Henzinger, B.-W. Chang, B. Milch, S. Brin, World Wide Web 8 (2005) 101–126.
View
| Files available
| DOI
M. Henzinger, B.-W. Chang, B. Milch, S. Brin, World Wide Web 8 (2005) 101–126.
2005 | Published | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View
| DOI
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
2005 | Published | Journal Article | IST-REx-ID: 1741
Lateral motion of SiGe islands driven by surface-mediated alloying
U. Denker, A. Rastelli, M. Stoffel, J. Tersoff, G. Katsaros, G. Costantini, K. Kern, N. Jin Phillipp, D. Jesson, O. Schmidt, Physical Review Letters 94 (2005).
View
| DOI
U. Denker, A. Rastelli, M. Stoffel, J. Tersoff, G. Katsaros, G. Costantini, K. Kern, N. Jin Phillipp, D. Jesson, O. Schmidt, Physical Review Letters 94 (2005).
2005 | Published | Journal Article | IST-REx-ID: 1742
Kinetic origin of island intermixing during the growth of Ge on Si (001)
G. Katsaros, G. Costantini, M. Stoffel, R. Esteban, A. Bittner, A. Rastelli, U. Denker, O. Schmidt, K. Kern, Physical Review B - Condensed Matter and Materials Physics 72 (2005).
View
| DOI
G. Katsaros, G. Costantini, M. Stoffel, R. Esteban, A. Bittner, A. Rastelli, U. Denker, O. Schmidt, K. Kern, Physical Review B - Condensed Matter and Materials Physics 72 (2005).
2005 | Published | Journal Article | IST-REx-ID: 1743
Periodic pillar structures by Si etching of multilayer GeSi/Si islands
Z. Zhong, G. Katsaros, M. Stoffel, G. Costantini, K. Kern, O. Schmidt, N. Jin Phillipp, G. Bauer, Applied Physics Letters 87 (2005) 1–3.
View
| DOI
Z. Zhong, G. Katsaros, M. Stoffel, G. Costantini, K. Kern, O. Schmidt, N. Jin Phillipp, G. Bauer, Applied Physics Letters 87 (2005) 1–3.
2005 | Published | Journal Article | IST-REx-ID: 1744
Non linear transmission effects in duobinary and dicode optical systems
G. Katsaros, I. Darwazeh, P. Lane, IEE Proceedings - Optoelectronics 152 (2005) 344–352.
View
| DOI
G. Katsaros, I. Darwazeh, P. Lane, IEE Proceedings - Optoelectronics 152 (2005) 344–352.