Items where authors include "Shukla, A"

Article

Dey, M, Naveen, R, Nikiphorou, E et al. (92 more authors) (2022) Higher risk of short term COVID-19 vaccine adverse events in myositis patients with autoimmune comorbidities: results from the COVAD study. Rheumatology. keac603. ISSN 1462-0324

Sen, P, Gupta, L, Lilleker, JB et al. (82 more authors) (2022) COVID-19 vaccination in autoimmune disease (COVAD) survey protocol. Rheumatology International, 42 (1). pp. 23-29. ISSN 0172-8172

Hou, J, Chen, P, Shukla, A et al. (24 more authors) (2021) Liquid-phase sintering of lead halide perovskites and metal-organic framework glasses. Science, 374 (6567). pp. 621-625. ISSN 0036-8075

Beyersdorff, O, Chew, L, Mahajan, M et al. (1 more author) (2018) Understanding cutting planes for QBFs. Information and Computation, 262 (1). pp. 141-161. ISSN 0890-5401

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L, Mahajan, M et al. (1 more author) (2018) Are Short Proofs Narrow? QBF Resolution is not so Simple. ACM Transactions on Computational Logic, 19 (1). 1. ISSN 1529-3785

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L, Mahajan, M et al. (1 more author) (2017) Feasible Interpolation for QBF Resolution Calculi. Logical Methods in Computer Science, 13 (2). 7. ISSN 1860-5974

Proceedings Paper

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L, Mahajan, M et al. (1 more author) (2016) Understanding Cutting Planes for QBFs. In: Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS). 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 13-15 Dec 2016, Chennai, India. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing , pp. 1-15.

Beyersdorff, O, Chew, L, Mahajan, M et al. (1 more author) (2016) Are Short Proofs Narrow? QBF Resolution is not Simple. In: Ollinger, N and Vollmer, H, (eds.) 33rd Symposium on Theoretical Aspects of Computer Science (STACS'16). Symposium on Theoretical Aspects of Computer Science (STACS'16), 17-20 Feb 2016, Orleans, France. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 978-3-95977-001-9

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L, Mahajan, M et al. (1 more author) (2015) Feasible interpolation for QBF resolution calculi. In: 42nd International Colloquium on Automata, Languages, and Programming (ICALP'15). 42nd International Colloquium on Automata, Languages, and Programming (ICALP'15), 06-10 Jul 2015, Kyoto, Japan. Springer Verlag , pp. 180-192.