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.
6293 Publications
2016 |
Published |
Conference Paper |
IST-REx-ID: 1093 |
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1095 |
A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 1096
C. Schwayer, M. K. Sikora, J. Slovakova, R. Kardos, and C.-P. J. Heisenberg, “Actin rings of power,” Developmental Cell, vol. 37, no. 6. Cell Press, pp. 493–506, 2016.
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1097 |
T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1098 |
A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.
[Published Version]
View
| Files available
2016 |
Published |
Conference Paper |
IST-REx-ID: 1099 |
L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1102 |
A. Kolesnikov and C. Lampert, “Improving weakly-supervised object localization by micro-annotation,” in Proceedings of the British Machine Vision Conference 2016, York, United Kingdom, 2016, vol. 2016–September, p. 92.1-92.12.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |
Published |
Conference Paper |
IST-REx-ID: 1103 |
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, and R. Ray, “Parallel reachability analysis for hybrid systems,” presented at the MEMOCODE: Conference on Formal Methods and Models for System Design, Kanpur, India , 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |
Published |
Conference Paper |
IST-REx-ID: 1105 |
C. Savin and G. Tkačik, “Estimating nonlinear neural response functions using GP priors and Kronecker methods,” presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain, 2016, vol. 29, pp. 3610–3618.
View
| Download None (ext.)
2016 |
Published |
Conference Paper |
IST-REx-ID: 1115 |
A. Rueda et al., “Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1121 |
H. Acar, “Selective barriers to horizontal gene transfer,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1122 |
M. Bojsen-Hansen, “Tracking, correcting and absorbing water surface waves,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1123 |
I. Mabillard, “Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1124 |
M. Morri, “Optical functionalization of human class A orphan G-protein coupled receptors,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1125 |
S. Novak, “Evolutionary proccesses in variable emvironments,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1126 |
A. Pentina, “Theoretical foundations of multi-task lifelong learning,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1128 |
G. Rieckh, “Studying the complexities of transcriptional regulation,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1129 |
J. Schwarz, “Quantitative analysis of haptotactic cell migration,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available