ISTA Research Explorer

Please note that ISTA 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.

9101 Publications

Search / Filter

2009 | Journal Article | IST-REx-ID: 3764

Wojtan C, Thürey N, Gross M, Turk G. 2009. Deforming meshes that split and merge. ACM Transactions on Graphics. 28(3).

View | DOI

2009 | Journal Article | IST-REx-ID: 3768

Kupczok A, Von Haeseler A. 2009. Comment on ‘{A} congruence index for testing topological similarity between trees’. Bioinformatics. 25(1), 147–149.

View | DOI

2009 | Journal Article | IST-REx-ID: 3780 |

Davison A, Barton NH, Clarke B. 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), 1624–1635.

[Submitted Version] View | Files available | DOI

2009 | Journal Article | IST-REx-ID: 3828

Schwenk J, Harmel N, Zolles G, Bildl W, Kulik Á, Heimrich B, Chisaka O, Jonas PM, Schulte U, Fakler B, Klocker N. 2009. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 323(5919), 1313–9.

View | DOI

2009 | Conference Paper | IST-REx-ID: 3843 |

Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.

[Submitted Version] View | Files available | DOI

2009 | Conference Paper | IST-REx-ID: 3841 |

Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.

[Submitted Version] View | Files available | DOI

2009 | Conference Paper | IST-REx-ID: 3844 |

Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.

[Submitted Version] View | Files available | DOI

2009 | Conference Paper | IST-REx-ID: 3871 |

Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.

[Submitted Version] View | Files available | DOI

2009 | Journal Article | IST-REx-ID: 3870 |

Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.

[Submitted Version] View | Files available | DOI

2009 | Journal Article | IST-REx-ID: 3869

Chatterjee K, De Alfaro L, Faella M, Legay A. 2009. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 5(2).

View | DOI