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, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069  .
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications