Publications
- Concurrent Strategies as Street Fibrations
Winskel G Paquet H
MFPS XLII Ljubljana, Slovenia 1 Jun 2026 - 5 Jun 2026. vol. 6
09-10-2026 - Learning Robust Multi-Agent Policies via Selective Adversarial Fault Induction
Mguni D Sun Y Chen H Yang W Darabi A Orimoloye L Yang Y
Proceedings of the 43rd International Conference on Machine Learning, Seoul, South Korea. PMLR 306, 2026 Seoul, South Korea 6 Jul 2026 - 11 Jul 2026.
29-09-2026 - Learning Sparse Representations of Multimodal Content for Enhanced Cold Item Recommendation
Meehan G Pauwels J
Proceedings of the 20th ACM Conference on Recommender Systems., 350-359.
27-09-2026 - A Universal Nearest-Neighbor Estimator for Intrinsic Dimensionality
Ong E-J Bobrowski O Reinert G Skraba P
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers (IEEE) vol. PP (99), 1-11.
16-09-2026 - Mind the Microphone Gap: Benchmarking Array Upsampling Strategies for Latent Acoustic Mapping
Schmidth P Cheston H Azcarreta J Stepien A Bilen C Roman Guzman I
19th International Workshop on Acoustic Signal Enhancement.
10-09-2026 - AN SVD VIEW OF CONV-TASNET: SIGNAL-PROCESSING STRUCTURE, SPECTRAL
DYNAMICS, AND LOW-RANK COMPRESSION
Sandler M Liu J
19th International Workshop on Acoustic Signal Enhancement (IWAENC 2026) Cremona, Italy 7 Sep 2026 - 10 Sep 2026.
07-09-2026 - Predicting first falls among older adults with chronic conditions and polypharmacy using routinely collected health records
Larrañaga I Rujas M Alayo I Erreguerena I Capo M Lopez-Perez L Mediavilla MM Martínez MD et al.
Frontiers in Artificial Intelligence, Frontiers vol. 9
04-09-2026 - Low Rank properties and architectures in small Image Classification Neural Networks
Sandler M
EUSIPCO 2026 (the 34th European Signal Processing Conference) Bruges, Belgium 31 Aug 2026 - 4 Sep 2026.
31-08-2026 - Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition
Bandukara MH Dahlqvist F Omidvari N
Lecture Notes in Computer Science. vol. 16913, 77-95.
30-08-2026 - Network analysis to identify interconnections between smartwatch-based lifestyle biomarkers and glycated haemoglobin (HbA1c)
Kalantari E Allocca C Ail R Giuliani F Ricciardi F De Cosmo S Georgoula M Georga E et al.
Scientific Reports, Springer Nature
21-08-2026 - Humanity's Last Exam
Phan L Gatti A Han Z Li N Hu J Zhang H Zhang CBC Shaaban M et al.
28-07-2026 - On Various Translations Between Classical, Intuitionistic, and Linear Logic
Ferreira G Oliva P Protin CL
Studia Logica, Springer Nature, 1-36.
21-07-2026 - Sparse Contrastive Learning for Content-Based Cold Item Recommendation
Meehan G Pauwels J
Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval., 3994-3999.
19-07-2026 - Vector-channel scattering of dark particles in a Sp(4) gauge theory
Lee J-W Bennett E Dengler Y Hong DK Hsiao H Lin C-JD Lucini B Maas A et al.
Proceedings of The 42nd International Symposium on Lattice Field Theory — PoS(LATTICE2025).
17-07-2026 - Finite-temperature Sp(4) Yang-Mills theory: towards the continuum
Zierler F Bennett E Lucini B Mason D Piai M Rinaldi E Vadacchino D
Proceedings of The 42nd International Symposium on Lattice Field Theory — PoS(LATTICE2025).
16-07-2026 - The simplicity of confinement
Lucini B Crean X Giansiracusa J
Proceedings of The 42nd International Symposium on Lattice Field Theory — PoS(LATTICE2025).
16-07-2026 - LiteVSR: Enabling Cross-Domain Fine-Grained Detail Generation in Light-Weight Transformers for Video Super-Resolution
Cao Y Liu Z Zhang Z Deng J Gong S Song J
International Conference on Machine Learning.
06-07-2026 - Compilomorphic Fuzzing: Turning a Compiler Against Itself
Klimis V
Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering., 1267-1271.
05-07-2026 - Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog
van Noort M Wałęga PA
Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning., 775-785.
01-07-2026 - How Aggregation Functions Affect the Uniform Expressiveness of Graph Neural Networks
Hauke SP Wałęga PA
Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning., 962-972.
01-07-2026 - Status of Compositeness for New Physics from the Lattice
Lucini B
Proceedings of The 42nd International Symposium on Lattice Field Theory — PoS(LATTICE2025).
28-06-2026 - The Lab Fingerprint of HIV Comorbidities
Russom S Kollias D Ardakani SP Zhang Q
Electronics, Mdpi vol. 15 (13)
27-06-2026 - OSRAQMUL: A Digital Application for Oral Surgery Risk Assessment
Hassan H Al-Tamimi H Shado R Dean S Rathod R Oliva P Matin A
Practitioner Proceedings of the 12th International Conference of the Immersive Learning Research Network., 203-206.
26-06-2026 - An approach using BRKGA for optimizing graph neural network architectures
Silva AA Silva RMA Oliva P
Evolutionary Intelligence, Springer Nature vol. 19 (4)
17-06-2026 - Leveraging Artist Catalogs for Cold-Start Music Recommendation
Tamm Y-M Meehan G Nekl V Vancura V Alves R Pauwels J Aljanaki A
Proceedings of the 34th ACM Conference on User Modeling, Adaptation and Personalization., 137-146.
07-06-2026 - V-star: Benchmarking video-llms on video spatio-temporal reasoning
Cheng Z Hu J Liu Z Si C Li W Gong S
IEEE Conference on Computer Vision and Pattern Recognition.
03-06-2026 - Enhanced Terahertz Photoresponse via Acoustic Plasmon Cavity Resonances in Scalable Graphene
De Fazio D Castilla S Soundarapandian KP Slipchenko T Vangelidis I Marconi S Bertini R Petrica V et al.
Acs Photonics, American Chemical Society (Acs) vol. 13 (16), 4505-4517.
01-06-2026 - FME-24: A film, music, and emotion dataset
Crocker RON Fazekas G
International Journal of Multimedia Information Retrieval, Springer Nature vol. 15 (2)
01-06-2026 - EMORSION – Examining the Impact of Audio Features on Emotional Responses and Immersion in Film
Crocker RUBY Garcia-Sihuay N Del Sette B Fazekas G Reiss J Fazekas G Reiss J
2026 AES European Convention (160th Convention) Copnhagen, Denmark 28 May 2026 - 30 May 2026.
30-05-2026 - Neuro-symbolic NLP: taxonomy, assessment, and directions
Chatzikyriakidis S Lappin S
Frontiers in Artificial Intelligence, Frontiers vol. 9
22-05-2026 - Emotion-Based Film Music Retrieval with Handcrafted and Deep Models
Crocker R Ong L Fazekas G
International Computer Music Conference 2026.
16-05-2026 - Beat and Downbeat Detection: A Reformulated Approach
Bolt J Pauwels J Fazekas G
ICASSP 2026 - 2026 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 15282-15286.
08-05-2026 - Diffusion Timbre Transfer via Mutual Information Guided Inpainting
Lee CH Nistal J Lattner S Pasini M Fazekas G
ICASSP 2026 - 2026 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 15077-15081.
08-05-2026 - Noise Fingerprints for Cross-Platform Quantum Simulator Discrepancy Analysis
Klimis V Bensoussan A Chachkarova E Even-Mendoza K Fortz S Mousavi MR
IEEE International Conference on Software Testing (ICST).
01-05-2026 - OSRAQMUL: a digital application for oral surgery risk assessment
Hassan H Al-Tamimi H Shado R Dean S Rathod R Oliva P Matin A
Bdj Open, Springer Nature vol. 12 (1)
01-05-2026 - Predicting Sentence Acceptability Judgments in Multimodal Contexts
Jang H Ilinykh N Loaiciga S Lau JH Lappin S
Proceedings of the 15th Workshop on Cognitive Modeling and Computational Linguistics., 25-34.
01-05-2026 - CASteer: Cross-Attention Steering for Controllable Concept Erasure
Gaintseva T Oncescu A-M Ma C Liu Z Benning M Deng J Slabaugh G Ismail E
International Conference on Learning Representations.
24-04-2026 - Sub-Terahertz Channel Measurements Using Low-Cost 3D Printed Lens Antenna
Cicchetti V Hu J Salous S Hao Y
2026 20th European Conference on Antennas and Propagation (EuCAP). vol. 00, 1-3.
24-04-2026 - Grain Size-Dependent Defect and Domain Evolution in Lead Titanate-Based Relaxor Ferroelectrics
Zhang H Wang Y Li Z Oh S Liu J Yan H Hao Y Su L
Acs Applied Materials & Interfaces, American Chemical Society (Acs) vol. 18 (17), 24889-24898.
22-04-2026 - Universality in random persistent homology and scale-invariant functionals
Bobrowski O Skraba P
Communications of The American Mathematical Society, American Mathematical Society (Ams) vol. 6 (07), 378-423.
21-04-2026 - Visualising Pianists' Touch: Transcribing Expressive Piano Performance from Audio to Piano Key Motion
Tang J Furuya S Nishioka H Shioki M Wiggins GA Fazekas G Cheung VKM
Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems., 1-11.
13-04-2026 - Beyond Spec Conformance: A Logic for Validating Stakeholder Expectations
Klimis V
Proceedings of the IEEE/ACM 48th International Conference on Software Engineering., 111-115.
12-04-2026 - Mixed Choice in Asynchronous Multiparty Session Types
Bocchi L Hu R Voinea AL Thompson S
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 10 (OOPSLA1), 1542-1569.
10-04-2026 - Speak Now: Safe Actor Programming with Multiparty Session Types
Fowler S Hu R
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 10 (OOPSLA1), 1846-1873.
10-04-2026 - Reply to ‘Musical neurodynamics and the ‘inner voice’’
Large EW Harding EE Kim JC Demos AP Roman IR Tichko P Palmer C
Nature Reviews Neuroscience, Springer Nature vol. 27 (6), 459-460.
02-04-2026 - Finite-temperature Yang-Mills theories with the density of states method: Toward the continuum limit
Anonymous Lucini B Mason D Piai M Rinaldi E Vadacchino D Zierler F
Physical Review D, American Physical Society (Aps) vol. 113 (7)
01-04-2026 - SU(2) gauge theory with one and two adjoint fermions toward the continuum limit
Athenodorou A Bennett E Bergner G Butti P Lenz J Lucini B
Physical Review D, American Physical Society (Aps) vol. 113 (7)
01-04-2026 - Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2
Hauke SP Wałęga PA
Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (26), 21594-21601.
14-03-2026 - Cost-Sensitive Conformal Training with Provably Controllable Learning Bounds
Jia X Shi Y Liu Z Xu Y Yan Y
Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (27), 22274-22282.
14-03-2026 - Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
Sochański M Wałęga PA Zawidzki M
Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (23), 19371-19379.
14-03-2026 - Fair Domain Generalization: An Information-Theoretic View
Lian T Hu G Kollias D Yang X Celiktutan O
Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (28), 23382-23390.
14-03-2026 - The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
Grau BC Feng E Wałęga PA
Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (23), 19135-19142.
14-03-2026 - A Universal Nearest-Neighbor Estimator for Intrinsic Dimensionality
Ong E-J Bobrowski O Reinert G Skraba P
11-03-2026 - Analysing Students' Journeys when Learning Programming using the Epistemic Plane from LCT
Curzon P Waite J Kirk S
Proceedings of the 20th WiPSCE Conference on Primary and Secondary Computing Education Research., 1-10.
11-03-2026 - From Cognitive Priors to Instance Semantics: A Unified Framework for Multi-task Affective Computing
Hu G Kollias D Yang X
2026 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV). vol. 00, 8551-8562.
10-03-2026 - SynchroRaMa : Lip-Synchronized and Emotion-Aware Talking Face Generation via Multi-Modal Emotion Embedding
Yee PT Kollias D Mishra S Dhall A
2026 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV). vol. 00, 4546-4555.
10-03-2026 - Adaptive momentum weight averaging reduces initialization noise
Wan J Liu Z Gao J Wu X Chan AB
Pattern Recognition, Elsevier vol. 171
01-03-2026 - A Logic for Fresh Labelled Transition Systems
Bandukara MH Tzevelekos N
34th EACSL Annual Conference on Computer Science Logic (CSL 2026).
18-02-2026 - Parameterised counting complexity theory
Roth M
Computer Science Review, Elsevier vol. 59
01-02-2026 - A benchmark of expert-level academic questions to assess AI capabilities
Phan L Gatti A Li N Khoja A Kim R Ren R Hausenloy J Zhang O et al.
Nature, Springer Nature vol. 649 (8099), 1139-1146.
28-01-2026 - LLMs can read music, but struggle to hear it. An evaluation of core music perception tasks
Carone B Roman I Ripolles P
Proceedings of Machine Learning Research
26-01-2026 - Impartial Games: A Challenge for Reinforcement Learning
Zhou B Riis SR
21-01-2026 - Möbius homology
Patel A Skraba P
Transactions of The American Mathematical Society, American Mathematical Society (Ams) vol. 379 (04), 2653-2681.
21-01-2026 - Towards Effective Negation Modeling in Joint Audio-Text Models for Music
Vasilakis Y Bittner R Pauwels J
20-01-2026 - Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity
Focke J Goldberg LA Roth M Živný S
ACM Transactions on Computational Logic. vol. 27 (1), 1-36.
16-01-2026 - Welterweight Go: Boxing, Structural Subtyping, and Generics
Hu R Lange J Toninho B Wadler P Griesemer R Randall K
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 10 (POPL), 2295-2322.
08-01-2026 - The Complexity of Counting Small Sub-Hypergraphs
Bressan M Brinkmann J Dell H Roth M Wellnitz P
ACM-SIAM Symposium on Discrete Algorithms (SODA26).
07-01-2026 - A Secure and Interoperable Big Data Platform for AI-Driven Healthcare Solutions: Insights From the GATEKEEPER Project
Temporale C De Salvo E Gaeta E Rujas M Lopez-Perez L Haleem MS Aidonis V Georga EI et al.
IEEE Access, Institute of Electrical and Electronics Engineers (IEEE) vol. 14, 16389-16405.
01-01-2026 - Bounds on the static electric susceptibility of nonequilibrium cubic crystals: A study of sample shape dependence
Dutta R Hao Y
Solid State Communications, Elsevier vol. 407
01-01-2026 - Central limit theorems for local functionals of dynamic point processes
Onaran E Bobrowski O Adler RJ
Electronic Journal of Probability, Institute of Mathematical Statistics vol. 31 (none)
01-01-2026 - Confidence Should Be Calibrated More Than One Turn Deep
Zhang Z Li C Liu X Shen C Liu Z Patras I
Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)., 38578-38594.
01-01-2026 - Data-driven design and screening of novel Klebsiella pneumoniae carbapenemase-2 β-lactamase inhibitors using a generative CLM
Tariq SS Haleem MS Uddin R
Rsc Advances, Royal Society of Chemistry (Rsc) vol. 16 (31), 28845-28856.
01-01-2026 - Day algebras
Robinson E Wrigley J
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 36
01-01-2026 - GrACE: A Generative Approach to Better Confidence Elicitation and Efficient Test-Time Scaling in Large Language Models
Zhang Z Liu Z Patras I
Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)., 23333-23350.
01-01-2026 - Guest Editorial: Special Issue on Fluid Antenna System and Other Next-Generation Reconfigurable Antenna Systems for Wireless Communications
Wong K-K New WK Wang C Chae C-B Murch R Jafarkhani H Hao Y
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers (IEEE) vol. 44, xi-xvi.
01-01-2026 - Perspectives on CEM Modeling Strategies
Zheng X Peterson AF Werner DH Hao Y Volakis JL Abbasi Q Reddy CJ
2026 International Applied Computational Electromagnetics Society Symposium Aces Greece 2026.
01-01-2026 - Physics-Informed AI/ML Surrogate Modelling for Multiscale Wireless Propagation: From On-Body Channels to Urban Free-Space Communications
Hao Y
2026 International Applied Computational Electromagnetics Society Symposium Aces Greece 2026.
01-01-2026 - Rethinking Metrics for Lexical Semantic Change Detection
Goworek R Dubossarsky H
The Proceedings for the 6th International Workshop on Computational Approaches to Language Change (LChange’26)., 147-161.
01-01-2026 - Strategic Decision-Making in Uncertain Turn-Based Security Games
Malacaria P Zhang Y
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers (IEEE) vol. 21, 5221-5236.
01-01-2026