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.
546 Publications
2016 |
Research Data Reference |
IST-REx-ID: 9704 |
Mcmahon, Dino, Myrsini Natsopoulou, Vincent Doublet, Matthias Fürst, Silvio Weging, Mark Brown, Andreas Gogol Döring, and Robert Paxton. “Data from: Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.” Dryad, 2016. https://doi.org/10.5061/dryad.cq7t1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |
Research Data Reference |
IST-REx-ID: 9710 |
Barton, Nicholas H. “Data from: How Does Epistasis Influence the Response to Selection?” Dryad, 2016. https://doi.org/10.5061/dryad.s5s7r.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |
Research Data Reference |
IST-REx-ID: 9720 |
Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “Data from: A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” Dryad, 2016. https://doi.org/10.5061/dryad.4b565.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |
Published |
Journal Article |
IST-REx-ID: 460 |
Willmann, Katharina, Roberto Sacco, Rui Martins, Wojciech Garncarz, Ana Krolo, Sylvia Knapp, Keiryn Bennett, and Kaan Boztug. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” Journal of Proteome Research. American Chemical Society, 2016. https://doi.org/10.1021/acs.jproteome.5b01004.
View
| DOI
| Download (ext.)
2016 |
Published |
Conference Paper |
IST-REx-ID: 478 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-672-9-1432.
[Published Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 479
Jiang, Yu, Han Liu, Hui Kong, Rui Wang, Mohamad Hosseini, Jiaguang Sun, and Lui Sha. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” In Proceedings of the 38th International Conference on Software Engineering Companion , 112–21. IEEE, 2016. https://doi.org/10.1145/2889160.2889233.
View
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 480 |
Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. https://doi.org/10.1145/2933575.2934513.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Conference Paper |
IST-REx-ID: 482
Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator.” Optica Publishing Group, 2016. https://doi.org/10.1364/NP.2016.NTh3A.6.
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 510 |
Liu, Zhijun, Nan Yang, Yanting Lv, Lixia Pan, Shuo Lv, Huibin Han, and Guodong Wang. “The CLE Gene Family in Populus Trichocarpa.” Plant Signaling & Behavior. Taylor & Francis, 2016. https://doi.org/10.1080/15592324.2016.1191734.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2016 |
Published |
Journal Article |
IST-REx-ID: 526
Wangenheim, Daniel von, Jens Fangerau, Alexander Schmitz, Richard Smith, Heike Leitte, Ernst Stelzer, and Alexis Maizel. “Rules and Self-Organizing Properties of Post-Embryonic Plant Organ Cell Division Patterns.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2015.12.047.
View
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5445 |
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5446 |
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 |
Published |
Technical Report |
IST-REx-ID: 5447 |
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 |
Published |
Technical Report |
IST-REx-ID: 5448 |
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 |
Published |
Technical Report |
IST-REx-ID: 5449 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5451 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5452 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-728-v2-1.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5453 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-749-v3-1.
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5550 |
Ellis, Thomas, and David Field. “Flower Colour Data and Phylogeny (NEXUS) Files.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:34.
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5551 |
Ellis, Thomas. “Data on Pollinator Observations and Offpsring Phenotypes.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:35.
[Published Version]
View
| Files available
| DOI