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.

230 Publications

Search / Filter

2017 | Thesis | IST-REx-ID: 10663 |

Polshyn H. Magnetic force microscopy studies of mesoscopic superconducting structures. 2017.

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

2017 | Thesis | IST-REx-ID: 1155 |

Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 6291 |

Payne P. Bacterial herd and social immunity to phages. 2017.

[Published Version] View | Files available

2017 | Thesis | IST-REx-ID: 818 |

Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 820 |

Jesse F. The lac operon in the wild. 2017. doi:10.15479/AT:ISTA:th_857

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 838 |

Rybar M. (The exact security of) Message authentication codes. 2017. doi:10.15479/AT:ISTA:th_828

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 837 |

Xu H. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. 2017. doi:10.15479/AT:ISTA:th_858

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 938 |

Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 992 |

Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815

[Published Version] View | Files available | DOI