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 |

Mcmahon D, Natsopoulou M, Doublet V, et al. Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. 2016. doi:10.5061/dryad.cq7t1

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

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

Barton NH. Data from: How does epistasis influence the response to selection? 2016. doi:10.5061/dryad.s5s7r

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

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

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

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

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

Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432

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

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

Jiang Y, Liu H, Kong H, et al. Use runtime verification to improve the quality of medical care practice. In: Proceedings of the 38th International Conference on Software Engineering Companion . IEEE; 2016:112-121. doi:10.1145/2889160.2889233

View | DOI | WoS

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

Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513

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

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

Rueda A, Sedlmeir F, Collodo M, et al. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. In: Optica Publishing Group; 2016. doi:10.1364/NP.2016.NTh3A.6

View | DOI

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

Liu Z, Yang N, Lv Y, et al. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 2016;11(6). doi:10.1080/15592324.2016.1191734

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

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

Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1