Please note that IST 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.
2019 | Conference Paper | IST-REx-ID: 6985
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.View | DOI | Download (ext.) | arXiv
2019 | 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, 2019.View | Files available | DOI
2019 | Journal Article | IST-REx-ID: 7200
P. Brighi, M. Grilli, B. Leridon, and S. Caprara, “Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films,” Physical Review B, vol. 100, no. 17, 2019.View | DOI | Download (ext.) | arXiv
2019 | Conference Paper | IST-REx-ID: 6822
G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.View | Files available | DOI
2019 | Conference Paper | IST-REx-ID: 6942
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, and V. Toman, “Strategy representation by decision trees with linear classifiers,” in 16th International Conference on Quantitative Evaluation of Systems, Glasgow, United Kingdom, 2019, vol. 11785, pp. 109–128.View | DOI | Download (ext.) | arXiv
2019 | 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.View | DOI | Download (ext.) | arXiv
2019 | Conference Paper | IST-REx-ID: 6175
P. Wang, H. Fu, A. K. Goharshady, K. Chatterjee, X. Qin, and W. Shi, “Cost analysis of nondeterministic probabilistic programs,” in PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, United States, 2019, pp. 204–220.View | Files available | DOI | arXiv