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
822015
On the efficiency of automated testing
M Böhme, S Paul
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
382014
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
382012
Message Exchange Games in Strategic Contexts
N Asher, S Paul, A Venant
Journal of Philosophical Logic 46 (4), 355-404, 2017
322017
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
322012
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
302018
Controlling large Boolean networks with temporary and permanent perturbations
C Su, S Paul, J Pang
International Symposium on Formal Methods, 707-724, 2019
292019
Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games
N Asher, S Paul
Journal of Logic, Language and Information 27 (4), 343-385, 2018
252018
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
232019
Controlling large Boolean networks with single-step perturbations
A Baudin, S Paul, C Su, J Pang
Bioinformatics 35 (14), i558-i567, 2019
222019
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
202019
Stability under strategy switching
S Paul, R Ramanujam, S Simon
Conference on Computability in Europe, 389-398, 2009
172009
Nash equilibrium in generalised Muller games
S Paul, S Simon
IARCS Annual Conference on Foundations of Software Technology and …, 2009
172009
Towards Optimal Decomposition of Boolean Networks
C Su, J Pang, S Paul
IEEE/ACM transactions on computational biology and bioinformatics, 2019
162019
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
152015
Evaluating conversational success: weighted message exchange games
N Asher, S Paul
SEMDIAL 2016 JerSem, 55, 2016
122016
Bias in Semantic and Discourse Interpretation
N Asher, S Paul
arXiv preprint arXiv:1806.11322, 2018
112018
Winning strategies in politeness
E McCready, N Asher, S Paul
JSAI International Symposium on Artificial Intelligence, 87-95, 2012
112012
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
102012
Imitation in large games
S Paul, R Ramanujam
arXiv preprint arXiv:1006.2992, 2010
92010
The system can't perform the operation now. Try again later.
Articles 1–20