Follow
Soumya Paul
Title
Cited by
Cited by
Year
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
642015
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
31*2012
On the efficiency of automated testing
M Böhme, S Paul
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
302014
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
262018
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
222012
Controlling large Boolean networks with temporary and permanent perturbations
C Su, S Paul, J Pang
International Symposium on Formal Methods, 707-724, 2019
212019
Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games
N Asher, S Paul
Journal of Logic, Language and Information 27 (4), 343-385, 2018
212018
Message Exchange Games in Strategic Contexts
N Asher, S Paul, A Venant
Journal of Philosophical Logic 46 (4), 355-404, 2017
212017
Stability under strategy switching
S Paul, R Ramanujam, S Simon
Conference on Computability in Europe, 389-398, 2009
182009
Nash equilibrium in generalised Muller games
S Paul, S Simon
IARCS Annual Conference on Foundations of Software Technology and …, 2009
182009
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
152019
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
152019
Controlling large Boolean networks with single-step perturbations
A Baudin, S Paul, C Su, J Pang
Bioinformatics 35 (14), i558-i567, 2019
132019
Evaluating conversational success: weighted message exchange games
N Asher, S Paul
SEMDIAL 2016 JerSem, 55, 2016
112016
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
112015
Winning strategies in politeness
E McCready, N Asher, S Paul
JSAI International Symposium on Artificial Intelligence, 87-95, 2012
112012
Towards Optimal Decomposition of Boolean Networks
C Su, J Pang, S Paul
IEEE/ACM transactions on computational biology and bioinformatics, 2019
92019
Imitation in large games
S Paul, R Ramanujam
arXiv preprint arXiv:1006.2992, 2010
92010
Dynamic restriction of choices: A preliminary logical report
S Paul, R Ramanujam, S Simon
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
82009
Infinite games with uncertain moves
N Asher, S Paul
arXiv preprint arXiv:1303.0788, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20