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.

4958 Publications

2017 | Published | Conference Paper | IST-REx-ID: 645 |

Value iteration for long run average reward in markov decision processes
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 201–221.

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

2017 | Published | Conference Paper | IST-REx-ID: 628 |

Automated recurrence analysis for almost linear expected runtime bounds
K. Chatterjee, H. Fu, A. Murhekar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 118–139.

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

2017 | Published | Conference Paper | IST-REx-ID: 639 |

Non-polynomial worst case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.

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

2017 | Published | Conference Paper | IST-REx-ID: 1009 |

Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.

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

2017 | Published | Conference Paper | IST-REx-ID: 1194 |

Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.

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

2016 | Published | Conference Paper | IST-REx-ID: 478 |

The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.

[Published Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 479

Use runtime verification to improve the quality of medical care practice
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.

View | DOI

2016 | Published | Conference Paper | IST-REx-ID: 482

Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing Group, 2016.

View | DOI

2016 | Published | Journal Article | IST-REx-ID: 510 |

The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).

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

2016 | Published | Technical Report | IST-REx-ID: 5445 |

Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.

[Published Version] View | Files available | DOI

2016 | Published | Technical Report | IST-REx-ID: 5449 |

Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.

[Updated Version] View | Files available | DOI

2016 | Published | Technical Report | IST-REx-ID: 5451 |

Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.

[Published Version] View | Files available | DOI

2016 | Published | Technical Report | IST-REx-ID: 5452 |

Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.

[Published Version] View | Files available | DOI

2016 | Published | Technical Report | IST-REx-ID: 5453 |

Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.

[Published Version] View | Files available | DOI

2016 | Research Data | IST-REx-ID: 5550 |

Flower colour data and phylogeny (NEXUS) files
T. Ellis, D. Field, (2016).

[Published Version] View | Files available | DOI

2016 | Research Data | IST-REx-ID: 5551 |

Data on pollinator observations and offpsring phenotypes
T. Ellis, (2016).

[Published Version] View | Files available | DOI

2016 | Research Data | IST-REx-ID: 5552 |

Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.
T. Ellis, (2016).

[Published Version] View | Files available | DOI

2016 | Research Data | IST-REx-ID: 5553 |

Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012
D. Field, T. Ellis, (2016).

[Published Version] View | Files available | DOI

2016 | Research Data | IST-REx-ID: 5554 |

Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase
M. Tugrul, (2016).

[Published Version] View | Files available | DOI

2016 | Research Data | IST-REx-ID: 5555 |

Fiji script to determine average speed and direction of migration of cells
R. Hauschild, (2016).

[Published 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).

4958 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).

4958 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options