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.
2991 Publications
2010 | Journal Article | IST-REx-ID: 3779 | 
Cryptic variation between species and the basis of hybrid performance
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010).
View
| Files available
| DOI
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010).
2010 | Conference Paper | IST-REx-ID: 3782
Topology noise removal for curve and surface evolution
C. Chen, D. Freedman, in:, Conference Proceedings MCV 2010, Springer, 2010, pp. 31–42.
View
| DOI
C. Chen, D. Freedman, in:, Conference Proceedings MCV 2010, Springer, 2010, pp. 31–42.
2010 | Journal Article | IST-REx-ID: 3783
Microsatelight – Pipeline to expedite microsatellite analysis
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.
View
| DOI
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.
2010 | Journal Article | IST-REx-ID: 3785
Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata)
F. Palero, P. Abello, E. Macpherson, C. Matthee, M. Pascual, Journal of Crustacean Biology 30 (2010) 658–663.
View
| DOI
F. Palero, P. Abello, E. Macpherson, C. Matthee, M. Pascual, Journal of Crustacean Biology 30 (2010) 658–663.
2010 | Journal Article | IST-REx-ID: 3787 |
DNA extraction from formalin-fixed tissue: new light from the deep sea
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
View
| DOI
| Download Submitted Version (ext.)
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
2010 | Journal Article | IST-REx-ID: 3788
Finite-size corrections to scaling behavior in sorted cell aggregates
A. Klopper, G. Krens, S. Grill, C.-P.J. Heisenberg, The European Physical Journal E: Soft Matter and Biological Physics 33 (2010) 99–103.
View
| DOI
A. Klopper, G. Krens, S. Grill, C.-P.J. Heisenberg, The European Physical Journal E: Soft Matter and Biological Physics 33 (2010) 99–103.
2010 | Journal Article | IST-REx-ID: 3789
Stereotypical cell division orientation controls neural rod midline formation in zebrafish
E. Quesada-Hernández, L. Caneparo, S. Schneider, S. Winkler, M. Liebling, S. Fraser, C.-P.J. Heisenberg, Current Biology 20 (2010) 1966–1972.
View
| DOI
E. Quesada-Hernández, L. Caneparo, S. Schneider, S. Winkler, M. Liebling, S. Fraser, C.-P.J. Heisenberg, Current Biology 20 (2010) 1966–1972.
2010 | Journal Article | IST-REx-ID: 3790 |
Control of directed cell migration in vivo by membrane-to-cortex attachment
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010).
View
| Files available
| DOI
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010).
2010 | Conference Paper | IST-REx-ID: 3793 |
On parameter learning in CRF-based approaches to object class image segmentation
S. Nowozin, P. Gehler, C. Lampert, in:, Springer, 2010, pp. 98–111.
View
| Files available
| DOI
S. Nowozin, P. Gehler, C. Lampert, in:, Springer, 2010, pp. 98–111.
2010 | Conference Paper | IST-REx-ID: 3794
Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning
C. Lampert, O. Krömer, in:, Springer, 2010, pp. 566–579.
View
| DOI
| Download None (ext.)
C. Lampert, O. Krömer, in:, Springer, 2010, pp. 566–579.
2010 | Book Chapter | IST-REx-ID: 3795 |
The stability of the apparent contour of an orientable 2-manifold
H. Edelsbrunner, D. Morozov, A. Patel, in:, Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
View
| Files available
| DOI
H. Edelsbrunner, D. Morozov, A. Patel, in:, Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
2010 | Journal Article | IST-REx-ID: 3604
Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland
H. Senn, S. Goodman, G. Swanson, N.H. Barton, J. Pemberton, Molecular Ecology 19 (2010) 910–924.
View
| DOI
H. Senn, S. Goodman, G. Swanson, N.H. Barton, J. Pemberton, Molecular Ecology 19 (2010) 910–924.
2010 | Journal Article | IST-REx-ID: 3832 |
Beyond TARPs: The growing list of auxiliary AMPAR subunits
J. Guzmán, P.M. Jonas, Neuron 66 (2010) 8–10.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Guzmán, P.M. Jonas, Neuron 66 (2010) 8–10.
2010 | Journal Article | IST-REx-ID: 3833
GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova)
P.M. Jonas, S. Hefft, The European Journal of Neuroscience 31 (2010) 1194–1195.
View
| DOI
P.M. Jonas, S. Hefft, The European Journal of Neuroscience 31 (2010) 1194–1195.
2010 | Journal Article | IST-REx-ID: 3834 |
Solving the chemical master equation using sliding windows
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
View
| Files available
| DOI
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
2010 | Conference Paper | IST-REx-ID: 3838 |
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
View
| Files available
| DOI
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
2010 | Conference Paper | IST-REx-ID: 3839 |
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
View
| Files available
| DOI
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
2010 | Conference Paper | IST-REx-ID: 3840
From boolean to quantitative notions of correctness
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
View
| DOI
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
2010 | Journal Article | IST-REx-ID: 3718
P2Y1 receptors inhibit long-term depression in the prefrontal cortex.
J. Guzmán, H. Schmidt, H. Franke, U. Krügel, J. Eilers, P. Illes, Z. Gerevich, Neuropharmacology 59 (2010) 406–415.
View
| DOI
J. Guzmán, H. Schmidt, H. Franke, U. Krügel, J. Eilers, P. Illes, Z. Gerevich, Neuropharmacology 59 (2010) 406–415.
2010 | Conference Paper | IST-REx-ID: 3845 |
Aligators for arrays
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
View
| Files available
| DOI
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
2010 | Conference Paper | IST-REx-ID: 3847 |
SABRE: A tool for the stochastic analysis of biochemical reaction networks
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.
2010 | Conference Paper | IST-REx-ID: 3848
The robustness of level sets
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, in:, Springer, 2010, pp. 1–10.
View
| DOI
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, in:, Springer, 2010, pp. 1–10.
2010 | Conference Paper | IST-REx-ID: 3849 |
Persistent homology under non-uniform error
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
View
| Files available
| DOI
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
2010 | Conference Paper | IST-REx-ID: 3850
Polygonal reconstruction from approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, TU Dortmund, 2010, pp. 12–23.
View
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, TU Dortmund, 2010, pp. 12–23.
2010 | Conference Paper | IST-REx-ID: 3851 |
Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
2010 | Conference Paper | IST-REx-ID: 3852 |
Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
2010 | Conference Paper | IST-REx-ID: 3853 |
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
2010 | Conference Paper | IST-REx-ID: 3854
Obliging games
K. Chatterjee, F. Horn, C. Löding, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–296.
View
| DOI
K. Chatterjee, F. Horn, C. Löding, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–296.
2010 | Journal Article | IST-REx-ID: 3842 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
2010 | Conference Paper | IST-REx-ID: 3856 |
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
2010 | Conference Paper | IST-REx-ID: 3858 |
The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
2010 | Conference (Editor) | IST-REx-ID: 3859
Formal modeling and analysis of timed systems
K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010.
2010 | Conference Paper | IST-REx-ID: 3860 |
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
2010 | Conference Paper | IST-REx-ID: 3864 |
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
2010 | Conference Paper | IST-REx-ID: 3865
Analyzing the impact of change in multi-threaded programs
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 293–307.
View
| DOI
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 293–307.
2010 | Conference Paper | IST-REx-ID: 3866 |
Robustness in the presence of liveness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
View
| Files available
| DOI
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
2010 | Journal Article | IST-REx-ID: 3901 |
Computing robustness and persistence for images
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
View
| Files available
| DOI
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
2010 | Journal Article | IST-REx-ID: 3868 |
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
2010 | Journal Article | IST-REx-ID: 3863 |
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
2010 | Journal Article | IST-REx-ID: 3861 |
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
2010 | Thesis | IST-REx-ID: 3962
Dendritic cell migration across basement membranes in the skin
H. Pflicke, Dendritic Cell Migration across Basement Membranes in the Skin, IST Austria, 2010.
View
H. Pflicke, Dendritic Cell Migration across Basement Membranes in the Skin, IST Austria, 2010.
2010 | Journal Article | IST-REx-ID: 4134
Why is adaptation prevented at ecological margins? New insights from individual-based simulations
J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.
View
| DOI
J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.
2010 | Journal Article | IST-REx-ID: 4157 |
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
2010 | Book | IST-REx-ID: 4346 |
Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, Handbuch Bibliothek 2.0, De Gruyter, 2010.
View
| Download Published Version (ext.)
P. Danowski, J. Bergmann, Handbuch Bibliothek 2.0, De Gruyter, 2010.
2010 | Conference Paper | IST-REx-ID: 4361 |
Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
View
| Files available
| DOI
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
2010 | Conference Paper | IST-REx-ID: 4362
Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
View
| DOI
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
2010 | Conference Paper | IST-REx-ID: 4369 |
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
View
| Files available
| DOI
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
2010 | Conference Paper | IST-REx-ID: 4378 |
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
View
| DOI
| Download Submitted Version (ext.)
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
2010 | Journal Article | IST-REx-ID: 4243 |
A new model for evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
View
| Files available
| DOI
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
2010 | Book Chapter | IST-REx-ID: 4339 |
Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
View
| Files available
| DOI
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
2010 | Conference Paper | IST-REx-ID: 4396 |
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
View
| Files available
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
2010 | Conference Paper | IST-REx-ID: 4380 |
A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
2010 | Conference Paper | IST-REx-ID: 4381 |
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
2010 | Conference Paper | IST-REx-ID: 4382 |
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
2010 | Conference Paper | IST-REx-ID: 4389 |
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
View
| Files available
| DOI
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
2010 | Book Chapter | IST-REx-ID: 4392
Quantitative Simulation Games
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
View
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
2010 | Journal Article | IST-REx-ID: 474
A new model for extinction and recolonization in two dimensions: Quantifying phylogeography
N.H. Barton, J. Kelleher, A. Etheridge, Evolution 64 (2010) 2701–2715.
View
| DOI
N.H. Barton, J. Kelleher, A. Etheridge, Evolution 64 (2010) 2701–2715.
2010 | Conference Paper | IST-REx-ID: 488 |
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
View
| Files available
| DOI
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
2010 | Conference Paper | IST-REx-ID: 489 |
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
View
| DOI
| Download Published Version (ext.)
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
2010 | Journal Article | IST-REx-ID: 533
Doomed program points
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
View
| DOI
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
2010 | Technical Report | IST-REx-ID: 5391 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
2010 | Technical Report | IST-REx-ID: 5390 |
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
2010 | Conference Paper | IST-REx-ID: 4393 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
2010 | Conference Paper | IST-REx-ID: 4390 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
2010 | Technical Report | IST-REx-ID: 5388 |
Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
View
| Files available
| DOI
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
2010 | Technical Report | IST-REx-ID: 5389 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
2010 | Conference Paper | IST-REx-ID: 3855 |
Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
2010 | Conference Paper | IST-REx-ID: 4388 |
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
2010 | Conference Paper | IST-REx-ID: 3857
Probabilistic Automata on infinite words: decidability and undecidability results
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
2009 | Conference Paper | IST-REx-ID: 4542 |
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
2009 | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
2009 | Conference Paper | IST-REx-ID: 4545 |
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
2009 | Conference Paper | IST-REx-ID: 4569 |
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
2009 | Journal Article | IST-REx-ID: 3775 |
On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
2009 | Journal Article | IST-REx-ID: 3780 |
The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
View
| Files available
| DOI
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
2009 | Book Chapter | IST-REx-ID: 3675
Why sex and recombination?
N.H. Barton, in:, Cold Spring Harbor Symposia on Quantitative Biology, Cold Spring Harbor Laboratory Press, 2009, pp. 187–195.
View
| DOI
N.H. Barton, in:, Cold Spring Harbor Symposia on Quantitative Biology, Cold Spring Harbor Laboratory Press, 2009, pp. 187–195.
2009 | Conference Paper | IST-REx-ID: 3837 |
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
2009 | Conference Paper | IST-REx-ID: 3841 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 | Conference Paper | IST-REx-ID: 3843 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
2009 | Conference Paper | IST-REx-ID: 3844 |
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 | Journal Article | IST-REx-ID: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 | Conference Paper | IST-REx-ID: 3968 |
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
View
| Files available
| DOI
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
2009 | Journal Article | IST-REx-ID: 4136 |
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
2009 | Journal Article | IST-REx-ID: 4231
Statistical mechanics and the evolution of polygenic quantitative traits
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
View
| DOI
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
2009 | Journal Article | IST-REx-ID: 4242 |
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
View
| Files available
| DOI
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
2009 | Technical Report | IST-REx-ID: 5393 |
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
2009 | Technical Report | IST-REx-ID: 5394 |
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
2009 | Technical Report | IST-REx-ID: 5395 |
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
2009 | Technical Report | IST-REx-ID: 5392 |
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
View
| Files available
| DOI
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
2008 | Journal Article | IST-REx-ID: 517
Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
N.H. Barton, Genetical Research 89 (2008) 475–477.
View
| DOI
N.H. Barton, Genetical Research 89 (2008) 475–477.