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.

295 Publications


2012 | Journal Article | IST-REx-ID: 1756 | OA
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, and S. De Franceschi, “Multifunctional devices and logic gates with undoped silicon nanowires,” Nano Letters, vol. 12, no. 6, pp. 3074–3079, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
J. Zhang et al., “Monolithic growth of ultrathin Ge nanowires on Si(001) ,” Physical Review Letters, vol. 109, no. 8, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, and S. De Franceschi, “Zero-bias anomaly in a nanowire quantum dot coupled to superconductors,” Physical Review Letters, vol. 109, no. 18, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1782 | OA
M. Pechal et al., “Geometric phase and nonadiabatic effects in an electronic harmonic oscillator,” Physical Review Letters, vol. 108, no. 17, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
J. Mlynek et al., “Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1784
C. Eichler, C. Lang, J. M. Fink, J. Govenius, S. Filipp, and A. Wallraff, “Observation of entanglement between itinerant microwave photons and a superconducting qubit,” Physical Review Letters, vol. 109, no. 24, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1801
S. Siegert et al., “Transcriptional code and disease map for adult retinal cell types,” Nature Neuroscience, vol. 15, no. 3, pp. 487–495, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1972
R. Efremov and L. A. Sazanov, “Structure of Escherichia coli OmpF porin from lipidic mesophase,” Journal of Structural Biology, vol. 178, no. 3, pp. 311–318, 2012.
View | DOI
 

2012 | Book Review | IST-REx-ID: 1976
R. Efremov and L. A. Sazanov, “The coupling mechanism of respiratory complex i - A structural and evolutionary perspective,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1817, no. 10. Elsevier, pp. 1785–1795, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1987
J. Schweizer, M. Loose, M. Bonny, K. Kruse, I. Mönch, and P. Schwille, “Geometry sensing by self-organized protein patterns,” PNAS, vol. 109, no. 38, pp. 15283–15288, 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: 8024
G. Hennequin, T. P. Vogels, and W. Gerstner, “Non-normal amplification in random balanced neuronal networks,” Physical Review E, vol. 86, no. 1, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 808 | OA
M. Vinzenz et al., “Actin branching in the initiation and maintenance of lamellipodia,” Journal of Cell Science, vol. 125, no. 11, pp. 2775–2785, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 8246
V. Dengler et al., “Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response,” FEMS Microbiology Letters, vol. 333, no. 2, pp. 109–120, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 826
M. Vanstraelen and E. Benková, “Hormonal interactions in the regulation of plant development,” Annual Review of Cell and Developmental Biology, vol. 28, pp. 463–487, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 829
A. Bielach et al., “Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin,” The Plant Cell, vol. 24, no. 10, pp. 3967–3981, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 846
O. Soylemez and F. Kondrashov, “Estimating the rate of irreversibility in protein evolution,” Genome Biology and Evolution, vol. 4, no. 12, pp. 1213–1222, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 858
I. Povolotskaya, F. Kondrashov, A. Ledda, and P. Vlasov, “Stop codons in bacteria are not selectively equivalent,” Biology Direct, vol. 7, 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: 900
M. Breen, C. Kemena, P. Vlasov, C. Notredame, and F. Kondrashov, “Epistasis as the primary factor in molecular evolution,” Nature, vol. 490, no. 7421, pp. 535–538, 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 | Journal Article | IST-REx-ID: 966 | OA
S. Bieri, M. Serbyn, T. Senthil, and P. Lee, “Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice,” Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22, 2012.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
T. Hausel and C. Pauly, “Prym varieties of spectral covers,” Geometry and Topology, vol. 16, no. 3, pp. 1609–1638, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems and Hodge theory of character varieties: The case A 1,” Annals of Mathematics, vol. 175, no. 3, pp. 1329–1407, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 113
S. R. Waitukaitis and H. Jaeger, “Impact-activated solidification of dense suspensions via dynamic jamming fronts,” Nature, vol. 487, no. 7406, pp. 205–209, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 114 | OA
S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water suspension,” Revista Cubana de Fisica, vol. 29, no. 1E, p. 1E31-1E33, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3160
P. Pantazis and T. Bollenbach, “Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo,” Cell Cycle, vol. 11, no. 11, pp. 2055–2058, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3161 | OA
M. Vyleta, J. Wong, and B. Magun, “Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome,” PLoS One, vol. 7, no. 5, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162 | OA
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, United States, 2012, vol. 7186, pp. 147–160.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3164
M. Blaschko and C. Lampert, “Guest editorial: Special issue on structured prediction and inference,” International Journal of Computer Vision, vol. 99, no. 3, pp. 257–258, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3165
K. Chatterjee and M. Henzinger, “An O(n2) time algorithm for alternating Büchi games,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Kyoto, Japan, 2012, pp. 1386–1399.
View | Files available | DOI
 

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

2012 | Journal Article | IST-REx-ID: 3167
M. Weber, “NextGen speaks 13 ,” Science, vol. 336, no. 6077, pp. 32–34, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3168
J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions of rule based systems,” Theoretical Computer Science, vol. 431, pp. 137–164, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3241
K. Z. Pietrzak and D. Wikström, “Parallel repetition of computationally sound protocols revisited,” Journal of Cryptology, vol. 25, no. 1, pp. 116–135, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
M. Konrad et al., “Social transfer of pathogenic fungus promotes active immunisation in ant colonies,” PLoS Biology, vol. 10, no. 4, 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 None (ext.)
 

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

2012 | Journal Article | IST-REx-ID: 3245
M. Behrndt and C.-P. J. Heisenberg, “Spurred by resistance mechanosensation in collective migration,” Developmental Cell, vol. 22, no. 1, pp. 3–4, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3246
V. Barone and C.-P. J. Heisenberg, “Cell adhesion in embryo morphogenesis,” Current Opinion in Cell Biology, vol. 24, no. 1, pp. 148–153, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3247
S. Vilaça, R. A. Fernandes Redondo, L. Lins, and F. Santos, “Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus),” Conservation Genetics, vol. 13, no. 1, pp. 293–298, 2012.
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: 3249
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” Theoretical Computer Science, vol. 413, no. 1, pp. 21–35, 2012.
View | Files available | DOI
 

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 | Conference Paper | IST-REx-ID: 3251 | OA
D. Zufferey, T. Wies, and T. A. Henzinger, “Ideal abstractions for well structured transition systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 445–460.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3252 | OA
K. Chatterjee and V. Raman, “Synthesizing protocols for digital contract signing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 152–168.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3253
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Abstract domains for automated reasoning about list manipulating programs with infinite data,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 1–22.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3254
K. Chatterjee, “The complexity of stochastic Müller games,” Information and Computation, vol. 211, pp. 29–48, 2012.
View | DOI | Download None (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3255 | OA
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 | Files available | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications