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

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

2398 Publications


2011 | Journal Article | IST-REx-ID: 3778   OA
Barton, N. H. (2011). Estimating linkage disequilibria. Heredity, 106(2), 205–206. https://doi.org/10.1038/hdy.2010.67
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3386
Schrempf, A., Cremer, S., & Heinze, J. (2011). Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology, 24(7), 1455–1461. https://doi.org/10.1111/j.1420-9101.2011.02278.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3393   OA
Barton, N. H., & Turelli, M. (2011). Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist, 178(3), E48–E75. https://doi.org/10.1086/661246
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3374   OA
Tkacik, G., & Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter, 23(15). https://doi.org/10.1088/0953-8984/23/15/153102
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3379   OA
Row, R., Maître, J.-L., Martin, B., Stockinger, P., Heisenberg, C.-P. J., & Kimelman, D. (2011). Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology, 354(1), 102–110. https://doi.org/10.1016/j.ydbio.2011.03.025
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3381
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science, 22(4), 823–841. https://doi.org/10.1142/S0129054111008441
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3367
Chen, C., & Kerber, M. (2011). An output sensitive algorithm for persistent homology (pp. 207–216). Presented at the SoCG: Symposium on Computational Geometry, Paris, France: ACM. https://doi.org/10.1145/1998196.1998228
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5382   OA
Chatterjee, K. (2011). Robustness of structurally equivalent concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387   OA
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2011-0001
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3336
Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. In CVPR: Computer Vision and Pattern Recognition (pp. 2089–2096). Colorado Springs, USA: IEEE. https://doi.org/10.1109/CVPR.2011.5995503
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3267
Chen, C., & Freedman, D. (2011). Hardness results for homology localization. Discrete & Computational Geometry, 45(3), 425–448. https://doi.org/10.1007/s00454-010-9322-8
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3298   OA
Raveendran, K., Wojtan, C. J., & Turk, G. (2011). Hybrid smoothed particle hydrodynamics. In S. Spencer (Ed.) (pp. 33–42). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada: ACM. https://doi.org/10.1145/2019406.2019411
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3301   OA
Henzinger, T. A., & Mateescu, M. (2011). Tail approximation for the chemical master equation. Presented at the WCSB: Workshop on Computational Systems Biology (TICSP), Tampere International Center for Signal Processing.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3313   OA
Chen, C., & Edelsbrunner, H. (2011). Diffusion runs low on persistence fast. In Proceedings of the IEEE International Conference on Computer Vision (p. 6126271). Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126271
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3318   OA
Eggermann, E., & Jonas, P. M. (2011). How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience, 15, 20–22. https://doi.org/10.1038/nn.3002
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3320
Nowozin, S., & Lampert, C. (2011). Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision, 6(3–4), 185–365. https://doi.org/10.1561/0600000033
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3325
Alur, R., & Cerny, P. (2011). Streaming transducers for algorithmic verification of single pass list processing programs (Vol. 46, pp. 599–610). Presented at the POPL: Principles of Programming Languages, Texas, USA: ACM. https://doi.org/10.1145/1926385.1926454
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3382
Kroemer, O., Lampert, C., & Peters, J. (2011). Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics, 27(3), 545–557. https://doi.org/10.1109/TRO.2011.2121130
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3387   OA
Kupczok, A. (2011). Split based computation of majority rule supertrees. BMC Evolutionary Biology, 11(205). https://doi.org/10.1186/1471-2148-11-205
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394   OA
Polechova, J., & Barton, N. H. (2011). Genetic drift widens the expected cline but narrows the expected cline width. Genetics, 189(1), 227–235. https://doi.org/10.1534/genetics.111.129817
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3399   OA
Cremer, S., Schrempf, A., & Heinze, J. (2011). Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One, 6(3), e17323. https://doi.org/10.1371/journal.pone.0017323
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368   OA
Krens, G., Möllmert, S., & Heisenberg, C.-P. J. (2011). Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS, 108(3), E9–E10. https://doi.org/10.1073/pnas.1010767108
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3370   OA
Kupczok, A. (2011). Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology, 60(2), 218–225. https://doi.org/10.1093/sysbio/syq086
View | DOI | Download (ext.)
 

2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee, K., Henzinger, T. A., & Tracol, M. (n.d.). The decidability frontier for probabilistic automata on infinite words. ArXiv.
View | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3349   OA
Chatterjee, K., & Fijalkow, N. (2011). A reduction from parity games to simple stochastic games (Vol. 54, pp. 74–86). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.54.6
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3351   OA
Chatterjee, K., Doyen, L., & Singh, R. (2011). On memoryless quantitative objectives. In O. Owe, M. Steffen, & J. A. Telle (Eds.) (Vol. 6914, pp. 148–159). Presented at the FCT: Fundamentals of Computation Theory, Oslo, Norway: Springer. https://doi.org/10.1007/978-3-642-22953-4_13
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375   OA
de Vladar, H., & Barton, N. H. (2011). The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface, 8(58), 720–739. https://doi.org/10.1098/rsif.2010.0438
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3337
Wang, Z., Lampert, C., Mülling, K., Schölkopf, B., & Peters, J. (2011). Learning anticipation policies for robot table tennis (pp. 332–337). Presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA: IEEE. https://doi.org/10.1109/IROS.2011.6094892
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee, K. (2011). Graph games with reachability objectives. In G. Delzanno & I. Potapov (Eds.) (Vol. 6945, pp. 1–1). Presented at the RP: Reachability Problems, Genoa, Italy: Springer. https://doi.org/10.1007/978-3-642-24288-5_1
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3332
Kerber, M., & Sagraloff, M. (2011). A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics, 27(3), 419–430. https://doi.org/10.1007/s00373-011-1020-7
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3781
Fasy, B. T. (2011). The difference in length of curves in R^n. Acta Sci. Math. (Szeged), 77(1–2), 359–367.
View
 

2011 | Journal Article | IST-REx-ID: 490   OA
Schlögl, A., Vidaurre, C., & Sander, T. (2011). BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience, 2011. https://doi.org/10.1155/2011/935364
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 469   OA
Vyleta, N., & Smith, S. (2011). Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience, 31(12), 4593–4606. https://doi.org/10.1523/JNEUROSCI.6398-10.2011
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3356
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.33
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383   OA
Wies, T., Muñiz, M., & Kuncak, V. (2011). On an efficient decision procedure for imperative tree data structures. IST Austria. https://doi.org/10.15479/AT:IST-2011-0005
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3782
Chen, C., & Freedman, D. (2010). Topology noise removal for curve  and surface evolution. In Conference proceedings MCV 2010 (Vol. 6533, pp. 31–42). Beijing, China: Springer. https://doi.org/10.1007/978-3-642-18421-5_4
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3787   OA
Palero, F., Hall, S., Clark, P., Johnston, D., Mackenzie Dodds, J., & Thatje, S. (2010). DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina, 74(3), 465–470. https://doi.org/10.3989/scimar.2010.74n3465
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3794
Lampert, C., & Krömer, O. (2010). Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning (Vol. 6312, pp. 566–579). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer. https://doi.org/10.1007/978-3-642-15552-9_41
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3718
Guzman, S., Schmidt, H., Franke, H., Krügel, U., Eilers, J., Illes, P., & Gerevich, Z. (2010). P2Y1 receptors inhibit long-term depression in the prefrontal cortex. Neuropharmacology, 59(6), 406–415. https://doi.org/10.1016/j.neuropharm.2010.05.013
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3833
Jonas, P. M., & Hefft, S. (2010). GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova). The European Journal of Neuroscience, 31(7), 1194–1195. https://doi.org/10.1111/j.1460-9568.2010.07189.x
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838   OA
Henzinger, T. A., Mateescu, M., Mikeev, L., & Wolf, V. (2010). Hybrid numerical solution of the chemical master equation (pp. 55–65). Presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy: Springer. https://doi.org/10.1145/1839764.1839772
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3840
Henzinger, T. A. (2010). From boolean to quantitative notions of correctness (Vol. 45, pp. 157–158). Presented at the POPL: Principles of Programming Languages, Madrid, Spain: ACM. https://doi.org/10.1145/1706299.1706319
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845   OA
Henzinger, T. A., Hottelier, T., Kovács, L., & Rybalchenko, A. (2010). Aligators for arrays (Vol. 6397, pp. 348–356). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_25
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3852   OA
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
View | Files available | DOI | Download (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3864   OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2010). Measuring and synthesizing systems in probabilistic environments (Vol. 6174, pp. 380–395). Presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom: Springer. https://doi.org/10.1007/978-3-642-14295-6_34
View | Files available | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4134
Bridle, J., Polechova, J., Kawata, M., & Butlin, R. (2010). Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters, 13(4), 485–494. https://doi.org/10.1111/j.1461-0248.2010.01442.x
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, … 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
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger, T. A., Singh, 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 
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489   OA
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
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4393
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
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389   OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3857
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
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391   OA
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
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3303   OA
Weissman, D., Feldman, M., & Fisher, D. (2010). The rate of fitness-valley crossing in sexual populations. Genetics, 186(4), 1389–1410. https://doi.org/10.1534/genetics.110.123240
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719   OA
Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2010). Lumpability abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open Publishing Association.
View | Files available | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3776   OA
Barton, N. H. (2010). Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 365(1552), 2559–2569. https://doi.org/10.1098/rstb.2010.0106
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3783
Palero, F., González Candelas, F., & Pascual, M. (2010). Microsatelight – Pipeline to expedite microsatellite analysis. Journal of Heredity, 102(2), 247–249. https://doi.org/10.1093/jhered/esq111
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3788
Klopper, A., Krens, G., Grill, S., & Heisenberg, C.-P. J. (2010). Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics, 33(2), 99–103. https://doi.org/10.1140/epje/i2010-10642-y
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3790   OA
Diz Muñoz, A., Krieg, M., Bergert, M., Ibarlucea Benitez, I., Müller, D., Paluch, E., & Heisenberg, C.-P. J. (2010). Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology, 8(11), e1000544. https://doi.org/10.1371/journal.pbio.1000544
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795   OA
Edelsbrunner, H., Morozov, D., & Patel, A. (2010). The stability of the apparent contour of an orientable 2-manifold. In Topological Data Analysis and Visualization: Theory, Algorithms and Applications (pp. 27–42). Springer. https://doi.org/10.1007/978-3-642-15014-2_3
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3834   OA
Wolf, V., Goel, R., Mateescu, M., & Henzinger, T. A. (2010). Solving the chemical master equation using sliding windows. BMC Systems Biology, 4(42), 1–19. https://doi.org/10.1186/1752-0509-4-42
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839   OA
Henzinger, T. A., Hottelier, T., Kovács, L., & Voronkov, A. (2010). Invariant and type inference for matrices (Vol. 5944, pp. 163–179). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_14
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3853   OA
Chatterjee, K., Doyen, L., Edelsbrunner, H., Henzinger, T. A., & Rannou, P. (2010). Mean-payoff automaton expressions (Vol. 6269, pp. 269–283). 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_19
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3858
Chatterjee, K., & Doyen, L. (2010). The complexity of partial-observation parity games. In C. Fermüller & A. Voronkov (Eds.) (Vol. 6397, pp. 1–14). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_1
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee, K., De Alfaro, L., Raman, V., & Sánchez, C. (2010). Analyzing the impact of change in multi-threaded programs. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 293–307). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_21
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243   OA
Barton, N. H., Etheridge, A., & Véber, A. (2010). A new model for evolution in a spatial continuum. Electronic Journal of Probability, 15(7), 162–216. https://doi.org/10.1214/EJP.v15-741
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382   OA
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
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860   OA
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2010). Generalized mean-payoff and energy games (Vol. 8, pp. 505–516). 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.505
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf, M., Gonano, C., Nemecek, E., Cichocki, L., & Schueller Weidekamm, C. (2010). Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis. Knee Surgery, Sports Traumatology, Arthroscopy, 18(12), 1792–1794. https://doi.org/10.1007/s00167-010-1227-9
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3772   OA
Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics, 6(6), e1000987. https://doi.org/10.1371/journal.pgen.1000987
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777   OA
Barton, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 365(1544), 1281–1294. https://doi.org/10.1098/rstb.2009.0320
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3789
Quesada Hernández, E., Caneparo, L., Schneider, S., Winkler, S., Liebling, M., Fraser, S., & Heisenberg, C.-P. J. (2010). Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology, 20(21), 1966–1972. https://doi.org/10.1016/j.cub.2010.10.009
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3847   OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2010). SABRE: A tool for the stochastic analysis of biochemical reaction networks (pp. 193–194). Presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA: IEEE. https://doi.org/10.1109/QEST.2010.33
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee, K., Horn, F., & Löding, C. (2010). Obliging games (Vol. 6269, pp. 284–296). 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_20
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3866   OA
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2010). Robustness in the presence of liveness. In T. Touili, B. Cook, & P. Jackson (Eds.) (Vol. 6174, pp. 410–424). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_36
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3842
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2010). Fast adaptive uniformization of the chemical master equation. IET Systems Biology, 4(6), 441–452. https://doi.org/10.1049/iet-syb.2010.0005
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2010). Strategy logic. Information and Computation, 208(6), 677–693. https://doi.org/10.1016/j.ic.2009.07.004
View | Files available | DOI
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. IST Austria.
View
 

2010 | Conference Paper | IST-REx-ID: 4369   OA
Nickovic, D., & Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger & K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9_13
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 474
Barton, N. H., Kelleher, J., & Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution, 64(9), 2701–2715. https://doi.org/10.1111/j.1558-5646.2010.01019.x
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388
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
View | Files available | DOI | Download (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4390
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
View | Files available | DOI
 

2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, K., & Henzinger, T. A. (Eds.). (2010). Formal modeling and analysis of timed systems (Vol. 6246). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773   OA
Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 365(1547), 1825–1840. https://doi.org/10.1098/rstb.2010.0001
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3785
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, 30(4), 658–663. https://doi.org/10.1651/09-3192.1
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3792
Carvalho, L., & Heisenberg, C.-P. J. (2010). The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology, 20(10), 586–592. https://doi.org/10.1016/j.tcb.2010.06.009
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3848
Bendich, P., Edelsbrunner, H., Morozov, D., & Patel, A. (2010). The robustness of level sets (Vol. 6346, pp. 1–10). Presented at the ESA: European Symposium on Algorithms, Liverpool, UK: Springer. https://doi.org/10.1007/978-3-642-15775-2_1
View | DOI
 

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

2010 | Journal Article | IST-REx-ID: 3901   OA
Bendich, P., Edelsbrunner, H., & Kerber, M. (2010). Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics, 16(6), 1251–1260. https://doi.org/10.1109/TVCG.2010.139
View | Files available | DOI
 

2010 | Book | IST-REx-ID: 4346   OA
Danowski, P., & Bergmann, J. (2010). Handbuch Bibliothek 2.0. De Gruyter.
View | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 4339   OA
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
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396   OA
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
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4389   OA
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
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 533
Hoenicke, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed program points. Formal Methods in System Design, 37(2–3), 171–199. https://doi.org/10.1007/s10703-010-0102-0
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855
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
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science, 6(3), 1–23. https://doi.org/10.2168/LMCS-6(3:10)2010
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 2409   OA
Kupczok, A., Schmidt, H., & Von Haeseler, A. (2010). Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology, 5(1), 37. https://doi.org/10.1186/1748-7188-5-37
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3774
Senn, H., Swanson, G., Goodman, S., Barton, N. H., & Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology, 79(2), 414–425. https://doi.org/10.1111/j.1365-2656.2009.01633.x
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779   OA
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, 8(7), e1000429. https://doi.org/10.1371/journal.pbio.1000429
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793
Nowozin, S., Gehler, P., & Lampert, C. (2010). On parameter learning in CRF-based approaches to object class image segmentation (Vol. 6316, pp. 98–111). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer. https://doi.org/10.1007/978-3-642-15567-3_8
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed