Gastrulation dynamics: cells move into focus
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
LibreCat: https://research-explorer.ista.ac.at/record/4172
DOI: 10.1016/j.tcb.2004.09.008

Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.
LibreCat: https://research-explorer.ista.ac.at/record/4238
DOI: 3801

A mechanism for the prebiotic emergence of proteins
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S. Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
LibreCat: https://research-explorer.ista.ac.at/record/4230

Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

Monitoring Temporal Properties of Continuous Signals
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4424

A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
LibreCat: https://research-explorer.ista.ac.at/record/4461
DOI: 10.1007/978-3-540-39910-0_16

Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
LibreCat: https://research-explorer.ista.ac.at/record/4525
DOI: 10.1007/978-3-540-24743-2_24

Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Quantitative stochastic parity games
K. Chatterjee, M. Jurdziski, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
LibreCat: https://research-explorer.ista.ac.at/record/4556
DOI: 10.1016/j.ic.2004.06.001

The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
LibreCat: https://research-explorer.ista.ac.at/record/4578
DOI: 10.1007/978-3-540-27864-1_2

An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
LibreCat: https://research-explorer.ista.ac.at/record/4581
DOI: 10.1109/ICSE.2004.1317455

Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
LibreCat: https://research-explorer.ista.ac.at/record/4629
DOI: 10.1007/978-3-540-24730-2_6

Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
LibreCat: https://research-explorer.ista.ac.at/record/6155
DOI: 10.1016/j.cub.2004.06.027
PMID: 15203005

Fuel cell modeling and simulations
J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029