Soumya Paul

According to our database, Soumya Paul authored at least 38 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Limits for learning with language models.

Nicholas Asher, Swarnadeep Bhar, Akshay Chaturvedi, Julie Hunter, Soumya Paul

Proceedings of the The 12th Joint Conference on Lexical and Computational Semantics, 2023

2022

Counterfactual Models for Fair and Adequate Explanations.

Nicholas Asher, Lucas de Lara, Soumya Paul, Chris Russell

Mach. Learn. Knowl. Extr., 2022

2021

Towards Optimal Decomposition of Boolean Networks.

Cui Su, Jun Pang, Soumya Paul

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Fair and Adequate Explanations.

Nicholas Asher, Soumya Paul, Chris Russell

Proceedings of the Machine Learning and Knowledge Extraction, 2021

2020

An Efficient Approach Towards the Source-Target Control of Boolean Networks.

Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

Adequate and fair explanations.

Nicholas Asher, Soumya Paul, Chris Russell

CoRR, 2020

2019

Algorithms for the Sequential Reprogramming of Boolean Networks.

Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé

IEEE ACM Trans. Comput. Biol. 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

Controlling large Boolean networks with single-step perturbations.

Alexis Baudin, Soumya Paul, Cui Su, Jun Pang

Bioinform., 2019

Controlling Large Boolean Networks with Temporary and Permanent Perturbations.

Cui Su, Soumya Paul, Jun Pang

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Scalable Control of Asynchronous Boolean Networks.

Cui Su, Soumya Paul, Jun Pang

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Correction to: Message Exchange Games in Strategic Contexts.

Nicholas Asher, Soumya Paul, Antoine Venant

J. Philos. Log., 2018

Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games.

Nicholas Asher, Soumya Paul

J. Log. Lang. Inf., 2018

Bias in Semantic and Discourse Interpretation.

Nicholas Asher, Soumya Paul

CoRR, 2018

Towards the Existential Control of Boolean Networks: A Preliminary Report (Extended Abstract).

Soumya Paul, Jun Pang, Cui Su

CoRR, 2018

A Decomposition-based Approach towards the Control of Boolean Networks (Technical Report).

Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera

CoRR, 2018

Towards the Existential Control of Boolean Networks: A Preliminary Report.

Soumya Paul, Jun Pang, Cui Su

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

On the Full Control of Boolean Networks.

Soumya Paul, Jun Pang, Cui Su

Proceedings of the Computational Methods in Systems Biology, 2018

A Decomposition-based Approach towards the Control of Boolean Networks.

Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera

Proceedings of the 2018 ACM International Conference on Bioinformatics, 2018

2017

A logic of sights.

Cédric Dégremont, Soumya Paul, Nicholas Asher

J. Log. Comput., 2017

Message Exchange Games in Strategic Contexts.

Nicholas Asher, Soumya Paul, Antoine Venant

J. Philos. Log., 2017

Conversation and Games.

Nicholas Asher, Soumya Paul

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2016

A Probabilistic Analysis of the Efficiency of Automated Software Testing.

Marcel Böhme, Soumya Paul

IEEE Trans. Software Eng., 2016

Language Games.

Nicholas Asher, Soumya Paul

Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

2015

Automata and Compositional Strategies in Extensive Form Games.

Soumya Paul, Ramaswamy Ramanujam, Sunil Simon

Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

Über die Effizienz des Automatischen Testens.

Marcel Böhme, Soumya Paul

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Approximate Probabilistic Verification of Hybrid Systems.

Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014

Subgames within Large Games and the Heuristic of Imitation.

Soumya Paul, Ramaswamy Ramanujam

Stud Logica, 2014

On the efficiency of automated testing.

Marcel Böhme, Soumya Paul

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Dynamics of Choice restriction in Large Games.

Soumya Paul, Ramaswamy Ramanujam

IGTR, 2013

Infinite games with uncertain moves

Nicholas Asher, Soumya Paul

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

2012

Winning Strategies in Politeness.

Eric McCready, Nicholas Asher, Soumya Paul

Proceedings of the New Frontiers in Artificial Intelligence, 2012

2011

Neighbourhood structure in large games.

Soumya Paul, Ramaswamy Ramanujam

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Dynamic Restriction of Choices: Synthesis of Societal Rules.

Soumya Paul, Ramaswamy Ramanujam

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

2010

Imitation in Large Games

Soumya Paul, Ramaswamy Ramanujam

Proceedings of the Proceedings First Symposium on Games, 2010

2009

Dynamic restriction of choices: a preliminary logical report.

Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Nash Equilibrium in Generalised Muller Games.

Soumya Paul, Sunil Easaw Simon

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

Stability under Strategy Switching.

Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon

Proceedings of the Mathematical Theory and Computational Practice, 2009