ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4947 Publications

Search / Filter

2019 | Conference Paper | IST-REx-ID: 8570 |

ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.

[Published Version] View | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 6819 |

Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2019 | Research Data Reference | IST-REx-ID: 9784 |

MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Research Data Reference | IST-REx-ID: 9839 |

Data from: Is the sky the limit? On the expansion threshold of a species' range
J. Polechova, (2019).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Preprint | IST-REx-ID: 8305 |

Bootstrapping consensus without trusted setup: fully asynchronous distributed key generation
E. Kokoris Kogias, A. Spiegelman, D. Malkhi, I. Abraham, Cryptology EPrint Archive (n.d.).

[Preprint] View | Download Preprint (ext.)