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.

2973 Publications


2014 | Conference Paper | IST-REx-ID: 1853
Game theoretic secure localization in wireless sensor networks
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusová, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1869
Suraq - a controller synthesis tool using uninterpreted functions
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Lipschitz robustness of finite-state transducers
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Cost-aware automatic program repair
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Functionals on triangulations of delaunay sets
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, O. Musin, Moscow Mathematical Journal 14 (2014) 491–504.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1877
Physiology: Relax and come in
M.K. Sixt, K. Vaahtomeri, Nature 514 (2014) 441–442.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1884
Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
D. Landau, C. Stewart, J. Reiter, M. Lawrence, C. Sougnez, J. Brown, A. Lopez Guillermo, S. Gabriel, E. Lander, D. Neuberg, C. López Otín, E. Campo, G. Getz, C. Wu, Blood 124 (2014) 1952–1952.
View | Download None (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications