|< 4 5 6 7 8 >|
CSV
publication icon
Hans Förster (2018) From Inner-Jewish Debate to Anti-Jewish Polemic? The Transformation of the Gospel of John within its Textual Transmission in Liturgy and the Living Text. Papers from the Tenth Birmingham Colloquium on the Textual Criticism of the New Testament
publication icon
Arnold D (2009) Towards Building a Knowledge Base for Research on Andean Weaving in Dataspace: The Final Frontier - 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings
publication icon
Fan W (2009) Conditional Dependencies: A Principled Approach to Improving Data Quality in Dataspace: The Final Frontier - 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings
publication icon
Indrzejczak A (2021) Tableaux for Free Logics with Descriptions in Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
publication icon
Xu Z (2023) Reveal the Invisible Secret: Chosen-Ciphertext Side-Channel Attacks on NTRU in Smart Card Research and Advanced Applications - 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers
publication icon
Xu Z (2023) Reveal the Invisible Secret: Chosen-Ciphertext Side-Channel Attacks on NTRU in Smart Card Research and Advanced Applications - 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers
publication icon
Indrzejczak A (2021) Tableaux for Free Logics with Descriptions in Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
publication icon
Rawson M (2021) Eliminating Models During Model Elimination in Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
publication icon
Rawson M (2021) lazyCoP: Lazy Paramodulation Meets Neurally Guided Search in Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
publication icon
Xu Z (2023) Reveal the Invisible Secret: Chosen-Ciphertext Side-Channel Attacks on NTRU in Smart Card Research and Advanced Applications - 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers