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.




6436 Publications

2018 | Published | Journal Article | IST-REx-ID: 181 | OA
L. Erdös, T. H. Krüger, and D. T. Renfrew, “Power law decay for systems of randomly coupled differential equations,” SIAM Journal on Mathematical Analysis, vol. 50, no. 3. Society for Industrial and Applied Mathematics , pp. 3271–3290, 2018.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 182 | OA
A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification for STL,” in Proceedings of the 21st International Conference on Hybrid Systems, Porto, Portugal, 2018, pp. 177–186.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 183
E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems - Computation and Control, Porto, Portugal, 2018, pp. 197–206.
View | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 184 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 41:1-41:16.
[Published Version] View | Files available | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 185 | OA
R. Fulek and J. Kynčl, “Hanani-Tutte for approximating maps of graphs,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.
[Published Version] View | Files available | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 186 | OA
R. Fulek and J. Kynčl, “The ℤ2-Genus of Kuratowski minors,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 40.1-40.14.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 187 | OA
H. Edelsbrunner and G. F. Osang, “The multi-cover persistence of Euclidean balls,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 13 | OA
T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni, “Metamolds: Computational design of silicone molds,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Research Data Reference | IST-REx-ID: 13055 | OA
N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller, “Social network plasticity decreases disease transmission in a eusocial insect.” Zenodo, 2018.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Research Data Reference | IST-REx-ID: 13059 | OA
E. Garriga et al., “Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method.” Zenodo, 2018.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Published | Journal Article | IST-REx-ID: 131 | OA
M. A. L. Picard et al., “Evolution of gene dosage on the Z-chromosome of schistosome parasites,” eLife, vol. 7. eLife Sciences Publications, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 132 | OA
M. Sznurkowska et al., “Defining lineage potential and fate behavior of precursors during pancreas development,” Developmental Cell, vol. 46, no. 3. Cell Press, pp. 360–375, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 133 | OA
B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,” presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 198 | OA
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, and M. Nowak, “Language acquisition with communication between learners,” Journal of the Royal Society Interface, vol. 15, no. 140. The Royal Society, 2018.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 199 | OA
W. Ma et al., “Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes,” Genes, vol. 9, no. 6. MDPI, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 20 | OA
J. Higareda Almaraz et al., “Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes,” BMC Genomics, vol. 19, no. 1. BioMed Central, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Thesis | PhD | IST-REx-ID: 200 | OA
H. Ringbauer, “Inferring recent demography from spatial genetic structure,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | PhD | IST-REx-ID: 201 | OA
M. Iglesias Ham, “Multiple covers with balls,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 203 | OA
M. Abbas et al., “Auxin methylation is required for differential growth in Arabidopsis,” PNAS, vol. 115, no. 26. National Academy of Sciences, pp. 6864–6869, 2018.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 188 | OA
H. Edelsbrunner, Z. Virk, and H. Wagner, “Smallest enclosing spheres and Chernoff points in Bregman geometry,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 35:1-35:13.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed