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.
5779 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6942 |

Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6462 |

Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649. doi:10.1007/978-3-030-25540-4_36
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6493 |

Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4
View
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 7109
Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata. Journal of the ACM. 2019;66(3). doi:10.1145/3286976
View
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6042 |

Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. Semantic fault localization and suspiciousness ranking. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 11427. Springer Nature; 2019:226-243. doi:10.1007/978-3-030-17462-0_13
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7231 |

Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7183 |

Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination for probabilistic VASS with nondeterminism. In: International Symposium on Automated Technology for Verification and Analysis. Vol 11781. Springer Nature; 2019:462-478. doi:10.1007/978-3-030-31784-3_27
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Thesis | IST-REx-ID: 6894 |

Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 7210 |

Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Population structure determines the tradeoff between fixation probability and fixation time. Communications Biology. 2019;2. doi:10.1038/s42003-019-0373-y
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6455 |

Telley L, Agirman G, Prados J, et al. Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex. Science. 2019;364(6440). doi:10.1126/science.aav2522
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7197 |

Dos Santos Caldas PR, Lopez Pelegrin MD, Pearce DJG, Budanur NB, Brugués J, Loose M. Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA. Nature Communications. 2019;10. doi:10.1038/s41467-019-13702-4
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6089 |

Fraisse C, Puixeu Sala G, Vicoso B. Pleiotropy modulates the efficacy of selection in drosophila melanogaster. Molecular biology and evolution. 2019;36(3):500-515. doi:10.1093/molbev/msy246
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6856 |

Pickup M, Barton NH, Brandvain Y, et al. Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow. New Phytologist. 2019;224(3):1035-1047. doi:10.1111/nph.16180
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6831 |

Puixeu Sala G, Pickup M, Field D, Barrett SCH. Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics. New Phytologist. 2019;224(3):1108-1120. doi:10.1111/nph.16050
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Research Data Reference | IST-REx-ID: 9803 |

Puixeu Sala G, Pickup M, Field D, Barrett SCH. Data from: Variation in sexual dimorphism in a wind-pollinated plant: the influence of geographical context and life-cycle dynamics. 2019. doi:10.5061/dryad.n1701c9
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 6637 |

Trubenova B, Krejca M, Lehre PK, Kötzing T. Surfing on the seascape: Adaptation in a changing environment. Evolution. 2019;73(7):1356-1374. doi:10.1111/evo.13784
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 80 |

Deuchert A, Seiringer R, Yngvason J. Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. 2019;368(2):723-776. doi:10.1007/s00220-018-3239-0
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 10878 |

Flandoli F, Priola E, Zanco GA. A mean-field model with discontinuous coefficients for neurons with spatial interaction. Discrete and Continuous Dynamical Systems. 2019;39(6):3037-3067. doi:10.3934/dcds.2019126
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 73 |

Erbar M, Maas J, Wirth M. On the geometry of geodesics in discrete optimal transport. Calculus of Variations and Partial Differential Equations. 2019;58(1). doi:10.1007/s00526-018-1456-1
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv