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.
5035 Publications
2016 | Conference Paper | IST-REx-ID: 1205 | 
Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995, 757–763.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1193 |
Kolmogorov V. 2016. Commutativity in the algorithmic Lovasz local lemma. Proceedings - Annual IEEE Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science vol. 2016–December, 7782993.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1438 |
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2016. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Research Data Reference | IST-REx-ID: 9710 |
Barton NH. 2016. Data from: How does epistasis influence the response to selection?, Dryad, 10.5061/dryad.s5s7r.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Research Data Reference | IST-REx-ID: 9864 |
Fernandes Redondo RA, de Vladar H, Włodarski T, Bollback JP. 2016. Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family, The Royal Society, 10.6084/m9.figshare.4315652.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1165 |
Fulek R. 2016. C-planarity of embedded cyclic c-graphs. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 94–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1378 |
Dotterrer D, Kaufman T, Wagner U. 2016. On expansion and topological overlap. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 35.1-35.10.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1616 |
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. 2016. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 26(5), 668–682.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1794 |
Kolmogorov V, Takhanov R. 2016. Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. 76(1), 17–46.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 510 |
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.)
2016 | Journal Article | IST-REx-ID: 1263 |
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. Efficient microwave to optical photon conversion: An electro-optical realization. Optica. 3(6), 597–604.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1287 |
Midya B, Konotop V. 2016. Modes and exceptional points in waveguides with impedance boundary conditions. Optics Letters. 41(20), 4621–4624.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | 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 | Journal Article | IST-REx-ID: 1274 |
Mazur E, Benková E, Friml J. 2016. Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis. Scientific Reports. 6, 33754.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1253 |
Tsai L, Siegert S. 2016. How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. 73(4), 409–410.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Technical Report | IST-REx-ID: 5452 |
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 | Journal Article | IST-REx-ID: 1382
Ellis T, Field D. 2016. Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae. Annals of Botany. 117(7), 1133–1140.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5550 |
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: 5555 |
Hauschild R. 2016. Fiji script to determine average speed and direction of migration of cells, Institute of Science and Technology Austria, 10.15479/AT:ISTA:44.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5557 |
Swoboda P. 2016. Synthetic discrete tomography problems, Institute of Science and Technology Austria, 10.15479/AT:ISTA:46.
[Published Version]
View
| Files available
| DOI