ISTA Research Explorer

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

2020 | Journal Article | IST-REx-ID: 10861

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.

View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 7569 |

The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).

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

2020 | Preprint | IST-REx-ID: 8813 |

Novel imprints in mouse blastocysts are predominantly DNA methylation independent
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).

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

2020 | Research Data Reference | IST-REx-ID: 9777 |

Maximizing crosstalk
R. Grah, T. Friedlander, (2020).

View | Files available | DOI | Download None (ext.)

2020 | Thesis | IST-REx-ID: 8332 |

Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.

[Published Version] View | Files available | DOI