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.

3507 Publications


2012 | Journal Article | IST-REx-ID: 3131 | OA
D. Weissman and N. H. Barton, “Limits to the rate of adaptive substitution in sexual populations,” PLoS Genetics, vol. 8, no. 6. Public Library of Science, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3133 | OA
H. Edelsbrunner and M. Kerber, “Alexander duality for functions: The persistent behavior of land and water and shore,” in Proceedings of the twenty-eighth annual symposium on Computational geometry , Chapel Hill, NC, USA, 2012, pp. 249–258.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3135 | OA
B. Brázdil, K. Chatterjee, A. Kučera, and P. Novotný, “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 Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3155 | OA
B. Delahaye, U. Fahrenberg, T. A. Henzinger, A. Legay, and D. Nickovic, “Synchronous interface theories and time triggered scheduling,” presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden, 2012, vol. 7273, pp. 203–218.
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.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3158 | OA
H. Schachtner et al., “Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo,” European Journal of Cell Biology, vol. 91, no. 11–12. Elsevier, pp. 923–929, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3159 | OA
Y. Mileyko, H. Edelsbrunner, C. Price, and J. Weitz, “Hierarchical ordering of reticular networks,” PLoS One, vol. 7, no. 6. Public Library of Science, 2012.
View | Files available | 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. Public Library of Science, 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: 3166 | OA
H. de Vladar, “Amino acid fermentation at the origin of the genetic code,” Biology Direct, vol. 7. BioMed Central, 2012.
View | Files available | 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. Springer, pp. 31–41, 2012.
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: 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
 

2012 | Journal Article | IST-REx-ID: 3256 | OA
H. Edelsbrunner and M. Kerber, “Dual complexes of cubical subdivisions of ℝn,” Discrete & Computational Geometry, vol. 47, no. 2. Springer, pp. 393–414, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3257 | OA
V. Kolmogorov, “Generalized roof duality and bisubmodular functions,” Discrete Applied Mathematics, vol. 160, no. 4–5. Elsevier, pp. 416–426, 2012.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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.
View | Files available | DOI | Download Published 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.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3262 | OA
G. Tkačik, A. Walczak, and W. Bialek, “Optimizing information flow in small genetic networks. III. A self-interacting gene,” Physical Review E statistical nonlinear and soft matter physics , vol. 85, no. 4. American Institute of Physics, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3280 | OA
K. Z. Pietrzak, “Subspace LWE,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 548–563.
View | DOI | Download Submitted Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3282 | OA
Y. Dodis, K. Z. Pietrzak, E. Kiltz, and D. Wichs, “Message authentication, revisited,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Cambridge, UK, 2012, vol. 7237, pp. 355–374.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3284 | OA
V. Kolmogorov and S. Živný, “The complexity of conservative valued CSPs,” presented at the SODA: Symposium on Discrete Algorithms, 2012, pp. 750–759.
View | Download (ext.)
 

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.
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.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3317 | OA
E. Eggermann, I. Bucurenciu, S. Goswami, and P. M. Jonas, “Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses,” Nature Reviews Neuroscience, vol. 13, no. 1. Nature Publishing Group, pp. 7–21, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3331 | OA
M. Kerber and M. Sagraloff, “A worst case bound for topology computation of algebraic curves,” Journal of Symbolic Computation, vol. 47, no. 3. Elsevier, pp. 239–258, 2012.
View | DOI | Download Preprint (ext.)
 

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.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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 | 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 | 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.
View | Files available | DOI
 

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.
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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.
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 2320 | OA
R. Frank, É. Lieb, R. Seiringer, and L. Thomas, “Binding, stability, and non-binding of multi-polaron systems,” presented at the QMath: Mathematical Results in Quantum Physics, 2011, pp. 21–32.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2321 | OA
R. Frank, A. Laptev, and R. Seiringer, “ A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials,” presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, 2011, vol. 214, pp. 39–44.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2390 | OA
R. Frank, É. Lieb, R. Seiringer, and L. Thomas, “Stability and absence of binding for multi-polaron systems,” Publications Mathematiques de l Institut des Hautes Etudes Scientifiques, vol. 113, no. 1. Springer, pp. 39–67, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2391 | OA
R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “Energy cost to make a hole in the fermi sea,” Physical Review Letters, vol. 106, no. 15. American Physical Society, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2393 | OA
R. Seiringer, “The excitation spectrum for weakly interacting Bosons,” Communications in Mathematical Physics, vol. 306, no. 2. Springer, pp. 565–578, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2454 | OA
H. Li et al., “Phosphorylation switch modulates the interdigitated pattern of PIN1 localization and cell expansion in Arabidopsis leaf epidermis,” Cell Research, vol. 21, no. 6. Nature Publishing Group, pp. 970–978, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2961 | OA
A. Malaspinas and C. Uhler, “Detecting epistasis via Markov bases,” Journal of Algebraic Statistics, vol. 2, no. 1. Public Knowledge Project, pp. 36–53, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 8025 | OA
A. R. Woodruff, L. M. McGarry, T. P. Vogels, M. Inan, S. A. Anderson, and R. Yuste, “State-dependent function of neocortical chandelier cells,” Journal of Neuroscience, vol. 31, no. 49. Society for Neuroscience, pp. 17872–17886, 2011.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 1754 | OA
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, M. Sanquer, and S. De Franceschi, “Joule-assisted silicidation for short-channel silicon nanowire devices,” ACS Nano, vol. 5, no. 9. American Chemical Society, pp. 7117–7123, 2011.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1755 | OA
G. Katsaros et al., “Observation of spin-selective tunneling in sige nanocrystals,” Physical Review Letters, vol. 107, no. 24. American Physical Society, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1777 | OA
C. Eichler, D. Bozyigit, C. Lang, L. Steffen, J. M. Fink, and A. Wallraff, “Experimental state tomography of itinerant single microwave photons,” Physical Review Letters, vol. 106, no. 22. American Physical Society, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1778 | OA
C. Lang et al., “Observation of resonant photon blockade at microwave frequencies using correlation function measurements,” Physical Review Letters, vol. 106, no. 24. American Physical Society, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1815 | OA
T. Friedlander and N. Brenner, “Adaptive response and enlargement of dynamic range,” Mathematical Biosciences and Engineering, vol. 8, no. 2. Arizona State University, pp. 515–526, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2072 | OA
B. Vicoso and D. Bachtrog, “Lack of global dosage compensation in Schistosoma mansoni, a female-heterogametic parasite,” Genome Biology and Evolution, vol. 3, no. 1. Oxford University Press, pp. 230–235, 2011.
View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 2116 | OA
J. Maas and J. Van Neerven, “Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators,” in Parabolic Problems, vol. 80, Birkhäuser, 2011, pp. 463–477.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2122 | OA
J. Maas, J. Van Neerven, and P. Portal, “Conical square functions and non-tangential maximal functions with respect to the Gaussian measure,” Publicacions Matemàtiques, vol. 55, no. 2. Universitat Autònoma de Barcelona, Departament de Matemàtique, pp. 313–341, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2123 | OA
P. Clément and J. Maas, “A Trotter product formula for gradient flows in metric spaces,” Journal of Evolution Equations, vol. 11, no. 2. Birkhäuser, pp. 405–427, 2011.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications