A probabilistic analysis of the efficiency of automated software testing M Böhme, S Paul IEEE Transactions on Software Engineering 42 (4), 345-360, 2015 | 79 | 2015 |
Developing a corpus of strategic conversation in the settlers of catan S Afantenos, N Asher, F Benamara, A Cadilhac, C Dégremont, P Denis, ... SeineDial 2012-The 16th Workshop On The Semantics and Pragmatics Of Dialogue, 2012 | 38 | 2012 |
On the efficiency of automated testing M Böhme, S Paul Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 37 | 2014 |
Message Exchange Games in Strategic Contexts N Asher, S Paul, A Venant Journal of Philosophical Logic 46 (4), 355-404, 2017 | 31 | 2017 |
A decomposition-based approach towards the control of Boolean networks S Paul, C Su, J Pang, A Mizera Proceedings of the 2018 ACM International Conference on Bioinformatics …, 2018 | 30 | 2018 |
Modelling strategic conversation: model, annotation design and corpus S Afantenos, N Asher, F Benamara, A Cadilhac, C Dégremont, P Denis, ... Proceedings of the 16th Workshop on the Semantics and Pragmatics of Dialogue …, 2012 | 29 | 2012 |
Controlling large Boolean networks with temporary and permanent perturbations C Su, S Paul, J Pang International Symposium on Formal Methods, 707-724, 2019 | 27 | 2019 |
Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games N Asher, S Paul Journal of Logic, Language and Information 27 (4), 343-385, 2018 | 25 | 2018 |
Algorithms for the Sequential Reprogramming of Boolean Networks H Mandon, C Su, J Pang, S Paul, S Haar, L Paulevé IEEE/ACM transactions on computational biology and bioinformatics, 2019 | 21 | 2019 |
Controlling large Boolean networks with single-step perturbations A Baudin, S Paul, C Su, J Pang Bioinformatics 35 (14), i558-i567, 2019 | 19 | 2019 |
Stability under strategy switching S Paul, R Ramanujam, S Simon Conference on Computability in Europe, 389-398, 2009 | 17 | 2009 |
Nash equilibrium in generalised Muller games S Paul, S Simon IARCS Annual Conference on Foundations of Software Technology and …, 2009 | 17 | 2009 |
An efficient approach towards the source-target control of Boolean networks S Paul, C Su, J Pang, A Mizera IEEE/ACM transactions on computational biology and bioinformatics, 2019 | 16 | 2019 |
Towards Optimal Decomposition of Boolean Networks C Su, J Pang, S Paul IEEE/ACM transactions on computational biology and bioinformatics, 2019 | 14 | 2019 |
Approximate probabilistic verification of hybrid systems BM Gyori, B Liu, S Paul, R Ramanathan, PS Thiagarajan International Workshop on Hybrid Systems Biology, 96-116, 2015 | 14 | 2015 |
Evaluating conversational success: weighted message exchange games N Asher, S Paul SEMDIAL 2016 JerSem, 55, 2016 | 12 | 2016 |
Winning strategies in politeness E McCready, N Asher, S Paul JSAI International Symposium on Artificial Intelligence, 87-95, 2012 | 11 | 2012 |
Modelling strategic conversation: The STAC project N Asher, A Lascarides, O Lemon, M Guhe, V Rieser, P Muller, ... Workshop on the Semantics and Pragmatics of Dialogue. pp 145, 146, 2012 | 10 | 2012 |
Bias in Semantic and Discourse Interpretation N Asher, S Paul arXiv preprint arXiv:1806.11322, 2018 | 9 | 2018 |
Imitation in large games S Paul, R Ramanujam arXiv preprint arXiv:1006.2992, 2010 | 9 | 2010 |