Soumya Paul

Cited by

	All	Since 2018
Citations	504	344
h-index	13	12
i10-index	17	12

2010201120122013201420152016201720182019202020212022202312 8 8 12 24 20 33 35 41 46 75 68 52 62

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nicholas AsherCNRS Research Director (DRCE), Scienific Director ANITI, IRIT (CNRS-UT3)Verified 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
Farah Benamara ZitouneIRIT-Insitut de Recherche en Informatique de Toulouse, TMBI (Univ. Toulouse)Verified 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 crl.toshiba.co.uk
Verena RieserGoogle DeepMindVerified email at deepmind.com
Oliver LemonProfessor of Artificial Intelligence, Heriot-Watt University, Edinburgh, Director of Interaction LabVerified 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

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	77	2015
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	36*	2012
On the efficiency of automated testing M Böhme, S Paul Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014	32	2014
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	28	2019
Message Exchange Games in Strategic Contexts N Asher, S Paul, A Venant Journal of Philosophical Logic 46 (4), 355-404, 2017	28	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	25	2012
Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games N Asher, S Paul Journal of Logic, Language and Information 27 (4), 343-385, 2018	24	2018
Controlling large Boolean networks with single-step perturbations A Baudin, S Paul, C Su, J Pang Bioinformatics 35 (14), i558-i567, 2019	20	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	19	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
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	16	2019
Towards Optimal Decomposition of Boolean Networks C Su, J Pang, S Paul IEEE/ACM transactions on computational biology and bioinformatics, 2019	13	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	13	2015
Evaluating conversational success: weighted message exchange games N Asher, S Paul SEMDIAL 2016 JerSem, 55, 2016	12	2016
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	9	2012
Imitation in large games S Paul, R Ramanujam arXiv preprint arXiv:1006.2992, 2010	9	2010
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	8	2009

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