Please note that IST 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.

98 Publications


2004 | Thesis | IST-REx-ID: 4236
de Vladar H. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. 2004. doi:3810
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2004;227(3):335-348. doi:3801
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
de Vladar H, Cipriani R, Scharifker B, Bubis J. A Mechanism for the Prebiotic Emergence of Proteins. In: Seckbach J, Chela Flores J, Owen T, Raulin F, eds. Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Vol 7. Springer; 2004:83-87. doi:3807
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. Annals of Applied Probability. 2004;14(2):754-785.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:1572
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala R. Program verification by lazy abstraction. 2004:1-165.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: ACM; 2004:104-113. doi:10.1145/1017753.1017774
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In: ACM; 2004:232-244. doi:10.1145/964001.964021
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: ACM; 2004:1-13. doi:10.1145/996841.996844
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In: Verification: Theory and Practice. Vol 2772. Springer; 2004:332-358. doi:10.1007/978-3-540-39910-0_16
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Vol 2993. Springer; 2004:167-170. doi:10.1007/978-3-540-24743-2_24
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In: IEEE; 2004:206-217. doi:10.1109/QEST.2004.10051
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. Information and Computation. 2004;194(2):144-174. doi:10.1016/j.ic.2004.06.001
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. Quantitative stochastic parity games. In: SIAM; 2004:121-130.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking. In: IEEE; 2004:251-255. doi:10.1109/WPC.2004.1311069 
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. The BLAST query language for software verification. In: Vol 3148. Springer; 2004:2-18. doi:10.1007/978-3-540-27864-1_2
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml J, Yang X, Michniewicz M, et al. A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux. Science. 2004;306(5697):862-865. doi:10.1126/science.1100618
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux M, Houben A, Růžička K, Friml J, Grasser K. The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome. Plant Journal. 2004;40(5):660-671. doi:10.1111/j.1365-313X.2004.02242.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer M, Friml J. In vitro culture of Arabidopsis embryos within their ovules. Plant Journal. 2004;40(5):835-843. doi:10.1111/j.1365-313X.2004.02248.x
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications