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.

278 Publications


2012 | Conference Paper | IST-REx-ID: 2936   OA
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
View | DOI | Download (ext.)
 

2012 | Report | IST-REx-ID: 2929   OA
The power of linear programming for valued CSPs: a constructive characterization
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
View | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2931
A dual decomposition approach to feature correspondence
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2917
The game of active search for extra terrestrial intelligence Breaking the Great Silence
H. Vladar, International Journal of Astrobiology 12 (2012) 53–62.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3105
GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses
R. Whitford, A. Fernandez, R. Tejos, A. Pérez, J. Kleine Vehn, S. Vanneste, A. Drozdzecki, J. Leitner, L. Abas, M. Aerts, K. Hoogewijs, P. Baster, R. De Groodt, Y. Lin, V. Storme, Y. Van De Peer, T. Beeckman, A. Madder, B. Devreese, C. Luschnig, J. Friml, P. Hilson, Developmental Cell 22 (2012) 678–685.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3112
ABP1 and ROP6 GTPase signaling regulate clathrin mediated endocytosis in Arabidopsis roots
X. Chen, S. Naramoto, S. Robert, R. Tejos, C. Löfke, D. Lin, Z. Yang, J. Friml, Current Biology 22 (2012) 1326–1332.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2974   OA
Commitments and efficient zero knowledge proofs from learning parity with noise
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3117   OA
Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3136
Delayed continuous time Markov chains for genetic regulatory circuits
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3155   OA
Synchronous interface theories and time triggered scheduling
B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer, 2012, pp. 203–218.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3131   OA
Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162
Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
View | DOI
 

2012 | Other Publication | IST-REx-ID: 3167
NextGen speaks 13
M. Weber, NextGen Speaks 13 , American Association for the Advancement of Science, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3282   OA
Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3314
Discounting and averaging in games across time scales
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3256   OA
Dual complexes of cubical subdivisions of ℝn
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3244
Die Zeit des Abwartens ist vorbei!
P. Danowski, BuB – Forum Bibliothek und Information 64 (2012) 284.
View | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 340
Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor
A. Shavel, D. Cadavid, M. Ibanez, A. Carrete, A. Cabot, Journal of the American Chemical Society 134 (2012) 1438–1441.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 345
Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe
D. Cadavid, M. Ibanez, S. Gorsse, A. López, A. Cirera, J. Morante, A. Cabot, Journal of Nanoparticle Research 14 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 338
Extending the nanocrystal synthesis control to quaternary compositions
M. Ibanez, R. Zamani, W. Li, A. Shavel, J. Arbiol, J. Morante, A. Cabot, Crystal Growth and Design 12 (2012) 1085–1090.
View | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Export / Embed