ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6767 Publications

2014 | Published | Conference Paper | IST-REx-ID: 2905 |

Persistent homology: Theory and practice
H. Edelsbrunner, D. Morozovy, in:, EMS Press, 2014, pp. 31–50.

[Submitted Version] View | Files available | DOI

2014 | Published | Journal Article | IST-REx-ID: 1904 |

Strichartz inequality for orthonormal functions
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Journal of the European Mathematical Society 16 (2014) 1507–1526.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv

2014 | Published | Journal Article | IST-REx-ID: 2233 |

Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).

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

2014 | Published | Journal Article | IST-REx-ID: 2234 |

Markov decision processes with multiple long-run average objectives
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).

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

2014 | Published | Book Chapter | IST-REx-ID: 2265

Molecular pathways controlling the sequential steps of cortical projection neuron migration
S. Hippenmeyer, in:, L. Nguyen (Ed.), Cellular and Molecular Control of Neuronal Migration, Springer, 2014, pp. 1–24.

View | DOI | WoS

2014 | Published | Conference Paper | IST-REx-ID: 2027 |

Verification of Markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, 12th International Symposium on Automated Technology for Verification and Analysis, Springer, 2014, pp. 98–114.

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

2014 | Published | Journal Article | IST-REx-ID: 2028 |

Characterizing spiking in noisy type II neurons
K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.

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

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Journal Article | IST-REx-ID: 2038 |

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic 15 (2014).

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

Partial-observation stochastic reachability and parity games
K. Chatterjee, in:, Springer, 2014, pp. 1–4.

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

2014 | Published | Journal Article | IST-REx-ID: 2211 |

Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic 15 (2014).

2014 | Published | Conference Paper | IST-REx-ID: 2054

Qualitative concurrent parity games: Bounded rationality
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.

View | Files available | DOI

2014 | Published | Journal Article | IST-REx-ID: 535 |

Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.

2014 | Published | Conference Paper | IST-REx-ID: 1872 |

Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, 12th International Symposium on Automated Technology for Verification and Analysis, Springer, 2014, pp. 185–200.

[Submitted Version] View | Files available | DOI

2014 | Research Data Reference | IST-REx-ID: 9753 |

Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, (2014).

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

2014 | Published | Journal Article | IST-REx-ID: 2716 |

Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.

2014 | Published | Thesis | PhD | IST-REx-ID: 1395

Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, Institute of Science and Technology Austria, 2014.

View

2014 | Published | Thesis | PhD | IST-REx-ID: 1404

Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, Institute of Science and Technology Austria, 2014.

View

2014 | Published | Thesis | PhD | IST-REx-ID: 1402

Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2014.

View

2014 | Published | Thesis | PhD | IST-REx-ID: 1403

Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, Institute of Science and Technology Austria, 2014.

View | Files available

Research Groups

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

6767 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6767 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options