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.
10763 Publications
2019 | Published | Journal Article | IST-REx-ID: 7026 | 
Emergent gene expression responses to drug combinations predict higher-order drug interactions
M. Lukacisin, M.T. Bollenbach, Cell Systems 9 (2019) 423-433.e1-e3.
[Published Version]
View
| Files available
| DOI
| WoS
M. Lukacisin, M.T. Bollenbach, Cell Systems 9 (2019) 423-433.e1-e3.
2019 | Published | Journal Article | IST-REx-ID: 6046 |
Temporal order and precision of complex stress responses in individual bacteria
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
2019 | Published | Book Chapter | IST-REx-ID: 7453 |
Continuous-time models for system design and analysis
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
2019 | Published | Conference Paper | IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View
| DOI
| WoS
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
2019 | Published | Conference Paper | IST-REx-ID: 6822 |
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
[Submitted Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
2019 | Published | Conference Paper | IST-REx-ID: 6942 |
Strategy representation by decision trees with linear classifiers
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
2019 | Published | Conference Paper | IST-REx-ID: 6462 |
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
[Published Version]
View
| Files available
| DOI
| WoS
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
2019 | Published | Conference Paper | IST-REx-ID: 6493 |
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2019 | Published | Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
View
| DOI
| WoS
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
2019 | Published | Journal Article | IST-REx-ID: 7109
From real-time logic to timed automata
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
View
| DOI
| WoS
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
2019 | Published | Conference Paper | IST-REx-ID: 6042 |
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
[Published Version]
View
| Files available
| DOI
| WoS
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
2019 | Published | Conference Paper | IST-REx-ID: 7231 |
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.
2019 | Published | Conference Paper | IST-REx-ID: 7183 |
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
2019 | Published | Thesis | IST-REx-ID: 6894 |
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
2019 | Published | Journal Article | IST-REx-ID: 7210 |
Population structure determines the tradeoff between fixation probability and fixation time
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Communications Biology 2 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Communications Biology 2 (2019).
2019 | Published | Journal Article | IST-REx-ID: 6455 |
Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex
L. Telley, G. Agirman, J. Prados, N. Amberg, S. Fièvre, P. Oberst, G. Bartolini, I. Vitali, C. Cadilhac, S. Hippenmeyer, L. Nguyen, A. Dayer, D. Jabaudon, Science 364 (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
L. Telley, G. Agirman, J. Prados, N. Amberg, S. Fièvre, P. Oberst, G. Bartolini, I. Vitali, C. Cadilhac, S. Hippenmeyer, L. Nguyen, A. Dayer, D. Jabaudon, Science 364 (2019).
2019 | Published | Journal Article | IST-REx-ID: 7197 |
Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA
P.R. Dos Santos Caldas, M.D. Lopez Pelegrin, D.J.G. Pearce, N.B. Budanur, J. Brugués, M. Loose, Nature Communications 10 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
P.R. Dos Santos Caldas, M.D. Lopez Pelegrin, D.J.G. Pearce, N.B. Budanur, J. Brugués, M. Loose, Nature Communications 10 (2019).
2019 | Published | Journal Article | IST-REx-ID: 6089 |
Pleiotropy modulates the efficacy of selection in drosophila melanogaster
C. Fraisse, G. Puixeu Sala, B. Vicoso, Molecular Biology and Evolution 36 (2019) 500–515.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
C. Fraisse, G. Puixeu Sala, B. Vicoso, Molecular Biology and Evolution 36 (2019) 500–515.
2019 | Published | Journal Article | IST-REx-ID: 6856 |
Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow
M. Pickup, N.H. Barton, Y. Brandvain, C. Fraisse, S. Yakimowski, T. Dixit, C. Lexer, E. Cereghetti, D. Field, New Phytologist 224 (2019) 1035–1047.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Pickup, N.H. Barton, Y. Brandvain, C. Fraisse, S. Yakimowski, T. Dixit, C. Lexer, E. Cereghetti, D. Field, New Phytologist 224 (2019) 1035–1047.
2019 | Published | Journal Article | IST-REx-ID: 6831 |
Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, New Phytologist 224 (2019) 1108–1120.
[Published Version]
View
| Files available
| DOI
| WoS
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, New Phytologist 224 (2019) 1108–1120.