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.

11374 Publications


2016 | Published | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.
[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, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. NP: Nonlinear Photonics, Optics InfoBase Conference Papers, .
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. 11(6), e1191734.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 526
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. 26(4), 439–449.
View | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
[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, 26p.
[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, 20p.
[Published Version] View | Files available
 

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, 20p.
[Published Version] View | Files available | arXiv
 

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, 22p.
[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, 34p.
[Published Version] View | Files available | DOI
 

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, 32p.
[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, 34p.
[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, 10.15479/AT:ISTA:34.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis T. 2016. Data on pollinator observations and offpsring phenotypes, Institute of Science and Technology Austria, 10.15479/AT:ISTA:35.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis T. 2016. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data., Institute of Science and Technology Austria, 10.15479/AT:ISTA:36.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5553 | OA
Field D, Ellis T. 2016. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012, Institute of Science and Technology Austria, 10.15479/AT:ISTA:37.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul M. 2016. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase, Institute of Science and Technology Austria, 10.15479/AT:ISTA:43.
[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, 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, 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, 10.15479/AT:ISTA:46.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed