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.

289 Publications


2010 | Conference Paper | IST-REx-ID: 3849 | OA
P. Bendich, H. Edelsbrunner, M. Kerber, and A. Patel, “Persistent homology under non-uniform error,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 12–23.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3854
K. Chatterjee, F. Horn, and C. Löding, “Obliging games,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 284–296.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
K. Chatterjee and L. Doyen, “Energy parity games,” presented at the ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France, 2010, vol. 6199, pp. 599–610.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Z. Alpichshev et al., “STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects,” Physical Review Letters, vol. 104, no. 1. American Physical Society, 2010.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3850
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Polygonal reconstruction from approximate offsets,” presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany, 2010, pp. 12–23.
View
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Generalized mean-payoff and energy games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 505–516.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4. ACM, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom, 2010, vol. 6174, pp. 380–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3865
K. Chatterjee, L. De Alfaro, V. Raman, and C. Sánchez, “Analyzing the impact of change in multi-threaded programs,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 293–307.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Strategy construction for parity games with imperfect information,” Information and Computation, vol. 208, no. 10. Elsevier, pp. 1206–1220, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” Information and Computation, vol. 208, no. 6. Elsevier, pp. 677–693, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3901 | OA
P. Bendich, H. Edelsbrunner, and M. Kerber, “Computing robustness and persistence for images,” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6. IEEE, pp. 1251–1260, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
L. V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, and S. Cremer, “Rapid anti-pathogen response in ant societies relies on high genetic diversity,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695. Royal Society, The, pp. 2821–2828, 2010.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3956
S. Nourshargh, P. Hordijk, and M. K. Sixt, “Breaching multiple barriers: leukocyte motility through venular walls and the interstitium,” Nature Reviews Molecular Cell Biology, vol. 11, no. 5. Nature Publishing Group, pp. 366–378, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
E. Papusheva and C.-P. J. Heisenberg, “Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis,” EMBO Journal, vol. 29, no. 16. Wiley-Blackwell, pp. 2753–2768, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4187
E. Kardash et al., “A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo,” Nature Cell Biology, vol. 12, no. 1. Nature Publishing Group, pp. 47–53, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, and C.-P. J. Heisenberg, “Movement directionality in collective migration of germ layer progenitors,” Current Biology, vol. 20, no. 2. Cell Press, pp. 161–169, 2010.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
J. Bergmann and P. Danowski, “Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch,” in Handbuch Bibliothek 2.0, J. Bergmann and P. Danowski, Eds. De Gruyter, 2010, pp. 5–20.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 4358
C. Guinane et al., “Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation,” Genome Biology and Evolution, vol. 2. Oxford University Press, pp. 454–466, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.
[Submitted Version] View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative Simulation Games,” in Time For Verification: Essays in Memory of Amir Pnueli, vol. 6200, Z. Manna and D. Peled, Eds. Springer, 2010, pp. 42–60.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
S. Burckhardt, M. Musuvathi, and V. Singh, “Verifying local transformations on relaxed memory models,” presented at the CC: Compiler Construction, Pahos, Cyprus, 2010, vol. 6011, pp. 104–123.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–23, 2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 474
N. H. Barton, J. Kelleher, and A. Etheridge, “A new model for extinction and recolonization in two dimensions: Quantifying phylogeography,” Evolution, vol. 64, no. 9. Wiley-Blackwell, pp. 2701–2715, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 533
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, and T. Wies, “Doomed program points,” Formal Methods in System Design, vol. 37, no. 2–3. Springer, pp. 171–199, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
[Submitted Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3857
K. Chatterjee and T. A. Henzinger, “Probabilistic Automata on infinite words: decidability and undecidability results,” presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore, 2010, vol. 6252, pp. 1–16.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Qualitative analysis of partially-observable Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 258–269.
[Submitted Version] View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 5940
G. Juhás, I. Kazlov, and A. Juhásová, “Instance Deadlock: A Mystery behind Frozen Programs,” in Applications and Theory of Petri Nets, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 1–17.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
K. Meyer, S. Lin, C. Bernecky, Y. Gao, and D. Taatjes, “P53 activates transcription by directing structural shifts in Mediator,” Nature Structural and Molecular Biology, vol. 17, no. 6. Nature Publishing Group, pp. 753–760, 2010.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
K. P. Weber, S. De, I. Kozarewa, D. J. Turner, M. M. Babu, and M. de Bono, “Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans,” PLoS ONE, vol. 5, no. 11. Public Library of Science, 2010.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Book Chapter | IST-REx-ID: 619
W. Zacharasiewicz and F. Kirsch, “‘This is a fundamentalist town’: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House,” in Social and cultural interaction and literary landscapes in the Canadian West : impressions of an exploratory field trip and academic interaction in the Canadian West : Rapports interculturels et paysages littéraires dans l’Ouest canadien, Facultas.WUV, 2010, pp. 173–179.
View
 

2010 | Journal Article | IST-REx-ID: 6198
L. Zhou et al., “Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95,” Nature Medicine, vol. 16, no. 12. Nature Publishing Group, pp. 1439–1443, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
R. de la Bretèche and T. D. Browning, “Le problème des diviseurs pour des formes binaires de degré 4,” Crelles Journal, vol. 2010, no. 646. Walter de Gruyter GmbH, pp. 1–44, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7079
F. R. Drymiotis et al., “Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures,” Journal of Applied Physics, vol. 107, no. 3. AIP, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7318
V. Giordani, S. A. Freunberger, P. G. Bruce, J.-M. Tarascon, and D. Larcher, “H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells,” Electrochemical and Solid-State Letters, vol. 13, no. 12. The Electrochemical Society, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 754
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, and R. Guerraoui, “Fast randomized test-and-set and renaming,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 94–108.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 755
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and M. Zadimoghaddam, “How efficient can gossip be? (On the cost of resilient information exchange),” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2010, vol. 6199 LNCS, no. PART 2, pp. 115–126.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 756
D.-A. Alistarh, S. Gilbert, R. Guerraoui, Ž. Milošević, and C. Newport, “Securing every bit: Authenticated broadcast in radio networks,” presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, 2010, pp. 50–59.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 758
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Brief announcement: New bounds for partially synchronous set agreement,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 404–405.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 89
I. Wright, A. P. Higginbotham, S. Baker, and T. Donnelly, “Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution,” ACS Applied Materials and Interfaces, vol. 2, no. 8. American Chemical Society, pp. 2360–2364, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 891
H. Innan and F. Kondrashov, “The evolution of gene duplications: Classifying and distinguishing between models,” Nature Reviews Genetics, vol. 11, no. 2. Nature Publishing Group, pp. 97–108, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9012 | OA
J. A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Colloidal motility and pattern formation under rectified diffusiophoresis,” Physical Review Letters, vol. 104, no. 13. American Physical Society, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9013 | OA
J. A. Palacci, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Sedimentation and effective temperature of active colloidal suspensions,” Physical Review Letters, vol. 105, no. 8. American Physical Society , 2010.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 901
M. Breen and F. Kondrashov, “Mitochondrial pathogenic mutations are population-specific,” Biology Direct, vol. 5. BioMed Central, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9145
V. M. Canuto, A. M. Howard, Y. Cheng, C. J. Muller, A. Leboissetier, and S. R. Jayne, “Ocean turbulence, III: New GISS vertical mixing scheme,” Ocean Modelling, vol. 34, no. 3–4. Elsevier, pp. 70–91, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9146 | OA
P. A. O’Gorman and C. J. Muller, “How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?,” Environmental Research Letters, vol. 5, no. 2. IOP Publishing, 2010.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 920
T. Angelini, E. B. Hannezo, X. Trepat, J. Fredberg, and D. Weitz, “Cell migration driven by cooperative substrate deformation patterns,” Physical Review Letters, vol. 104, no. 16. American Physical Society, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
A. Zemach et al., “Local DNA hypomethylation activates genes in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 107, no. 43. National Academy of Sciences, pp. 18729–18734, 2010.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 9489 | OA
A. Zemach and D. Zilberman, “Evolution of eukaryotic DNA methylation and the pursuit of safer sex,” Current Biology, vol. 20, no. 17. Elsevier, pp. R780–R785, 2010.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 8473
A. Corazza et al., “Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR,” Journal of Biological Chemistry, vol. 285, no. 8. American Society for Biochemistry & Molecular Biology, pp. 5827–5835, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 8472
P. Schanda, B. H. Meier, and M. Ernst, “Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy,” Journal of the American Chemical Society, vol. 132, no. 45. American Chemical Society, pp. 15957–15967, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 8507
V. Kaloshin, K. ZHANG, and Y. ZHENG, “Almost dense orbit on energy surface,” in XVIth International Congress on Mathematical Physics, Prague, Czech Republic, 2010, pp. 314–322.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 8506
B. R. Hunt and V. Kaloshin, “Prevalence,” in Handbook of Dynamical Systems, vol. 3, Elsevier, 2010, pp. 43–87.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 857
I. Povolotskaya and F. Kondrashov, “Sequence space and the ongoing expansion of the protein universe,” Nature, vol. 465, no. 7300. Nature Publishing Group, pp. 922–926, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 862
M. Meer, A. Kondrashov, Y. Artzy Randrup, and F. Kondrashov, “Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness,” Nature, vol. 464, no. 7286. Nature Publishing Group, pp. 279–282, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 872
F. Kondrashov and A. Kondrashov, “Measurements of spontaneous rates of mutations in the recent past and the near future,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544. Royal Society, The, pp. 1169–1176, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 884
A. Kondrashov, I. Povolotskaya, D. Ivankov, and F. Kondrashov, “Rate of sequence divergence under constant selection,” Biology Direct, vol. 5. BioMed Central, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9452
A. Zemach, I. E. McDaniel, P. Silva, and D. Zilberman, “Genome-wide evolutionary analysis of eukaryotic DNA methylation,” Science, vol. 328, no. 5980. American Association for the Advancement of Science, pp. 916–919, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Cryptic variation between species and the basis of hybrid performance,” PLoS Biology, vol. 8, no. 7. Public Library of Science, 2010.
[Published Version] View | Files available | DOI
 

2010 | Research Data Reference | IST-REx-ID: 9764
U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Heterosis and the drift load.” Public Library of Science, 2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 12199
X. Feng and H. G. Dickinson, “Tapetal cell fate, lineage and proliferation in the Arabidopsis anther,” Development, vol. 137, no. 14. The Company of Biologists, pp. 2409–2416, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 12200
X. Feng and H. G. Dickinson, “Cell–cell interactions during patterning of the Arabidopsis anther,” Biochemical Society Transactions, vol. 38, no. 2. Portland Press Ltd., pp. 571–576, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13410
A. Coskun et al., “Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory,” Journal of the American Chemical Society, vol. 132, no. 12. American Chemical Society, pp. 4310–4320, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13409 | OA
R. Klajn, “Immobilized azobenzenes for the construction of photoresponsive materials,” Pure and Applied Chemistry, vol. 82, no. 12. De Gruyter, pp. 2247–2279, 2010.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 13412
R. Klajn, J. F. Stoddart, and B. A. Grzybowski, “Nanoparticles functionalised with reversible molecular and supramolecular switches,” Chemical Society Reviews, vol. 39, no. 6. Royal Society of Chemistry, pp. 2203–2237, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13411
R. Klajn, K. P. Browne, S. Soh, and B. A. Grzybowski, “Nanoparticles that ‘remember’ temperature,” Small, vol. 6, no. 13. Wiley, pp. 1385–1387, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
K. Chatterjee and R. Majumdar, “Discounting in games across time scales,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2010, vol. 25, pp. 22–29.
[Published Version] View | Files available | DOI | arXiv
 

2010 | Thesis | IST-REx-ID: 3962
H. Pflicke, “  Dendritic cell migration across basement membranes in the skin,” Institute of Science and Technology Austria, 2010.
View
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3785
F. Palero, P. Abello, E. Macpherson, C. Matthee, and M. Pascual, “Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata),” Journal of Crustacean Biology, vol. 30, no. 4. Oxford University Press, pp. 658–663, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7703
L. B. Sweeney and L. Luo, “‘Fore brain: A hint of the ancestral cortex,” Cell, vol. 142, no. 5. Elsevier, pp. 679–681, 2010.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 14983
A. Schlögl, C. Vidaurre, and K.-R. Müller, “Adaptive Methods in BCI Research - An Introductory Tutorial,” in Brain-Computer Interfaces, 1st ed., B. Graimann, G. Pfurtscheller, and B. Allison, Eds. Berlin, Heidelberg: Springer, 2010, pp. 331–355.
View | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications