Soumya Paul

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