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.
230 Publications
2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future.” In Third International Conference on Formal Modeling and Analysis of Timed Systems, 3829:2–16. Springer, 2006. https://doi.org/10.1007/11603009_2.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata.” In 4th International Conference on Formal Modeling and Analysis of Timed Systems, 4202:274–89. Springer, 2006. https://doi.org/10.1007/11867340_20.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4235
Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/10.1016/j.jtbi.2005.11.016.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4237
Vladar, Harold de. “Density-Dependence as a Size-Independent Regulatory Mechanism.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/10.1016/j.jtbi.2005.05.014.
View
| DOI
| arXiv
2006 | Published | Journal Article | IST-REx-ID: 4345
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?” Bibliotheksdienst. De Gruyter, 2006. https://doi.org/10.1515/bd.2006.40.11.1259.
View
| DOI