ISTA Research Explorer

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.

5473 Publications

2018 | Published | Conference Paper | IST-REx-ID: 5963 |

Alistarh, D.-A., Brown, T. A., Kopinsky, J., & Nadiradze, G. (2018). Relaxed schedulers can efficiently parallelize iterative algorithms. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18 (pp. 377–386). Egham, United Kingdom: ACM Press. https://doi.org/10.1145/3212734.3212756

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Conference Paper | IST-REx-ID: 5964 |

Aksenov, V., Alistarh, D.-A., & Kuznetsov, P. (2018). Brief Announcement: Performance prediction for coarse-grained locking. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18 (pp. 411–413). Egham, United Kingdom: ACM Press. https://doi.org/10.1145/3212734.3212785

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2018 | Published | Conference Paper | IST-REx-ID: 5966 |

Alistarh, D.-A., Haider, S. K., Kübler, R., & Nadiradze, G. (2018). The transactional conflict problem. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18 (pp. 383–392). Vienna, Austria: ACM Press. https://doi.org/10.1145/3210377.3210406

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Conference Paper | IST-REx-ID: 5967 |

Hansen, K. A., Ibsen-Jensen, R., & Neyman, A. (2018). The Big Match with a clock and a bit of memory. In Proceedings of the 2018 ACM Conference on Economics and Computation - EC ’18 (pp. 149–150). Ithaca, NY, United States: ACM Press. https://doi.org/10.1145/3219166.3219198

[Submitted Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 5971 |

Erdös, L., & Mühlbacher, P. (2018). Bounds on the norm of Wigner-type random matrices. Random Matrices: Theory and Applications. World Scientific Publishing. https://doi.org/10.1142/s2010326319500096

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Journal Article | IST-REx-ID: 5975 |

Kolmogorov, V. (2018). Commutativity in the algorithmic Lovász local lemma. SIAM Journal on Computing. Society for Industrial & Applied Mathematics (SIAM). https://doi.org/10.1137/16m1093306

2018 | Published | Conference Paper | IST-REx-ID: 5978 |

Haller, S., Swoboda, P., & Savchynskyy, B. (2018). Exact MAP-inference by confining combinatorial search with LP relaxation. In Proceedings of the 32st AAAI Conference on Artificial Intelligence (pp. 6581–6588). New Orleans, LU, United States: AAAI Press.

[Preprint] View | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Journal Article | IST-REx-ID: 5980

Chatterjee, S., Kamath Hosdurg, C., & Kumar, V. (2018). Private set-intersection with common set-up. American Institute of Mathematical Sciences. AIMS. https://doi.org/10.3934/amc.2018002

View | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 5982 |

Zhang, Y., Liu, Y., Lim, K. H., Xing, C., Li, M., Zhang, T., … Cabot, A. (2018). Tin diselenide molecular precursor for solution-processable thermoelectric materials. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201809847

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2018 | Published | Journal Article | IST-REx-ID: 5983 |

Yakaboylu, E., Midya, B., Deuchert, A., Leopold, N. K., & Lemeshko, M. (2018). Theory of the rotating polaron: Spectrum and self-localization. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.98.224506

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Journal Article | IST-REx-ID: 5984 |

Morri, M., Sanchez-Romero, I., Tichy, A.-M., Kainrath, S., Gerrard, E. J., Hirschfeld, P., … Janovjak, H. L. (2018). Optical functionalization of human class A orphan G-protein-coupled receptors. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-018-04342-1

[Published Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 5989 |

Kincaid-Smith, J., Picard, M. A. L., Cosseau, C., Boissier, J., Severac, D., Grunau, C., & Toulza, E. (2018). Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evy037

[Published Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 5990 |

Ridderbos, J., Brauns, M., Shen, J., de Vries, F. K., Li, A., Bakkers, E. P. A. M., … Zwanenburg, F. A. (2018). Josephson effect in a few-hole quantum dot. Advanced Materials. Wiley. https://doi.org/10.1002/adma.201802257

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Journal Article | IST-REx-ID: 5992 |

Dolati, S., Kage, F., Mueller, J., Müsken, M., Kirchner, M., Dittmar, G., … Falcke, M. (2018). On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell. American Society for Cell Biology . https://doi.org/10.1091/mbc.e18-02-0082

2018 | Published | Journal Article | IST-REx-ID: 5995 |

Usmanova, D. R., Bogatyreva, N. S., Ariño Bernad, J., Eremina, A. A., Gorshkova, A. A., Kanevskiy, G. M., … Ivankov, D. (2018). Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation. Bioinformatics. Oxford University Press . https://doi.org/10.1093/bioinformatics/bty340

2018 | Published | Journal Article | IST-REx-ID: 5996 |

Vasudevan, M., & Hof, B. (2018). The critical point of the transition to turbulence in pipe flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.923

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Journal Article | IST-REx-ID: 5998 |

Velicky P, Meinhardt G, Plessl K, Vondra S, Weiss T, Haslinger P, Lendl T, Aumayr K, Mairhofer M, Zhu X, Schütz B, Hannibal RL, Lindau R, Weil B, Ernerudh J, Neesen J, Egger G, Mikula M, Röhrl C, Urban AE, Baker J, Knöfler M, Pollheimer J. 2018. Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. 14(10), e1007698.

[Published Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 5999 |

Yang, Y., & Zhao, G. (2018). The cohomological Hall algebra of a preprojective algebra. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/plms.12111

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Journal Article | IST-REx-ID: 6

Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox, D. (2018). A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of Visualized Experiments. MyJove Corporation. https://doi.org/10.3791/58585

View | DOI | WoS

2018 | Published | Book Chapter | IST-REx-ID: 60

Clarke, E., Henzinger, T. A., & Veith, H. (2018). Introduction to model checking. In T. A. Henzinger (Ed.), Handbook of Model Checking (pp. 1–26). Springer. https://doi.org/10.1007/978-3-319-10575-8_1

View | DOI

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5473 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5473 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options