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.

4858 Publications

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

Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286.

View | DOI

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

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.

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

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

The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.

[Preprint] View | DOI | Download Preprint (ext.)

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

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

View | Files available | DOI | Download None (ext.) | arXiv

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

Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.

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

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

Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells
M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

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

V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis
L. Yu, S. Scholl, A. Doering, Z. Yi, N. Irani, S. Di Rubbo, L. Neumetzler, P. Krishnamoorthy, I. Van Houtte, E. Mylle, V. Bischoff, S. Vernhettes, J. Winne, J. Friml, Y. Stierhof, K. Schumacher, S. Persson, E. Russinova, Nature Plants 1 (2015).

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

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 | 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 | 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 | Conference Paper | IST-REx-ID: 1424 |

Statistical topological data analysis-A kernel perspective
R. Kwitt, S. Huber, M. Niethammer, W. Lin, U. Bauer, in:, Neural Information Processing Systems, 2015, pp. 3070–3078.

[Submitted Version] View | Download Submitted Version (ext.)

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

Lifelong learning with non-i.i.d. tasks
A. Pentina, C. Lampert, in:, Neural Information Processing Systems, 2015, pp. 1540–1548.

View | Download None (ext.)

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

First steps towards a runtime comparison of natural and artificial evolution
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.

[Preprint] View | DOI | Download Preprint (ext.)

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

Quantifying self-organizing behavior of autonomous robots
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.