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, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (1997). Partial-order reduction in symbolic state-space exploration (Vol. 1254, pp. 340–351). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-63166-6_34
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic (pp. 100–109). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/ 10.1109/SFCS.1997.646098
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner, H., & Shah, N. (1997). Triangulating topological spaces. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195997000223
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
Edelsbrunner, H., & Waupotitsch, R. (1997). A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/387910.1016/S0925-7721(96)00006-5
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner, H., Valtr, P., & Welzl, E. (1997). Cutting dense point sets in half. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009291
View | DOI
 

Search

Filter Publications