Publications
- Approximating Local Homology from Samples
Skraba P Wang B
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms., 174-192.
18-12-2013 - Formal co-validation of low-level hardware/software interfaces
Horn A Tautschnig M Val C Liang L Melham T
2013 Formal Methods in Computer-Aided Design., 121-128.
06-12-2013 - Accurate modeling of high order spatial dispersion of wire medium
Song W Yang Z Sheng XQ Hao Y
Optics Express vol. 21 (24), 29836-29846.
02-12-2013 - A general technique for THz modeling of vertically aligned CNT arrays
Zhang J Hao Y
Isap 2013 Proceedings of the 2013 International Symposium on Antennas and Propagation. vol. 1, 281-283.
01-12-2013 - Impact of grid resolution in FDTD for effective wire medium with strong spatial dispersion
Yang Z Song W Sheng XQ Hao Y
Journal of Beijing Institute of Technology English Edition vol. 22 (SUPPL.1), 30-34.
01-12-2013 - Noise power in active broadband metamaterials
Fan Y Rajab KZ Hao Y
IEEE Antennas and Propagation Society Ap S International Symposium Digest, 1178-1179.
01-12-2013 - Novel technique of signal propagation analysis for arbitrary MWCNT bundles
Zhang J Hao Y
IEEE Antennas and Propagation Society Ap S International Symposium Digest, 1596-1597.
01-12-2013 - Numerical Analysis of the Communication Channel Path Loss at the THz Band inside the Fat Tissue
Yang K Pellegrini A Brizzi A Alomainy A Hao Y
2013 IEEE MTT-S International Microwave Workshop Series on RF and Wireless Technologies for Biomedical and Healthcare Applications (IMWS-BIO)., 1-3.
01-12-2013 - Perfect surface wave cloaks.
Mitchell-Thomas RC McManus TM Quevedo-Teruel O Horsley SAR Hao Y
Phys Rev Lett vol. 111 (21)
22-11-2013 - Practical interruptible conversations: Distributed dynamic verification with session types and Python
Hu R Neykova R Yoshida N Demangeon R Honda K
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 8174 LNCS, 130-148.
18-11-2013 - Antennas and propagation for body-centric wireless communications at millimeter-wave frequencies: A review
Pellegrini A Brizzi A Zhang L Ali K Hao Y Wu X Constantinou CC Nechayev Y et al.
IEEE Antennas and Propagation Magazine vol. 55 (4), 262-287.
15-11-2013 - SideAuto: Quantitative information flow for side-channel leakage in web applications
Huang X Malacaria P
Proceedings of The Acm Conference on Computer and Communications Security, 285-290.
04-11-2013 - Persistence-Based Clustering in Riemannian Manifolds
Chazal F Guibas LJ Oudot SY Skraba P
Journal of The Acm, Association For Computing Machinery (Acm) vol. 60 (6), 1-38.
01-11-2013 - Segmenting music through the joint estimation of keys, chords and structural boundaries
Pauwels J Peeters G
Proceedings of the 21st ACM international conference on Multimedia., 741-744.
21-10-2013 - An HTML5 Interactive (MPEG-A IM AF) Music Player
Herrero G Kudumakis P Tardon LJ Barbancho I Sandler M
10th International Symposium on Computer Music Multidisciplinary Research (CMMR'13) Marseille, France., 562-569.
01-10-2013 - Automatic extraction of retinal features from colour retinal images for glaucoma diagnosis: A review
Haleem MS Han L van Hemert J Li B
Computerized Medical Imaging and Graphics, Elsevier vol. 37 (7-8), 581-596.
27-09-2013 - A perceptual audio mixing device
Terrell MJ Simpson AJR Sandler MT
134th Audio Engineering Society Convention 2013., 408-416.
09-09-2013 - Excitation of antennas by using surface plasmon technology
Quevedo-Teruel O Hao Y
2013 International Symposium on Electromagnetic Theory Emts 2013 Proceedings., 330-332.
04-09-2013 - Recent Advances in Practical Metamaterial Engineering
Rajab KZ Fan Y Hao Y
Additional Conferences (Device Packaging Hitec Hiten & Cicmt), Imaps - International Microelectronics Assembly and Packaging Society vol. 2013 (CICMT), 000094-000098.
01-09-2013 - Herding Cats - Modelling, simulation, testing, and data-mining for weak
memory
Alglave J Maranget L
30-08-2013 - Asymmetric flat reflector from transformation optics
McManus T Yang R Quevedo-Teruel O Hao Y
2013 7th European Conference on Antennas and Propagation Eucap 2013., 1836-1839.
14-08-2013 - Full wave and ray-Based analysis of a body-centric scenario at v band
Ali K Pellegrini A Brizzi A Hao Y
2013 7th European Conference on Antennas and Propagation Eucap 2013, 780-783.
14-08-2013 - Interactive Segmentation by Image Foresting Transform on Superpixel Graphs
Rauber PE Falcão AX Spina TV de Rezende PJ
2013 XXVI Conference on Graphics, Patterns and Images., 131-138.
01-08-2013 - Experimental Characterization of the Propagation on the Human Torso at W Band
Brizzi A Pellegrini A Hao Y
, Institute of Electrical and Electronics Engineers (IEEE), 39-39.
01-07-2013 - Hybridizing CBFM and Ray Tracing for On-body Propagation
De Gregorio M Usai P Tiberi G Monorchio A Brizzi A Pellegrini A Hao Y
, Institute of Electrical and Electronics Engineers (IEEE), 1660-1661.
01-07-2013 - In-vivo Characterisation and Numerical Analysis of the THz Radio Channel for Nanoscale Body-Centric Wireless Networks
Yang K Alomainy A Hao Y
2013 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium)., 218-219.
01-07-2013 - Transformation Optics and its Application to the Design of Broadband Antennas: Experimental Demonstration
Quevedo-Teruel O Hao Y
2013 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium).
01-07-2013 - Visualizing Robustness of Critical Points for 2D Time‐Varying Vector Fields
Wang B Rosen P Skraba P Bhatia H Pascucci V
Computer Graphics Forum, Wiley vol. 32 (3pt2), 221-230.
01-06-2013 - On the Structure and Complexity of Rational Sets of Regular Languages
Holzer A Schallhart C Tautschnig M
26-05-2013 - Transformation optics for antennas: why limit the bandwidth with metamaterials?
Quevedo-Teruel O Tang W Mitchell-Thomas RC Dyke A Dyke H Zhang L Haq S Hao Y
Sci Rep, Nature Publications vol. 3, 1903-1903.
07-05-2013 - Corrections to “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. 61 (5), 2884-2884.
01-05-2013 - EVALUATING AUTOMATICALLY ESTIMATED CHORD SEQUENCES
Pauwels J Peeters G
2013 IEEE International Conference on Acoustics, Speech and Signal Processing., 749-753.
01-05-2013 - Thermodynamic Aspects of Confidentiality
MALACARIA P SMERALDI F
Information and Computation vol. 226, 76-93.
01-05-2013 - Universal K-matrix distribution in beta=2 Ensembles of Random Matrices
Fyodorov YV Khoruzhenko BA Nock A
J. Phys. a: Math. Theor., Iop Publishing vol. 46 (26), 26001-26011.
16-04-2013 - Experimental Investigation of the Effect of Clothes on the Propagation of Millimeter Waves over the Human Trunk
Brizzi A Hao Y
, Institute of Electrical and Electronics Engineers (IEEE), 1-4.
01-04-2013 - Directive radiation from a diffuse Luneburg lens.
Quevedo-Teruel O Hao Y
Opt Lett vol. 38 (4), 392-394.
15-02-2013 - Partial Orders for Efficient BMC of Concurrent Software
Alglave J Kroening D Tautschnig M
08-01-2013 - A Comparative Study of Directive Antennas from Two Different Approaches
Quevedo-Teruel O Hao Y
PROCEEDINGS OF 2013 URSI INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC THEORY (EMTS)., 1088-1090.
01-01-2013 - A Shared Vocabulary for Audio Features
Allik A Fazekas G Dixon S Sandler M
SEMANTIC WEB: ESWC 2013 SATELLITE EVENTS. vol. 7955, 285-286.
01-01-2013 - A Study of Cultural Dependence of Perceived Mood in Greek Music
Kosta K Song Y Fazekas G Sandler M
Proc. of the 14th International Society for Music Information Retrieval Conference, ISMIR’13, November 4-8, Curitiba, Brazil., 317-322.
01-01-2013 - An advanced UWB channel model for body-centric wireless networks
Di Bari R Abbasi QH ALOMAINY AHM Hao Y
Progress in Electromagnetics Research (Pier), 79-99.
01-01-2013 - Audio Effect Classification Based on Auditory Perceptual Attributes
Wilmering T Fazekas G Sandler M
Proc. of the 135th Convention of the Audio Engineering Society, New York, NY, USA..
01-01-2013 - Automatic Extraction of the Optic Disc Boundary for Detecting Retinal Diseases
Haleem MS Han L Li B Nisbet A Hemert JV Verhoek M
Computer Graphics and Imaging / 798: Signal Processing, Pattern Recognition and Applications.
01-01-2013 - Automatic Ontology Generation for Musical Instruments Based on Audio Analysis
Kolozali S Barthet M Fazekas G Sandler M
IEEE Transactions on Audio Speech and Language Processing vol. 21 (10), 1-14.
01-01-2013 - Combining harmony-based and novelty-based approaches for structural segmentation
Pauwels J Kaiser F Peeters G
14th Conference of the International Society for Music Information Retrieval (ISMIR)., 138-143.
01-01-2013 - Complexity in Language Acquisition
Clark A Lappin S
Topics in Cognitive Science, Wiley vol. 5 (1), 89-110.
01-01-2013 - Content-based Emotion Categorisation Analysis of Chinese Cultural Revolution Songs
Tian M Black DAA Kranenburg PV Anagnostopoulou C Volk A
Proc. of the 3rd International Workshop on Folk Music Analysis (FMA’13), 6-7 June, Amsterdam, Netherlands.
01-01-2013 - Cooperative and Low-Power Wireless Sensor Network for Efficient Body-Centric Communications in Healthcare Applications
Di Bari R Alomainy A Hao Y
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. vol. 61, 351-360.
01-01-2013 - Deconstructing General References via Game Semantics.
Murawski AS Pfenning F
FoSSaCS. vol. 7794, 241-256.
01-01-2013 - DEMO PAPER: THE BBC DESKTOP JUKEBOX MUSIC RECOMMENDATION SYSTEM: A LARGE SCALE TRIAL WITH PROFESSIONAL USERS
Fazekas G Barthet M Sandler MB
ELECTRONIC PROCEEDINGS OF THE 2013 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO WORKSHOPS (ICMEW).
01-01-2013 - DESCRIBING AUDIO PRODUCTION WORKFLOWS ON THE SEMANTIC WEB
Fazekas G Sandler MB
2013 14TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES (WIAMIS).
01-01-2013 - Design and evaluation of semantic mood models for music recommendation
Barthet M Marston D Baume C Fazekas G Sandler M
Proceedings of the 14th International Society for Music Information Retrieval Conference Ismir 2013., 421-426.
01-01-2013 - Design and Evaluation of Semantic Mood Models for Music Recommendation Using Editorial Tags
Barthet M Marston D Baume C
Proc. of the 14th International Society for Music Information Retrieval Conference, ISMIR’13, November 4-8, Curitiba, Brazil., 421-426.
01-01-2013 - Detecting Data Races on OpenCL Kernels with Symbolic Execution.
Distefano D Dubreil J
Corr vol. abs/1308.3203
01-01-2013 - EFFICIENT DATA ADAPTION FOR MUSICAL SOURCE SEPARATION METHODS BASED ON PARAMETRIC MODELS
Ewert S Mueller M Sandler M
2013 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP)., 46-50.
01-01-2013 - Evaluation of the Mood Conductor Interactive System Based on Audience and Performers’ Perspectives
Lou T Barthet M
Proc. of the 10th International Symposium on Computer Music Multidisciplinary Research (CMMR’13), 15-18 October, Marseille, France..
01-01-2013 - Excitation of Antennas by Using Surface Plasmon TechnologyExcitation of Antennas by Using Surface Plasmon Technology
Quevedo-Teruel O Hao Y
PROCEEDINGS OF 2013 URSI INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC THEORY (EMTS)., 330-332.
01-01-2013 - Experimental characterisation of ultra-wideband off-body radio channels considering antenna effects
Khan MM Abbasi QH Alomainy A Hao Y Parini C
Iet Microwaves Antennas & Propagation vol. 7 (5), 370-380.
01-01-2013 - Facilitating Music Information Research with Shared Open Vocabularies
Allik A Fazekas G Dixon S Sandler M
SEMANTIC WEB: ESWC 2013 SATELLITE EVENTS. vol. 7955, 178-183.
01-01-2013 - Fast Additive Sinusoidal Synthesis With a Subband Sinusoidal Method
Wen X Sandler M
IEEE Signal Processing Letters vol. 20 (5), 467-470.
01-01-2013 - Full abstraction for Reduced ML.
Murawski AS Tzevelekos N
Ann. Pure Appl. Log. vol. 164, 1118-1143.
01-01-2013 - Herding Cats.
Alglave J Maranget L
Corr vol. abs/1308.6810
01-01-2013 - History-Register Automata.
Tzevelekos N Grigore R Pfenning F
FoSSaCS. vol. 7794, 17-33.
01-01-2013 - Identifying Physiological Features from the Radio Propagation Signal of Low-Power Wireless Sensors
Munoz Torrico M Foster R Hao Y
Lecture Notes of The Institute For Computer Sciences, Social Informatics and Telecommunications Engineering, Springer Nature vol. 61, 341-350.
01-01-2013 - Information Reuse for Multi-goal Reachability Analyses.
Beyer D Holzer A Tautschnig M Felleisen M Gardner P
ESOP. vol. 7792, 472-491.
01-01-2013 - Mood Conductor: Emotion-Driven Interactive Music Performance
Fazekas G Barthet M Sandler MB
2013 HUMAINE ASSOCIATION CONFERENCE ON AFFECTIVE COMPUTING AND INTELLIGENT INTERACTION (ACII)., 726-726.
01-01-2013 - MPEG-M: A digital media ecosystem for interoperable applications
Kudumakis P Sandler M Anadiotis A-CG Venieris IS Difino A Wang X Tropea G Grafl M et al.
Signal Processing: Image Communication
01-01-2013 - Multiple unicasts, graph guessing games, and non-Shannon inequalities
RIIS SM Barber R Christofides D Dang A N
2013 International Symposium on Network Coding (NetCod) Calgary 7 Jun 2013 - 9 Jun 2013., 1-6.
01-01-2013 - Near-field characterization of chemical vapor deposition graphene in the microwave regime
Katsounaros A Cole MT Tuncer HM Milne WI Hao Y
Applied Physics Letters vol. 102 (23)
01-01-2013 - Noise analysis of broadband active metamaterials with non-Foster loads
Fan Y Rajab KZ Hao Y
Journal of Applied Physics vol. 113 (23)
01-01-2013 - Noise figure of broadband active metamaterials
Fan Y Rajab KZ Hao Y
PROCEEDINGS OF 2013 URSI INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC THEORY (EMTS)., 597-599.
01-01-2013 - Numerical investigation on a body-centric scenario at W band
Ali K Brizzi A Pellegrini A Hao Y
Isap 2013 Proceedings of The 2013 International Symposium on Antennas and Propagation vol. 1, 614-616.
01-01-2013 - On the Discretisation Effect of Electromagnetically Transformed Dielectric Lenses
Quevedo-Teruel O Tang W Haq S Hao Y
2013 7TH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION (EUCAP)., 753-+.
01-01-2013 - On the Structure and Complexity of Rational Sets of Regular Languages.
Holzer A Tautschnig M Seth A Vishnoi NK
FSTTCS. vol. 24, 377-388.
01-01-2013 - Partial Orders for Efficient Bounded Model Checking of Concurrent Software.
Alglave J Kroening D Sharygina N Veith H
CAV. vol. 8044, 141-157.
01-01-2013 - Path loss characterization in a body-centric scenario at 94 GHz
Pellegrini A Brizzi A Zhang L Ali K Hao Y
Ieice Transactions on Communications vol. E96-B (10), 2448-2454.
01-01-2013 - Path Loss Characterization in a Body-Centric Scenario at 94 GHz
Pellegrini A Brizzi A Zhang L Ali K Hao Y
IEICE TRANSACTIONS ON COMMUNICATIONS. vol. E96B (10), 2448-2454.
01-01-2013 - Payoffs, Intensionality and Abstraction in Games.
Hankin C Malacaria P Coecke B Ong L Panangaden P
Computation, Logic, Games, and Quantum Foundations. vol. 7860, 69-82.
01-01-2013 - PINCETTE - Validating Changes and Upgrades in Networked Software.
Chockler H Denaro G Ling M Fedyukovich G Hyvärinen AEJ Mariani L Muhammad A Oriol M et al.
CSMR., 461-464.
01-01-2013 - Quantifying Information Leakage of Randomized Protocols
Biondi F Legay A MALACARIA P Wasowski A Giacobazzi R Berdine J Mastroeni I
14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) Rome 20 Jan 2013 - 22 Jan 2013. vol. 7737, 68-87.
01-01-2013 - Quantitative Study of Two Experimental Demonstrations of a Carpet Cloak
Bao D Mitchell-Thomas RC Rajab KZ Hao Y
IEEE Antennas and Wireless Propagation Letters vol. 12, 206-209.
01-01-2013 - Recent advances in practical metamaterial engineering
Rajab KZ Fan Y Hao Y
9th Imaps Acers International Conference and Exhibition on Ceramic Interconnect and Ceramic Microsystems Technologies Cicmt 2013., 94-98.
01-01-2013 - Semantic Metadata for Music Production Projects
Wilmering T Fazekas G Sandler M
Proc. of the 12th International Semantic Web Conference (ISWC), first International Workshop on Semantic Music and Media (SMAM2013)., 21-25.
01-01-2013 - Semantic models of musical mood: Comparison between crowd-sourced and curated editorial tags
Saari P Barthet M Fazekas G Eerola T Sandler M
Proc. of the IEEE International Conference on Multimedia & Expo (ICME2013) International Workshop on Affective Analysis in Multimedia (AAM), 15-19 July 2013, San Jose, CA, USA.
01-01-2013 - Software Verification for Weak Memory via Program Transformation.
Alglave J Kroening D Nimal V Felleisen M Gardner P
Proceedings of 22nd European Symposium on Programming. vol. 7792, 512-532.
01-01-2013 - SPY: Local Verification of Global Protocols
Neykova R Yoshida N Hu R
Lecture Notes in Computer Science. vol. 8174, 358-363.
01-01-2013 - Statistical Path-Loss Model for On-Body Communications at 94 GHz
Brizzi A Pellegrini A Zhang L Hao Y
IEEE Transactions on Antennas and Propagation vol. 61 (11), 5744-5753.
01-01-2013 - Statistical Representation of Grammaticality Judgements: The Limits of N-Gram Models
Clark A Giorgolo G Lappin S
Cmcl 2013 Cognitive Modeling and Computational Linguistics Proceedings of the Workshop., 28-36.
01-01-2013 - Surface Conductivity evaluation of CVD graphene up to 2.5 THz
Katsounaros A Hao Y
2013 EUROPEAN MICROWAVE CONFERENCE (EUMC)., 373-376.
01-01-2013 - Surface wave Maxwell fish eye lens
Mitchell-Thomas RC Quevedo-Teruel O Yang R Hao Y
PROCEEDINGS OF 2013 URSI INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC THEORY (EMTS)., 876-878.
01-01-2013 - Syncopation and the score.
Song C Simpson AJR Harte CA Pearce MT Sandler MB
Plos One vol. 8 (9)
01-01-2013 - The Audio Effects Ontology
Wilmering T Fazekas G Sandler M
Proc. of the 14th International Society for Music Information Retrieval Conference, ISMIR’13, November 4-8, Curitiba, Brazil.
01-01-2013 - The Mood Conductor System: Audience and Performer Interaction using Mobile Technology and Emotion Cues
Fazekas G Barthet M Sandler M
Proc. of the 10th International Symposium on Computer Music Multidisciplinary Research (CMMR’13), 15-18 October, Marseille, France..
01-01-2013 - The Role of Audio and Tags in Music Mood Prediction: a Study Using Semantic Layer Projection
Saari P Eerola T Fazekas G Barthet M Lartillot O Sandler M
Proc. of the 14th International Society for Music Information Retrieval Conference, ISMIR’13, November 4-8, Curitiba, Brazil.
01-01-2013 - Towards a Statistical Model of Grammaticality
Clark A Giorgolo G Lappin S
Cooperative Minds Social Interaction and Group Dynamics Proceedings of the 35th Annual Meeting of the Cognitive Science Society Cogsci 2013., 2064-2069.
01-01-2013 - Towards Nominal Abramsky.
Murawski AS Tzevelekos N Coecke B Ong L Panangaden P
Computation, Logic, Games, and Quantum Foundations. vol. 7860, 246-263.
01-01-2013 - Towards the Representation of Chinese Traditional Music: A State of the Art Review of Music Metadata Standards
Tian M Fazekas G Black DAA Sandler M
Proc. of The Dcmi International Conference on Dublin Core and Metadata Applications (Dc-2013), 2-6, September, Lisbon, Portugal, 71-81.
01-01-2013 - Transformation Optics Inspired Multibeam Lens Antennas for Broadband Directive Radiation
Wu Q Jiang ZH Quevedo-Teruel O Turpin JP Tang W Hao Y Werner DH
IEEE Transactions on Antennas and Propagation vol. 61 (12), 5910-5922.
01-01-2013 - Using Semantic Layer Projection for Enhancing Music Mood Prediction With Audio Features
Saari P Eerola T
Proc. of the Sound and Music Computing Conference (SMC’13), Stockholm, Sweden.
01-01-2013 - Using Tags to Select Stimuli in the Study of Music and Emotion
Song Y Dixon S Pearce M
Proc. 3rd International Conference on Music and Emotion (ICME), June 11-15, Jyväskylä, Finland.
01-01-2013 - Wearable Wireless Sensors for Healthcare Applications
Yilmaz T Munoz M Foster RN Hao Y
2013 INTERNATIONAL WORKSHOP ON ANTENNA TECHNOLOGY (IWAT)., 376-379.
01-01-2013