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.
111 Publications
2004 | Journal Article | IST-REx-ID: 4238
de Vladar, H., & González, J. (2004). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier. https://doi.org/3801
View
| DOI
2004 | Book Chapter | IST-REx-ID: 4230
de Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A mechanism for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, & J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (pp. 83–87). Springer.
View
2004 | Thesis | IST-REx-ID: 4236
de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC. https://doi.org/3810
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1572
View
| DOI
2004 | Thesis | IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
View
2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View
| DOI
2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2004 | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
View
| DOI
| PubMed | Europe PMC
2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
View
| DOI
2004 | Journal Article | IST-REx-ID: 7333
Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., & Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200400028
View
| DOI