Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2826 Publications

2011 | Journal Article | IST-REx-ID: 3352
J. Fisher, D. Harel, and T. A. Henzinger, “Biology as reactivity,” Communications of the ACM, vol. 54, no. 10, pp. 72–82, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3353 | OA
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “A theory of synchronous relational interfaces,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3354
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Qualitative concurrent parity games,” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3355 | OA
R. Halalai, T. A. Henzinger, and V. Singh, “Quantitative evaluation of BFT protocols,” presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany, 2011, pp. 255–264.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3356 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3357
K. Chatterjee, T. A. Henzinger, and F. Horn, “The complexity of request-response games,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 227–237.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3358 | OA
T. A. Henzinger, V. Singh, T. Wies, and D. Zufferey, “Scheduling large jobs by abstraction refinement,” presented at the EuroSys, Salzburg, Austria, 2011, pp. 329–342.
View | DOI | Download Published Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3359
P. Cerny and T. A. Henzinger, “From boolean to quantitative synthesis,” presented at the EMSOFT: Embedded Software , Taipei; Taiwan, 2011, pp. 149–154.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3360 | OA
U. Boker and T. A. Henzinger, “Determinizing discounted-sum automata,” presented at the CSL: Computer Science Logic, Bergen, Norway, 2011, vol. 12, pp. 82–96.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3361 | OA
P. Cerny, K. Chatterjee, and T. A. Henzinger, “The complexity of quantitative information flow problems,” presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France, 2011, pp. 205–217.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3362 | OA
J. Fisher, T. A. Henzinger, D. Nickovic, N. Piterman, A. Singh, and M. Vardi, “Dynamic reactive modules,” presented at the CONCUR: Concurrency Theory, Aachen, Germany, 2011, vol. 6901, pp. 404–418.
View | Files available | DOI
 
2011 | Preprint | IST-REx-ID: 3363 | OA
K. Chatterjee, T. A. Henzinger, and M. Tracol, “The decidability frontier for probabilistic automata on infinite words.” ArXiv.
View | Download Preprint (ext.) | arXiv
 
2011 | Journal Article | IST-REx-ID: 3364 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” Theoretical Computer Science, vol. 412, no. 21, pp. 2128–2141, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3365 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “QUASY: quantitative synthesis tool,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany, 2011, vol. 6605, pp. 267–271.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366 | OA
P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3367
C. Chen and M. Kerber, “An output sensitive algorithm for persistent homology,” presented at the SoCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 207–216.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3368 | OA
G. Krens, S. Möllmert, and C.-P. J. Heisenberg, “Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants,” PNAS, vol. 108, no. 3, pp. E9–E10, 2011.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3369
A. Pernia-Andrade and P. M. Jonas, “The multiple faces of RIM,” Neuron, vol. 69, no. 2, pp. 185–187, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3370 | OA
A. Kupczok, “Consequences of different null models on the tree shape bias of supertree methods,” Systematic Biology, vol. 60, no. 2, pp. 218–225, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3371 | OA
M. K. Sixt and C. Parent, “Cells on the move in Philadelphia,” Molecular Biology and Evolution, vol. 22, no. 6, p. 724, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3372 | OA
P. Abbot et al., “Inclusive fitness theory and eusociality,” Nature, vol. 471, no. 7339, pp. E1–E4, 2011.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3373 | OA
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, and S. Grill, “Measuring the complete force field of an optical trap,” Optics Letters, vol. 36, no. 7, pp. 1260–1262, 2011.
View | Files available | DOI | Download Published Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3374 | OA
G. Tkacik and A. Walczak, “Information transmission in genetic regulatory networks a review,” Journal of Physics: Condensed Matter, vol. 23, no. 15, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3375 | OA
H. de Vladar and N. H. Barton, “The statistical mechanics of a polygenic character under stabilizing selection mutation and drift,” Journal of the Royal Society Interface, vol. 8, no. 58, pp. 720–739, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3376 | OA
M. T. Bollenbach and R. Kishony, “Resolution of gene regulatory conflicts caused by combinations of antibiotics,” Molecular Cell, vol. 42, no. 4, pp. 413–425, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3377 | OA
H. Edelsbrunner, D. Morozov, and A. Patel, “Quantifying transversality by measuring the robustness of intersections,” Foundations of Computational Mathematics, vol. 11, no. 3, pp. 345–361, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3378
P. Bendich and J. Harer, “Persistent intersection homology,” Foundations of Computational Mathematics, vol. 11, no. 3, pp. 305–336, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3379 | OA
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P. J. Heisenberg, and D. Kimelman, “Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail,” Developmental Biology, vol. 354, no. 1, pp. 102–110, 2011.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3380 | OA
S. Logeswaran and N. H. Barton, “Mapping Mendelian traits in asexual progeny using changes in marker allele frequency,” Genetical Research, vol. 93, no. 3, pp. 221–232, 2011.
View | DOI | Download Published Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3381 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” IJFCS: International Journal of Foundations of Computer Science, vol. 22, no. 4, pp. 823–841, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3382
O. Kroemer, C. Lampert, and J. Peters, “Learning dynamic tactile sensing with robust vision based training,” IEEE Transactions on Robotics, vol. 27, no. 3, pp. 545–557, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3383
C.-P. J. Heisenberg, “Invited Lectures ‐ Symposia Area,” FEBS Journal, vol. 278, no. S1, pp. 24–24, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3384 | OA
G. Tkačik et al., “Natural images from the birthplace of the human eye,” PLoS One, vol. 6, no. 6, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3385
M. K. Sixt, “Interstitial locomotion of leukocytes,” Immunology Letters, vol. 138, no. 1, pp. 32–34, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3386
A. Schrempf, S. Cremer, and J. Heinze, “Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies,” Journal of Evolutionary Biology, vol. 24, no. 7, pp. 1455–1461, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3387 | OA
A. Kupczok, “Split based computation of majority rule supertrees,” BMC Evolutionary Biology, vol. 11, no. 205, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3388 | OA
L. V. Ugelvig, P. Nielsen, J. Boomsma, and D. Nash, “Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion,” BMC Evolutionary Biology, vol. 11, no. 201, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3389
M. Blaschko, J. Shelton, A. Bartels, C. Lampert, and A. Gretton, “Semi supervised kernel canonical correlation analysis with application to human fMRI,” Pattern Recognition Letters, vol. 32, no. 11, pp. 1572–1583, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3390 | OA
N. H. Barton and A. Etheridge, “The relation between reproductive value and genetic contribution,” Genetics, vol. 188, no. 4, pp. 953–973, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3391 | OA
H. de Vladar and N. H. Barton, “The contribution of statistical physics to evolutionary biology,” Trends in Ecology and Evolution, vol. 26, no. 8, pp. 424–432, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3392
S. Soriano et al., “In vivo analysis of uropod function during physiological T cell trafficking,” Journal of Immunology, vol. 187, no. 5, pp. 2356–2364, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3393 | OA
N. H. Barton and M. Turelli, “Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects,” American Naturalist, vol. 178, no. 3, pp. E48–E75, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3394 | OA
J. Polechova and N. H. Barton, “Genetic drift widens the expected cline but narrows the expected cline width,” Genetics, vol. 189, no. 1, pp. 227–235, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3395
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas ,” Biological Journal of the Linnean Society, vol. 104, no. 2, pp. 407–418, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3396 | OA
P. Stockinger, C.-P. J. Heisenberg, and J.-L. Maître, “Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube,” Development, vol. 138, no. 21, pp. 4673–4683, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3397 | OA
J.-L. Maître and C.-P. J. Heisenberg, “The role of adhesion energy in controlling cell-cell contacts,” Current Opinion in Cell Biology, vol. 23, no. 5, pp. 508–514, 2011.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3399 | OA
S. Cremer, A. Schrempf, and J. Heinze, “Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior,” PLoS One, vol. 6, no. 3, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3405 | OA
H. L. Janovjak, G. Sandoz, and E. Isacoff, “Modern ionotropic glutamate receptor with a K+ selectivity signature sequence,” Nature Communications, vol. 2, no. 232, pp. 1–6, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3429
N. Plachta, M. T. Bollenbach, S. Pease, S. Fraser, and P. Pantazis, “Oct4 kinetics predict cell lineage patterning in the early mammalian embryo,” Nature Cell Biology, vol. 13, no. 2, pp. 117–123, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3505 | OA
M. K. Sixt and T. Lämmermann, “In vitro analysis of chemotactic leukocyte migration in 3D environments,” Cell Migration, vol. 769, pp. 149–165, 2011.
View | DOI | Download Published Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3771
A. Pavan, F. Martins, F. Santos, A. Ditchfield, and R. A. Fernandes Redondo, “Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.,” Biological Journal of the Linnean Society, vol. 102, no. 3, pp. 527–539, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3778 | OA
N. H. Barton, “Estimating linkage disequilibria,” Heredity, vol. 106, no. 2, pp. 205–206, 2011.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3781
B. T. Fasy, “The difference in length of curves in R^n,” Acta Sci. Math. (Szeged), vol. 77, no. 1–2, pp. 359–367, 2011.
View
 
2011 | Journal Article | IST-REx-ID: 3784 | OA
F. Palero, G. Guerao, P. Clark, and P. Abello, “Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description,” Journal of the Marine Biological Association of the United Kingdom, vol. 91, no. 2, pp. 485–492, 2011.
View | DOI | Download Published Version (ext.)
 
2011 | Book Chapter | IST-REx-ID: 3791
G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Current Topics in Developmental Biology, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp. 189–213.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3796 | OA
H. Edelsbrunner and M. Kerber, “Covering and packing with spheres by diagonal distortion in R^n,” in Rainbow of Computer Science, vol. 6570, C. Calude, G. Rozenberg, and A. Salomaa, Eds. Springer, 2011, pp. 20–35.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 2409 | OA
A. Kupczok, H. Schmidt, and A. Von Haeseler, “Accuracy of phylogeny reconstruction methods combining overlapping gene data sets ,” Algorithms for Molecular Biology, vol. 5, no. 1, 2010.
View | Files available | DOI
 
2010 | Thesis | IST-REx-ID: 3962
H. Pflicke,   Dendritic cell migration across basement membranes in the skin. IST Austria, 2010.
View
 
2010 | Journal Article | IST-REx-ID: 4134
J. Bridle, J. Polechova, M. Kawata, and R. Butlin, “Why is adaptation prevented at ecological margins? New insights from individual-based simulations,” Ecology Letters, vol. 13, no. 4, pp. 485–494, 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, pp. 2753–2768, 2010.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 4243 | OA
N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7, pp. 162–216, 2010.
View | Files available | 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.
View | Files available | DOI
 
2010 | Book | IST-REx-ID: 4346 | OA
P. Danowski and J. Bergmann, Handbuch Bibliothek 2.0. De Gruyter, 2010.
View | Download Published Version (ext.)
 
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.
View | Files available | 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: 4369 | OA
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
View | Files available | 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.
View | DOI | Download Submitted Version (ext.)
 
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.
View | Files available | DOI
 
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.
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.
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.
View | Files available | DOI | arXiv
 
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.
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.
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: 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.
View | Files available | 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.
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, 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.
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.
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, pp. 171–199, 2010.
View | 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.
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.
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.
View | Files available | DOI
 
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.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3303 | OA
D. Weissman, M. Feldman, and D. Fisher, “The rate of fitness-valley crossing in sexual populations,” Genetics, vol. 186, no. 4, pp. 1389–1410, 2010.
View | DOI | Download Submitted Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 3604
H. Senn, S. Goodman, G. Swanson, N. H. Barton, and J. Pemberton, “Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland,” Molecular Ecology, vol. 19, no. 5, pp. 910–924, 2010.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3718
J. Guzmán et al., “P2Y1 receptors inhibit long-term depression in the prefrontal cortex.,” Neuropharmacology, vol. 59, no. 6, pp. 406–415, 2010.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3719 | OA
J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions of rule-based systems,” presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany, 2010, vol. 40, pp. 142–161.
View | Files available | arXiv
 
2010 | Journal Article | IST-REx-ID: 3772 | OA
N. H. Barton, “Understanding adaptation in large populations,” PLoS Genetics, vol. 6, no. 6, 2010.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3773 | OA
N. H. Barton, “What role does natural selection play in speciation?,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547, pp. 1825–1840, 2010.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3774
H. Senn, G. Swanson, S. Goodman, N. H. Barton, and J. Pemberton, “Phenotypic correlates of hybridisation between red and sika deer (genus Cervus),” Journal of Animal Ecology, vol. 79, no. 2, pp. 414–425, 2010.
View | DOI | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3776 | OA
N. H. Barton, “Genetic linkage and natural selection,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552, pp. 2559–2569, 2010.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3777 | OA
N. H. Barton, “Mutation and the evolution of recombination,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544, pp. 1281–1294, 2010.
View | DOI | Download Submitted Version (ext.) | 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, 2010.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3782
C. Chen and D. Freedman, “Topology noise removal for curve  and surface evolution,” in Conference proceedings MCV 2010, Beijing, China, 2010, vol. 6533, pp. 31–42.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3783
F. Palero, F. González Candelas, and M. Pascual, “Microsatelight – Pipeline to expedite microsatellite analysis,” Journal of Heredity, vol. 102, no. 2, pp. 247–249, 2010.
View | 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, pp. 658–663, 2010.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3787 | OA
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, and S. Thatje, “DNA extraction from formalin-fixed tissue: new light from the deep sea,” Scientia Marina, vol. 74, no. 3, pp. 465–470, 2010.
View | DOI | Download Submitted Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 3788
A. Klopper, G. Krens, S. Grill, and C.-P. J. Heisenberg, “Finite-size corrections to scaling behavior in sorted cell aggregates,” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2, pp. 99–103, 2010.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3789
E. Quesada-Hernández et al., “Stereotypical cell division orientation controls neural rod midline formation in zebrafish,” Current Biology, vol. 20, no. 21, pp. 1966–1972, 2010.
View | DOI
 

Search

Display / Sort

Citation Style: IEEE

Export / Embed