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.

102 Publications


2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,” 206–17. IEEE, 2004. https://doi.org/10.1109/QEST.2004.10051.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation. Elsevier, 2004. https://doi.org/10.1016/j.ic.2004.06.001.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,” 251–55. IEEE, 2004. https://doi.org/10.1109/WPC.2004.1311069  .
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,” 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml, Jiří, Xiong Yang, Marta Michniewicz, Dolf Weijers, Ab Quint, Olaf Tietz, René Benjamins, et al. “A PINOID-Dependent Binary Switch in Apical-Basal PIN Polar Targeting Directs Auxin Efflux.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1100618.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux, Meg, Andreas Houben, Kamil Růžička, Jiří Friml, and Klaus Grasser. “The Chromatin Remodelling Complex FACT Associates with Actively Transcribed Regions of the Arabidopsis Genome.” Plant Journal. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.1365-313X.2004.02242.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos within Their Ovules.” Plant Journal. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.1365-313X.2004.02248.x.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications