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.

2814 Publications


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

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3166 | OA
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3167
NextGen speaks 13
M. Weber, Science 336 (2012) 32–34.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3243
Zwischen Technologie und Information
P. Danowski, Büchereiperspektiven 1/2012 (2012) 11.
View | Download None (ext.)
 

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

2012 | Conference Paper | IST-REx-ID: 3251 | OA
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3253
Abstract domains for automated reasoning about list manipulating programs with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3265
Image segmentation by figure-ground composition into maximal cliques
A. Ion, J. Carreira, C. Sminchisescu, in:, IEEE, 2012.
View | DOI
 

2012 | Book Chapter | IST-REx-ID: 3277
Can the evolution of multicellularity be anticipated in the exploration of the solar system?
H. de Vladar, J. Chela Flores, in:, Life on Earth and Other Planetary Bodies, Springer, 2012, pp. 387–405.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications