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.

12223 Publications


2016 | Published | Conference Paper | IST-REx-ID: 479
Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., & Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In Proceedings of the 38th International Conference on Software Engineering Companion (pp. 112–121). Austin, TX, USA: IEEE. https://doi.org/10.1145/2889160.2889233
View | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/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., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. Presented at the NP: Nonlinear Photonics, Sydney, Australia: Optica Publishing Group. https://doi.org/10.1364/NP.2016.NTh3A.6
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 510 | OA
Liu, Z., Yang, N., Lv, Y., Pan, L., Lv, S., Han, H., & Wang, G. (2016). The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. Taylor & Francis. 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 | OA
von Wangenheim, D., Fangerau, J., Schmitz, A., Smith, R., Leitte, H., Stelzer, E., & Maizel, A. (2016). Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2015.12.047
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. 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 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Termination and worst-case analysis of recursive programs. IST Austria.
[Published Version] View | Files available
 

2016 | Published | Technical Report | IST-REx-ID: 5447 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria.
[Published Version] View | Files available
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2016). Data-centric dynamic partial order reduction. IST Austria.
[Published Version] View | Files available | arXiv
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria. 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 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1
[Published Version] View | Files available | DOI
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. 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 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis, T., & Field, D. (2016). Flower colour data and phylogeny (NEXUS) files. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:34
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild, R. (2016). Fiji script to determine average speed and direction of migration of cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:44
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin, M., Landon, M., & Jajoo, R. (2016). MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:45
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda, P. (2016). Synthetic discrete tomography problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:46
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, S., Bergmiller, T., Bischofberger, A. M., & Hall, A. R. (2016). Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msv270
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 5771 | OA
Mattei, S., Schur, F. K., & Briggs, J. A. (2016). Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. Elsevier. https://doi.org/10.1016/j.coviro.2016.02.008
[Published Version] View | Files available | DOI
 

2016 | Published | Book Chapter | IST-REx-ID: 5805
Sen, N., Biswas, R., & Bhowmick, P. (2016). On some local topological properties of naive discrete sphere. In Computational Topology in Image Context (Vol. 9667, pp. 253–264). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-39441-1_23
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed