Stability under Strategy Switching. - Soumya Paul; Ramaswamy Ramanujam; Sunil Easaw Simon (CiE, 2009)

Nash Equilibrium in Generalised Muller Games. - Soumya Paul; Sunil Easaw Simon (FSTTCS, 2009)

Dynamic restriction of choices: a preliminary logical report. - Soumya Paul; Ramaswamy Ramanujam; Sunil Easaw Simon (TARK, 2009)

Imitation in Large Games - Soumya Paul; Ramaswamy Ramanujam (GANDALF, 2010)

Dynamic Restriction of Choices: Synthesis of Societal Rules. - Soumya Paul; Ramaswamy Ramanujam (LORI, 2011)

Neighbourhood structure in large games. - Soumya Paul; Ramaswamy Ramanujam (TARK, 2011)

Winning Strategies in Politeness. - Eric McCready; Nicholas Asher; Soumya Paul (JSAI-isAI Workshops, 2012)

Infinite games with uncertain moves - Nicholas Asher; Soumya Paul (SR, 2013)

Dynamics of Choice restriction in Large Games. - Soumya Paul; Ramaswamy Ramanujam (IGTR, 2013)

On the efficiency of automated testing. - Marcel Böhme; Soumya Paul (SIGSOFT FSE, 2014)

Subgames within Large Games and the Heuristic of Imitation. - Soumya Paul; Ramaswamy Ramanujam (Stud Logica, 2014)

Approximate Probabilistic Verification of Hybrid Systems. - Benjamin M. Gyori; Bing Liu 013; Soumya Paul; R. Ramanathan 002; P. S. Thiagarajan (HSB, 2015)

Über die Effizienz des Automatischen Testens. - Marcel Böhme; Soumya Paul (Software Engineering & Management, 2015)

Automata and Compositional Strategies in Extensive Form Games. - Soumya Paul; Ramaswamy Ramanujam; Sunil Simon (Models of Strategic Reasoning, 2015)

Language Games. - Nicholas Asher; Soumya Paul (LACL, 2016)

A Probabilistic Analysis of the Efficiency of Automated Software Testing. - Marcel Böhme; Soumya Paul (IEEE Trans. Software Eng., 2016)

Conversation and Games. - Nicholas Asher; Soumya Paul (ICLA, 2017)

Message Exchange Games in Strategic Contexts. - Nicholas Asher; Soumya Paul; Antoine Venant (J. Philos. Log., 2017)

A logic of sights. - Cédric Dégremont; Soumya Paul; Nicholas Asher (J. Log. Comput., 2017)

A Decomposition-based Approach towards the Control of Boolean Networks. - Soumya Paul; Cui Su; Jun Pang 001; Andrzej Mizera (BCB, 2018)

On the Full Control of Boolean Networks. - Soumya Paul; Jun Pang 001; Cui Su (CMSB, 2018)

Towards the Existential Control of Boolean Networks: A Preliminary Report. - Soumya Paul; Jun Pang 001; Cui Su (SETTA, 2018)

A Decomposition-based Approach towards the Control of Boolean Networks (Technical Report). - Soumya Paul; Cui Su; Jun Pang 001; Andrzej Mizera (CoRR, 2018)

Towards the Existential Control of Boolean Networks: A Preliminary Report (Extended Abstract). - Soumya Paul; Jun Pang 001; Cui Su (CoRR, 2018)

Bias in Semantic and Discourse Interpretation. - Nicholas Asher; Soumya Paul (CoRR, 2018)

Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games. - Nicholas Asher; Soumya Paul (J. Log. Lang. Inf., 2018)

Correction to: Message Exchange Games in Strategic Contexts. - Nicholas Asher; Soumya Paul; Antoine Venant (J. Philos. Log., 2018)

Scalable Control of Asynchronous Boolean Networks. - Cui Su; Soumya Paul; Jun Pang 001 (CMSB, 2019)

Controlling Large Boolean Networks with Temporary and Permanent Perturbations. - Cui Su; Soumya Paul; Jun Pang 001 (FM, 2019)

Controlling large Boolean networks with single-step perturbations. - Alexis Baudin; Soumya Paul; Cui Su; Jun Pang 001 (Bioinform., 2019)

DNA Encoding and Channel Shuffling for Secured Encryption of Audio Data. - Prabir Kumar Naskar; Soumya Paul; Dipta Nandy; Atal Chaudhuri (Multim. Tools Appl., 2019)

Algorithms for the Sequential Reprogramming of Boolean Networks. - Hugues Mandon; Cui Su; Jun Pang 001; Soumya Paul; Stefan Haar; Loïc Paulevé (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Adequate and fair explanations. - Nicholas Asher; Soumya Paul; Chris Russell 001 (CoRR, 2020)

An Efficient Approach Towards the Source-Target Control of Boolean Networks. - Soumya Paul; Cui Su; Jun Pang 001; Andrzej Mizera (IEEE ACM Trans. Comput. Biol. Bioinform., 2020)

Fair and Adequate Explanations. - Nicholas Asher; Soumya Paul; Chris Russell 001 (CD-MAKE, 2021)

Towards Optimal Decomposition of Boolean Networks. - Cui Su; Jun Pang 001; Soumya Paul (IEEE ACM Trans. Comput. Biol. Bioinform., 2021)

Counterfactual Models for Fair and Adequate Explanations. - Nicholas Asher; Lucas de Lara; Soumya Paul; Chris Russell 001 (Mach. Learn. Knowl. Extr., 2022)

Limits for learning with language models. - Nicholas Asher; Swarnadeep Bhar; Akshay Chaturvedi; Julie Hunter; Soumya Paul (*SEM@ACL, 2023)