List of Publications

Paul Soumya

• Publications
• Teaching
• Contact
• SaToSS home

Summary

• Most of my publications (by year) are listed in the DBLP Computer Science Bibliography.
• My Google Scholar page.

International Journals

• An efficient approach towards the source-target control of Boolean networks.
  with Cui Su, Jun Pang, and Andrzej Mizera.
  IEEE/ACM Transactions on Computational Biology and Bioinformatics xx(x): xx-xx, 201X. (To appear)
• Algorithms for the sequential reprogramming of Boolean networks.
  with Hugues Mandon, Cui Su, Jun Pang, Stefan Haar, and Loïc Paulevé.
  IEEE/ACM Transactions on Computational Biology and Bioinformatics xx(x): xx-xx, 201X. (To appear)
• Controlling large Boolean networks with single-step perturbations.
  with Alexis Baudin, Cui Su, and Jun Pang.
  Bioinformatics xx(x): xx-xx, 201X. (To appear)
  (Special issue of 27th Conference on Intelligent Systems for Moblecular Biology and 18th European Conference on Computational Biology - ISMB/ECCB'19)
• Towards the optimal decomposition of Boolean networks.
  with Cui Su, and Jun Pang.
  IEEE/ACM Transactions on Computational Biology and Bioinformatics xx(x): xx-xx, 201X. (To appear)
  (Special issue of 17th Asia Pacific Bioinformatics Conference - APBC'19)
• Strategic conversations under imperfect information: Epistemic Message Exchange games.
  with Nicholas Asher.
  Journal of Logic Language and Information (JoLLI)27(4):343-385. ©Springer Science+Business Media B.V., part of Springer Nature, 2018.
• Message Exchange games in strategic contexts.
  with Nicholas Asher, and Antoine Venant.
  Journal of Philosophical Logic 46(4):355-404. ©Springer Science+Business Media Dordrecht, 2017.
• A logic of sights.
  with Nicholas Asher, and Cédric Dégremont.
  Journal of Logic and Computation 27(4):1225-1305, Oxford University Press, 2016.
• A probabilistic analysis of the efficiency of automated software testing.
  with Marcel Böhme.
  IEEE Transactions on Software Engineering (TSE) 42(4):345-360, 2016.
• Subsumes within large games and the heuristic of imitation.
  with R. Ramanujam.
  Studia Logica 102(2):361-388. ©Springer Science+Business Media Dordrecht, 2014.
• Dynamics of choice restriction in large games.
  with R. Ramanujam.
  International Game Theory Review 15(4). ©World Scientific Publishing Co., 2013.

International Conference and Workshop Proceedings

• A decomposition-based approach towards the control of Boolean networks.
  with Cui Su, Jun Pang, and Andrzej Mizera.
  In Proc. 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics - BCB'18, pp. 11-20. ©ACM Press, 2018.
• Towards the existential control of Boolean networks: a preliminary report.
  with Jun Pang, and Cui Su.
  In Proc. 4th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - SETTA'18, Lecture Notes in Computer Science 10998, pp. 142-149. ©Springer-Verlag, 2018.
• On the full control of Boolean networks.
  with Jun Pang, and Cui Su.
  In Proc. 16th International Conference, CMSB 2018, Lecture Notes in Bioinformatics 11095, pp. 313-317. ©Springer Nature Switzerland AG, 2018.
• Language games.
  with Nicholas Asher.
  In Proc. 20th International conference on Logical Aspects of Computational Linguistics (LACL), Lecture Notes in Computer Science 10054, pp. 1-17. ©Springer-Verlag GmbH Germany, 2016.
• Evaluating conversational success: Weighted Message Exchange games.
  with Nicholas Asher.
  In Proc. 20th Workshop on the Semantics and Pragmatics of Dialogue (Semdial), pp. 55-64, 2016.
• Approximate Probabilistic Verification of Hybrid Systems.
  with Liu Bing, Benjamin Gyori, R. Ramanathan and P. S. Thiagarajan.
  In Proc. 4th International Workshop on Hybrid Systems Biology (HSB), Lecture Notes in Bioinformatics 9271, pp. 96-116. ©Springer International Publishing Switzerland, 2015.
• On the efficiency of automated testing.
  with Marcel Böhme.
  In Proc. 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), ACM Digital Library, pp. 632-642. ©ACM New York, 2014.
• Conversations and Incomplete Knowledge (short paper).
  with Nicholas Asher.
  In Proc. 27th Workshop on the Semantics and Pragmatics of Dialogue (Semdial), pp. 25-32, 2013.
• Infinite games with uncertain moves.
  with Nicholas Asher.
  In Proc. 1st International Workshop on Strategic Reasoning, pp. 25-32. Electronic Proceedings in Theoretical Computer Science, 2013.