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.

283 Publications


2012 | Conference Paper | IST-REx-ID: 3281
Lossy functions do not amplify well
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3250
Cryptography from learning parity with noise
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3248   OA
Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
C. Lampert, J. Peters, Journal of Real-Time Image Processing 7 (2012) 31–41.
View | Files available | DOI
 

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

2012 | Journal Article | IST-REx-ID: 387   OA
STM imaging of impurity resonances on Bi 2Se 3
Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 596   OA View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 6588   OA
Elementary solutions of the bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
View | Download (ext.) | WoS
 

2012 | Journal Article | IST-REx-ID: 7074
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 762
On the cost of composing shared-memory algorithms
D. Alistarh, R. Guerraoui, P. Kuznetsov, G. Losa, in:, ACM, 2012, pp. 298–307.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 767
Generating Fast Indulgent Algorithms
D. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Theory of Computing Systems 51 (2012) 404–424.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 801
Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose
J. Engel, P.S. Schmalhorst, F. Routier, Journal of Biological Chemistry 287 (2012) 44418–44424.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 887
Gene duplication as a mechanism of genomic adaptation to a changing environment
F. Kondrashov, Proceedings of the Royal Society of London Series B Biological Sciences 279 (2012) 5048–5057.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 91
Identifying and evaluating organic nonlinear optical materials via molecular moments
A.P. Higginbotham, J. Cole, M. Blood Forsythe, D. Hickstein, Journal of Applied Physics 111 (2012).
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 | Conference Paper | IST-REx-ID: 2916   OA
Interface Simulation Distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2942
Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947   OA
Equivalence of games with probabilistic uncertainty and partial observation games
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128   OA
A survey of partial-observation stochastic parity games
K. Chatterjee, L. Doyen, T.A. Henzinger, Formal Methods in System Design 43 (2012) 268–284.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3135   OA
Efficient controller synthesis for consumption games with multiple resource types
B. Brázdil, K. Chatterjee, A. Kučera, P. Novotny, in:, Springer, 2012, pp. 23–38.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3255
Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
View | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Export / Embed