Publications

...
• 2012
• 2011
• 2010
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
...

• Analysis and synthesis of audio vibrato using harmonic sinusoids
  Xue W Sandler M
  Audio Engineering Society 124th Audio Engineering Society Convention 2008. vol. 2, 1035-1057.  
  01-12-2008
• Automatic interlinking of music datasets on the Semantic Web
  Raimond Y Sutton C Sandler M
  Ceur Workshop Proceedings. vol. 369 
  01-12-2008
• Bunched polymorphism
  Collinson M Pym D Robinson E
  Math Struct Comp Sci vol. 18 (6), 1091-1132.  
  DOI 10.1017/S0960129508007159
  
  01-12-2008
• The effects of lossy audio encoding on genre classification tasks
  Jacobson K Fields B Sandler M Casey M
  Audio Engineering Society 124th Audio Engineering Society Convention 2008. vol. 2, 975-977.  
  01-12-2008
• The effects of lossy audio encoding on onset detection tasks
  Jacobson K Davies M Sandler M
  Audio Engineering Society 125th Audio Engineering Society Convention 2008. vol. 1, 281-288.  
  01-12-2008
• Voice Controlled Automation System
  Haleem MS
  2008 IEEE International Multitopic Conference., 508-512.  
  DOI 10.1109/inmic.2008.4777791

  QMRO
  
  01-12-2008
• Detection and Removal of Limit Cycles in Sigma Delta Modulators
  Reiss JD Sandler M
  IEEE T Circuits-I vol. 55 (10), 3119-3130.  
  DOI 10.1109/TCSI.2008.925078
  
  01-11-2008
• Wireless body sensor networks for health-monitoring applications.
  Hao Y Foster R
  Physiol Meas vol. 29 (11), R27-R56.  
  DOI 10.1088/0967-3334/29/11/R01

  QMRO
  
  01-11-2008
• A novel chroma representation of polyphonic music based on multiple pitch tracking techniques
  Varewyck M Pauwels J Martens J-P
  Proceedings of the 16th ACM international conference on Multimedia., 667-670.  
  DOI 10.1145/1459359.1459455
  
  26-10-2008
• Optimized Query Terms Creation based on Meta-search and Clustering
  Hao Y Junliang C Ying Z Xiangwu M
  2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery. vol. 2, 38-42.  
  DOI 10.1109/fskd.2008.513
  
  01-10-2008
• Characterization of microstrip patch antennas on metamaterial substrates loaded with complementary split-ring resonators
  Lee Y Hao Y
  Microw Opt Techn Let vol. 50 (8), 2131-2135.  
  DOI 10.1002/mop.23596
  
  01-08-2008
• A General Framework for Sound and Complete Floyd-Hoare Logics
  Arthan R Martin U Mathiesen EA Oliva P
  Acm Transactions on Computational Logic, 11(1), 2009 
  DOI 10.1145/1614431.1614438
  
  07-07-2008
• A Perfect Matching Layer for Haar Wavelet Based Multi-Resolution Time-Domain Technique
  Wang X Hao Y
  2008 IEEE Antennas and Propagation Society International Symposium., 1-4.  
  DOI 10.1109/aps.2008.4619235
  
  01-07-2008
• AN INVESTIGATION OF ANTENNA ELEMENT SPACING ON THE QUALITY OF MILLIMETRE WAVE IMAGING
  Zhang L Hao Y Parini CG Dupuy J
  2008 IEEE Antennas and Propagation Society International Symposium., 1-4.  
  DOI 10.1109/aps.2008.4619932
  
  01-07-2008
• FDTD Analysis of an Antenna Covered by a Dielectric Woodpile EBG Superstrate
  Lugo K Gomez RA Lee Y Farahat N Mittra R Hao Y
  2008 IEEE Antennas and Propagation Society International Symposium., 1-4.  
  DOI 10.1109/aps.2008.4619315
  
  01-07-2008
• IEEE 802.11a Data Over Fiber Transmission Using Electromagnetic Bandgap Photonic Antenna With Integrated Asymmetric Fabry-Perot Modulator/Detector
  Chuang CH Liu CP Ismail T Wang XJ Hao Y Parini C Huggard PG Krysa AB et al.
  J Lightwave Technol vol. 26 (13-16), 2671-2678.  
  DOI 10.1109/JLT.2008.927168
  
  01-07-2008
• Effect of unit-cell size on performance of composite right/left-handed transmission line based leaky-wave antenna
  Rahman A Hao Y Lee Y Parini CG
  Electron Lett vol. 44 (13), 788-U23.  
  DOI 10.1049/el:20080874
  
  19-06-2008
• On-body antennas and propagation: Recent development
  Hao Y Hall PS
  IEICE TRANSACTIONS ON COMMUNICATIONS. vol. E91B (6), 1682-1688.  
  DOI 10.1093/ietcom/e91-b.6.1682
  
  01-06-2008
• Fabrication of electromagnetic crystals by extrusion freeforming
  Lu X Lee Y Yang S Hao Y Ubic R Evans JRG Parini CG
  Metamaterials, Elsevier vol. 2 (1), 36-44.  
  DOI 10.1016/j.metmat.2007.12.001
  
  01-05-2008
• Transmission of images with subwavelength resolution to distances of several wavelengths in the microwave range
  Belov PA Zhao Y Tse S Ikonen P Silveirinha MG Simovski CR Tretyakov S Hao Y et al.
  Phys Rev B vol. 77 (19) 
  DOI 10.1103/PhysRevB.77.193108
  
  01-05-2008
• Full-wave finite-difference time-domain simulation of electromagnetic cloaking structures.
  Zhao Y Argyropoulos C Hao Y
  Optics Express, Optical Society of America: Open Access Journals vol. 16 (9), 6717-6730.  
  DOI 10.1364/OE.16.006717

  QMRO
  
  25-04-2008
• AN EXPERIMENTAL MILLIMETRE WAVE IMAGING SYSTEM
  Zhang L Hao Y Parini CG Dupuy J
  2008 Loughborough Antennas and Propagation Conference., 229-232.  
  DOI 10.1109/lapc.2008.4516908
  
  01-03-2008
• Analysis of on-body propagation channel using a hybrid technique combining the equivalence principle and FDTD
  Sani A Zhao Y Hao Y
  2008 International Workshop on Antenna Technology: Small Antennas and Novel Metamaterials., 502-505.  
  DOI 10.1109/iwat.2008.4511388
  
  01-03-2008
• ANALYSYS OF ON-BODY ANTENNA RADIATION PATTERN USING A NUMERICAL TECHNIQUE BASED ON FDTD AND EQUIVALENCE PRINCIPLE
  Sani A Zhao Y Hao Y
  2008 Loughborough Antennas and Propagation Conference., 153-156.  
  DOI 10.1109/lapc.2008.4516889
  
  01-03-2008
• DISPERSIVE FINITE-DIFFERENCE TIME-DOMAIN SIMULATION OF ELECTROMAGNETIC CLOAKING DEVICES
  Zhao Y Argyropoulos C Hao Y
  2008 Loughborough Antennas and Propagation Conference., 429-432.  
  DOI 10.1109/lapc.2008.4516958
  
  01-03-2008
• Editorial
  Wintner S Gabbay D Daelemans W Kehler A Lappin S Winter Y
  Research on Language and Computation, Springer Nature vol. 6 (1), 1-2.  
  DOI 10.1007/s11168-008-9047-5
  
  01-03-2008
• Millimetrewave Metamaterials with Controlled Defects and Their Applications
  Lee Y Hao Y Parini CG
  2008 International Workshop on Antenna Technology: Small Antennas and Novel Metamaterials., 131-134.  
  DOI 10.1109/iwat.2008.4511307
  
  01-03-2008
• Perturbation Input Impedance Matching Technique for Fabry-Perot High Gain Antenna
  Lee DH Lee Y Hao Y Vardaxoglou Y Park WS
  2008 Loughborough Antennas and Propagation Conference., 301-304.  
  DOI 10.1109/lapc.2008.4516926
  
  01-03-2008
• STABILITY COMPARISON BETWEEN MULTI-RESOLUTION TIME-DOMAIN (MRTD) AND FINITE-DIFFERENCE TIME-DOMAIN (FDTD) TECHNIQUES
  Wang X Hao Y Chu C-H
  2008 Loughborough Antennas and Propagation Conference., 269-272.  
  DOI 10.1109/lapc.2008.4516918
  
  01-03-2008
• Introduction to the special issue on music information retrieval
  Slaney M Ellis DPW Sandler M Goto M Goodwin MM
  IEEE T Audio Speech vol. 16 (2), 253-254.  
  DOI 10.1109/TASL.2007.915221
  
  01-02-2008
• Structural segmentation of musical audio by constrained clustering
  Levy M Sandler M
  IEEE Transactions on Audio, Speech and Language Processing vol. 16 (2), 318-326.  
  DOI 10.1109/TASL.2007.910781
  
  01-02-2008
• 3D interactive environment for music collection navigation
  Stewart R Levy M Sandler M
  Proceedings of the International Conference on Digital Audio Effects Dafx., 13-17.  
  01-01-2008
• A 31.5 GHz Patch Antenna Design for Medical Implants
  Ahmed Y Hao Y Parini C
  International Journal of Antennas and Propagation, Wiley vol. 2008 (1) 
  DOI 10.1155/2008/167980
  
  01-01-2008
• A Benchmarking Suite for Measurement-Based WCET Analysis Tools.
  Bünte S
  ICST Workshops., 353-356.  
  DOI 10.1109/ICSTW.2008.1
  
  01-01-2008
• A framework for producing rich musical metadata in creative music production
  Fazekas G Raimond Y Sandler M
  Proc. of the 125th Convention of the Audio Engineering Society, San Francisco, USA. 
  01-01-2008
• A Model Driven Development Approach for Implementing Reactive Systems in Hardware
  Wang Z Herkersdorf A Tautschnig M
  2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES., 221-+.  
  01-01-2008
• A Model Driven Development Approach for Implementing Reactive Systems in Hardware.
  Wang Z Merenda S Tautschnig M
  FDL., 197-202.  
  DOI 10.1109/FDL.2008.4641445
  
  01-01-2008
• A Web of musical information
  Raimond Y Sandler M
  Ismir 2008 9th International Conference on Music Information Retrieval., 263-268.  
  01-01-2008
• Abductive Inference for Reasoning about Heaps
  Distefano D Ramalingam G
  PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS. vol. 5356, 1-2.  
  DOI 10.1007/978-3-540-89330-1_1
  
  01-01-2008
• An analysis of Godel's 'Dialectica' interpretation via linear logic
  Oliva P
  Dialectica vol. 62 (2), 269-290.  
  DOI 10.1111/j.1746-8361.2008.01135.x
  
  01-01-2008
• Analysis of on-body propagation channel using a hybrid technique combining the equivalence principle and FDTD
  Sani A Zhao Y Hao Y
  2008 IEEE INTERNATIONAL WORKSHOP ON ANTENNA TECHNOLOGY : SMALL ANTENNAS AND NOVEL METAMATERIALS - CONFERENCE PROCEEDINGS., 450-453.  
  01-01-2008
• Automatic generation of systemc models from component-based designs for early design validation and performance analysis.
  Wang Z Haberl W Tautschnig M Avritzer A Weyuker EJ Woodside CM
  WOSP., 139-144.  
  DOI 10.1145/1383559.1383577
  
  01-01-2008
• Characterisation of Ultra Wideband Wearable Antennas and Body-Centric Wireless-Networks in Indoor Environment
  Sani A Alomainy A Hao Y
  EUWIT: 2008 EUROPEAN WIRELESS TECHNOLOGY CONFERENCE., 135-138.  
  01-01-2008
• Cylindrical Woodpile Antenna for Millimeter-wave Short Range Gigabit Communications
  Lee Y Hao Y Parini CG
  APMC: 2008 ASIA PACIFIC MICROWAVE CONFERENCE (APMC 2008), VOLS 1-5., 1655-1657.  
  DOI 10.1109/APMC.2008.4958267
  
  01-01-2008
• Directive Millimetrewave Antennas using Freeformed Ceramic Metamaterials in Planar and Cylindrical Forms
  Lee Y Lu XS Hao Y Yang SF Evans JRG Parini CG
  2008 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-9., 2242-2245.  
  DOI 10.1109/APS.2008.4619479
  
  01-01-2008
• Dispersive Finite-Difference Time-Domain Simulation of Electromagnetic Cloaking Structures
  Zhao Y Argyropoulos C Hao Y
  2008 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-9., 1256-1259.  
  DOI 10.1109/APS.2008.4619232
  
  01-01-2008
• Do you sound like your friends? exploring artist similarity via artist social network relationships and audio signal processing
  Fields B Casey M Jacobson K Sandler M
  International Computer Music Conference Icmc 2008. 
  01-01-2008
• Evaluating parameters of time-varying sinusoids by demodulation
  Xue W Sandler M
  Proceedings of the International Conference on Digital Audio Effects Dafx., 51-54.  
  01-01-2008
• FDTD Modeling of Electromagnetic Cloaks
  Hao Y Cui TJ Smith DR
  PROCEEDINGS OF THE 2008 INTERNATIONAL WORKSHOP ON METAMATERIALS., 12-13.  
  DOI 10.1109/META.2008.4723515
  
  01-01-2008
• Figure-of-merit analysis of resonant particles for construction of practical metamaterials
  Lee Y Hao Y
  IEEE Antenn Wirel Pr vol. 7, 167-170.  
  DOI 10.1109/LAWP.2008.922030
  
  01-01-2008
• FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
  Holzer A Schallhart C Tautschnig M Gupta A Malik S
  CAV. vol. 5123, 209-213.  
  DOI 10.1007/978-3-540-70545-1_20
  
  01-01-2008
• Hybrid functional interpretations
  Hernest MD Oliva P Beckmann A Dimitracopoulos C Lowe B
  LOGIC AND THEORY OF ALGORITHMS. vol. 5028, 251-260.  
  DOI 10.1007/978-3-540-69407-6_29
  
  01-01-2008
• jStar: Towards Practical Verification for Java
  Distefano D Parkinson MJ
  OOPSLA 2008 NASHVILLE, CONFERENCE PROCEEDINGS., 213-226.  
  DOI 10.1145/1449764.1449782
  
  01-01-2008
• Lagrange Multipliers and Maximum Information Leakage in Different Observational Models
  Malacaria P Chen H
  PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY., 135-146.  
  DOI 10.1145/1375696.1375713
  
  01-01-2008
• Learning Latent Semantic Models for Music from Social Tags
  Levy M Sandler M
  J New Music Res vol. 37 (2), 137-150.  
  DOI 10.1080/09298210802479292
  
  01-01-2008
• Magnification of Subwavelength Field Distributions Using a Tapered Array of Wires Operating in the Canalization Regime
  Belov PA Ikonen P Simovski CR Hao Y Tretyakov SA
  2008 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-9., 3287-3290.  
  DOI 10.1109/APS.2008.4619733
  
  01-01-2008
• Millimetrewave metamaterials with controlled defects and their applications
  Lee Y Hao Y Parini CG
  2008 IEEE INTERNATIONAL WORKSHOP ON ANTENNA TECHNOLOGY : SMALL ANTENNAS AND NOVEL METAMATERIALS - CONFERENCE PROCEEDINGS., 127-130.  
  01-01-2008
• Navigating the Requirements Jungle.
  Langer B Tautschnig M Margaria T Steffen B
  ISoLA. vol. 17, 354-368.  
  DOI 10.1007/978-3-540-88479-8_25
  
  01-01-2008
• On Krivine's realizability interpretation of classical second-order arithmetic
  Oliva P Streicher T
  FUNDAMENTA INFORMATICAE. vol. 84 (2), 207-220.  
  DOI 10.3233/fun-2008-84204
  
  01-01-2008
• On the asymptotic Nullstellensatz and Polynomial calculus proof complexity
  Riis S
  TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS., 272-283.  
  DOI 10.1109/LICS.2008.30
  
  01-01-2008
• Ontology based information management in music production
  Fazekas G
  Presented at the Digital Music Research Network Workshop, Dec., London, UK. 
  01-01-2008
• Optimizing Automatic Deployment Using Non-functional Requirement Annotations.
  Kugele S Haberl W Tautschnig M Margaria T Steffen B
  ISoLA. vol. 17, 400-414.  
  DOI 10.1007/978-3-540-88479-8_28
  
  01-01-2008
• Perfect matching layer for Haar wavelet based multi-resolution time-domain technique
  Xiaojing Wang Yang Hao Cho-Ho Chu
  IET 7th International Conference on Computation in Electromagnetics (CEM 2008)., 150-151.  
  DOI 10.1049/cp:20080243
  
  01-01-2008
• Running COLA on embedded systems
  Haberl W Tautschnig M
  IMECS 2008: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II., 922-928.  
  01-01-2008
• Scalable shape analysis for systems code
  Yang H Lee O Berdine J Cook B Distefano D Gupta A Malik S
  COMPUTER AIDED VERIFICATION. vol. 5123, 385-398.  
  DOI 10.1007/978-3-540-70545-1_36
  
  01-01-2008
• Session-Based Distributed Programming in Java
  Hu R Yoshida N Honda K
  Lecture Notes in Computer Science. vol. 5142, 516-541.  
  DOI 10.1007/978-3-540-70592-5_22
  
  01-01-2008
• Textile Antennas for On-Body Communications: Techniques and Properties
  Santas J ALOMAINY AHM Hao Y
  European Conference on Antennas and Propagation (EuCAP 2007) Edinborough, UK 11 Nov 2007 - 16 Nov 2007., 1-4.  
  DOI 10.1049/ic.2007.1064
  
  01-01-2008
• Time Domain Characterisation of Ultra Wideband Wearable Antennas and Radio Propagation for Body-Centric Wireless Networks in Healthcare Applications
  Sani A Alomainy A Santas J Hao Y
  2008 5TH INTERNATIONAL SUMMER SCHOOL AND SYMPOSIUM ON MEDICAL DEVICES AND BIOSENSORS., 81-84.  
  01-01-2008
• Using audio analysis and network structure to identify communities in on-line social networks of artists
  Jacobson K Sandler M Fields B
  Ismir 2008 9th International Conference on Music Information Retrieval., 269-274.  
  01-01-2008
• Welcome message
  2008 Loughborough Antennas and Propagation Conference., i-i.  
  DOI 10.1109/lapc.2008.4516843
  
  01-01-2008