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
Regulatory network structure determines patterns of intermolecular epistasis
M. Lagator, S. Sarikas, H. Acar, J.P. Bollback, C.C. Guet, ELife 6 (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 994 | OA
Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 6527 | OA
Practical graphs for optimal side-channel resistant memory-hard functions
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
Vascular tissue development and regeneration in the model plant arabidopsis
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
Single sideband microwave to optical photon conversion-an-electro-optic-realization
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
Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 6519 | OA
Improved set-based symbolic algorithms for parity games
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
Finding non-orientable surfaces in 3-Manifolds
B. Burton, A.N. de Mesmay, U. Wagner, Discrete & Computational Geometry 58 (2017) 871–888.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 465 | OA
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 12193 | OA
Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis
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
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Report | IST-REx-ID: 5450 | OA
Implementing the institutional data repository IST DataRep
Petritsch, Barbara, Implementing the institutional data repository IST DataRep. 2017
[Published Version] View | Files available
 
2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Thesis | IST-REx-ID: 6287 | OA
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 741 | OA
Stability of a fermionic N+1 particle system with point interactions
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
Inferring recent demography from isolation by distance of long shared sequence blocks
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
Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
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
Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti
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
The topology of the cosmic web in terms of persistent Betti numbers
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
Pushdown reachability with constant treewidth
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: Default

Export / Embed