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
K. Z. Pietrzak, A. Rosen, and G. Segev, “Lossy functions do not amplify well,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 458–475.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3250
K. Z. Pietrzak, “Cryptography from learning parity with noise,” presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, 2012, vol. 7147, pp. 99–114.
View | DOI
 

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

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

2012 | Journal Article | IST-REx-ID: 387   OA
Z. Alpichshev et al., “STM imaging of impurity resonances on Bi 2Se 3,” Physical Review Letters, vol. 108, no. 20, 2012.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

2012 | Journal Article | IST-REx-ID: 91
A. P. Higginbotham, J. Cole, M. Blood Forsythe, and D. Hickstein, “Identifying and evaluating organic nonlinear optical materials via molecular moments,” Journal of Applied Physics, vol. 111, no. 3, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891   OA
U. Boker and T. A. Henzinger, “Approximate determinization of quantitative automata,” in Leibniz International Proceedings in Informatics, Hyderabad, India, 2012, vol. 18, pp. 362–373.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916   OA
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface Simulation Distances,” in Electronic Proceedings in Theoretical Computer Science, Napoli, Italy, 2012, vol. 96, pp. 29–42.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2942
T. A. Henzinger and D. Nickovic, “Independent implementability of viewpoints,” in Conference proceedings Monterey Workshop 2012, Oxford, UK, 2012, vol. 7539, pp. 380–395.
View | DOI
 

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

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

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

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

2012 | Conference Paper | IST-REx-ID: 495   OA
A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.
View | Files available | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed