Items where Year is 2009

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: B | C | D | E | G | H | P | T
Number of items: 21.

B

Barton, Nicholas H and De Cara, Maria A (2009) The evolution of strong reproductive isolation. Evolution, 63 (5). pp. 1171-1190. ISSN 0014-3820

Berwanger, Dietmar and Chatterjee, Krishnendu and De Wulf, Martin and Doyen, Laurent and Henzinger, Thomas A (2009) Alpaga: A tool for solving parity games with imperfect information. In: TACAS: Tools and Algorithms for the Construction and Analysis of Systems, March 22-29, 2009, York, UK.

Bloem, Roderick and Greimel, Karin and Henzinger, Thomas A and Jobstmann, Barbara (2009) Synthesizing robust systems. In: FMCAD: Formal Methods in Computer-Aided Design (FMCAD), November 15-18, 2009, Austin, TX, USA.

C

Chatterjee, Krishnendu (2009) Probabilistic automata on infinite words: Decidability and undecidability results. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2009) Alternating weighted automata. In: FCT: Fundamentals of Computation Theory, September 2-4, 2009, Wroclaw, Poland.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2009) Probabilistic weighted automata. In: CONCUR: Concurrency Theory, September 1-4, 2009, Bologna, Italy.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2009) Qualitative analysis of partially-observable Markov decision processes. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2009) A survey of stochastic games with limsup and liminf objectives. In: ICALP: Automata, Languages, and Programming, July 5-12, 2009, Rhodes, Greece.

Chatterjee, Krishnendu and Henzinger, Thomas A and Horn, Florian (2009) Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL), 11. ISSN 1557-945X

Chatterjee, Krishnendu and Henzinger, Thomas A and Horn, Florian (2009) Improved lower bounds for request-response and finitary Streett games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Thomas A and Jobstmann, Barbara and Radhakrishna, Arjun (2009) Gist: A solver for probabilistic games. Technical Report. IST Austria.

Chatterjee, Krishnendu and de Alfaro, Luca and Henzinger, Thomas A (2009) Termination criteria for solving concurrent safety and reachability games. In: SODA: ACM-SIAM Symposium on Discrete Algorithms, January 4-6, 2009, New York, NY, USA.

D

Davison, Angus and Barton, Nicholas H and Clarke, Bryan (2009) 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. Journal of Evolutionary Biology, 22 (8). pp. 1624-1635. ISSN 1420-9101

Didier, Frédéric and Henzinger, Thomas A and Mateescu, Maria and Wolf, Verena (2009) Fast adaptive uniformization of the chemical master equation. In: HIBI: High-Performance Computational Systems Biology, October 14-16, 2009, Trento, Italy.

E

Edelsbrunner, Herbert and Harer, John (2009) The persistent Morse complex segmentation of a 3-manifold. In: 3DPH: Modelling the Physiological Human, November 29 - December 2, 2009, Zermatt, Switzerland.

G

Guerraoui, Rachid and Henzinger, Thomas A and Singh, Vasu (2009) Software transactional memory on relaxed memory models. In: CAV: Computer Aided Verification, June 26 - July 2, 2009, Grenoble, France.

H

Henzinger, Thomas A and Jobstmann, Barbara and Wolf, Verena (2009) Formalisms for specifying Markovian population models. In: RP: Reachability Problems, September 23-25, 2009, Palaiseau, France.

Henzinger, Thomas A and Kirsch, Christoph M and Marques, Eduardo R B and Sokolova, Ana (2009) Distributed, modular Htl. In: RTSS: Real-Time Systems Symposium, December 1-4, 2009, Washington, D.C., USA.

Henzinger, Thomas A and Mateescu, Maria and Wolf, Verena (2009) Sliding-window abstraction for infinite Markov chains. In: CAV: Computer Aided Verification, June 26 - July 2, 2009, Grenoble, France.

P

Polechová, Jitka and Barton, Nicholas H and Marion, Glenn (2009) Species' range: Adaptation in space and time. American Naturalist, 174 (5). E186-E204. ISSN 1537-5323

T

Tripakis, Stavros and Lickly, Ben and Henzinger, Thomas A and Lee, Edward A (2009) On relational interfaces. In: EMSOFT: ACM International Conference on Embedded Software, October 11-16, 2009, Grenoble, France.

This list was generated on Wed Dec 12 01:00:11 2018 CET.