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.
7707 Publications
2012 | Journal Article | IST-REx-ID: 506 |

M. K. Sixt, “Cell migration: Fibroblasts find a new way to get ahead,” Journal of Cell Biology, vol. 197, no. 3. Rockefeller University Press, pp. 347–349, 2012.
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5377 |

K. Chatterjee and Y. Velner, Mean-payoff pushdown games. IST Austria, 2012.
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5378 |

K. Chatterjee, S. Chaubal, and P. Kamath, Faster algorithms for alternating refinement relations. IST Austria, 2012.
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5396 |

F. Korc, V. Kolmogorov, and C. Lampert, Approximating marginals using discrete energy minimization. IST Austria, 2012.
View
| Files available
| DOI
2012 | Report | IST-REx-ID: 5398 |

J. Porsche, Actual state of research data @ ISTAustria. IST Austria, 2012.
View
| Files available
2012 | Book Chapter | IST-REx-ID: 5745 |

A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,” in Automated Technology for Verification and Analysis, vol. 7561, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 5839 |

R. Biswas and J. Sil, “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets,” Procedia Technology, vol. 4. Elsevier, pp. 820–824, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 596 |

C. Bernecky and D. Taatjes, “Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly,” Journal of Molecular Biology, vol. 417, no. 5. Elsevier, pp. 387–394, 2012.
View
| DOI
| Download None (ext.)