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: 3984
Bremer, Peer, et al. “A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 4, IEEE, 2004, pp. 385–96, doi:10.1109/TVCG.2004.3.
View
| DOI
2004 | Journal Article | IST-REx-ID: 3987
Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 5, IEEE, 2004, pp. 587–97, doi:10.1109/TVCG.2004.32.
View
| DOI
2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, Kree, et al. “Loops in Reeb Graphs of 2-Manifolds.” Discrete & Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 231–44, doi:10.1007/s00454-004-1122-6.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, Herbert, et al. Local and Global Comparison of Continuous Functions. IEEE, 2004, pp. 275–80, doi:10.1109/VISUAL.2004.68.
View
| DOI
2004 | Journal Article | IST-REx-ID: 4172
Montero, Juan, and Carl-Philipp J. Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.” Trends in Cell Biology, vol. 14, no. 11, Cell Press, 2004, pp. 620–27, doi:10.1016/j.tcb.2004.09.008.
View
| DOI
2004 | Book Chapter | IST-REx-ID: 4230
de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier et al., Springer, 2004, pp. 83–87.
View
2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
View
| DOI
2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View
| DOI
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 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
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: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View
| DOI
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