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
532015
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
282012
On the efficiency of automated testing
M Böhme, S Paul
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
242014
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
222018
Message Exchange Games in Strategic Contexts
N Asher, S Paul, A Venant
Journal of Philosophical Logic 46 (4), 355-404, 2017
222017
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
202012
Nash equilibrium in generalised Muller games
S Paul, S Simon
IARCS Annual Conference on Foundations of Software Technology and …, 2009
202009
Stability under strategy switching
S Paul, R Ramanujam, S Simon
Conference on Computability in Europe, 389-398, 2009
172009
Controlling large Boolean networks with temporary and permanent perturbations
C Su, S Paul, J Pang
International Symposium on Formal Methods, 707-724, 2019
132019
Evaluating conversational success: weighted message exchange games
N Asher, S Paul
SEMDIAL 2016 JerSem, 55, 2016
122016
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
122015
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
112019
Winning strategies in politeness
E McCready, N Asher, S Paul
JSAI International Symposium on Artificial Intelligence, 87-95, 2012
112012
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
102019
Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games
N Asher, S Paul
Journal of Logic, Language and Information 27 (4), 343-385, 2018
102018
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
92012
Imitation in large games
S Paul, R Ramanujam
arXiv preprint arXiv:1006.2992, 2010
82010
Infinite games with uncertain moves
N Asher, S Paul
arXiv preprint arXiv:1303.0788, 2013
72013
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
72009
Controlling large Boolean networks with single-step perturbations
A Baudin, S Paul, C Su, J Pang
Bioinformatics 35 (14), i558-i567, 2019
62019
The system can't perform the operation now. Try again later.
Articles 1–20