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.
4963 Publications
2016 |
Published |
Conference Paper |
IST-REx-ID: 1707
Optimal geospatial allocation of volunteers for crisis management
J. Pielorz, C. Lampert, in:, IEEE, 2016.
View
| DOI
J. Pielorz, C. Lampert, in:, IEEE, 2016.
2016 |
Published |
Journal Article |
IST-REx-ID: 1794 |
Inference algorithms for pattern-based CRFs on sequence data
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
2016 |
Published |
Journal Article |
IST-REx-ID: 1833 |
On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
2016 |
Published |
Journal Article |
IST-REx-ID: 1881 |
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
2016 |
Published |
Conference Paper |
IST-REx-ID: 478 |
The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
2016 |
Published |
Conference Paper |
IST-REx-ID: 479
Use runtime verification to improve the quality of medical care practice
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.
View
| DOI
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.
2016 |
Published |
Conference Paper |
IST-REx-ID: 480 |
Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
2016 |
Published |
Conference Paper |
IST-REx-ID: 482
Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing Group, 2016.
View
| DOI
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing Group, 2016.
2016 |
Published |
Journal Article |
IST-REx-ID: 510 |
The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
2016 |
Published |
Technical Report |
IST-REx-ID: 5445 |
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
2016 |
Published |
Technical Report |
IST-REx-ID: 5449 |
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
[Updated Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
2016 |
Published |
Technical Report |
IST-REx-ID: 5451 |
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 |
Published |
Technical Report |
IST-REx-ID: 5452 |
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 |
Published |
Technical Report |
IST-REx-ID: 5453 |
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 |
Research Data |
IST-REx-ID: 5550 |
Flower colour data and phylogeny (NEXUS) files
T. Ellis, D. Field, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, D. Field, (2016).
2016 |
Research Data |
IST-REx-ID: 5551 |
Data on pollinator observations and offpsring phenotypes
T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, (2016).
2016 |
Research Data |
IST-REx-ID: 5552 |
Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.
T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, (2016).
2016 |
Research Data |
IST-REx-ID: 5553 |
Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012
D. Field, T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
D. Field, T. Ellis, (2016).
2016 |
Research Data |
IST-REx-ID: 5554 |
Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase
M. Tugrul, (2016).
[Published Version]
View
| Files available
| DOI
M. Tugrul, (2016).
2016 |
Research Data |
IST-REx-ID: 5555 |
Fiji script to determine average speed and direction of migration of cells
R. Hauschild, (2016).
[Published Version]
View
| Files available
| DOI
R. Hauschild, (2016).