Soumya Paul

Cited by

	All	Since 2019
Citations	540	336
h-index	14	12
i10-index	19	13

20102011201220132014201520162017201820192020202120222023202412 8 8 12 24 21 37 36 38 48 59 67 61 72 28

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nicholas AsherCNRS Research Director (DRCE), member ANITIVerified email at irit.fr
Jun PangUniversity of LuxembourgVerified email at uni.lu
Cui SuUniversity of LuxembourgVerified email at uni.lu
R. RamanujamInstitute of Mathematical SciencesVerified email at imsc.res.in
Marcel BöhmeMax Planck Institute for Security & PrivacyVerified email at mpi-sp.org
Philippe MullerUT3 Lecturer (Computer Science), IRIT, ANITI member, TMBI, Univ. ToulouseVerified email at irit.fr
Laure VieuCNRS Research Director (DR2), IRIT (CNRS-UT3), LOA (ISTC, CNR)Verified email at irit.fr
Stergos AfantenosAssociate Professor, IRIT, University of Toulouse,FranceVerified email at irit.fr
Pascal DenisResearch Scientist INRIAVerified email at inria.fr
Simon KeizerNLP Research ScientistVerified email at toshiba.eu
Verena RieserGoogle DeepMindVerified email at deepmind.com
Oliver LemonProfessor; Academic Lead National Robotarium; Director of Interaction Lab, EdinburghVerified email at hw.ac.uk
Alex LascaridesProfessor of Semantics, University of EdinburghVerified email at inf.ed.ac.uk
Andrzej MizeraPost-doc, University of LuxembourgVerified email at uni.lu
Bing LiuResearch Assistant Professor, University of PittsburghVerified email at pitt.edu
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolVerified email at hms.harvard.edu
Benjamin M. Gyori, Ph.D.Associate Professor, Northeastern UniversityVerified email at northeastern.edu
Elin McCreadyAoyama Gakuin UniversityVerified email at cl.aoyama.ac.jp
Farah Benamara ZitouneIRIT-Toulouse University and IPAL Singapore

Soumya Paul

Research Associate, Université du Luxembourg

Verified email at uni.lu

Game Theory and its application to Linguistics and AI Automata Theory and Logic Systems Biology


Title Sort by citations Sort by year Sort by 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	81	2015
On the efficiency of automated testing M Böhme, S Paul Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014	38	2014
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
Message Exchange Games in Strategic Contexts N Asher, S Paul, A Venant Journal of Philosophical Logic 46 (4), 355-404, 2017	32	2017
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	31	2012
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
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
Controlling large Boolean networks with single-step perturbations A Baudin, S Paul, C Su, J Pang Bioinformatics 35 (14), i558-i567, 2019	21	2019
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
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	18	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
Towards Optimal Decomposition of Boolean Networks C Su, J Pang, S Paul IEEE/ACM transactions on computational biology and bioinformatics, 2019	15	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
Bias in Semantic and Discourse Interpretation N Asher, S Paul arXiv preprint arXiv:1806.11322, 2018	11	2018
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
Imitation in large games S Paul, R Ramanujam arXiv preprint arXiv:1006.2992, 2010	9	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors