Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

A

Aamer, H. and Hidders, Jan and Paredaens, J. and Van den Bussche, J. (2025) Expressiveness within Sequence Datalog. ACM Transactions on Database Systems , ISSN 0362-5915.

Ahmetaj, S. and Boneva, I. and Hidders, Jan and Hose, K. and Jakubowski, M. and Gayo, J.E.L. and Martens, W. and Mogavero, F. and Murlak, F. and Okulmus, C. and Polleres, A. and Savkovic, O. and Simkus, M. and Tomaszuk, D. (2025) Common foundations for SHACL, ShEx, and PG-Schema. In: WWW '25: The ACM Web Conference 2025, 28 Apr - 02 May 2025, Sydney, Australia.

Almahmoud, Zaid and Yoo, Paul and Damiani, E. and Choo, K.-K.R. and Yeun, C.Y. (2025) Forecasting cyber threats and pertinent mitigation technologies. Technological Forecasting and Social Change 210 , ISSN 0040-1625.

Artale, A. and Gnatenko, A. and Ryzhikov, Vladislav and Zakhariyashchev, Michael (2025) On deciding the data complexity of answering Linear Monadic Datalog Queries with LTL Operators. In: Roy, S. and Kara, A. (eds.) 28th International Conference on Database Theory (ICDT 2025). Leibniz International Proceedings in Informatics (LIPIcs) 328. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 1-19. ISBN 9783959773645.

Awofeso, C. and Greaves, P. and Lachish, Oded and Reidl, Felix (2025) Results on H-Freeness testing in graphs of Bounded r-Admissibility. In: 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 04-07 Mar 2025, Jena, Germany.

Awofeso, Christine and Greaves, Patrick and Lachish, Oded and Levi, Amit and Reidl, Felix (2025) Testing $C_k$-freeness in Bounded Admissibility Graphs. In: International Colloquium on Automata, Languages, and Programming, 9-11 Jul 2025, Aarhus, Denmark.

Awofeso, Christine and Greaves, Patrick and Lachish, Oded and Reidl, Felix (2025) Results on $H$-freeness testing in graphs of bounded $r$-admissibility. In: 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 04-07 Mar 2025, Jena, Germany.

B

Beckwith, K.S. and Ødegård-Fougner, Ø and Morero, N.R. and Barton, Carl and Schueder, F. and Tang, W. and Alexander, S. and Peters, J.M. and Jungmann, R. and Birney, E. and Ellenberg, J. (2025) Nanoscale 3D DNA tracing in non-denatured cells resolves the Cohesin-dependent loop architecture of the genome in situ. Nature Communications 16 (6673), ISSN 2041-1723.

Bonifati, A. and Dumbrava, S. and Fletcher, G. and Hidders, Jan and Hofer, M. and Martens, W. and Murlak, F. and Shinavier, J. and Staworko, S. and Tomaszuk, D. (2025) Threshold queries in theory and in the wild. The VLDB Journal 34 (4), ISSN 1066-8888.

C

Costantini, S. and Costanzo, G. and De Meo, P. and Falcone, R. and Persia, F. and Provetti, Alessandro (2025) The limits of influence maximisation in online social networks. In: 11th IEEE International Conference on Social Networks Analysis, Management and Security (SNAMS-2024), 19-21 Dec 2024, Gran Canaria, Spain.

D

Dimartino, Mirko Michele and Wood, Peter and Cali, Andrea and Poulovassilis, Alex (2025) Efficient ontology-mediated query answering: extending DL-lite_R and Linear ELH. Journal of Artificial Intelligence Research 82 , pp. 851-899. ISSN 1076-9757.

F

Fuhs, Carsten and Guo, L. and Kop, C. (2025) An Innermost DP Framework for Constrained Higher-Order Rewriting. In: Fernández, M. (ed.) Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). Leibniz International Proceedings in Informatics. Dagstuhl Publishing, 20:1-20:24.

H

Han, Seongil and Jung, H. and Yoo, Paul (2025) SMART: Structured Missingness Analysis and Reconstruction Technique for credit scoring. Scientific Reports 15 (15111), ISSN 2045-2322.

Helmer, S. and Wood, Peter and Stuefer, M. (2025) Using the Hurwicz Criterion to optimise selection queries under partial ignorance. International Journal of Semantic Computing , ISSN 1793-351X.

Huczynska, S. and Johnson, L. and Paterson, Maura (2025) Beyond uniform cyclotomy. Finite Fields and Their Applications 105 (102604), ISSN 1071-5797.

K

Kreher, D.L. and Paterson, Maura B. and Stinson, D.R. (2025) Strong external difference families and classification of α-valuations. Journal of Combinatorial Designs , ISSN 1520-6610. (In Press)

L

Liu, S. and Zhou, Y. and Han, Tingting and Chen, Taolue (2025) Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications. Science of Computer Programming 242 , ISSN 0167-6423.

M

Merino, C. and Moffatt, I. and Noble, Steven (2025) The critical group of a combinatorial map. Working Paper. arXiv.

V

Vafeiadou, Evgenia Xenia (2025) Investigating sensemaking in Parkinson's self-tracking : a lived approach to chronic disease self-management. [Thesis] (Unpublished)

Y

Yang, G. and Zhang, X. and Chen, X. and Han, Tingting and Chen, Taolue (2025) Assessing and improving syntactic adversarial robustness of pre-trained models for code translation. Information & Software Technology 181 , ISSN 0950-5849.