ISTA Research Explorer

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.

480 Publications

2015 | Published | Journal Article | IST-REx-ID: 1666 |

Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, PLoS Genetics 11 (2015).

[Published Version] View | Files available | DOI | WoS

2015 | Published | Thesis | PhD | IST-REx-ID: 1401 |

Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, Institute of Science and Technology Austria, 2015.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2015 | Published | Journal Article | IST-REx-ID: 1792

A Koksma-Hlawka inequality for general discrepancy systems
F. Pausinger, A. Svane, Journal of Complexity 31 (2015) 773–797.

View | Files available | DOI | WoS

2015 | Published | Journal Article | IST-REx-ID: 1709 |

Biological auctions with multiple rewards
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, K. Chatterjee, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).

2015 | Published | Thesis | PhD | IST-REx-ID: 1400

The subclonal evolution of cancer
J. Reiter, The Subclonal Evolution of Cancer, Institute of Science and Technology Austria, 2015.

View | Files available

2015 | Published | Conference Paper | IST-REx-ID: 1502 |

Complete composition operators for IOCO-testing theory
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.

[Submitted Version] View | Files available | DOI | WoS

2015 | Published | Journal Article | IST-REx-ID: 1501 |

CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.

2015 | Published | Thesis | PhD | IST-REx-ID: 1399

On the approximation of intrinsic volumes
F. Pausinger, On the Approximation of Intrinsic Volumes, Institute of Science and Technology Austria, 2015.

View | Files available

2015 | Published | Journal Article | IST-REx-ID: 1525 |

Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA
B. Bauer, G. Blechl, C. Bock, P. Danowski, A. Ferus, A. Graschopf, T. König, K. Mayer, F. Reckling, K. Rieck, P. Seitz, H. Stöger, E. Welzig, VÖB Mitteilungen 68 (2015) 580–607.

[Published Version] View | Files available | DOI

2015 | Research Data Reference | IST-REx-ID: 9719 |

Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium on Automata, Languages, and Programming, Springer Nature, 2015, pp. 121–133.

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Journal Article | IST-REx-ID: 815 |

The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly
F.K. Schur, R. Dick, W. Hagen, V. Vogt, J. Briggs, Journal of Virology 89 (2015) 10294–10302.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2015 | Published | Journal Article | IST-REx-ID: 1802 |

The schizophrenia risk gene product miR-137 alters presynaptic plasticity
S. Siegert, J. Seo, E. Kwon, A. Rudenko, S. Cho, W. Wang, Z. Flood, A. Martorell, M. Ericsson, A. Mungenast, L. Tsai, Nature Neuroscience 18 (2015) 1008–1016.

2015 | Published | Conference Paper | IST-REx-ID: 776

The SprayList: A scalable relaxed priority queue
D.-A. Alistarh, J. Kopinsky, J. Li, N. Shavit, in:, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM, 2015, pp. 11–20.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 814

Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution
F.K. Schur, W. Hagen, M. Rumlová, T. Ruml, B. Müller, H. Kraüsslich, J. Briggs, Nature 517 (2015) 505–508.

View | DOI | PubMed | Europe PMC

2015 | Published | Journal Article | IST-REx-ID: 1788 |

Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity
A. Pitanti, J.M. Fink, A. Safavi Naeini, J. Hill, C. Lei, A. Tredicucci, O. Painter, Optics Express 23 (2015) 3196–3208.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2015 | Published | Journal Article | IST-REx-ID: 886

Topological features of rugged fitness landscapes in sequence space
D. Kondrashov, F. Kondrashov, Trends in Genetics 31 (2015) 24–33.

View | DOI | PubMed | Europe PMC

2015 | Published | Conference Paper | IST-REx-ID: 777

Streaming min-max hypergraph partitioning
D.-A. Alistarh, J. Iglesias, M. Vojnović, in:, Neural Information Processing Systems, 2015, pp. 1900–1908.

View | Download None (ext.)

2015 | Published | Journal Article | IST-REx-ID: 362

Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties
Z. Lu, M. Ibáñez, A. Antolín, A. Genç, A. Shavel, S. Contreras, F. Medina, J. Arbiol, A. Cabot, Langmuir 31 (2015) 3952–3957.

View | DOI | PubMed | Europe PMC

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

480 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

480 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options