ISTA Research Explorer

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.

6436 Publications

2016 | Research Data Reference | IST-REx-ID: 9704 |

D. Mcmahon et al., “Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss.” Dryad, 2016.

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

2016 | Research Data Reference | IST-REx-ID: 9710 |

N. H. Barton, “Data from: How does epistasis influence the response to selection?” Dryad, 2016.

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

2016 | Research Data Reference | IST-REx-ID: 9720 |

D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees.” Dryad, 2016.

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

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

K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.

[Published Version] View | Files available | DOI | WoS

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

Y. Jiang et al., “Use runtime verification to improve the quality of medical care practice,” in Proceedings of the 38th International Conference on Software Engineering Companion , Austin, TX, USA, 2016, pp. 112–121.

View | DOI | WoS

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

K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.

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

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

A. Rueda et al., “Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator,” presented at the NP: Nonlinear Photonics, Sydney, Australia, 2016.

View | DOI

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

Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant Signaling & Behavior, vol. 11, no. 6. Taylor & Francis, 2016.

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

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

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