Publications
- Body-centric wireless communications at 94GHz
Pellegrini A Brizzi A Zhang L Hao Y
IEEE Antennas and Propagation Society Ap S International Symposium Digest, 219-222.
01-12-2012 - Drumkit transcription via convolutive NMF
Lindsay-Smith H McDonald S Sandler M
15th International Conference on Digital Audio Effects, DAFx 2012 Proceedings.
01-12-2012 - Isotropic and nondispersive planar fed Luneburg lens from Hamiltonian transformation optics.
Quevedo-Teruel O Tang W Hao Y
Opt Lett vol. 37 (23), 4850-4852.
01-12-2012 - Recent advances in practical metamaterial engineering
Rajab KZ Munoz M Fan Y Bao D Hao Y
Proceedings Imaps Acers 8th International Conference and Exhibition on Ceramic Interconnect and Ceramic Microsystems Technologies Cicmt 2012., 113-116.
01-12-2012 - Cross-lingual document similarity
Muhic A Rupnik J Skraba P
Proceedings of the International Conference on Information Technology Interfaces Iti., 387-392.
05-11-2012 - Computing well diagrams for vector fields on Rn
Chazal F Skraba P Patel A
Applied Mathematics Letters, Elsevier vol. 25 (11), 1725-1728.
01-11-2012 - Parameterised Multiparty Session Types
Denielou P-M Yoshida N Bejleri A Hu R
Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 8, Issue 4
11-10-2012 - On the use of surface plasmons for the design of WB leaky ave antennas
Quevedo-Teruel O Hao Y
2012 IEEE-APS Topical Conference on Antennas and Propagation in Wireless Communications (APWC)., 494-497.
05-10-2012 - The thermodynamics of confidentiality
Malacaria P Smeraldi F
Proceedings of The Computer Security Foundations Workshop, 280-290.
05-10-2012 - Runtime Verification Based on Register Automata
Grigore R Distefano D Tzevelekos N
24-09-2012 - History-Register Automata
Grigore R Tzevelekos N
March vol. 29
04-09-2012 - Recent Advances in Practical Metamaterial Engineering
Rajab KZ Munoz M Fan Y Bao D Hao Y
Additional Conferences (Device Packaging Hitec Hiten & Cicmt), Imaps - International Microelectronics Assembly and Packaging Society vol. 2012 (CICMT), 000113-000116.
01-09-2012 - Preliminary Estimate for Observability of 60 GHz Wireless Body Area Networks
Wu XY Nechayev YI Constantinou CC Hall PS Brizzi A Pellegrini A Hao Y Parini CG
, Institute of Electrical and Electronics Engineers (IEEE), 110-111.
01-08-2012 - Software Verification for Weak Memory via Program Transformation
Alglave J Kroening D Nimal V
30-07-2012 - Design of a Carpet Cloak to Conceal an Antenna Located Underneath
Tang W Hao Y Mittra R
IEEE Transactions on Antennas and Propagation, Institute of Electrical and Electronics Engineers (IEEE) vol. 60 (9), 4444-4449.
03-07-2012 - A Numerical Assesment of the Effect of MRI Surface Coils on Implanted Pacemakers
Fontana N Monorchio A Torrico MOM Hao Y
Proceedings of the 2012 IEEE International Symposium on Antennas and Propagation. vol. 1, 1-2.
01-07-2012 - Analysis of On-Body Propagation at W Band by Using Ray Tracing Model and Measurements
Usai P Monorchio A Brizzi A Pellegrini A Zhang L Hao Y
, Institute of Electrical and Electronics Engineers (IEEE), 1-2.
01-07-2012 - Computing Nash Equilibria of Unbounded Games
Escardo M Oliva P
EPiC series in computing. vol. 10, 53-39.
22-06-2012 - Physiological Features from an On-Body Radio Propagation Channel
Munoz MO Foster R Hao Y
, Institute of Electrical and Electronics Engineers (IEEE) vol. 1, 52-57.
01-05-2012 - Woodpile EBG-based Antennas for Body Area Networks at 60GHz
Brizzi A Pellegrini A Zhang L Hao Y
, Institute of Electrical and Electronics Engineers (IEEE), 1-4.
01-05-2012 - An accurate control of the surface wave using transformation optics.
Yang R Hao Y
Opt Express vol. 20 (9), 9341-9350.
23-04-2012 - Internal Hexa-Band Folded Monopole/Dipole/Loop Antenna with Four Resonances for Mobile Device
Zheng M Wang H Hao Y
IEEE Transactions on Antennas and Propagation, Institute of Electrical and Electronics Engineers (IEEE) vol. 60 (6), 2880-2885.
16-04-2012 - Ultra Wideband Off-Body Radio Channel Characterisation and Modelling for Healthcare Applications
Khan MM Abbasi QH Alomainy A Hao Y Parini C
Wireless Telecommunications Symposium 2012., 1-5.
01-04-2012 - Design of a Cylindrical Resonant Cavity Antenna for BAN Applications at V Band
Brizzi A Pellegrini A Hao Y
, Institute of Electrical and Electronics Engineers (IEEE), 152-155.
01-03-2012 - Electrically Small Half-Loop Antenna Design with Non-Foster Matching Networks
Fan Y Raiab KZ Munoz M Hao Y
2012 6th European Conference on Antennas and Propagation (EUCAP)., 126-129.
01-03-2012 - Experimental Demonstration of Carpet Cloak Realized with BaTiO3-loaded Polyurethane Foam
Bao D Rajab KZ Tang W Hao Y
2012 6th European Conference on Antennas and Propagation (EUCAP). vol. 1, 1716-1719.
01-03-2012 - Flat Collimating Lenses Based on Quasi-conformal Transformation Electromagnetics
Wu Q Turpin JP Werner DH Werner PL Tang W Hao Y
2012 6th European Conference on Antennas and Propagation (EUCAP). vol. 1, 1696-1700.
01-03-2012 - Microwave Modeling of Single Multi-Wall Carbon Nanotubes
Katsounaros A Zhang J Hao Y
2012 6th European Conference on Antennas and Propagation (EUCAP). vol. 1, 2673-2676.
01-03-2012 - Numerical and Experimental Analysis of the On-Body Propagation Channel At W Band
Pellegrini A Brizzi A Zhang L Hao Y
, Institute of Electrical and Electronics Engineers (IEEE) vol. 1, 750-754.
01-03-2012 - Ultra Wideband Antenna Diversity Techniques for On/Off-Body Radio Channel Characterisation
Abbasi QH Alomainy A Hao Y
2012 IEEE International Workshop on Antenna Technology (iWAT). vol. 1, 209-212.
01-03-2012 - A System-Level Semantics
Ghica DR
21-01-2012 - A FDTD Solution to the Maxwell-Schrodinger Coupled Model at the Microwave Range
Turati P Hao Y
2012 INTERNATIONAL CONFERENCE ON ELECTROMAGNETICS IN ADVANCED APPLICATIONS (ICEAA)., 363-366.
01-01-2012 - A Proof-theoretic Analysis of the Classical Propositional Matrix Method
ROBINSON EP Pym DJ Ritter E Avron A
Journal of Logic and Computation
01-01-2012 - A System-Level Game Semantics.
Ghica DR Tzevelekos N Berger U Mislove MW
Mfps, Elsevier vol. 286, 191-211.
01-01-2012 - A Voyage to the Deep-Heap
Distefano D
19th International Symposium, SAS 2012 Deauville, France 11 Sep 2012 - 12 Sep 2012., 3-3.
01-01-2012 - Algorithmic Games for Full Ground References.
Murawski AS Tzevelekos N Czumaj A Mehlhorn K Pitts AM Wattenhofer R
Icalp (2), Springer vol. 7392, 312-324.
01-01-2012 - An Offline, Automatic Mixing Method for Live Music, Incorporating Multiple Sources, Loudspeakers, and Room Effects
Terrell M Sandler M
Computer Music Journal vol. 36 (2), 37-54.
01-01-2012 - An offline, automatic mixing method for live music, incorporating multiple sources, loudspeakers, and room effects
Terrell M Sandler M
Computer Music Journal vol. 36 (2), 37-54.
01-01-2012 - Antennas and Propagation for Body-Centric Wireless Communications: Current Status, Applications and Future Trend
Hao Y Brizzi A Foster R Munoz M Pellegrini A Yilmaz T
2012 IEEE INTERNATIONAL WORKSHOP ON ELECTROMAGNETICS: APPLICATIONS AND STUDENT INNOVATION COMPETITION (IWEM).
01-01-2012 - Characterization of active metamaterials based on negative impedance converters
Rajab KZ Fan YF Hao Y
Journal of Optics vol. 14 (11)
01-01-2012 - Counterexample-guided abstraction refinement for symmetric concurrent programs.
Donaldson AF Kaiser A Kroening D
Formal Methods Syst. Des. vol. 41, 25-44.
01-01-2012 - Drumkit transcription via convolutive NMF
Lindsay-Smith H McDonald S Sandler M
15th International Conference on Digital Audio Effects, DAFx 2012 Proceedings.
01-01-2012 - Euler integration of gaussian random fields and persistent homology
Bobrowski O
Journal of Topology and Analysis vol. 4, 49-70.
01-01-2012 - Evaluation of the Music Ontology Framework
Raimond Y Sandler M
Lecture Notes in Computer Science. vol. 7295, 255-269.
01-01-2012 - Frequency dependence and passive drains in fish-eye lenses
Quevedo-Teruel O Mitchell-Thomas RC Hao Y
Physical Review A vol. 86 (5)
01-01-2012 - High level semantic metadata for the control of multitrack adaptive audio effects
Wilmering T Fazekas G Sandler M
Proc. of the 133rd Convention of the Audio Engineering Society, San Francisco, CA, USA.
01-01-2012 - Investigation of the Effect of Fabric in On-Body Communication Using Finite Difference Time Domain Technique At 60GHz
Ali K Brizzi A Pellegrini A Hao Y Alomainy A
2012 LOUGHBOROUGH ANTENNAS & PROPAGATION CONFERENCE (LAPC).
01-01-2012 - Knowledge Representation Issues in Audio-Related Metadata Model Design
Fazekas G Sandler M
Proc. of the 133rd Convention of the Audio Engineering Society, San Francisco, CA, USA.
01-01-2012 - Leaky Wave Antennas Based on Spoof Surface Plasmons Transmission Waveguides
Quevedo-Teruel O Hao Y
2012 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM (APSURSI).
01-01-2012 - Listening level changes music similarity
Terrell MJ Fazekas G Simpson AJR Smith JBL Dixon S
Proceedings of the International Society for Music Information Retrieval Conference., 487-92.
01-01-2012 - Making magic: applying artificial intelligence methods to design a psychophysically compelling illusion
Williams H McOwan P
Perception vol. 41 (12), 1526-1526.
01-01-2012 - Microwave Characterization of a Single Multi-Wall Carbon Nanotube
Katsounaros A Zhang J Hao Y
2012 INTERNATIONAL CONFERENCE ON ELECTROMAGNETICS IN ADVANCED APPLICATIONS (ICEAA)., 591-594.
01-01-2012 - Millimetre-wave-imaging system at 95 GHz - quantitative performance evaluation
Zhang L Parini CG Hao Y
Iet Microwaves Antennas & Propagation vol. 6 (8), 869-879.
01-01-2012 - Multidisciplinary Perspectives on Music Emotion Recognition: Implications for Content and Context-Based Models
Barthet M Fazekas G
Proc. of the 9th International Symposium on Computer Music Modelling and Retrieval (CMMR’12) 19-22 June, London, UK.
01-01-2012 - Numeric Bounds Analysis with Conflict-Driven Learning.
D'Silva VV Haller L Kroening D Flanagan C König B
TACAS. vol. 7214, 48-63.
01-01-2012 - On bounded functional interpretations
Ferreira G Oliva P
Annals of Pure and Applied Logic vol. 163 (8), 1030-1049.
01-01-2012 - On Spector's bar recursion
Oliva P Powell T
Mathematical Logic Quarterly vol. 58 (4-5)
01-01-2012 - On-Body Channel Measurement Using Wireless Sensors
Munoz MO Foster R Hao Y
IEEE Transactions on Antennas and Propagation vol. 60 (7), 3397-3406.
01-01-2012 - Patch Resonator for Non-invasive Detection of Dielectric Property Changes in Biological Tissues
Yilmaz T Foster R Hao Y
2012 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM (APSURSI).
01-01-2012 - Performance of Ultrawideband Wireless Tags for On-Body Radio Channel Characterisation
Khan MM Abbasi QH Alomainy A Hao Y
International Journal of Antennas and Propagation vol. 2012
01-01-2012 - Program equivalence in a simple language with state.
Tzevelekos N
Comput. Lang. Syst. Struct. vol. 38, 181-198.
01-01-2012 - Proving Reachability Using FShell - (Competition Contribution).
Holzer A Kroening D Schallhart C Tautschnig M Flanagan C König B
TACAS. vol. 7214, 538-541.
01-01-2012 - Quantitative Security Analysis (Dagstuhl Seminar 12481).
Köpf B Malacaria P Palamidessi C
Dagstuhl Reports vol. 2, 135-154.
01-01-2012 - Runtime Verification Based on Register Automata
Distefano D Grigore R Petersen RL
Corr vol. abs/1209.5325
01-01-2012 - satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).
Basler G Donaldson AF Kaiser A Kroening D Tautschnig M Flanagan C König B
TACAS. vol. 7214, 552-555.
01-01-2012 - Second Order Statistics of Ultra Wideband On-Body Radio Channels
Abbasi QH Khan MM Alomainy A Hao Y Parini C
2012 WIRELESS TELECOMMUNICATIONS SYMPOSIUM.
01-01-2012 - Shared Open Vocabularies and Semantic Media
Fazekas G Ewert S Dixon S Sandler M
Proc. of the 13th International Society for Music Information Retrieval Conference (ISMIR’12), late-breaking workshop, 8-12 October, Porto, Portugal.
01-01-2012 - Social Media Retrieval for Music Education
Barthet M Fazekas G Dixon S Sandler M
In Digital Futures 2012: The Third Annual Digital Economy All Hands Conference, 23-25 October, Aberdeedn, UK.
01-01-2012 - Spatial Auditory Display
Stewart R Sandler M
Journal of The Audio Engineering Society vol. 60 (11), 936-946.
01-01-2012 - Structural Segmentation of Multitrack Audio
Sandler M Hargreaves S Klapuri A
IEEE Transactions on Audio, Speech and Language Processing vol. 20 (10), 2637-2647.
01-01-2012 - Symbolic quantitative information flow.
Phan Q-S Malacaria P Tkachuk O Pasareanu CS
Acm Sigsoft Softw. Eng. Notes vol. 37, 1-5.
01-01-2012 - Technology Trends in Auto Engineering A report by the AES Technical Council
Rumsey F Schulein B Herre J Kelly M Ackerman D Lacinak C Kelly M Martz S et al.
Journal of The Audio Engineering Society vol. 60 (1-2), 90-107.
01-01-2012 - Terahertz time-domain spectroscopy characterisation of vertically aligned carbon nanotube films
Katsounaros A Mann M Naftaly M Rajab K HAO Y Milne WI
Carbon, Elsevier Ltd vol. 50 (3), 939-942.
01-01-2012 - The Peirce translation
Escardo M Oliva P
Annals of Pure and Applied Logic vol. 163 (6), 681-692.
01-01-2012 - The Thermodynamics of Confidentiality
MALACARIA P SMERALDI F Cortier V Zdancewic S
25th IEEE Computer Security Foundations Symposium Harvard, MA, USA 25 Jun 2012 - 27 Jun 2012., 280-290.
01-01-2012 - Ultra Wideband Off-Body Radio Channel Characterisation for Different Environments
Abbasi QH Khan MM Liaqat S Alomainy A Hao Y
2012 7TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (ICECE).
01-01-2012 - Verification of Snapshot Isolation in Transactional Memory Java Programs
Dias RJ Seco JAC
ECOOP., 640-664-640-664.
01-01-2012