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.

5791 Publications

2017 | Published | Book Chapter | IST-REx-ID: 1213

N. S. Baranova and M. Loose, “Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers,” in Cytokinesis, vol. 137, A. Echard, Ed. Academic Press, 2017, pp. 355–370.

View | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1207 |

Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” Communications in Mathematical Physics, vol. 349, no. 3. Springer, pp. 947–990, 2017.

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

2017 | Published | Journal Article | IST-REx-ID: 12193 |

J. Walker et al., “Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis,” Nature Genetics, vol. 50, no. 1. Nature Research, pp. 130–137, 2017.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

2017 | Published | Journal Article | IST-REx-ID: 1351 |

M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.

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

2017 | Published | Conference Paper | IST-REx-ID: 1194 |

K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.

2017 | Published | Conference Paper | IST-REx-ID: 313 |

N. Camus et al., “Experimental evidence for Wigner’s tunneling time,” presented at the Annual International Laser Physics Workshop LPHYS, Kazan, Russian Federation, 2017, vol. 999, no. 1.

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

2017 | Published | Journal Article | IST-REx-ID: 6013 |

N. Camus et al., “Experimental evidence for quantum tunneling time,” Physical Review Letters, vol. 119, no. 2. American Physical Society, 2017.

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

2017 | Published | Conference Paper | IST-REx-ID: 432 |

H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.

[Submitted Version] View | Files available

2017 | Published | Conference Paper | IST-REx-ID: 431 |

D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnović, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.

[Submitted Version] View | Download Submitted Version (ext.) | arXiv

2017 | Published | Journal Article | IST-REx-ID: 466 |

K. Chatterjee, Z. Křetínská, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes,” Logical Methods in Computer Science, vol. 13, no. 2. International Federation of Computational Logic, 2017.