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.

6696 Publications


1997 | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. Partial-Order Reduction in Symbolic State-Space Exploration. Vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, et al. Alternating-Time Temporal Logic. IEEE, 1997, pp. 100–09, doi: 10.1109/SFCS.1997.646098 .
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner, Herbert, and Nimish Shah. “Triangulating Topological Spaces.” International Journal of Computational Geometry and Applications, vol. 7, no. 4, World Scientific Publishing, 1997, pp. 365–78, doi:10.1142/S0218195997000223.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
Edelsbrunner, Herbert, and Roman Waupotitsch. “A Combinatorial Approach to Cartograms.” Computational Geometry: Theory and Applications, vol. 7, no. 5–6, Elsevier, 1997, pp. 343–60, doi:387910.1016/S0925-7721(96)00006-5.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner, Herbert, et al. “Cutting Dense Point Sets in Half.” Discrete & Computational Geometry, vol. 17, no. 3, Springer, 1997, pp. 243–55, doi:10.1007/PL00009291.
View | DOI
 

Search

Filter Publications