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.
5472 Publications
2018 | Published | Conference Paper | IST-REx-ID: 187 | 
Edelsbrunner, H., & Osang, G. F. (2018). The multi-cover persistence of Euclidean balls (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.34
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 5965 |
Alistarh, D.-A., Brown, T. A., Kopinsky, J., Li, J. Z., & Nadiradze, G. (2018). Distributionally linearizable data structures. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18 (pp. 133–142). Vienna, Austria: ACM Press. https://doi.org/10.1145/3210377.3210411
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 6355 |
Akopyan, A., & Avvakumov, S. (2018). Any cyclic quadrilateral can be inscribed in any closed convex smooth curve. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2018.7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 | Published | Preprint | IST-REx-ID: 75 |
Akopyan, A., Avvakumov, S., & Karasev, R. (2018). Convex fair partitions into arbitrary number of pieces. arXiv. https://doi.org/10.48550/arXiv.1804.03057
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 457
Pleska, M., Lang, M., Refardt, D., Levin, B., & Guet, C. C. (2018). Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. Springer Nature. https://doi.org/10.1038/s41559-017-0424-z
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 87 |
Edelsbrunner, H., & Nikitenko, A. (2018). Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics. Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/18-AAP1389
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 5976 |
Malomo, L., Perez Rodriguez, J., Iarussi, E., Pietroni, N., Miguel, E., Cignoni, P., & Bickel, B. (2018). FlexMaps: Computational design of flat flexible shells for shaping 3D objects. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3272127.3275076
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 5993 |
Chatterjee, K., Fu, H., Novotný, P., & Hasheminezhad, R. (2018). Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. ACM Transactions on Programming Languages and Systems. Association for Computing Machinery. https://doi.org/10.1145/3174800
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 183
Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing Machinery. https://doi.org/10.1145/3178126.3178131
View
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 6499 |
Truckenbrodt, S. M., Maidorn, M., Crzan, D., Wildhagen, H., Kabatas, S., & Rizzoli, S. O. (2018). X10 expansion microscopy enables 25‐nm resolution on conventional microscopes. EMBO Reports. Embo Press. https://doi.org/10.15252/embr.201845836
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 399 |
Napiórkowski, M. M., Reuvers, R., & Solovej, J. (2018). Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation. EPL. IOP Publishing. https://doi.org/10.1209/0295-5075/121/10007
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 199 |
Ma, W., Veltsos, P., Toups, M. A., Rodrigues, N., Sermier, R., Jeffries, D., & Perrin, N. (2018). Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes. Genes. MDPI. https://doi.org/10.3390/genes9060294
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 6006 |
Avni, G., Guha, S., & Kupferman, O. (2018). An abstraction-refinement methodology for reasoning about network games. Games. MDPI. https://doi.org/10.3390/g9030039
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 63 |
Gammerdinger, W. J., & Kocher, T. (2018). Unusual diversity of sex chromosomes in African cichlid fishes. Genes. MDPI. https://doi.org/10.3390/genes9100480
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 34 |
Chatterjee, K., Chemlík, M., & Topcu, U. (2018). Sensor synthesis for POMDPs with reachability objectives. In 28th International Conference on Automated Planning and Scheduling (Vol. 2018, pp. 47–55). Delft, Netherlands: AAAI Press. https://doi.org/10.1609/icaps.v28i1.13875
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 5816 |
Hollmann, A., Jirovec, D., Kucharski, M., Kissinger, D., Fischer, G., & Schreiber, L. R. (2018). 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. AIP Publishing. https://doi.org/10.1063/1.5038258
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 2 |
Hilbe, C., Schmid, L., Tkadlec, J., Chatterjee, K., & Nowak, M. (2018). Indirect reciprocity with private, noisy, and incomplete information. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1810565115
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 3 |
Deliu, E., Arecco, N., Morandell, J., Dotter, C., Contreras, X., Girardot, C., … Novarino, G. (2018). Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/s41593-018-0266-2
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Thesis | IST-REx-ID: 539 |
Hurny, A. (2018). Identification and characterization of novel auxin-cytokinin cross-talk components. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_930
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 395 |
Tarlungeanu, D.-C. (2018). The branched chain amino acids in autism spectrum disorders . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_992
[Published Version]
View
| Files available
| DOI