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
Pietrzak KZ, Rosen A, Segev G. 2012. Lossy functions do not amplify well. TCC: Theory of Cryptography Conference, LNCS, vol. 7194. 458–475.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3250
Pietrzak KZ. 2012. Cryptography from learning parity with noise. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 7147. 99–114.
View | DOI
 

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

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

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

2012 | Journal Article | IST-REx-ID: 596   OA
Bernecky CA, Taatjes D. 2012. Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal of Molecular Biology. 417(5), 387–394.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 7074
Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 762
Alistarh D, Guerraoui R, Kuznetsov P, Losa G. 2012. On the cost of composing shared-memory algorithms. SPAA: Symposium on Parallelism in Algorithms and Architectures 298–307.
View | DOI
 

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

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

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

2012 | Journal Article | IST-REx-ID: 91
Higginbotham AP, Cole J, Blood Forsythe M, Hickstein D. 2012. Identifying and evaluating organic nonlinear optical materials via molecular moments. Journal of Applied Physics. 111(3), 033512.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891   OA
Boker U, Henzinger TA. 2012. Approximate determinization of quantitative automata. Leibniz International Proceedings in Informatics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18. 362–373.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916   OA
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2012. Interface Simulation Distances. Electronic Proceedings in Theoretical Computer Science. GandALF: Games, Automata, Logic, and Formal Verification vol. 96. 29–42.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2942
Henzinger TA, Nickovic D. 2012. Independent implementability of viewpoints. Conference proceedings Monterey Workshop 2012. Monterey Workshop 2012, LNCS, vol. 7539. 380–395.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947   OA
Chatterjee K, Chmelik M, Majumdar R. 2012. Equivalence of games with probabilistic uncertainty and partial observation games. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 7561. 385–399.
View | DOI | Download (ext.)
 

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

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

2012 | Conference Paper | IST-REx-ID: 3255
Chatterjee K, Doyen L. 2012. Games and Markov decision processes with mean payoff parity and energy parity objectives. MEMICS: Mathematical and Engineering Methods in Computer Science, LNCS, vol. 7119. 37–46.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 495   OA
Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96. 238–246.
View | Files available | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed