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.

2645 Publications


2012 | Conference Paper | IST-REx-ID: 3341   OA
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3252   OA
Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497   OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2318   OA
Absence of bound states implies non-negativity of the scattering length
R. Seiringer, Journal of Spectral Theory 2 (2012) 321–328.
View | DOI | Download (ext.)
 

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 (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2825
Dynamic pruning of factor graphs for maximum marginal prediction
C. Lampert, in:, Neural Information Processing Systems, 2012, pp. 82–90.
View
 

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 | Journal Article | IST-REx-ID: 2945
HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes
J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2938 View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed