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 TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: IEEE; 1997:100-109. doi: 10.1109/SFCS.1997.646098
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner H, Shah N. Triangulating topological spaces. International Journal of Computational Geometry and Applications. 1997;7(4):365-378. doi:10.1142/S0218195997000223
View | DOI
 

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

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

Search

Filter Publications