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.

5767 Publications


2016 | Conference Paper | IST-REx-ID: 1193 | OA
Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Research Data Reference | IST-REx-ID: 9710 | OA
Data from: How does epistasis influence the response to selection?
N.H. Barton, (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9864 | OA
Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
C-planarity of embedded cyclic c-graphs
R. Fulek, in:, Springer, 2016, pp. 94–106.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications