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.




6511 Publications

2014 | Research Data Reference | IST-REx-ID: 9932 | OA
Dhar R, Bergmiller T, Wagner A. 2014. Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes, Dryad, 10.5061/dryad.jc402.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Published | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics, 31–50.
[Submitted Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 1904 | OA
Frank R, Lewin M, Lieb É, Seiringer R. 2014. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 16(7), 1507–1526.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2233 | OA
Boker U, Henzinger TA. 2014. Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. 10(1).
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 2234 | OA
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. 2014. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 10(1).
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Book Chapter | IST-REx-ID: 2265
Hippenmeyer S. 2014.Molecular pathways controlling the sequential steps of cortical projection neuron migration. In: Cellular and Molecular Control of Neuronal Migration. Advances in Experimental Medicine and Biology, vol. 800, 1–24.
View | DOI | WoS
 
2014 | Published | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M, Parker D, Ujma M. 2014. Verification of Markov decision processes using learning algorithms. 12th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 98–114.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2028 | OA
Bodova K, Paydarfar D, Forger D. 2014. Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. 365, 40–54.
[Published Version] View | Files available | DOI | WoS
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2038 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications with accumulative values. ACM Transactions on Computational Logic. 15(4), 27.
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed