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 | OA
Lukacisin, Martin, and Mark Tobias Bollenbach. “Emergent Gene Expression Responses to Drug Combinations Predict Higher-Order Drug Interactions.” Cell Systems, vol. 9, no. 5, Cell Press, 2019, pp. 423-433.e1-e3, doi:10.1016/j.cels.2019.10.004.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6046 | OA
Mitosch, Karin, et al. “Temporal Order and Precision of Complex Stress Responses in Individual Bacteria.” Molecular Systems Biology, vol. 15, no. 2, e8470, Embo Press, 2019, doi:10.15252/msb.20188470.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Book Chapter | IST-REx-ID: 7453 | OA
Alur, Rajeev, et al. “Continuous-Time Models for System Design and Analysis.” Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, vol. 10000, Springer Nature, 2019, pp. 452–77, doi:10.1007/978-3-319-91908-9_22.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Published | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” 19th International Conference on Runtime Verification, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17.
View | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6822 | OA
Avni, Guy, et al. “Bidding Games on Markov Decision Processes.” Proceedings of the 13th International Conference of Reachability Problems, vol. 11674, Springer, 2019, pp. 1–12, doi:10.1007/978-3-030-30806-3_1.
[Submitted Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6942 | OA
Ashok, Pranav, et al. “Strategy Representation by Decision Trees with Linear Classifiers.” 16th International Conference on Quantitative Evaluation of Systems, vol. 11785, Springer Nature, 2019, pp. 109–28, 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 | OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 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, Thomas, et al. “Mixed-Time Signal Temporal Logic.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.
View | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7109
Ferrere, Thomas, et al. “From Real-Time Logic to Timed Automata.” Journal of the ACM, vol. 66, no. 3, 19, ACM, 2019, doi:10.1145/3286976.
View | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6042 | OA
Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 7231 | OA
Kong, Hui, et al. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 123–41, 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 | OA
Brázdil, Tomás, et al. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” International Symposium on Automated Technology for Verification and Analysis, vol. 11781, Springer Nature, 2019, pp. 462–78, doi:10.1007/978-3-030-31784-3_27.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Thesis | IST-REx-ID: 6894 | OA
Giacobbe, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6894.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 7210 | OA
Tkadlec, Josef, et al. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology, vol. 2, 138, Springer Nature, 2019, 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 | OA
Telley, L., et al. “Temporal Patterning of Apical Progenitors and Their Daughter Neurons in the Developing Neocortex.” Science, vol. 364, no. 6440, eaav2522, AAAS, 2019, 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 | OA
Dos Santos Caldas, Paulo R., et al. “Cooperative Ordering of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinker ZapA.” Nature Communications, vol. 10, 5744, Springer Nature, 2019, doi:10.1038/s41467-019-13702-4.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6089 | OA
Fraisse, Christelle, et al. “Pleiotropy Modulates the Efficacy of Selection in Drosophila Melanogaster.” Molecular Biology and Evolution, vol. 36, no. 3, Oxford University Press, 2019, pp. 500–15, 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 | OA
Pickup, Melinda, et al. “Mating System Variation in Hybrid Zones: Facilitation, Barriers and Asymmetries to Gene Flow.” New Phytologist, vol. 224, no. 3, Wiley, 2019, pp. 1035–47, doi:10.1111/nph.16180.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6831 | OA
Puixeu Sala, Gemma, et al. “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, 2019, pp. 1108–20, doi:10.1111/nph.16050.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed