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.
5915 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6462 | 
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6493 |
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6042 |
M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7231 |
H. Kong, E. Bartocci, Y. Jiang, and T. A. Henzinger, “Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7183 |
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Thesis | IST-REx-ID: 6894 |
M. Giacobbe, “Automatic time-unbounded reachability analysis of hybrid systems,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 7210 |
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Population structure determines the tradeoff between fixation probability and fixation time,” Communications Biology, vol. 2. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6455 |
L. Telley et al., “Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex,” Science, vol. 364, no. 6440. AAAS, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7197 |
P. R. Dos Santos Caldas, M. D. Lopez Pelegrin, D. J. G. Pearce, N. B. Budanur, J. Brugués, and M. Loose, “Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA,” Nature Communications, vol. 10. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6089 |
C. Fraisse, G. Puixeu Sala, and B. Vicoso, “Pleiotropy modulates the efficacy of selection in drosophila melanogaster,” Molecular biology and evolution, vol. 36, no. 3. Oxford University Press, pp. 500–515, 2019.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6856 |
M. Pickup et al., “Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow,” New Phytologist, vol. 224, no. 3. Wiley, pp. 1035–1047, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6831 |
G. Puixeu Sala, M. Pickup, D. Field, and S. C. H. Barrett, “Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics,” New Phytologist, vol. 224, no. 3. Wiley, pp. 1108–1120, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Research Data Reference | IST-REx-ID: 9803 |
G. Puixeu Sala, M. Pickup, D. Field, and S. C. H. Barrett, “Data from: Variation in sexual dimorphism in a wind-pollinated plant: the influence of geographical context and life-cycle dynamics.” Dryad, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 6637 |
B. Trubenova, M. Krejca, P. K. Lehre, and T. Kötzing, “Surfing on the seascape: Adaptation in a changing environment,” Evolution, vol. 73, no. 7. Wiley, pp. 1356–1374, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 80 |
A. Deuchert, R. Seiringer, and J. Yngvason, “Bose–Einstein condensation in a dilute, trapped gas at positive temperature,” Communications in Mathematical Physics, vol. 368, no. 2. Springer, pp. 723–776, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 10878 |
F. Flandoli, E. Priola, and G. A. Zanco, “A mean-field model with discontinuous coefficients for neurons with spatial interaction,” Discrete and Continuous Dynamical Systems, vol. 39, no. 6. American Institute of Mathematical Sciences, pp. 3037–3067, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 73 |
M. Erbar, J. Maas, and M. Wirth, “On the geometry of geodesics in discrete optimal transport,” Calculus of Variations and Partial Differential Equations, vol. 58, no. 1. Springer, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6430 |
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, and K. Z. Pietrzak, “Adaptively secure proxy re-encryption,” presented at the PKC: Public-Key Cryptograhy, Beijing, China, 2019, vol. 11443, pp. 317–346.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)