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.




5730 Publications

2017 | Published | Journal Article | IST-REx-ID: 570 | OA
Lagator M, Sarikas S, Acar H, Bollback JP, Guet CC. 2017. Regulatory network structure determines patterns of intermolecular epistasis. eLife. 6, e28921.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 994 | OA
Cherepanov I, Lemeshko M. 2017. Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules. Physical Review Materials. 1(3).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 6527 | OA
Alwen, Joel F, Practical graphs for optimal side-channel resistant memory-hard functions. Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Book Chapter | IST-REx-ID: 545 | OA
Mazur, Ewa, Vascular tissue development and regeneration in the model plant arabidopsis. Plant Engineering. 2017
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 485
Rueda Sanchez, Alfredo R, Single sideband microwave to optical photon conversion-an-electro-optic-realization. Optics InfoBase Conference Papers F54. 2017
View | DOI
 
2017 | Published | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis A. 2017. Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 6519 | OA
Chatterjee, Krishnendu, Improved set-based symbolic algorithms for parity games. 82. 2017
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 534 | OA
Burton B, de Mesmay AN, Wagner U. 2017. Finding non-orientable surfaces in 3-Manifolds. Discrete & Computational Geometry. 58(4), 871–888.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 465 | OA
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2017. Edit distance for pushdown automata. Logical Methods in Computer Science. 13(3).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 12193 | OA
Walker, James, Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics 50 (1). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 467 | OA
Chatterjee K, Henzinger TA, Otop J. 2017. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 18(4), 31.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Report | IST-REx-ID: 5450 | OA
Petritsch, Barbara, Implementing the institutional data repository IST DataRep. 2017
[Published Version] View | Files available
 
2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
Avni G, Henzinger TA, Chonev VK. 2017. Infinite-duration bidding games. CONCUR: Concurrency Theory, LIPIcs, vol. 85, 17.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Thesis | IST-REx-ID: 6287 | OA
Nikitenko A. 2017. Discrete Morse theory for random complexes . Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 741 | OA
Moser, Thomas, Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics 356 (1). 2017
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1074 | OA
Ringbauer, Harald, Inferring recent demography from isolation by distance of long shared sequence blocks. Genetics 205 (3). 2017
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 718 | OA
Edelsbrunner, Herbert, Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability 49 (3). 2017
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 952 | OA
Turelli, Michael, Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti. Theoretical Population Biology 115. 2017
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 1022 | OA
Pranav, Pratyush, The topology of the cosmic web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society 465 (4). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, Krishnendu, Pushdown reachability with constant treewidth. Information Processing Letters 122. 2017
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed