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.

9087 Publications


2010 | Conference Paper | IST-REx-ID: 3851 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy Parity Games. Vol. 6199, Springer, 2010, pp. 599–610, doi:10.1007/978-3-642-14162-1_50.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Alpichshev, Zhanybek, 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, doi:10.1103/PhysRevLett.104.016401.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3850
Berberich, Eric, et al. Polygonal Reconstruction from Approximate Offsets. TU Dortmund, 2010, pp. 12–23.
View
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
Chatterjee, Krishnendu, et al. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4, 23, ACM, 2010, doi:10.1145/1805950.1805953.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864 | OA
Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi:10.1007/978-3-642-14295-6_34.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee, Krishnendu, et al. Analyzing the Impact of Change in Multi-Threaded Programs. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 293–307, doi:10.1007/978-3-642-12029-9_21.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3901 | OA
Bendich, Paul, et al. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6, IEEE, 2010, pp. 1251–60, doi:10.1109/TVCG.2010.139.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
Ugelvig, Line V., et al. “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, 2010, pp. 2821–28, doi:10.1098/rspb.2010.0644.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3956
Nourshargh, Sussan, et al. “Breaching Multiple Barriers: Leukocyte Motility through Venular Walls and the Interstitium.” Nature Reviews Molecular Cell Biology, vol. 11, no. 5, Nature Publishing Group, 2010, pp. 366–78, doi:10.1038/nrm2889.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
Papusheva, Ekaterina, and Carl-Philipp J. Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” EMBO Journal, vol. 29, no. 16, Wiley-Blackwell, 2010, pp. 2753–68, doi:10.1038/emboj.2010.182.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4187
Kardash, Elena, 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, 2010, pp. 47–53, doi:10.1038/ncb2003.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Yohanna, et al. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology, vol. 20, no. 2, Cell Press, 2010, pp. 161–69, doi:10.1016/j.cub.2009.11.036.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, De Gruyter, 2010, pp. 5–20, doi:10.1515/9783110232103.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 4358
Guinane, Caitriona, 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, 2010, pp. 454–66, doi:10.1093/gbe/evq031.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh, Vasu. Runtime Verification for Software Transactional Memories. Edited by Oleg Sokolsky et al., vol. 6418, Springer, 2010, pp. 421–35, doi:10.1007/978-3-642-16612-9_32.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, et al. Building a Calculus of Data Structures. Edited by Gilles Barthe and Manuel Hermenegildo, vol. 5944, Springer, 2010, pp. 26–44, doi:10.1007/978-3-642-11319-2_6.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, et al. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, Thomas A., et al. FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE, 2010, pp. 83–90, doi:10.1109/CLOUD.2010.71.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, Rachid, et al. Transactions in the Jungle. ACM, 2010, pp. 263–72, doi:10.1145/1810479.1810529.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
[Submitted Version] View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, et al. “Quantitative Simulation Games.” Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, vol. 6200, Springer, 2010, pp. 42–60, doi:10.1007/978-3-642-13754-9_3.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, et al. Verifying Local Transformations on Relaxed Memory Models. Edited by Rajiv Gupta, vol. 6011, Springer, 2010, pp. 104–23, doi:10.1007/978-3-642-11970-5_7.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 474
Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution, vol. 64, no. 9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies? .” Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:10.4204/EPTCS.25.7.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, et al. “Doomed Program Points.” Formal Methods in System Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.
[Submitted Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010, doi:10.15479/AT:IST-2010-0001.
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Vol. 6252, Springer, 2010, pp. 1–16, doi:10.1007/978-3-642-15643-4_1.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
[Submitted Version] View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 5940
Juhás, Gabriel, et al. “Instance Deadlock: A Mystery behind Frozen Programs.” Applications and Theory of Petri Nets, Springer Berlin Heidelberg, 2010, pp. 1–17, doi:10.1007/978-3-642-13675-7_1.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
Meyer, Krista, et al. “P53 Activates Transcription by Directing Structural Shifts in Mediator.” Nature Structural and Molecular Biology, vol. 17, no. 6, Nature Publishing Group, 2010, pp. 753–60, doi:10.1038/nsmb.1816.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
Weber, Katherine P., et al. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.” PLoS ONE, vol. 5, no. 11, e13922, Public Library of Science, 2010, doi:10.1371/journal.pone.0013922.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Book Chapter | IST-REx-ID: 619
Zacharasiewicz, Waldemar, and Fritz 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.” 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–79.
View
 

2010 | Journal Article | IST-REx-ID: 6198
Zhou, L., 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, 2010, pp. 1439–43, doi:10.1038/nm.2245.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
Bretèche, Régis de la, and Timothy D. Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.” Crelles Journal, vol. 2010, no. 646, Walter de Gruyter GmbH, 2010, pp. 1–44, doi:10.1515/crelle.2010.064.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
Salje, E. K. H., et al. “Tin Telluride: A Weakly Co-Elastic Metal.” Physical Review B, vol. 82, no. 18, 184112, APS, 2010, doi:10.1103/physrevb.82.184112.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7079
Drymiotis, Fivos R., et al. “Structure Formation and Very Low Thermal Conductivity in Pb:Te:Ag:Se Mixtures.” Journal of Applied Physics, vol. 107, no. 3, 033519, AIP, 2010, doi:10.1063/1.3284946.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7318
Giordani, V., et al. “H2O2 Decomposition Reaction as Selecting Tool for Catalysts in Li–O2 Cells.” Electrochemical and Solid-State Letters, vol. 13, no. 12, A180, The Electrochemical Society, 2010, doi:10.1149/1.3494045.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 754
Alistarh, Dan-Adrian, et al. Fast Randomized Test-and-Set and Renaming. Vol. 6343 LNCS, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-15763-9_9.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 755
Alistarh, Dan-Adrian, et al. How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange). Vol. 6199 LNCS, no. PART 2, Springer, 2010, pp. 115–26, doi:10.1007/978-3-642-14162-1_10.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 756
Alistarh, Dan-Adrian, et al. Securing Every Bit: Authenticated Broadcast in Radio Networks. ACM, 2010, pp. 50–59, doi:10.1145/1810479.1810489.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 758
Alistarh, Dan-Adrian, et al. Brief Announcement: New Bounds for Partially Synchronous Set Agreement. Vol. 6343 LNCS, Springer, 2010, pp. 404–05, doi:10.1007/978-3-642-15763-9_40.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 89
Wright, Ian, et al. “Generation of Nanoparticles of Controlled Size Using Ultrasonic Piezoelectric Oscillators in Solution.” ACS Applied Materials and Interfaces, vol. 2, no. 8, American Chemical Society, 2010, pp. 2360–64, doi:10.1021/am100375w.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 891
Innan, Hideki, and Fyodor Kondrashov. “The Evolution of Gene Duplications: Classifying and Distinguishing between Models.” Nature Reviews Genetics, vol. 11, no. 2, Nature Publishing Group, 2010, pp. 97–108, doi:10.1038/nrg2689.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9012 | OA
Palacci, Jérémie A., et al. “Colloidal Motility and Pattern Formation under Rectified Diffusiophoresis.” Physical Review Letters, vol. 104, no. 13, 138302, American Physical Society, 2010, doi:10.1103/physrevlett.104.138302.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9013 | OA
Palacci, Jérémie A., et al. “Sedimentation and Effective Temperature of Active Colloidal Suspensions.” Physical Review Letters, vol. 105, no. 8, 088304, American Physical Society , 2010, doi:10.1103/physrevlett.105.088304.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 901
Breen, Michael, and Fyodor Kondrashov. “Mitochondrial Pathogenic Mutations Are Population-Specific.” Biology Direct, vol. 5, BioMed Central, 2010, doi:10.1186/1745-6150-5-68.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9145
Canuto, V. M., et al. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.” Ocean Modelling, vol. 34, no. 3–4, Elsevier, 2010, pp. 70–91, doi:10.1016/j.ocemod.2010.04.006.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman, P. A., and Caroline 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, 025207, IOP Publishing, 2010, doi:10.1088/1748-9326/5/2/025207.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 920
Angelini, Thomas, et al. “Cell Migration Driven by Cooperative Substrate Deformation Patterns.” Physical Review Letters, vol. 104, no. 16, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.168104.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
Zemach, Assaf, 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, 2010, pp. 18729–34, doi:10.1073/pnas.1009695107.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 9489 | OA
Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.” Current Biology, vol. 20, no. 17, Elsevier, 2010, pp. R780–85, doi:10.1016/j.cub.2010.07.007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 8473
Corazza, Alessandra, 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, 2010, pp. 5827–35, doi:10.1074/jbc.m109.061168.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 8472
Schanda, Paul, et al. “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, 2010, pp. 15957–67, doi:10.1021/ja100726a.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 8507
Kaloshin, Vadim, et al. “Almost Dense Orbit on Energy Surface.” XVIth International Congress on Mathematical Physics, World Scientific, 2010, pp. 314–22, doi:10.1142/9789814304634_0017.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 8506
Hunt, Brian R., and Vadim Kaloshin. “Prevalence.” Handbook of Dynamical Systems, vol. 3, Elsevier, 2010, pp. 43–87, doi:10.1016/s1874-575x(10)00310-3.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 857
Povolotskaya, Inna, and Fyodor Kondrashov. “Sequence Space and the Ongoing Expansion of the Protein Universe.” Nature, vol. 465, no. 7300, Nature Publishing Group, 2010, pp. 922–26, doi:10.1038/nature09105.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 862
Meer, Margarita, et al. “Compensatory Evolution in Mitochondrial TRNAs Navigates Valleys of Low Fitness.” Nature, vol. 464, no. 7286, Nature Publishing Group, 2010, pp. 279–82, doi:10.1038/nature08691.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 872
Kondrashov, Fyodor, and Alexey 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, 2010, pp. 1169–76, doi:10.1098/rstb.2009.0286.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 884
Kondrashov, Alexey, et al. “Rate of Sequence Divergence under Constant Selection.” Biology Direct, vol. 5, BioMed Central, 2010, doi:10.1186/1745-6150-5-5.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 9452
Zemach, Assaf, et al. “Genome-Wide Evolutionary Analysis of Eukaryotic DNA Methylation.” Science, vol. 328, no. 5980, American Association for the Advancement of Science, 2010, pp. 916–19, doi:10.1126/science.1186366.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas, Ulises, et al. “Cryptic Variation between Species and the Basis of Hybrid Performance.” PLoS Biology, vol. 8, no. 7, e1000429, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000429.
[Published Version] View | Files available | DOI
 

2010 | Research Data Reference | IST-REx-ID: 9764
Rosas, Ulises, et al. Heterosis and the Drift Load. Public Library of Science, 2010, doi:10.1371/journal.pbio.1000429.s003.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 12199
Feng, Xiaoqi, and Hugh G. Dickinson. “Tapetal Cell Fate, Lineage and Proliferation in the Arabidopsis Anther.” Development, vol. 137, no. 14, The Company of Biologists, 2010, pp. 2409–16, doi:10.1242/dev.049320.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 12200
Feng, Xiaoqi, and Hugh G. Dickinson. “Cell–Cell Interactions during Patterning of the Arabidopsis Anther.” Biochemical Society Transactions, vol. 38, no. 2, Portland Press Ltd., 2010, pp. 571–76, doi:10.1042/bst0380571.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13410
Coskun, Ali, 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, 2010, pp. 4310–20, doi:10.1021/ja9102327.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13409 | OA
Klajn, Rafal. “Immobilized Azobenzenes for the Construction of Photoresponsive Materials.” Pure and Applied Chemistry, vol. 82, no. 12, De Gruyter, 2010, pp. 2247–79, doi:10.1351/pac-con-10-09-04.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 13412
Klajn, Rafal, et al. “Nanoparticles Functionalised with Reversible Molecular and Supramolecular Switches.” Chemical Society Reviews, vol. 39, no. 6, Royal Society of Chemistry, 2010, pp. 2203–37, doi:10.1039/b920377j.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 13411
Klajn, Rafal, et al. “Nanoparticles That ‘Remember’ Temperature.” Small, vol. 6, no. 13, Wiley, 2010, pp. 1385–87, doi:10.1002/smll.200902272.
View | DOI | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee, Krishnendu, and Ritankar Majumdar. Discounting in Games across Time Scales. Vol. 25, EPTCS, 2010, pp. 22–29, doi:10.4204/EPTCS.25.6.
[Published Version] View | Files available | DOI | arXiv
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger.   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
Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3785
Palero, Ferran, et al. “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, 2010, pp. 658–63, doi:10.1651/09-3192.1.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7703
Sweeney, Lora B., and Liqun Luo. “‘Fore Brain: A Hint of the Ancestral Cortex.” Cell, vol. 142, no. 5, Elsevier, 2010, pp. 679–81, doi:10.1016/j.cell.2010.08.024.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 14983
Schlögl, Alois, et al. “Adaptive Methods in BCI Research - An Introductory Tutorial.” Brain-Computer Interfaces, edited by Bernhard Graimann et al., 1st ed., Springer, 2010, pp. 331–55, doi:10.1007/978-3-642-02091-9_18.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark, Manfred, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics, vol. 95, no. 2, Springer, 2009, pp. 219–25, doi:10.1007/s00340-009-3407-1.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Haller, Elmar, et al. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” Science, vol. 325, no. 5945, American Association for the Advancement of Science, 2009, pp. 1224–27, doi:10.1126/science.1175850.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Danzl, Johann G., et al. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics, vol. 11, IOP Publishing Ltd., 2009, doi:10.1088/1367-2630/11/5/055036.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl, Johann G., et al. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions, vol. 142, Royal Society of Chemistry, 2009, pp. 283–95, doi:10.1039/b820542f.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 110
Des Jardins, Angela, et al. “Reconnection in Three Dimensions: The Role of Spines in Three Eruptive Flares.” The Astrophysical Journal, vol. 693, no. 2, IOP Publishing Ltd., 2009, pp. 1628–36, doi:10.1088/0004-637X/693/2/1628.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 111
Royer, John, et al. “High-Speed Tracking of Rupture and Clustering in Freely Falling Granular Streams.” Nature, vol. 459, no. 7250, Nature Publishing Group, 2009, pp. 1110–13, doi:10.1038/nature08115.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
Hetzer, Martin, and Susan R. Wente. “Border Control at the Nucleus: Biogenesis and Organization of the Nuclear Membrane and Pore Complexes.” Developmental Cell, vol. 17, no. 5, Elsevier, 2009, pp. 606–16, doi:10.1016/j.devcel.2009.10.007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
Anderson, Daniel J., et al. “Recruitment of Functionally Distinct Membrane Proteins to Chromatin Mediates Nuclear Envelope Formation in Vivo.” Journal of Cell Biology, vol. 186, no. 2, Rockefeller University Press, 2009, pp. 183–91, doi:10.1083/jcb.200901106.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
Dawson, T. Renee, et al. “ER Membrane–Bending Proteins Are Necessary for de Novo Nuclear Pore Formation.” Journal of Cell Biology, vol. 184, no. 5, Rockefeller University Press, 2009, pp. 659–75, doi:10.1083/jcb.200806174.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
D’Angelo, Maximiliano A., et al. “Age-Dependent Deterioration of Nuclear Pore Complexes Causes a Loss of Nuclear Integrity in Postmitotic Cells.” Cell, vol. 136, no. 2, Elsevier, 2009, pp. 284–95, doi:10.1016/j.cell.2008.11.037.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
Capelson, Maya, and Martin Hetzer. “The Role of Nuclear Pores in Gene Regulation, Development and Disease.” EMBO Reports, vol. 10, no. 7, EMBO, 2009, pp. 697–705, doi:10.1038/embor.2009.147.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 11799
Dütting, Paul, et al. “Bidder Optimal Assignments for General Utilities.” 5th International Workshop on Internet and Network Economics, vol. 5929, Springer Nature, 2009, pp. 575–82, doi:10.1007/978-3-642-10841-9_58.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 11912 | OA
Baykan, Eda, et al. “A Comparison of Techniques for Sampling Web Pages.” 26th International Symposium on Theoretical Aspects of Computer Science, vol. 3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30, doi:10.4230/LIPICS.STACS.2009.1809.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications