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.

6561 Publications


2017 | Published | Technical Report | IST-REx-ID: 5456 | OA
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 548 | OA
Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes
D. De Martino, Physical Review E 96 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 549 | OA
Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 551 | OA
Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 552 | OA
Faster algorithms for mean-payoff parity games
K. Chatterjee, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 553 | OA
Strategy complexity of concurrent safety games
K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data | IST-REx-ID: 5559 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak , (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5560 | OA
Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkačik, C.C. Guet, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5561 | OA
Graph matching problems for annotating C. Elegans
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5562 | OA
Multi-electrode array recording from salamander retinal ganglion cells
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, M. Berry, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5563 | OA
MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5564 | OA
Fastq files for "Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection"
M. Steinrück, C.C. Guet, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5565 | OA
Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5566 | OA
Live tracking of moving samples in confocal microscopy for vertically grown roots
R. Hauschild, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5567 | OA
Immunological synapse DC-Tcells
A.F. Leithner, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA
Source codes: Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 557 | OA
AAV2 mediated transduction of the mouse retina after optic nerve injury
R. Nickells, H. Schmitt, M.E. Maes, C. Schlamp, Investigative Ophthalmology and Visual Science 58 (2017) 6091–6104.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5570 | OA
Forward migration indexes
R. Hauschild, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5571 | OA
Data for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"
B. Vicoso, (2017).
[Submitted Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5572 | OA
Code for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"
B. Vicoso, (2017).
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed