Please note that ISTA 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.

8992 Publications


2012 | Conference Paper | IST-REx-ID: 3279
A. Jain, K. Z. Pietrzak, and A. Tentes, “Hardness preserving constructions of pseudorandom functions,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 369–382.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 3274
G. Rieckh, W. Kreuzer, H. Waubke, and P. Balazs, “A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil,” Engineering Analysis with Boundary Elements, vol. 36, no. 6. Elsevier, pp. 960–967, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3289 | OA
A. Pereira et al., “A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization,” Journal of Virology, vol. 86, no. 1. ASM, pp. 172–184, 2012.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3310 | OA
P. Bendich, S. Cabello, and H. Edelsbrunner, “A point calculus for interlevel set homology,” Pattern Recognition Letters, vol. 33, no. 11. Elsevier, pp. 1436–1444, 2012.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 338
M. Ibáñez et al., “Extending the nanocrystal synthesis control to quaternary compositions,” Crystal Growth and Design , vol. 12, no. 3. American Chemical Society (ACS), pp. 1085–1090, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 339
M. Ibáñez et al., “Composition control and thermoelectric properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4,” Chemistry of Materials, vol. 24, no. 3. American Chemical Society, pp. 562–570, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 340
A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, and A. Cabot, “Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor,” Journal of the American Chemical Society, vol. 134, no. 3. ACS, pp. 1438–1441, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 345
D. Cadavid et al., “Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe,” Journal of Nanoparticle Research, vol. 14, no. 12. Kluwer, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 347 | OA
M. Ibáñez et al., “Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties,” Journal of the American Chemical Society, vol. 134, no. 9. ACS, pp. 4060–4063, 2012.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 3836
A. Ghosal, D. Iercan, C. Kirsch, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code,” Science of Computer Programming, vol. 77, no. 2. Elsevier, pp. 96–112, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2972 | OA
K. Chatterjee and L. Doyen, “Energy parity games,” Theoretical Computer Science, vol. 458. Elsevier, pp. 49–60, 2012.
[Published Version] View | Files available | DOI | arXiv
 

2012 | Journal Article | IST-REx-ID: 2967
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3. ACM, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 492 | OA
T. Galkovskyi et al., “GiA Roots: Software for the high throughput analysis of plant root system architecture,” BMC Plant Biology, vol. 12. BioMed Central, 2012.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
M. Tangermann et al., “Review of the BCI competition IV,” Frontiers in Neuroscience, vol. 6. Frontiers Research Foundation, 2012.
[Published Version] View | Files available | 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.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
M. Pickup, D. Field, D. Rowell, and A. Young, “Predicting local adaptation in fragmented plant populations: Implications for restoration genetics,” Evolutionary Applications, vol. 5, no. 8. Wiley-Blackwell, pp. 913–924, 2012.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
A. Rabinovich and S. Rubin, “Interpretations in trees with countably many branches,” presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 494
U. Boker and O. Kupferman, “Translating to Co-Büchi made tight, unified, and useful,” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 4. ACM, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
M. K. Sixt, “Cell migration: Fibroblasts find a new way to get ahead,” Journal of Cell Biology, vol. 197, no. 3. Rockefeller University Press, pp. 347–349, 2012.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, “Faster algorithms for alternating refinement relations,” presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France, 2012, vol. 16, pp. 167–182.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3165 | OA
K. Chatterjee and M. H. 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 | Download None (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2956
K. Chatterjee and Y. Velner, “Mean payoff pushdown games,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia , 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
K. Chatterjee and Y. Velner, Mean-payoff pushdown games. IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, Faster algorithms for alternating refinement relations. IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2955 | OA
K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3341 | OA
K. Chatterjee, “Robustness of structurally equivalent concurrent parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Tallinn, Estonia, 2012, vol. 7213, pp. 270–285.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2957 | OA
K. Chatterjee and M. Tracol, “Decidable problems for probabilistic automata on infinite words,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia , 2012.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3249
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” Theoretical Computer Science, vol. 413, no. 1. Elsevier, pp. 21–35, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
F. Korc, V. Kolmogorov, and C. Lampert, “Approximating marginals using discrete energy minimization,” presented at the ICML: International Conference on Machine Learning, Edinburgh, Scotland, 2012.
[Submitted Version] View | Files available
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
F. Korc, V. Kolmogorov, and C. Lampert, Approximating marginals using discrete energy minimization. IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
J. Porsche, Actual state of research data @ ISTAustria. IST Austria, 2012.
[Published Version] View | Files available
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
R. Biswas and J. Sil, “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets,” Procedia Technology, vol. 4. Elsevier, pp. 820–824, 2012.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA
C. 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. Elsevier, pp. 387–394, 2012.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
K. E. Busch et al., “Tonic signaling from O2 sensors sets neural circuit activity and behavioral state,” Nature Neuroscience, vol. 15, no. 4. Springer Nature, pp. 581–591, 2012.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 6746
M. Mondelli, Q. Zhou, X. Ma, and V. Lottici, “A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems,” in 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Kyoto, Japan, 2012, pp. 2905–2908.
View | DOI
 

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. Springer Nature, pp. 5729–5734, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7308
M. M. Ottakam Thotiyl, S. A. Freunberger, Z. Peng, and P. G. Bruce, “The carbon electrode in nonaqueous Li–O2 cells,” Journal of the American Chemical Society, vol. 135, no. 1. ACS, pp. 494–500, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7309
N.-S. Choi et al., “Challenges facing Lithium batteries and electrical double-layer capacitors,” Angewandte Chemie International Edition, vol. 51, no. 40. Wiley, pp. 9994–10024, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7310
Z. Peng, S. A. Freunberger, Y. Chen, and P. G. Bruce, “A reversible and higher-rate Li-O2 battery,” Science, vol. 337, no. 6094. AAAS, pp. 563–566, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7311
Y. Chen, S. A. Freunberger, Z. Peng, F. Bardé, and P. G. Bruce, “Li–O2 battery with a dimethylformamide electrolyte,” Journal of the American Chemical Society, vol. 134, no. 18. ACS, pp. 7952–7957, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 762
D.-A. 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 | Conference Paper | IST-REx-ID: 763
D.-A. Alistarh, H. Attiya, R. Guerraoui, and C. Travers, “Early deciding synchronous renaming in O(log f) rounds or less,” presented at the SIROCCO: Structural Information and Communication Complexity, 2012, vol. 7355 LNCS, pp. 195–206.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 764
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” Algorithmica (New York), vol. 62, no. 1–2. Springer, pp. 595–629, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 766
D.-A. Alistarh, M. Bender, S. Gilbert, and R. Guerraoui, “How to allocate tasks asynchronously,” presented at the FOCS: Foundations of Computer Science, 2012, pp. 331–340.
View | DOI
 

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

2012 | Journal Article | IST-REx-ID: 7749
M. R. Robinson, K. U. Mar, and V. Lummaa, “Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants,” Ecology Letters, vol. 15, no. 3. Wiley, pp. 260–266, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7748
M. R. Robinson, G. Sander van Doorn, L. Gustafsson, and A. Qvarnström, “Environment-dependent selection on mate choice in a natural population of birds,” Ecology Letters, vol. 15, no. 6. Wiley, pp. 611–618, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7776
C. P. Goodrich, A. J. Liu, and S. R. Nagel, “Finite-size scaling at the jamming transition,” Physical Review Letters, vol. 109, no. 9. American Physical Society, 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. American Society for Biochemistry and Molecular Biology, pp. 44418–44424, 2012.
View | DOI | PubMed | Europe PMC
 

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. American Physical Society, 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. Company of Biologists, 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. Oxford University Press, 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. Annual Reviews, 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. American Society of Plant Biologists, 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. Oxford University Press, pp. 1213–1222, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8463
S. Asami, K. Szekely, P. Schanda, B. H. Meier, and B. Reif, “Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency,” Journal of Biomolecular NMR, vol. 54, no. 2. Springer Nature, pp. 155–168, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8465
M. Tollinger, A. C. Sivertsen, B. H. Meier, M. Ernst, and P. Schanda, “Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy,” Journal of the American Chemical Society, vol. 134, no. 36. American Chemical Society, pp. 14800–14807, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8466
E. Rennella, T. Cutuil, P. Schanda, I. Ayala, V. Forge, and B. Brutscher, “Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate,” Journal of the American Chemical Society, vol. 134, no. 19. American Chemical Society, pp. 8066–8069, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8467
M. Huber, O. With, P. Schanda, R. Verel, M. Ernst, and B. H. Meier, “A supplementary coil for 2H decoupling with commercial HCN MAS probes,” Journal of Magnetic Resonance, vol. 214. Elsevier, pp. 76–80, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8502
V. Kaloshin and M. Saprykina, “An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension,” Communications in Mathematical Physics, vol. 315, no. 3. Springer Nature, pp. 643–697, 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. BioMed Central, 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. Nature Publishing Group, pp. 535–538, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 9014 | OA
I. Theurkauff, C. Cottin-Bizonne, J. A. Palacci, C. Ybert, and L. Bocquet, “Dynamic clustering in active colloidal suspensions with chemical signaling,” Physical Review Letters, vol. 108, no. 26. American Physical Society , 2012.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

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. American Institute of Physics, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 9142 | OA
C. J. Muller and I. M. Held, “Detailed investigation of the self-aggregation of convection in cloud-resolving simulations,” Journal of the Atmospheric Sciences, vol. 69, no. 8. American Meteorological Society, pp. 2551–2565, 2012.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 9451 | OA
C. A. Ibarra et al., “Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes,” Science, vol. 337, no. 6100. American Association for the Advancement of Science, pp. 1360–1364, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9535 | OA
D. Coleman-Derr and D. Zilberman, “DNA methylation, H2A.Z, and the regulation of constitutive expression,” Cold Spring Harbor Symposia on Quantitative Biology, vol. 77. Cold Spring Harbor Laboratory Press, pp. 147–154, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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. Public Library of Science, 2012.
[Published Version] View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 9755 | OA
M. Konrad et al., “Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies.” Dryad, 2012.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9758 | OA
S. Aeschbacher, A. Futschik, and M. Beaumont, “Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates.” Dryad, 2012.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9757 | OA
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer, “Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison.” Dryad, 2012.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 8504
V. Kaloshin and O. S. KOZLOVSKI, “A Cr unimodal map with an arbitrary fast growth of the number of periodic points,” Ergodic Theory and Dynamical Systems, vol. 32, no. 1. Cambridge University Press, pp. 159–165, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8503
A. Albouy and V. Kaloshin, “Finiteness of central configurations of five bodies in the plane,” Annals of Mathematics, vol. 176, no. 1. Princeton University Press, pp. 535–588, 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. Royal Society, The, pp. 5048–5057, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 9049
J. A. Palacci, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Osmotic traps for colloids and macromolecules based on logarithmic sensing in salt taxis,” Soft Matter, vol. 8, no. 4. Royal Society of Chemistry, pp. 980–994, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 922 | OA
E. B. Hannezo, J. Prost, and J. Joanny, “Mechanical instabilities of biological tubes,” Physical Review Letters, vol. 109, no. 1. American Physical Society, 2012.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 9499 | OA
S. Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, and Z. R. Sung, “EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development,” PLoS Genetics, vol. 8, no. 3. Public Library of Science, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9497 | OA
D. Coleman-Derr and D. Zilberman, “Deposition of histone variant H2A.Z within gene bodies regulates responsive genes,” PLoS Genetics, vol. 8, no. 10. Public Library of Science, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9528
J. T. Huff and D. Zilberman, “Regulation of biological accuracy, precision, and memory by plant chromatin organization,” Current Opinion in Genetics and Development, vol. 22, no. 2. Elsevier, pp. 132–138, 2012.
View | DOI | PubMed | Europe PMC
 

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. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2968 | OA
K. Lohse, N. H. Barton, G. Melika, and G. Stone, “A likelihood based comparison of population histories in a parasitoid guild,” Molecular Ecology, vol. 21, no. 18. Wiley-Blackwell, pp. 4605–4617, 2012.
[Submitted Version] View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 13075 | OA
K. Lohse, N. H. Barton, G. Stone, and G. Melika, “Data from: A likelihood-based comparison of population histories in a parasitoid guild.” Dryad, 2012.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 13407
O. Chovnik, R. Balgley, J. R. Goldman, and R. Klajn, “Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets,” Journal of the American Chemical Society, vol. 134, no. 48. American Chemical Society, pp. 19564–19567, 2012.
[Published Version] View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 13408
Y. Ridelman, G. Singh, R. Popovitz-Biro, S. G. Wolf, S. Das, and R. Klajn, “Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles,” Small, vol. 8, no. 5. Wiley, pp. 654–660, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 10903
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking for programs manipulating lists and arrays with infinite data,” in Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 167–182.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 10905 | OA
K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” in Algorithms – ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10906 | OA
S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,” in Automated Technology for Verification and Analysis, vol. 7561, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.
View | Files available | 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.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
L. Diaz Jr et al., “The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers,” Nature, vol. 486, no. 7404. Nature Publishing Group, pp. 537–540, 2012.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3260 | OA
K. Chatterjee, J. Reiter, and M. Nowak, “Evolutionary dynamics of biological auctions,” Theoretical Population Biology, vol. 81, no. 1. Academic Press, pp. 69–80, 2012.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3258 | OA
S. Kim, J. Guzmán, H. Hu, and P. M. Jonas, “Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons,” Nature Neuroscience, vol. 15, no. 4. Nature Publishing Group, pp. 600–606, 2012.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Thesis | IST-REx-ID: 2964
S. Kim, “Active properties of hippocampal CA3 pyramidal neuron dendrites,” Institute of Science and Technology Austria, 2012.
View | Files available
 

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. Elsevier, pp. 148–153, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 12198 | OA
C. A. Ibarra et al., “Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes,” Science, vol. 337, no. 6100. American Association for the Advancement of Science, pp. 1360–1364, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
F. Pausinger, “Elementary solutions of the Bernstein problem on two intervals,” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1. B. Verkin Institute for Low Temperature Physics and Engineering, pp. 63–78, 2012.
[Published Version] View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
J. Yu, C. Wojtan, G. Turk, and C. Yap, “Explicit mesh surfaces for particle based fluids,” in Computer Graphics Forum, Cagliari, Sardinia, Italy, 2012, vol. 31, no. 2, pp. 815–824.
[Submitted Version] View | Files available | DOI
 

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

2012 | Journal Article | IST-REx-ID: 3243 | OA
P. Danowski, “Zwischen Technologie und Information,” Büchereiperspektiven, vol. 2012, no. 1. Büchereiverband Österreichs, p. 11, 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2915
O. Kroemer, C. Lampert, and J. Peters, “Multi-modal learning for dynamic tactile sensing,” 2012.
View
 

Search

Filter Publications