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.




6474 Publications

2016 | Research Data | IST-REx-ID: 5558 | OA
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: 1126 | OA
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: 1121 | OA
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: 1398 | OA
T. Ellis, “The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone,” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1432 | OA
R. K. Mishra, S. Kim, J. Guzmán, and P. M. Jonas, “Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Thesis | PhD | IST-REx-ID: 1396 | OA
R. K. Mishra, “Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus,” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 
2016 | Research Data | IST-REx-ID: 5553 | OA
D. Field and T. Ellis, “Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5551 | OA
T. Ellis, “Data on pollinator observations and offpsring phenotypes.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5552 | OA
T. Ellis, “Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Published | Thesis | PhD | IST-REx-ID: 1130 | OA
T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2016 | Published | Thesis | PhD | IST-REx-ID: 1131 | OA
M. Tugrul, “Evolution of transcriptional regulatory sequences,” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 
2016 | Research Data | IST-REx-ID: 5554 | OA
M. Tugrul, “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Published | Thesis | PhD | IST-REx-ID: 1125 | OA
S. Novak, “Evolutionary proccesses in variable emvironments,” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 
2016 | Published | Journal Article | IST-REx-ID: 1662 | OA
H. Edelsbrunner and F. Pausinger, “Approximation and convergence of the intrinsic volume,” Advances in Mathematics, vol. 287. Academic Press, pp. 674–703, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1093 | OA
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: 1234 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1230 | OA
P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1341 | OA
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
[Preprint] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1321 | OA
A. F. Leithner et al., “Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes,” Nature Cell Biology, vol. 18. Nature Publishing Group, pp. 1253–1259, 2016.
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed