Please note that IST 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.

2417 Publications


2016 | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart, Eva, Álvaro Inglés Prieto, Alexandra-Madelaine Tichy, Catherine Mckenzie, and Harald L Janovjak. “A Phytochrome Sensory Domain Permits Receptor Activation by Red Light.” Angewandte Chemie - International Edition. Wiley, 2016. https://doi.org/10.1002/anie.201601736.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller,” 9995:757–63. Springer, 2016. https://doi.org/10.1007/978-3-319-48989-6_47.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
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.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
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.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1234 | OA
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. https://doi.org/10.1007/978-3-662-49674-9_7.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 510 | OA
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. Landes Bioscience, 2016. https://doi.org/10.1080/15592324.2016.1191734.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds,” 51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. https://doi.org/10.4230/LIPIcs.SoCG.2016.24.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences. Elsevier, 2016. https://doi.org/10.1016/j.jcss.2016.02.009.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence. Elsevier, 2016. https://doi.org/10.1016/j.artint.2016.01.007.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
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.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1274 | OA
Mazur, Ewa, Eva Benková, and Jiří Friml. “Vascular Cambium Regeneration and Vessel Formation in Wounded Inflorescence Stems of Arabidopsis.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep33754.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
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.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
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.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
View | Files available | arXiv
 

2016 | Thesis | IST-REx-ID: 1398 | OA
Ellis, Thomas. “The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_526 .
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis, Thomas. “Data on Pollinator Observations and Offpsring Phenotypes.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:35.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis, Thomas. “Pollinator Visitation Data for Wild Antirrhinum Majus Plants, with Phenotypic and Frequency Data.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:36.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications