Soumya Paul

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 27

Top Topics

Nash Equilibrium

Message Exchange

Boolean Networks

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

J. Philos. Log.

Publications

Nicholas Asher, Swarnadeep Bhar, Akshay Chaturvedi, Julie Hunter, Soumya Paul
Limits for learning with language models. *SEM@ACL (2023)
Nicholas Asher, Swarnadeep Bhar, Akshay Chaturvedi, Julie Hunter, Soumya Paul
Limits for Learning with Language Models. CoRR (2023)
Nicholas Asher, Lucas de Lara, Soumya Paul, Chris Russell
Counterfactual Models for Fair and Adequate Explanations. Mach. Learn. Knowl. Extr. 4 (2) (2022)
Cui Su, Jun Pang, Soumya Paul
Towards Optimal Decomposition of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (6) (2021)
Nicholas Asher, Soumya Paul, Chris Russell
Fair and Adequate Explanations. CD-MAKE (2021)
Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera
An Efficient Approach Towards the Source-Target Control of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 17 (6) (2020)
Nicholas Asher, Soumya Paul, Chris Russell
Adequate and fair explanations. CoRR (2020)
Cui Su, Soumya Paul, Jun Pang
Controlling Large Boolean Networks with Temporary and Permanent Perturbations. FM (2019)
Alexis Baudin, Soumya Paul, Cui Su, Jun Pang
Controlling large Boolean networks with single-step perturbations. Bioinform. 35 (14) (2019)
Cui Su, Soumya Paul, Jun Pang
Scalable Control of Asynchronous Boolean Networks. CMSB (2019)
Prabir Kumar Naskar, Soumya Paul, Dipta Nandy, Atal Chaudhuri
DNA Encoding and Channel Shuffling for Secured Encryption of Audio Data. Multim. Tools Appl. 78 (17) (2019)
Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé
Algorithms for the Sequential Reprogramming of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Nicholas Asher, Soumya Paul, Antoine Venant
Correction to: Message Exchange Games in Strategic Contexts. J. Philos. Log. 47 (6) (2018)
Nicholas Asher, Soumya Paul
Bias in Semantic and Discourse Interpretation. CoRR (2018)
Nicholas Asher, Soumya Paul
Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games. J. Log. Lang. Inf. 27 (4) (2018)
Soumya Paul, Jun Pang, Cui Su
Towards the Existential Control of Boolean Networks: A Preliminary Report (Extended Abstract). CoRR (2018)
Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera
A Decomposition-based Approach towards the Control of Boolean Networks (Technical Report). CoRR (2018)
Soumya Paul, Jun Pang, Cui Su
Towards the Existential Control of Boolean Networks: A Preliminary Report. SETTA (2018)
Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera
A Decomposition-based Approach towards the Control of Boolean Networks. BCB (2018)
Soumya Paul, Jun Pang, Cui Su
On the Full Control of Boolean Networks. CMSB (2018)
Cédric Dégremont, Soumya Paul, Nicholas Asher
A logic of sights. J. Log. Comput. 27 (4) (2017)
Nicholas Asher, Soumya Paul
Conversation and Games. ICLA (2017)
Nicholas Asher, Soumya Paul, Antoine Venant
Message Exchange Games in Strategic Contexts. J. Philos. Log. 46 (4) (2017)
Nicholas Asher, Soumya Paul
Language Games. LACL (2016)
Marcel Böhme, Soumya Paul
A Probabilistic Analysis of the Efficiency of Automated Software Testing. IEEE Trans. Software Eng. 42 (4) (2016)
Marcel Böhme, Soumya Paul
Über die Effizienz des Automatischen Testens. Software Engineering & Management (2015)
Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
Approximate Probabilistic Verification of Hybrid Systems. HSB (2015)
Marcel Böhme, Soumya Paul
On the efficiency of automated testing. SIGSOFT FSE (2014)
Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
Approximate probabilistic verification of hybrid systems. CoRR (2014)
Soumya Paul, Ramaswamy Ramanujam
Subgames within Large Games and the Heuristic of Imitation. Stud Logica 102 (2) (2014)
Nicholas Asher, Soumya Paul
Infinite games with uncertain moves SR (2013)
Soumya Paul, Ramaswamy Ramanujam
Dynamics of Choice restriction in Large Games. IGTR 15 (4) (2013)
Eric McCready, Nicholas Asher, Soumya Paul
Winning Strategies in Politeness. JSAI-isAI Workshops (2012)
Soumya Paul, Ramaswamy Ramanujam
Neighbourhood structure in large games. TARK (2011)
Soumya Paul, Ramaswamy Ramanujam
Dynamic Restriction of Choices: Synthesis of Societal Rules. LORI (2011)
Soumya Paul, Ramaswamy Ramanujam
Imitation in Large Games GANDALF (2010)
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon
Stability under Strategy Switching. CiE (2009)
Soumya Paul, Sunil Easaw Simon
Nash Equilibrium in Generalised Muller Games. FSTTCS (2009)
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon
Dynamic restriction of choices: a preliminary logical report. TARK (2009)