Arboleda Estudillo, Y., Krieg, M., Stuehmer, J., Licata, N., Mueller, D., &; Heisenberg, C.-P. J. (2010). Movement directionality in collective migration of germ layer progenitors. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2009.11.036 
LibreCat: https://research-explorer.ista.ac.at/record/4221
DOI: 10.1016/j.cub.2009.11.036

Bergmann, J., &; Danowski, P. (2010). Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In J. Bergmann &; P. Danowski (Eds.), Handbuch Bibliothek 2.0 (pp. 5–20). De Gruyter.https://doi.org/10.1515/9783110232103 
LibreCat: https://research-explorer.ista.ac.at/record/4339
DOI: 10.1515/9783110232103

Guinane, C., Ben Zakour, N., Tormo Mas, M., Weinert, L., Lowder, B., Cartwright, R.,https://doi.org/10.1093/gbe/evq031__Fitzgerald, J. R. (2010). Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. Oxford University Press.https://doi.org/10.1093/gbe/evq031 
LibreCat: https://research-explorer.ista.ac.at/record/4358
DOI: 10.1093/gbe/evq031

Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner,https://doi.org/10.1007/978-3-642-16612-9_32__G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International Conference on Runtime Verification, St. Julians, Malta: Springer.https://doi.org/10.1007/978-3-642-16612-9_32 
LibreCat: https://research-explorer.ista.ac.at/record/4362
DOI: 10.1007/978-3-642-16612-9_32

Kuncak, V., Piskac, R., Suter, P., &; Wies, T. (2010). Building a calculus of data structures. In G. Barthe &; M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer.https://doi.org/10.1007/978-3-642-11319-2_6 
LibreCat: https://research-explorer.ista.ac.at/record/4378
DOI: 10.1007/978-3-642-11319-2_6

Jones, K., Konrad, V., &; Nickovic, D. (2010). Analog property checkers: a DD case study. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-009-0085-x 
LibreCat: https://research-explorer.ista.ac.at/record/4379
DOI: 10.1007/s10703-009-0085-x

Henzinger, T. A., Tomar, A., Singh, V., Wies, T., &; Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE.https://doi.org/10.1109/CLOUD.2010.71 
LibreCat: https://research-explorer.ista.ac.at/record/4381
DOI: 10.1109/CLOUD.2010.71

Guerraoui, R., Henzinger, T. A., Kapalka, M., &; Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM.https://doi.org/10.1145/1810479.1810529 
LibreCat: https://research-explorer.ista.ac.at/record/4382
DOI: 10.1145/1810479.1810529

Henzinger, T. A., Tomar, A., Singh, V., Wies, T., &; Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM.https://doi.org/10.1145/1879021.1879022 
LibreCat: https://research-explorer.ista.ac.at/record/4380
DOI: 10.1145/1879021.1879022

Doyen, L., Henzinger, T. A., Legay, A., &; Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE.https://doi.org/10.1109/ACSD.2010.26 
LibreCat: https://research-explorer.ista.ac.at/record/4389
DOI: 10.1109/ACSD.2010.26

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna &; D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer.https://doi.org/10.1007/978-3-642-13754-9_3 
LibreCat: https://research-explorer.ista.ac.at/record/4392
DOI: 10.1007/978-3-642-13754-9_3

Beyer, D., Henzinger, T. A., Théoduloz, G., &; Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum &; G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12029-9_19 
LibreCat: https://research-explorer.ista.ac.at/record/4396
DOI: 10.1007/978-3-642-12029-9_19

Burckhardt, S., Musuvathi, M., &; Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-11970-5_7 
LibreCat: https://research-explorer.ista.ac.at/record/4395
DOI: 10.1007/978-3-642-11970-5_7

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-6(3:10)2010 
LibreCat: https://research-explorer.ista.ac.at/record/3867
DOI: 10.2168/LMCS-6(3:10)2010

Barton, N. H., Kelleher, J., &; Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.1558-5646.2010.01019.x 
LibreCat: https://research-explorer.ista.ac.at/record/474
DOI: 10.1111/j.1558-5646.2010.01019.x

Alur, R., &; Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 
LibreCat: https://research-explorer.ista.ac.at/record/488
DOI: 10.4230/LIPIcs.FSTTCS.2010.1

Cristau, J., David, C., &; Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association.https://doi.org/10.4204/EPTCS.25.7 
LibreCat: https://research-explorer.ista.ac.at/record/489
DOI: 10.4204/EPTCS.25.7

Hoenicke, J., Leino, K., Podelski, A., Schäf, M., &; Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-010-0102-0 
LibreCat: https://research-explorer.ista.ac.at/record/533
DOI: 10.1007/s10703-010-0102-0

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-15375-4_18 
LibreCat: https://research-explorer.ista.ac.at/record/4393
DOI: 10.1007/978-3-642-15375-4_18

Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., &; Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria.https://doi.org/10.15479/AT:IST-2010-0004 
LibreCat: https://research-explorer.ista.ac.at/record/5388
DOI: 10.15479/AT:IST-2010-0004

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Simulation distances. IST Austria.https://doi.org/10.15479/AT:IST-2010-0003 
LibreCat: https://research-explorer.ista.ac.at/record/5389
DOI: 10.15479/AT:IST-2010-0003

Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &; Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_41 
LibreCat: https://research-explorer.ista.ac.at/record/4390
DOI: 10.1007/978-3-642-14295-6_41

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_57 
LibreCat: https://research-explorer.ista.ac.at/record/4388
DOI: 10.1007/978-3-642-14295-6_57
arXiv: 1004.2367

Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &; Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria.https://doi.org/10.15479/AT:IST-2010-0001 
LibreCat: https://research-explorer.ista.ac.at/record/5391
DOI: 10.15479/AT:IST-2010-0001

Chatterjee, K., &; Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria.https://doi.org/10.15479/AT:IST-2010-0002 
LibreCat: https://research-explorer.ista.ac.at/record/5390
DOI: 10.15479/AT:IST-2010-0002

Chatterjee, K., &; Henzinger, T. A. (2010). Probabilistic Automata on infinite words: decidability and undecidability results (Vol. 6252, pp. 1–16). Presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore: Springer.https://doi.org/10.1007/978-3-642-15643-4_1 
LibreCat: https://research-explorer.ista.ac.at/record/3857
DOI: 10.1007/978-3-642-15643-4_1

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-15155-2_24 
LibreCat: https://research-explorer.ista.ac.at/record/3855
DOI: 10.1007/978-3-642-15155-2_24

Juhás, G., Kazlov, I., &; Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-13675-7_1 
LibreCat: https://research-explorer.ista.ac.at/record/5940
DOI: 10.1007/978-3-642-13675-7_1

Meyer, K., Lin, S., Bernecky, C., Gao, Y., &; Taatjes, D. (2010).https://doi.org/10.1038/nsmb.1816__activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group.https://doi.org/10.1038/nsmb.1816 
LibreCat: https://research-explorer.ista.ac.at/record/598
DOI: 10.1038/nsmb.1816

Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., &; de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science.https://doi.org/10.1371/journal.pone.0013922 
LibreCat: https://research-explorer.ista.ac.at/record/6142
DOI: 10.1371/journal.pone.0013922
PMID: 21085631

Zacharasiewicz, W., &; Kirsch, F. (2010). “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 Westf: impressions of an exploratory field trip and academic interaction in the Canadian Westf: Rapports interculturels et paysages littéraires dans l’Ouest canadien (pp. 173–179). Facultas.WUV.
LibreCat: https://research-explorer.ista.ac.at/record/619

Zhou, L., Li, F., Xu, H., Luo, C., Wu, H., Zhu, M.,https://doi.org/10.1038/nm.2245__Zhu, D. (2010). Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. Nature Publishing Group.https://doi.org/10.1038/nm.2245 
LibreCat: https://research-explorer.ista.ac.at/record/6198
DOI: 10.1038/nm.2245
PMID: 21102461

Bretèche, R. de la, &; Browning, T. D. (2010). Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. Walter de Gruyter GmbH.https://doi.org/10.1515/crelle.2010.064 
LibreCat: https://research-explorer.ista.ac.at/record/6320
DOI: 10.1515/crelle.2010.064
arXiv: 0808.2340v2

Salje, E. K. H., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley, J. C., Taylor, R. D.,https://doi.org/10.1103/physrevb.82.184112__Lashley, J. C. (2010). Tin telluride: A weakly co-elastic metal. Physical Review B. APS.https://doi.org/10.1103/physrevb.82.184112 
LibreCat: https://research-explorer.ista.ac.at/record/7078
DOI: 10.1103/physrevb.82.184112
arXiv: 1011.1445

Drymiotis, F. R., Drye, T. B., Wang, Y., He, J., Rhodes, D., Modic, K. A.,https://doi.org/10.1063/1.3284946__Zhang, Q. R. (2010). Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. AIP.https://doi.org/10.1063/1.3284946 
LibreCat: https://research-explorer.ista.ac.at/record/7079
DOI: 10.1063/1.3284946

Giordani, V., Freunberger, S. A., Bruce, P. G., Tarascon, J.-M., &; Larcher, D. (2010). O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. The Electrochemical Society.https://doi.org/10.1149/1.3494045 
LibreCat: https://research-explorer.ista.ac.at/record/7318
DOI: 10.1149/1.3494045

Alistarh, D.-A., Attiya, H., Gilbert, S., Giurgiu, A., &; Guerraoui, R. (2010). Fast randomized test-and-set and renaming (Vol. 6343 LNCS, pp. 94–108). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-642-15763-9_9 
LibreCat: https://research-explorer.ista.ac.at/record/754
DOI: 10.1007/978-3-642-15763-9_9

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Zadimoghaddam, M. (2010). How efficient can gossip be? (On the cost of resilient information exchange) (Vol. 6199 LNCS, pp. 115–126). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer.https://doi.org/10.1007/978-3-642-14162-1_10 
LibreCat: https://research-explorer.ista.ac.at/record/755
DOI: 10.1007/978-3-642-14162-1_10

Alistarh, D.-A., Gilbert, S., Guerraoui, R., Milosevi, d., &; Newport, C. (2010). Securing every bit: Authenticated broadcast in radio networks (pp. 50–59). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM.https://doi.org/10.1145/1810479.1810489 
LibreCat: https://research-explorer.ista.ac.at/record/756
DOI: 10.1145/1810479.1810489

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Travers, C. (2010). Brief announcement: New bounds for partially synchronous set agreement (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-642-15763-9_40 
LibreCat: https://research-explorer.ista.ac.at/record/758
DOI: 10.1007/978-3-642-15763-9_40

Wright, I., Higginbotham, A. P., Baker, S., &; Donnelly, T. (2010). Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. American Chemical Society.https://doi.org/10.1021/am100375w 
LibreCat: https://research-explorer.ista.ac.at/record/89
DOI: 10.1021/am100375w
PMID:     20735108

Innan, H., &; Kondrashov, F. (2010). The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. Nature Publishing Group.https://doi.org/10.1038/nrg2689 
LibreCat: https://research-explorer.ista.ac.at/record/891
DOI: 10.1038/nrg2689

Palacci, J. A., Abécassis, B., Cottin-Bizonne, C., Ybert, C., &; Bocquet, L. (2010). Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.104.138302 
LibreCat: https://research-explorer.ista.ac.at/record/9012
DOI: 10.1103/physrevlett.104.138302
PMID: 20481918
arXiv: 1004.1256 

Palacci, J. A., Cottin-Bizonne, C., Ybert, C., &; Bocquet, L. (2010). Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. American Physical Society .https://doi.org/10.1103/physrevlett.105.088304 
LibreCat: https://research-explorer.ista.ac.at/record/9013
DOI: 10.1103/physrevlett.105.088304
PMID: 20868136
arXiv: 1004.4340

Breen, M., &; Kondrashov, F. (2010). Mitochondrial pathogenic mutations are population-specific. Biology Direct. BioMed Central.https://doi.org/10.1186/1745-6150-5-68 
LibreCat: https://research-explorer.ista.ac.at/record/901
DOI: 10.1186/1745-6150-5-68

Canuto, V. M., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A., &; Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. Elsevier.https://doi.org/10.1016/j.ocemod.2010.04.006 
LibreCat: https://research-explorer.ista.ac.at/record/9145
DOI: 10.1016/j.ocemod.2010.04.006

O’Gorman, P. A., &; Muller, C. J. (2010). How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. IOP Publishing.https://doi.org/10.1088/1748-9326/5/2/025207 
LibreCat: https://research-explorer.ista.ac.at/record/9146
DOI: 10.1088/1748-9326/5/2/025207

Angelini, T., Hannezo, E. B., Trepat, X., Fredberg, J., &; Weitz, D. (2010). Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.104.168104 
LibreCat: https://research-explorer.ista.ac.at/record/920
DOI: 10.1103/PhysRevLett.104.168104

Zemach, A., Kim, M. Y., Silva, P., Rodrigues, J. A., Dotson, B., Brooks, M. D., &; Zilberman, D. (2010). Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1009695107 
LibreCat: https://research-explorer.ista.ac.at/record/9485
DOI: 10.1073/pnas.1009695107
PMID: 20937895

Zemach, A., &; Zilberman, D. (2010). Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2010.07.007 
LibreCat: https://research-explorer.ista.ac.at/record/9489
DOI: 10.1016/j.cub.2010.07.007
PMID: 20833323

Corazza, A., Rennella, E., Schanda, P., Mimmi, M. C., Cutuil, T., Raimondi, S.,https://doi.org/10.1074/jbc.m109.061168__Esposito, G. (2010). Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein ;22-Microglobulin revealed by real-time two-dimensional NMR. Journal of Biological Chemistry. American Society for Biochemistry &; Molecular Biology.https://doi.org/10.1074/jbc.m109.061168 
LibreCat: https://research-explorer.ista.ac.at/record/8473
DOI: 10.1074/jbc.m109.061168

Schanda, P., Meier, B. H., &; Ernst, M. (2010). Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja100726a 
LibreCat: https://research-explorer.ista.ac.at/record/8472
DOI: 10.1021/ja100726a

Kaloshin, V., ZHANG, K., &; ZHENG, Y. (2010). Almost dense orbit on energy surface. In XVIth International Congress on Mathematical Physics (pp. 314–322). Prague, Czech Republic: World Scientific.https://doi.org/10.1142/9789814304634_0017 
LibreCat: https://research-explorer.ista.ac.at/record/8507
DOI: 10.1142/9789814304634_0017

Hunt, B. R., &; Kaloshin, V. (2010). Prevalence. In Handbook of Dynamical Systems (Vol. 3, pp. 43–87). Elsevier.https://doi.org/10.1016/s1874-575x(10)00310-3 
LibreCat: https://research-explorer.ista.ac.at/record/8506
DOI: 10.1016/s1874-575x(10)00310-3

Povolotskaya, I., &; Kondrashov, F. (2010). Sequence space and the ongoing expansion of the protein universe. Nature. Nature Publishing Group.https://doi.org/10.1038/nature09105 
LibreCat: https://research-explorer.ista.ac.at/record/857
DOI: 10.1038/nature09105

Meer, M., Kondrashov, A., Artzy Randrup, Y., &; Kondrashov, F. (2010). Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. Nature Publishing Group.https://doi.org/10.1038/nature08691 
LibreCat: https://research-explorer.ista.ac.at/record/862
DOI: 10.1038/nature08691

Kondrashov, F., &; Kondrashov, A. (2010). 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. Royal Society, The.https://doi.org/10.1098/rstb.2009.0286 
LibreCat: https://research-explorer.ista.ac.at/record/872
DOI: 10.1098/rstb.2009.0286

Kondrashov, A., Povolotskaya, I., Ivankov, D., &; Kondrashov, F. (2010). Rate of sequence divergence under constant selection. Biology Direct. BioMed Central.https://doi.org/10.1186/1745-6150-5-5 
LibreCat: https://research-explorer.ista.ac.at/record/884
DOI: 10.1186/1745-6150-5-5

Zemach, A., McDaniel, I. E., Silva, P., &; Zilberman, D. (2010). Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1186366 
LibreCat: https://research-explorer.ista.ac.at/record/9452
DOI: 10.1126/science.1186366
PMID: 20395474 

Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., &; Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000429 
LibreCat: https://research-explorer.ista.ac.at/record/3779
DOI: 10.1371/journal.pbio.1000429

Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., &; Coen, E. (2010). Heterosis and the drift load. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000429.s003 
LibreCat: https://research-explorer.ista.ac.at/record/9764
DOI: 10.1371/journal.pbio.1000429.s003

Feng, X., &; Dickinson, H. G. (2010). Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. The Company of Biologists.https://doi.org/10.1242/dev.049320 
LibreCat: https://research-explorer.ista.ac.at/record/12199
DOI: 10.1242/dev.049320
PMID: 20570940

Feng, X., &; Dickinson, H. G. (2010). Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. Portland Press Ltd.https://doi.org/10.1042/bst0380571 
LibreCat: https://research-explorer.ista.ac.at/record/12200
DOI: 10.1042/bst0380571
PMID: 20298223

Coskun, A., Wesson, P. J., Klajn, R., Trabolsi, A., Fang, L., Olson, M. A.,https://doi.org/10.1021/ja9102327__Stoddart, J. F. (2010). Molecular-mechanical switching at the nanoparticlesolvent interface: Practice and theory. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja9102327 
LibreCat: https://research-explorer.ista.ac.at/record/13410
DOI: 10.1021/ja9102327
PMID: 20218598

Klajn, R. (2010). Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. De Gruyter.https://doi.org/10.1351/pac-con-10-09-04 
LibreCat: https://research-explorer.ista.ac.at/record/13409
DOI: 10.1351/pac-con-10-09-04

Klajn, R., Stoddart, J. F., &; Grzybowski, B. A. (2010). Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. Royal Society of Chemistry.https://doi.org/10.1039/b920377j 
LibreCat: https://research-explorer.ista.ac.at/record/13412
DOI: 10.1039/b920377j
PMID: 20407689

Klajn, R., Browne, K. P., Soh, S., &; Grzybowski, B. A. (2010). Nanoparticles that member”https://doi.org/10.1002/smll.200902272__temperature. Small. Wiley.https://doi.org/10.1002/smll.200902272 
LibreCat: https://research-explorer.ista.ac.at/record/13411
DOI: 10.1002/smll.200902272
PMID: 20521264

Chatterjee, K., &; Majumdar, R. (2010). Discounting in games across time scales (Vol. 25, pp. 22–29). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS.https://doi.org/10.4204/EPTCS.25.6 
LibreCat: https://research-explorer.ista.ac.at/record/3852
DOI: 10.4204/EPTCS.25.6
arXiv: 1006.1403

Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3962

Wies, T., Zufferey, D., &; Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12032-9_8 
LibreCat: https://research-explorer.ista.ac.at/record/4361
DOI: 10.1007/978-3-642-12032-9_8

Palero, F., Abello, P., Macpherson, E., Matthee, C., &; Pascual, M. (2010). Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. Oxford University Press.https://doi.org/10.1651/09-3192.1 
LibreCat: https://research-explorer.ista.ac.at/record/3785
DOI: 10.1651/09-3192.1

Sweeney, L. B., &; Luo, L. (2010). ‘Fore brain: A hint of the ancestral cortex. Cell. Elsevier.https://doi.org/10.1016/j.cell.2010.08.024 
LibreCat: https://research-explorer.ista.ac.at/record/7703
DOI: 10.1016/j.cell.2010.08.024

Schlögl, A., Vidaurre, C., &; Müller, K.-R. (2010). Adaptive Methods in BCI Research - An Introductory Tutorial. In B. Graimann, G. Pfurtscheller, &; B. Allison (Eds.), Brain-Computer Interfaces (1st ed., pp. 331–355). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-02091-9_18 
LibreCat: https://research-explorer.ista.ac.at/record/14983
DOI: 10.1007/978-3-642-02091-9_18

Mark, M., Danzl, J. G., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O.,https://doi.org/10.1007/s00340-009-3407-1__Nägerl, H. (2009). Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. Springer.https://doi.org/10.1007/s00340-009-3407-1 
LibreCat: https://research-explorer.ista.ac.at/record/1038
DOI: 10.1007/s00340-009-3407-1
arXiv: 0811.0695

Haller, E., Gustavsson, M., Mark, M., Danzl, J. G., Hart, R., Pupillo, G., &; Nägerl, H. (2009). Realization of an excited, strongly correlated quantum gas Phase. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1175850 
LibreCat: https://research-explorer.ista.ac.at/record/1040
DOI: 10.1126/science.1175850
arXiv: 1006.0739

Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A.,https://doi.org/10.1088/1367-2630/11/5/055036__Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/11/5/055036 
LibreCat: https://research-explorer.ista.ac.at/record/1041
DOI: 10.1088/1367-2630/11/5/055036
arXiv: 0812.5070

Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O.,https://doi.org/10.1039/b820542f__Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/b820542f 
LibreCat: https://research-explorer.ista.ac.at/record/1043
DOI: 10.1039/b820542f
arXiv: 0811.2374

Des Jardins, A., Canfield, R., Longcope, D., Fordyce, C., &; Waitukaitis, S. R. (2009). Reconnection in three dimensions: The role of spines in three eruptive flares. The Astrophysical Journal. IOP Publishing Ltd.https://doi.org/10.1088/0004-637X/693/2/1628 
LibreCat: https://research-explorer.ista.ac.at/record/110
DOI: 10.1088/0004-637X/693/2/1628

Royer, J., Evans, D., Oyarte, L., Guo, Q., Kapit, E., Möbius, M.,https://doi.org/10.1038/nature08115__Jaeger, H. (2009). High-speed tracking of rupture and clustering in freely falling granular streams. Nature. Nature Publishing Group.https://doi.org/10.1038/nature08115 
LibreCat: https://research-explorer.ista.ac.at/record/111
DOI: 10.1038/nature08115

Hetzer, M., &; Wente, S. R. (2009). Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2009.10.007 
LibreCat: https://research-explorer.ista.ac.at/record/11103
DOI: 10.1016/j.devcel.2009.10.007
PMID: 19922866

Anderson, D. J., Vargas, J. D., Hsiao, J. P., &; Hetzer, M. (2009). Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.200901106 
LibreCat: https://research-explorer.ista.ac.at/record/11106
DOI: 10.1083/jcb.200901106
PMID: 19620630

Dawson, T. R., Lazarus, M. D., Hetzer, M., &; Wente, S. R. (2009). ER membrane–bending proteins are necessary for de novo nuclear pore formation. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.200806174 
LibreCat: https://research-explorer.ista.ac.at/record/11107
DOI: 10.1083/jcb.200806174
PMID: 19273614

D’Angelo, M. A., Raices, M., Panowski, S. H., &; Hetzer, M. (2009). Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells. Cell. Elsevier.https://doi.org/10.1016/j.cell.2008.11.037 
LibreCat: https://research-explorer.ista.ac.at/record/11108
DOI: 10.1016/j.cell.2008.11.037
PMID: 19167330

Capelson, M., &; Hetzer, M. (2009). The role of nuclear pores in gene regulation, development and disease. EMBO Reports. EMBO.https://doi.org/10.1038/embor.2009.147 
LibreCat: https://research-explorer.ista.ac.at/record/11105
DOI: 10.1038/embor.2009.147
PMID: 19543230

Dütting, P., Henzinger, M. H., &; Weber, I. (2009). Bidder optimal assignments for general utilities. In 5th International Workshop on Internet and Network Economics (Vol. 5929, pp. 575–582). Rome, Italy: Springer Nature.https://doi.org/10.1007/978-3-642-10841-9_58 
LibreCat: https://research-explorer.ista.ac.at/record/11799
DOI: 10.1007/978-3-642-10841-9_58

Baykan,https://doi.org/10.4230/LIPICS.STACS.2009.1809__Eda, Henzinger, M. H., Keller, S. F., de Castelberg, S., &; Kinzler, M. (2009). A comparison of techniques for sampling web pages. In 26th International Symposium on Theoretical Aspects of Computer Science (Vol. 3, pp. 13–30). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.STACS.2009.1809 
LibreCat: https://research-explorer.ista.ac.at/record/11912
DOI: 10.4230/LIPICS.STACS.2009.1809
arXiv: 0902.1604

Baykan, E., Henzinger, M. H., Marian, L., &; Weber, I. (2009). Purely URL-based topic classification. In 18th International World Wide Web Conference (pp. 1109–1110). New York, NY, United States: Association for Computing Machinery.https://doi.org/10.1145/1526709.1526880 
LibreCat: https://research-explorer.ista.ac.at/record/11905
DOI: 10.1145/1526709.1526880

Abdel Hamid, O., Behzadi, B., Christoph, S., &; Henzinger, M. H. (2009). Detecting the origin of text segments efficiently. In 18th International World Wide Web Conference (pp. 61–70). Madrid, Spain: Association for Computing Machinery.https://doi.org/10.1145/1526709.1526719 
LibreCat: https://research-explorer.ista.ac.at/record/11906
DOI: 10.1145/1526709.1526719

Carenzo, M., Pellicciotti, F., Rimkus, S., &; Burlando, P. (2009). Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. Cambridge University Press.https://doi.org/10.3189/002214309788608804 
LibreCat: https://research-explorer.ista.ac.at/record/12654
DOI: 10.3189/002214309788608804

Pellicciotti, F., Carenzo, M., Helbing, J., Rimkus, S., &; Burlando, P. (2009). On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. International Glaciological Society.https://doi.org/10.3189/172756409787769555 
LibreCat: https://research-explorer.ista.ac.at/record/12655
DOI: 10.3189/172756409787769555

Raghu, S., Jösch, M. A., Sigrist, S., Borst, A., &; Reiff, D. (2009). Synaptic organization of lobula plate tangential cells in Drosophila: D;17 cholinergic receptors. Journal of Neurogenetics. Informa Healthcare.https://doi.org/10.1080/01677060802471684 
LibreCat: https://research-explorer.ista.ac.at/record/1302
DOI: 10.1080/01677060802471684

Browning, T. D., &; Heath Brown, R. (2009). Integral points on cubic hypersurfaces. In Analytic Number Theory: Essays in honour of Klaus Roth (pp. 75–90). Cambridge University Press.
LibreCat: https://research-explorer.ista.ac.at/record/164
arXiv: 0611086

Browning, T. D. (2009). Resent progress on the quantitative arithmetic of del Pezzo surfaces. In T. Aoki, S. Kanemitsu, &; J. Liu (Eds.) (Vol. 6, pp. 1–18). Presented at the Number Theory: Dreaming in dreams, World Scientific Publishing.https://doi.org/10.1142/9789814289924_0001 
LibreCat: https://research-explorer.ista.ac.at/record/165
DOI: https://doi.org/10.1142/9789814289924_0001

Browning, T. D., &; Dietmann, R. (2009). Solubility of Fermat equations. In Quadratic Forms - algebra, arithmetic and geometry (Vol. 493, pp. 99–106). American Mathematical Society.http://dx.doi.org/10.1090/conm/493 
LibreCat: https://research-explorer.ista.ac.at/record/168
DOI: http://dx.doi.org/10.1090/conm/493

Kutbjová, E., Briscoe, J., &; Kicheva, A. (2009). Temporal dynamics of patterning by morphogen gradients. Current Opinion in Genetics &; Development. Elsevier.https://doi.org/10.1016/j.gde.2009.05.004 
LibreCat: https://research-explorer.ista.ac.at/record/1718
DOI: 10.1016/j.gde.2009.05.004

Wartlick, O., Kicheva, A., &; González Gaitán, M. (2009). Morphogen gradient formation . Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/cshperspect.a001255 
LibreCat: https://research-explorer.ista.ac.at/record/1720
DOI: 10.1101/cshperspect.a001255

Fink, J. M., Bianchetti, R., Baur, M., Göppl, M., Steffen, L., Filipp, S.,https://doi.org/10.1103/PhysRevLett.103.083601__Wallraff, A. (2009). Dressed collective qubit states and the Tavis-Cummings model in circuit QED. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.103.083601 
LibreCat: https://research-explorer.ista.ac.at/record/1769
DOI: 10.1103/PhysRevLett.103.083601

Baur, M., Filipp, S., Bianchetti, R., Fink, J. M., Göppl, M., Steffen, L.,https://doi.org/10.1103/PhysRevLett.102.243602__Wallraff, A. (2009). Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.102.243602 
LibreCat: https://research-explorer.ista.ac.at/record/1767
DOI: 10.1103/PhysRevLett.102.243602

Leek, P., Filipp, S., Maurer, P., Baur, M., Bianchetti, R., Fink, J. M.,https://doi.org/10.1103/PhysRevB.79.180511__Wallraff, A. (2009). Using sideband transitions for two-qubit operations in superconducting circuits. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.79.180511 
LibreCat: https://research-explorer.ista.ac.at/record/1766
DOI: 10.1103/PhysRevB.79.180511

Filipp, S., Maurer, P., Leek, P., Baur, M., Bianchetti, R., Fink, J. M.,https://doi.org/10.1103/PhysRevLett.102.200402__Wallraff, A. (2009). Two-qubit state tomography using a joint dispersive readout. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.102.200402 
LibreCat: https://research-explorer.ista.ac.at/record/1768
DOI: 10.1103/PhysRevLett.102.200402