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.

3241 Publications


2012 | Journal Article | IST-REx-ID: 2849 | OA
On the configuration space of Steiner minimal trees
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2888
Quantitative reactive models
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2890
Synthesis from incompatible specifications
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2902
Fractal and computational geometry for generalizing cartographic objects
H. Edelsbrunner, O. Musin, A. Ukhalov, O. Yakimova, V. Alexeev, V. Bogaevskaya, A. Gorohov, M. Preobrazhenskaya, Modeling and Analysis of Information Systems 19 (2012) 152–160.
View | Download None (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications