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.

12072 Publications


2015 | Published | Technical Report | IST-REx-ID: 5434 | OA
Anonymous 1, Anonymous 2. 2015. Optimal cost indefinite-horizon reachability in goal DEC-POMDPs, IST Austria, 16p.
[Published Version] View | Files available
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs, IST Austria, 27p.
[Published Version] View | Files available | DOI
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5439 | OA
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem, IST Austria, 20p.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. 2015. The complexity of evolutionary games on graphs, IST Austria, 18p.
[Published Version] View | Files available | DOI
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 24p.
[Published Version] View | Files available | DOI
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5442 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 22p.
[Published Version] View | Files available
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee K, Chmelik M, Davies J. 2015. A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs, IST Austria, 23p.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5444 | OA
Reiter J, Makohon-Moore A, Gerold J, Bozic I, Chatterjee K, Iacobuzio-Donahue C, Vogelstein B, Nowak M. 2015. Reconstructing robust phylogenies of metastatic cancers, IST Austria, 25p.
[Published Version] View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner A. 2015. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes, Institute of Science and Technology Austria, 10.15479/AT:ISTA:28.
[Published Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 5804
Biswas R, Bhowmick P. 2015. From prima quadraginta octant to lattice sphere through primitive integer operations. Theoretical Computer Science. 624(4), 56–72.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 5807
Biswas R, Bhowmick P. 2015. On different topological classes of spherical geodesic paths and circles inZ3. Theoretical Computer Science. 605(11), 146–163.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 5808
Biswas R, Bhowmick P. 2015. Layer the sphere. The Visual Computer. 31(6–8), 787–797.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 594
Sainsbury S, Bernecky C, Cramer P. 2015. Structural basis of transcription initiation by RNA polymerase II. Nature Reviews Molecular Cell Biology. 16(3), 129–143.
View | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 6118 | OA
Fenk LA, de Bono M. 2015. Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity. Proceedings of the National Academy of Sciences. 112(27), E3525–E3534.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 6120 | OA
Laurent P, Soltesz Z, Nelson GM, Chen C, Arellano-Carbajal F, Levy E, de Bono M. 2015. Decoding a neural circuit controlling global animal state in C. elegans. eLife. 4, e04241.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 19805 | OA
Kushwaha P, Sunko V, Moll PJW, Bawden L, Riley JM, Nandi N, Rosner H, Schmidt MP, Arnold F, Hassinger E, Kim TK, Hoesch M, Mackenzie AP, King PDC. 2015. Nearly free electrons in a 5d delafossite oxide metal. Science Advances. 1(9), 1500692.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1981
Garvin M, Bielawski J, Sazanov LA, Gharrett A. 2015. Review and meta-analysis of natural selection in mitochondrial complex I in metazoans. Journal of Zoological Systematics and Evolutionary Research. 53(1), 1–17.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1992 | OA
Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. 2015. Succinct representation of concurrent trace sets. POPL: Principles of Programming Languages, 433–444.
[Submitted Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1993 | OA
Konrad M, Grasse AV, Tragust S, Cremer S. 2015. Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. 282(1799), 20141976.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 1997 | OA
Noren P. 2015. The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. 68/Part 2(May-June), 285–296.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed