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.




6586 Publications

2016 | Published | Journal Article | IST-REx-ID: 1881 | OA
Lee J, Schnelli K. 2016. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 164(1–2), 165–241.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, , 112–121.
View | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 482
Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. NP: Nonlinear Photonics, Optics InfoBase Conference Papers, .
View | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 11(6), e1191734.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
[Published Version] View | Files available | DOI
 
earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
[Updated Version] View | Files available | DOI
 
2016 | Published | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
[Published Version] View | Files available | DOI
 
earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 32p.
[Published Version] View | Files available | DOI
 
2016 | Published | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
[Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis T, Field D. 2016. Flower colour data and phylogeny (NEXUS) files, Institute of Science and Technology Austria, 10.15479/AT:ISTA:34.
[Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin M, Landon M, Jajoo R. 2016. MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:45.
[Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda P. 2016. Synthetic discrete tomography problems, Institute of Science and Technology Austria, 10.15479/AT:ISTA:46.
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. 2016. Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. 33(3), 770–782.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2016 | Published | Book Chapter | IST-REx-ID: 5805
Sen N, Biswas R, Bhowmick P. 2016.On some local topological properties of naive discrete sphere. In: Computational Topology in Image Context. LNCS, vol. 9667, 253–264.
View | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. 2016. On functionality of quadraginta octants of naive sphere with application to circle drawing. Discrete Geometry for Computer Imagery. DGCI: International Conference on Discrete Geometry for Computer Imagery, LNCS, vol. 9647, 256–267.
View | DOI
 
2016 | Published | Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. 2016.On the connectivity and smoothness of discrete spherical circles. In: Combinatorial image analysis. vol. 9448, 86–100.
View | DOI
 
2016 | Published | Book Chapter | IST-REx-ID: 19990
Harada H, Shigemoto R. 2016.High-Resolution Localization of Membrane Proteins by SDS-Digested Freeze-Fracture Replica Labeling (SDS-FRL). In: Receptor and Ion Channel Detection in the Brain. , 233–245.
View | DOI
 
2016 | Published | Book Chapter | IST-REx-ID: 19991
Sharmanska V, Quadrianto N. 2016.Learning Using Privileged Information. In: Encyclopedia of Machine Learning and Data Mining. , 1–4.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed