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.
500 Publications
2016 | Published | Journal Article | IST-REx-ID: 460 | 
Willmann K, Sacco R, Martins R, et al. Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. 2016;15(9):2900-2909. doi:10.1021/acs.jproteome.5b01004
View
| DOI
| Download (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
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
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.)
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.)
2016 | Published | Journal Article | IST-REx-ID: 526
von Wangenheim D, Fangerau J, Schmitz A, et al. Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. 2016;26(4):439-449. doi:10.1016/j.cub.2015.12.047
View
| DOI
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
[Published Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5446 |
Anonymous 1, Anonymous 2, Anonymous 3. 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, Anonymous 2, Anonymous 3. 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, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Published | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1
[Updated Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
[Published Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5452 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-728-v2-1
[Published Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5550 |
Ellis T, Field D. Flower colour data and phylogeny (NEXUS) files. 2016. doi:10.15479/AT:ISTA:34
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5551 |
Ellis T. Data on pollinator observations and offpsring phenotypes. 2016. doi:10.15479/AT:ISTA:35
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5552 |
Ellis T. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data. 2016. doi:10.15479/AT:ISTA:36
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5553 |
Field D, Ellis T. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012. 2016. doi:10.15479/AT:ISTA:37
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5554 |
Tugrul M. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. 2016. doi:10.15479/AT:ISTA:43
[Published Version]
View
| Files available
| DOI