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.

6578 Publications


2014 | Research Data Reference | IST-REx-ID: 9888
Supporting information
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, (2014).
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 9931
Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
R. Dhar, T. Bergmiller, A. Wagner, Evolution 68 (2014) 1775–1791.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2014 | Research Data Reference | IST-REx-ID: 9932 | OA
Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
R. Dhar, T. Bergmiller, A. Wagner, (2014).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2905 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
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 | OA
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
 

earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 1903 | OA
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 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic 15 (2014).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

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 | OA
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
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 | Published | Journal Article | IST-REx-ID: 1999
Organisational immunity in social insects
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.
View | Files available | DOI | WoS
 

2013 | Published | Journal Article | IST-REx-ID: 10895 | OA
Calcium: The missing link in auxin action
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 10897
Persistent homology in image processing
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed