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.
3042 Publications
2013 | Thesis | IST-REx-ID: 1405 |

Zufferey D. 2013. Analysis of dynamic message passing programs. IST Austria.
View
| Files available
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2847 |

Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2445 |

Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044, 951–967.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2263 |

Liang H, Hippenmeyer S, Ghashghaei H. 2012. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open. 1(12), 1200–1203.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2302
Henzinger TA, Mateescu M. 2012. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 10(2), 310–322.
View
| DOI
| PubMed | Europe PMC