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.

12274 Publications


earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee K, Komarkova Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes, IST Austria, 41p.
[Published Version] View | Files available | DOI
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata, IST Austria, 15p.
[Published Version] View | Files available | DOI
 

earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1661 | OA
Chatterjee K, Henzinger M, Loitzenbauer V. 2015. Improved algorithms for one-pair and k-pair Streett objectives. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July, 7174888.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1566 | OA
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. 2015. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 11(10), e1004541.
[Published Version] View | Files available | DOI | WoS
 

2015 | Research Data Reference | IST-REx-ID: 9714
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. 2015. An exploration of the universe of polyglutamine structures - submission to PLOS journals, Public Library of Science, 10.1371/journal.pcbi.1004541.s001.
[Published Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1555 | OA
Knipl D, Pilarczyk P, Röst G. 2015. Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. 14(2), 980–1017.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1525 | OA
Bauer B, Blechl G, Bock C, Danowski P, Ferus A, Graschopf A, König T, Mayer K, Reckling F, Rieck K, Seitz P, Stöger H, Welzig E. 2015. Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen. 68(3), 580–607.
[Published Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 2034 | OA
Bérard B, Chatterjee K, Sznajder N. 2015. Probabilistic opacity for Markov decision processes. Information Processing Letters. 115(1), 52–59.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1542 | OA
Paixao T, Badkobeh G, Barton NH, Çörüş D, Dang D, Friedrich T, Lehre P, Sudholt D, Sutton A, Trubenova B. 2015. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 383, 28–43.
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1656 | OA
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July, 7174926.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata, IST Austria, 29p.
[Published Version] View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 22173 | OA
Abbe E, Wigderson Y. 2015. High-girth matrices and polarization. 2015 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1792
Pausinger F, Svane A. 2015. A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. 31(6), 773–797.
View | Files available | DOI | WoS
 

2015 | Published | Thesis | PhD | IST-REx-ID: 1399
Pausinger F. 2015. On the approximation of intrinsic volumes. Institute of Science and Technology Austria.
View | Files available
 

2015 | Published | Journal Article | IST-REx-ID: 1709 | OA
Reiter J, Kanodia A, Gupta R, Nowak M, Chatterjee K. 2015. Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. 282(1812).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2015 | Published | Thesis | PhD | IST-REx-ID: 1400
Reiter J. 2015. The subclonal evolution of cancer. Institute of Science and Technology Austria.
View | Files available
 

2015 | Published | Journal Article | IST-REx-ID: 1666 | OA
Tugrul M, Paixao T, Barton NH, Tkačik G. 2015. Dynamics of transcription factor binding site evolution. PLoS Genetics. 11(11).
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1633 | OA
Hahn D, Wojtan C. 2015. High-resolution brittle fracture simulation with boundary elements. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 151.
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 22495 | OA
Fatichi S, Katul GG, Ivanov VY, Pappas C, Paschalis A, Consolo A, Kim J, Burlando P. 2015. Abiotic and biotic controls of soil moisture spatiotemporal variability and the occurrence of hysteresis. Water Resources Research. 51(5), 3505–3524.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 22509
Francipane A, Fatichi S, Ivanov VY, Noto LV. 2015. Stochastic assessment of climate impacts on hydrology and geomorphology of semiarid headwater basins using a physically based model. Journal of Geophysical Research: Earth Surface. 120(3), 507–533.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed