Publications
- Game Semantics for Interface Middleweight Java.
Murawski AS
J. Acm vol. 68, 4:1-4:1.
11-12-2020 - Homological Percolation: The Formation of Giant k-Cycles
Skraba P Bobrowski O
International Mathematics Research Notices, Oxford University Press (OUP) vol. 2022 (8), 6186-6213.
04-12-2020 - 6G Wireless Channel Measurements and Models
Wang C-X Huang J Wang H Gao X You X Hao Y
IEEE Vehicular Technology Magazine, Institute of Electrical and Electronics Engineers (IEEE) vol. 15 (4), 22-32.
01-12-2020 - Compressive Sensing Radar Imaging with Convolutional Neural Networks
Cheng Q Ihalage AA Liu Y Hao Y
IEEE Access, Institute of Electrical and Electronics Engineers (IEEE) vol. 8, 212917-212926.
25-11-2020 - Counting Small Induced Subgraphs Satisfying Monotone Properties
Roth M Wellnitz P
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS). vol. 00, 1356-1367.
19-11-2020 - High Tunability and Low Loss in Layered Perovskite Dielectrics through Intrinsic Elimination of Oxygen Vacancies
Zhang H Gidden H Saunders TG Liu N Aurallo-Peters V Xu X Palma M Reece MJ et al.
Chemistry of Materials, American Chemical Society (Acs)
17-11-2020 - Featherweight go
Griesemer R Hu R Kokke W Lange J Taylor IL Toninho B Wadler P Yoshida N
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 4 (OOPSLA), 1-29.
13-11-2020 - Statically verified refinements for multiparty protocols
Zhou F Ferreira F Hu R Neykova R Yoshida N
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 4 (OOPSLA), 1-30.
13-11-2020 - The Sense of Auditory Presence in a Choir for Virtual Reality
Bryce L Sandler M Serafin S Andersen L
149th Conference of the Audio Engineering Society New York.
25-10-2020 - An Exploratory Study on Perceptual Spaces of
the Singing Voice
O'Connor B Dixon S Fazekas G
The 2020 Joint Conference on AI Music Creativity Proceedings of the 2020 Joint Conference on AI Creativity 19 Oct 2020 - 23 Oct 2020. vol. 1 (1)
19-10-2020 - From Music Ontology Towards Ethno-Music-Ontology
Proutskova P Volk A Heidarian P
International Society for Music Information Retrieval Conference Montreal, Canada 11 Oct 2020 - 16 Oct 2020., 923-931.
11-10-2020 - Model Checking Software-Defined Networks with Flow Entries that Time Out
Klimis V Reus B
Formal Methods in Computer-Aided Design – FMCAD.
05-10-2020 - Using model checking tools to triage the severity of security bugs in the Xen hypervisor
Cook B Döbel B Kroening D Manthey N Polgreen E
Formal Methods in Computer Aided Design. vol. 00, 185-193.
24-09-2020 - Low-Profile Beam Steerable Patch Array with SIW Feeding Network
Liu Y
IEEE Access, Institute of Electrical and Electronics Engineers (IEEE)
04-09-2020 - Spectral and Temporal Timbral Cues of Vocal Imitations of Drum Sounds
Delgado Luezas A Saitis C Sandler M
2nd International Conference on Timbre.
04-09-2020 - Timbre Space Representation of a Subtractive Synthesizer
Vahidi C Fazekas G Saitis C
International Conference on Timbre (Timbre 2020) 3 Sep 2020 - 4 Sep 2020.
03-09-2020 - Surface Plasmonic Feature Microwave Sensor with Highly Confined fields for Aqueous-Glucose and Blood-Glucose Measurements
Kandwal A Nie Z Igbe T Li J Liu Y Liu LWY Hao Y
IEEE Transactions on Instrumentation and Measurement, Institute of Electrical and Electronics Engineers vol. PP (99), 1-1.
18-08-2020 - Poster: Programming Practices Among Interactive Audio Software Developers
Thompson A Fazekas G
2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). vol. 00, 1-2.
14-08-2020 - On performance and perceived effort in trail runners using sensor control to generate biosynchronous music
Williams D Fazenda B Williamson V
Sensors (Basel, Switzerland), Mdpi Ag vol. 20 (16), 1-14.
13-08-2020 - Topology-Aware Surface Reconstruction for Point Clouds
Brüel-Gabrielsson R Ganapathi-Subramanian V Skraba P Guibas LJ
Computer Graphics Forum: The International Journal of The Eurographics Association, Wiley vol. 39 (5), 197-207.
12-08-2020 - Cloud-smart Musical Instrument Interactions
Turchet L Pauwels J Fischione C Fazekas G
Acm Transactions on Internet of Things vol. 1 (3), 1-29.
14-07-2020 - Artificial Magnetic Material for Array Antenna Application
Liu Y Khan AN Giddens H Hao Y
2020 IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting. vol. 00, 447-448.
10-07-2020 - Conformal loop antenna for an active drug delivery device operating at 900 MHz
Khan AN Liu Y Hao Y
2020 IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting. vol. 00, 211-212.
10-07-2020 - The Influence of Intra-Daily Activities and Settings upon Weekday Violent Crime in Public Spaces in Manchester, UK
Lee WD Haleem MS Ellison M Bannister J
European Journal on Criminal Policy and Research, Springer Nature vol. 27 (3), 375-395.
10-07-2020 - Using Highly Confined Fields to Develop Biosensors for Glucose Measurements
Kandwal A Zedong N Hao Y
2020 IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting. vol. 00, 1809-1810.
10-07-2020 - Antenna Classification using Gaussian Mixture Models (GMM) and Machine Learning
Ma Y Hao Y
IEEE Open Journal of Antennas and Propagation vol. PP (99), 1-1.
09-07-2020 - Interactive human–machine learning framework for modelling of ferroelectric–dielectric composites
Liu N Ihalage A Zhang H Giddens H Yan H Hao Y
Journal of Materials Chemistry C, Royal Society of Chemistry
09-07-2020 - A 3D Carpet Cloak with Non-Euclidean Metasurfaces
Jiang Z Liang Q Li Z Chen T Li D Hao Y
Advanced Optical Materials, Wiley
07-07-2020 - Identifying master violinists using note-level audio features
Zhao Y Fazekas G Sandler M
17th Sound and Music Computing Conference 24 Jun 2020 - 27 Jun 2020. vol. 2020-June, 185-192.
24-06-2020 - How Furiously Can Colourless Green Ideas Sleep? Sentence Acceptability in Context.
Lau JH Armendariz CS Lappin S Purver M Shu C
Trans. Assoc. Comput. Linguistics, MIT Press vol. 8, 296-310.
22-06-2020 - The ‘Exposed’ Population, Violent Crime in Public Space and the Night-time Economy in Manchester, UK
Haleem MS Do Lee W Ellison M Bannister J
European Journal on Criminal Policy and Research, Springer Nature vol. 27 (3), 335-352.
20-06-2020 - How Furiously Can Colorless Green Ideas Sleep? Sentence Acceptability in Context
Lau JH Armendariz C Lappin S Purver M Shu C
Transactions of The Association For Computational Linguistics, MIT Press vol. 8, 296-310.
01-06-2020 - Symbolic execution game semantics
Lin YY Tzevelekos N
Leibniz International Proceedings in Informatics Lipics vol. 167
01-06-2020 - Depth Estimation for Local Colon Structure in Monocular Capsule Endoscopy Based on Brightness and Camera Motion
Xu L Li J Hao Y Zhang P Ciuti G Dario P Huang Q
Robotica, Cambridge University Press (Cup) vol. 39 (2), 334-345.
27-05-2020 - Double Negation Semantics for Generalisations of Heyting Algebras
Oliva P Arthan R
Studia Logica: An International Journal For Symbolic Logic, Springer Verlag
25-05-2020 - The Internet of Audio Things: State of the Art, Vision, and Challenges
Turchet L Fazekas G Lagrange M Ghadikolaei HS
IEEE Internet of Things Journal vol. 7 (10), 10233-10249.
25-05-2020 - Optical Music Recognition: State of the Art and Major Challenges
Shatri E Fazekas G
International Conference on Technologies for Music Notation and Representation Hamburg 12 May 2020 - 14 May 2020.
12-05-2020 - Multi-Beam Graded Dielectric Lens Antenna from Multi-Material 3D Printing
Giddens H Hao Y
IEEE Transactions on Antennas and Propagation, Institute of Electrical and Electronics Engineers
08-05-2020 - The Fifthnet Chroma Extractor
Hanlon KO Sandler MB
ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 3752-3756.
08-05-2020 - A Study on the Transferability of Adversarial Attacks in Sound Event Classification
SUBRAMANIAN V Pankajakshan A Benetos E Xu N McDonald S Sandler M
IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2020) Barcelona, Spain 4 May 2020 - 8 May 2020., 301-305.
04-05-2020 - Classification of origin with feature selection and network construction for folk tunes
Metzig C Gould M Noronha R Abbey R Sandler M Colijn C
Pattern Recognition Letters, Elsevier vol. 133, 356-364.
01-05-2020 - Online visibility graphs: Encoding visibility in a binary search tree
Fano Yela D Thalmann F Nicosia V Stowell D Sandler M
Physical Review Research, American Physical Society (Aps) vol. 2 (2)
23-04-2020 - Analytical Magnetic Model Towards Compact Design of Magnetically-Driven Capsule Robots
Hao Y Li J Bianchi F Zhang P Ciuti G Dario P Huang Q
IEEE Transactions on Medical Robotics and Bionics, Institute of Electrical and Electronics Engineers (IEEE) vol. 2 (2), 188-195.
21-04-2020 - Kripke Semantics for Intuitionistic Łukasiewicz Logic
Studia Logica, Springer Nature vol. 109 (2), 313-339.
21-04-2020 - Polar nano-clusters in nominally paraelectric ceramics demonstrating high microwave tunability for wireless communication
Zhang H Giddens H Yue Y Xu X Araullo-Peters V Koval V Palma M Abrahams I et al.
Journal of The European Ceramic Society, Elsevier
19-04-2020 - Randomly weighted d-complexes: Minimal spanning acycles and Persistence diagrams
Skraba P Thoppe G Yogeshwaran D
The Electronic Journal of Combinatorics, The Electronic Journal of Combinatorics vol. 27 (2)
17-04-2020 - Conditional Entropy and Data Processing: an Axiomatic Approach Based on Core-Concavity
Americo A Khouzani M Malacaria P
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers (IEEE), 1-1.
13-04-2020 - Remembering Peter Clarricoats
Hao Y Snowden CM
IEEE Antennas and Propagation Magazine, Institute of Electrical and Electronics Engineers (IEEE) vol. 62 (2), 126-126.
01-04-2020 - 6G oriented wireless communication channel characteristics analysis and modeling
Wang C Huang J Wang H Gao X You X Hao Y
Chinese Journal on Internet of Things vol. 4 (1), 19-32.
30-03-2020 - A Generic Spiral MIMO Array Design Method for Short-Range UWB Imaging
Cheng Q Liu Y Zhang H Hao Y
IEEE Antennas and Wireless Propagation Letters, Institute of Electrical and Electronics Engineers (IEEE) vol. 19 (5), 851-855.
20-03-2020 - An Ultra-thin Wide-Angle Scanned Planar Array Antenna For Satellite Communication
Liu Y Khan AN Cheng Q Torrico MM Hao Y
2020 14th European Conference on Antennas and Propagation (EuCAP). vol. 00, 1-3.
20-03-2020 - An Ultrawideband Conformal Antenna for Implantable Drug Delivery Device
Khan AN Wen D Liu Y Sukhorukov G Hao Y
2020 14th European Conference on Antennas and Propagation (EuCAP). vol. 00, 1-3.
20-03-2020 - The Challenge: From MPEG Intellectual Property Rights Ontologies to Smart Contracts and Blockchains
KUDUMAKIS P WILMERING T Sandler M Rodríguez-Doncel V Boch L Delgado J
IEEE: Signal Processing Magazine, Institute of Electrical and Electronics Engineers vol. 37 (2), 89-95.
26-02-2020 - Design and experimental demonstration of Doppler cloak from spatiotemporally modulated metamaterials based on rotational Doppler effect
Liu B Giddens H Li Y He Y Wong SW Hao Y
Optics Express, Optical Society of America (Osa) vol. 28 (3), 3748-3755.
27-01-2020 - A History of Audio Effects
WILMERING T MOFFAT DJ Milo A Sandler M
Applied Sciences, Mdpi Ag vol. 10 (3)
22-01-2020 - Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness
Roth M Schmitt J
Algorithmica, Springer Nature vol. 82 (8), 2267-2291.
22-01-2020 - The Internet of Musical Things Ontology
Turchet L Antoniazzi F Viola F Giunchiglia F
Journal of Web Semantics vol. 60
22-01-2020 - QQIF: Quantum Quantitative Information Flow (invited paper)
Américo A Malacaria P
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). vol. 00, 261-270.
11-01-2020 - Broadband Frequency Scanning Spoof Surface Plasmon Polariton Design with Highly Confined Endfire Radiations
Kandwal A Li J Igbe T Liu Y Li S Wang L Hao Y Nie Z
Scientific Reports, Nature Publishing Group vol. 10 (1)
10-01-2020 - A METHOD FOR ANALYSIS OF SHARED STRUCTURE IN LARGE MUSIC COLLECTIONS USING TECHNIQUES FROM GENETIC SEQUENCING AND GRAPH THEORY
Thalmann F Yoshii K Wilmering T Wiggins GA Sandler MB
Proceedings of the 21st International Society for Music Information Retrieval Conference Ismir 2020., 343-350.
01-01-2020 - A Topology Layer for Machine Learning
Brüel-Gabrielsson R Nelson BJ Dwaraknath A Skraba P Guibas LJ Carlsson G
Proceedings of Machine Learning Research. vol. 108, 1553-1563.
01-01-2020 - ADVANCED FOURIER DECOMPOSITION FOR REALISTIC DRUM SYNTHESIS
Kirby T Sandler M
Proceedings of the International Conference on Digital Audio Effects Dafx. vol. 1, 155-162.
01-01-2020 - Biophysiologically synchronous computer generated music improves performance and reduces perceived effort in trail runners
Williams D Fazenda B
Proceedings of the International Conference on New Interfaces for Musical Expression., 531-536.
01-01-2020 - Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity.
Américo A Khouzani MHR Malacaria P
IEEE Trans. Inf. Theory vol. 66, 5537-5547.
01-01-2020 - Convergence of persistence diagrams for topological crackle
Owada T Bobrowski O
Bernoulli vol. 26, 2275-2310.
01-01-2020 - Counting and finding homomorphisms is universal for parameterized complexity theory
Roth M Wellnitz P
Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms. vol. 2020-January, 2161-2180.
01-01-2020 - From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement
From Lambda Calculus to Cybersecurity Through Program Analysis. vol. 12065
01-01-2020 - FROM MUSIC ONTOLOGY TOWARDS ETHNO-MUSIC-ONTOLOGY
Proutskova P Volk A
Proceedings of the 21st International Society for Music Information Retrieval Conference Ismir 2020., 223-230.
01-01-2020 - Fully nested neural network for adaptive compression and quantization
Cui Y Liu Z Yao W Li Q Chan AB Kuo TW Xue CJ
Ijcai International Joint Conference on Artificial Intelligence. vol. 2021-January, 2080-2087.
01-01-2020 - Preface
Di Pierro A Malacaria P Nagarajan R
01-01-2020 - Towards Model Checking Real-World Software-Defined Networks
Klimis V Parisis G Reus B
Lecture Notes in Computer Science. vol. 12225, 126-148.
01-01-2020