Articles with public access mandates - Soumya PaulLearn more
Available somewhere: 14
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
Mandates: European Commission
On the efficiency of automated testing
M Böhme, S Paul
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
Mandates: European Commission
Message Exchange Games in Strategic Contexts
N Asher, S Paul, A Venant
Journal of Philosophical Logic 46 (4), 355-404, 2017
Mandates: European Commission
Controlling large Boolean networks with temporary and permanent perturbations
C Su, S Paul, J Pang
International Symposium on Formal Methods, 707-724, 2019
Mandates: Agence Nationale de la Recherche
Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games
N Asher, S Paul
Journal of Logic, Language and Information 27 (4), 343-385, 2018
Mandates: European Commission
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
Mandates: Agence Nationale de la Recherche
Controlling large Boolean networks with single-step perturbations
A Baudin, S Paul, C Su, J Pang
Bioinformatics 35 (14), i558-i567, 2019
Mandates: Luxembourg National Research Fund, Agence Nationale de la Recherche
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
Mandates: Agence Nationale de la Recherche
Towards Optimal Decomposition of Boolean Networks
C Su, J Pang, S Paul
IEEE/ACM transactions on computational biology and bioinformatics, 2019
Mandates: Agence Nationale de la Recherche
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
Mandates: European Commission
Evaluating conversational success: weighted message exchange games
N Asher, S Paul
SEMDIAL 2016 JerSem, 55, 2016
Mandates: European Commission
A logic of sights
C Dégremont, S Paul, N Asher
Journal of Logic and Computation 27 (4), 1225-1305, 2016
Mandates: European Commission
Language Games
N Asher, S Paul
International Conference on Logical Aspects of Computational Linguistics, 1-17, 2016
Mandates: European Commission
Games in linguistics
N Asher, J Hunter, S Paul
Proceedings of Sinn und Bedeutung 21 (1), 53-72, 2018
Mandates: European Commission
Publication and funding information is determined automatically by a computer program