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.

1937 Publications

2014 | Published | Conference Paper | IST-REx-ID: 2218 |

Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2014 | Published | Conference Paper | IST-REx-ID: 2162 |

The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 | Published | Conference Paper | IST-REx-ID: 2163 |

Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 | Published | Conference Paper | IST-REx-ID: 2082 |

The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.

[Submitted Version] View | Files available | DOI

2014 | Published | Conference Paper | IST-REx-ID: 2063

CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.

View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 2445 |

Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.

[Submitted Version] View | Files available | DOI

2013 | Published | Journal Article | IST-REx-ID: 1978

Crystal structure of the entire respiratory complex i
R. Baradaran, J. Berrisford, G. Minhas, L.A. Sazanov, Nature 494 (2013) 443–448.

View | DOI

2013 | Published | Conference Paper | IST-REx-ID: 2000 |

TTP: Tool for tumor progression
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2013 | Published | Conference Paper | IST-REx-ID: 2237 |

Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.

[Submitted Version] View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 2238

Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.

View | DOI

2013 | Published | Conference Paper | IST-REx-ID: 2244 |

Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2013 | Published | Conference Paper | IST-REx-ID: 2258 |

Digital signatures with minimal overhead from indifferentiable random invertible functions
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.

[Submitted Version] View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 2259 |

Learning with rounding, revisited: New reduction properties and applications
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.

[Published Version] View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 2260 |

Efficient signatures of knowledge and DAA in the standard model
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2013 | Published | Conference Paper | IST-REx-ID: 2279 |

Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2013 | Published | Conference (Editor) | IST-REx-ID: 2288

Computational Methods in Systems Biology
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.

View | DOI

2013 | Published | Journal Article | IST-REx-ID: 2290 |

ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

2013 | Published | Conference (Editor) | IST-REx-ID: 2292

Mathematical Foundations of Computer Science 2013
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.

View | DOI

2013 | Published | Conference Paper | IST-REx-ID: 2298 |

Local shape analysis for overlaid data structures
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.

[Submitted Version] View | Files available | DOI

2013 | Published | Journal Article | IST-REx-ID: 2299 |

Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.

[Submitted Version] View | Files available | DOI

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

1937 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

1937 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options