Publications

 
  • Averages of spectral determinants and 'single ring theorem' of feinberg and zee
    Fyodorov YV
    Acta Physica Polonica B. vol. 38 (13 SPEC. ISS.), 4067-4077.  
    01-12-2007
  • Numerical and Experimental Evaluation of a Compact Sensor Antenna Performance for Healthcase Devices
    ALOMAINY A Hao Y Pasveer WF
    IEEE Transactions on Biomedical Circuits and Systems, 242-249.  
    01-12-2007
  • Real-time panning convolution reverberation
    Stewart R Sandler M
    Audio Engineering Society 123rd Audio Engineering Society Convention 2007. vol. 3, 1345-1353.  
    01-12-2007
  • Towards textual annotation of rhythmic style in electronic dance music
    Jacobson K Davies M Sandler M
    Audio Engineering Society 123rd Audio Engineering Society Convention 2007. vol. 2, 1056-1060.  
    01-12-2007
  • Using the Semantic Web for enhanced audio experiences
    Raimond Y Sandler M
    Audio Engineering Society 123rd Audio Engineering Society Convention 2007. vol. 1, 418-429.  
    01-12-2007
  • Figure-of-Merit (FOM) Analysis of Resonant Particles for Construction of Practical Metamaterials
    HAO Y Lee Y Mosig J Zumoberhaus S
    European Conference on Antennas and Propagation, Edinburgh, Scotland, November 2007
    01-11-2007
  • Finite-difference time-domain study of guided modes in nano-plasmonic waveguides
    Zhao Y Hao Y
    IEEE T Antenn Propag vol. 55 (11), 3070-3077.  
    01-11-2007
  • Limitations in Bandwidth and Unit Cell Sizeof Composite Right-Left Handed Transmission Line Based Leaky-Wave Antenna
    Parini CG HAO Y Lee Y Rahman A
    European Conference on Antennas and Propagation, Edinburgh, Scotland, November 2007
    01-11-2007
  • Reversible and irreversible information networks
    Riis S
    IEEE T Inform Theory vol. 53 (11), 4339-4349.  
    01-11-2007
  • Transmission of Images into Far-Field-Zone with Subwavelength Resolution
    HAO Y Belov PA Zhao Y
    First International Congress on Advanced Electromagnetic Materials in Microwaves and Optics, Metamaterials'2007, October 22-26, 2007, Rome, Italy
    22-10-2007
  • Calculation of radix-2 discrete multiresolution Fourier transform
    Wen X Sandler M
    Signal Process vol. 87 (10), 2455-2460.  
    01-10-2007
  • Dual-band operation of an electromagnetic band-gap patch antenna
    Wang XJ Hao Y
    Microw Opt Techn Let vol. 49 (10), 2454-2458.  
    01-10-2007
  • Effects of Homogeneity and Design Complexity of CRLH-TL Based Leaky-Wave Antennas
    Parini CG HAO Y Rahman A Lee Y
    Metamaterial Congress, Rome, Italy, October 2007
    01-10-2007
  • A distributed data space for music-related information
    Raimond Y Sutton C Sandler M
    Workshop on multimedia information retrieval on The many faces of multimedia semantics., 81-89.  
    28-09-2007
  • Magnification of subwavelength field distributions at microwave frequencies using a wire medium slab operating in the canalization regime
    Ikonen P Simovski C Tretyakov S Belov P Hao Y
    Appl Phys Lett vol. 91 (10) 
    03-09-2007
  • Accurate modelling of left-handed metamaterials using a finite-difference time-domain method with spatial averaging at the boundaries
    Zhao Y Belov P Hao Y
    JOURNAL OF OPTICS A-PURE AND APPLIED OPTICS. vol. 9 (9), S468-S475.  
    01-09-2007
  • An EBG Enhancement to Patch Array Antenna with Integrated Optical Transducer
    Tse S Wang X Hao Y Parini C Liu C-P Chuang C-H Ismail T Seeds A et al.
    2007 19th International Conference on Applied Electromagnetics and Communications., 1-3.  
    01-09-2007
  • Classifying Non-Sentential Utterances in Dialogue: A Machine Learning Approach
    Fernndez R Ginzburg J Lappin S
    Computational Linguistics, MIT Press vol. 33 (3), 397-427.  
    01-09-2007
  • Image transmission with the subwavelength resolution in microwave, terahertz, and optical frequency bands
    Belov PA Simovski CR Ikonen P Silveirinha MG Hao Y
    JOURNAL OF COMMUNICATIONS TECHNOLOGY AND ELECTRONICS. vol. 52 (9), 1009-1022.  
    01-09-2007
  • Interacting with Digital Music
    Sandler M
    J New Music Res vol. 36 (3), 227-239.  
    01-09-2007
  • Rapid prototyping of ceramic millimeterwave metamaterials: Simulations and experiments
    Lee YJ Lu XS Hao Y Yang SF Ubic R Evans JRG Parini CG
    Microw Opt Techn Let vol. 49 (9), 2090-2093.  
    01-09-2007
  • Conformal Dispersive Finite-Dofference Time-Domain Simulations of Plasmonic Waveguides
    HAO Y Zhao Y
    2007 International Symposium on Antennas and Propagation, August 20-24, 2007, Toki Messe, Niigata, Japan
    20-08-2007
  • A Low Profile Directive Millimetrewave Antenna Using Freeformed Metamaterial
    Parini CG HAO Y Lee Y
    Metamorphose Workshop, Belfast, UK, August 2007
    01-08-2007
  • On absolute moments of characteristic polynomials of a certain class of complex random matrices
    Fyodorov YV Khoruzhenko BA
    Commun Math Phys vol. 273 (3), 561-599.  
    01-08-2007
  • Machine learning theory and practice as a source of insightinto universal grammar
    LAPPIN S SHIEBER SM
    Journal of Linguistics, Cambridge University Press (Cup) vol. 43 (2), 393-427.  
    18-06-2007
  • Information flows, graphs and their guessing numbers
    Riis S
    Electron J Comb vol. 14 (1) 
    07-06-2007
  • A compact microstrip antenna with improved bandwidth using Complementary Split-Ring Resonator (CSRR) loading
    Lee Y Tse S Hao Y Parini CG
    2007 IEEE Antennas and Propagation Society International Symposium., 5431-5434.  
    01-06-2007
  • A conformal dispersive FDTD method for modelling of nano-plasmonic waveguides
    Zhao Y Hao Y
    2007 IEEE Antennas and Propagation Society International Symposium., 4461-4464.  
    01-06-2007
  • Antennas and propagation for on-body communication systems
    Parini CG HAO Y Song W Owadally AS Alomainy A Constantinou CC Dubrovka R Hee DTM et al.
    IEEE Antennas and Propagation Magazine, June 2007 vol. 49 (3), 41-58.  
    01-06-2007
  • Modelling of wave propagation in wire media using spatially dispersive finite-difference time-domain method: Numerical aspects
    Zhao Y Belov PA Hao Y
    IEEE T Antenn Propag vol. 55 (6), 1506-1513.  
    01-06-2007
  • Multiculturalism and Democracy
    Lappin S
    Dissent, Johns Hopkins University Press vol. 54 (3), 14-18.  
    01-06-2007
  • Sub-wavelength imaging by a wire medium slab: experiment
    Belov PA Zhao Y Sudhakaran S Hao Y
    2007 IEEE Antennas and Propagation Society International Symposium., 433-436.  
    01-06-2007
  • Signal Processing Parameters for Tonality Estimation
    SANDLER MB Noland K
    Proceedings of AES 122nd Convention, Vienna, 2007
    05-05-2007
  • Automatic Rhythm Modification of Drum Loops
    SANDLER MB Bello JP Ravelli E
    IEEE Signal Processing Letters vol. 14 No 4, 228-231.  
    01-04-2007
  • Electrically Small Antennas with Dielectric, Magneto-Dielectric and Metamaterial Loading
    Hao Y Zhao Y Lee YJ Youngs IJ
    2007 Loughborough Antennas and Propagation Conference., 57-62.  
    01-04-2007
  • Measurement of Complex Permittivity of Textile Materials for Body- Centric Wireless Communications
    HAO Y Lee Y Harmer S Ren G
    iET Seminar on Antennas and Propagation for Body-Centric Wireless Communications, London, April 2007
    01-04-2007
  • Mushroom-like high-impedance surface (his) with slanted vias
    Tse S Hao Y Parini C
    2007 Loughborough Antennas and Propagation Conference., 309-312.  
    01-04-2007
  • Svm-Based Speaker Verification by Location in the Space of Reference Speakers
    Zhao X Dong Y Yang H Zhao J Wang H
    2007 IEEE International Conference on Acoustics, Speech and Signal Processing - ICASSP '07. vol. 4 
    01-04-2007
  • A New Approach for Deembedding Active Devices from Active Grids
    Parini CG HAO Y Rieckmann C
    2007 ACES Conference on Applied Computational Electromagnetics, Verona, Italy, 19-23 March 2007
    19-03-2007
  • On the Effects of Numerical Material Parameters and Switching Time in FDTD Modelling of Left-Handed Metamaterials
    HAO Y Belov P Zhao Y
    2007 ACES Conference on Applied Computational Electromagnetics, Veron, Italy, 19-23 March 2007
    19-03-2007
  • Stability and Numerical Dispersion Analysis for a Spatially Dispersive Finite-Difference Time-Domain Method
    Zhao Y HAO Y Belov P
    2007 ACES Conference on Applied Computational Electromagnetics, Verona, Italy, 19-23 March 2007
    19-03-2007
  • A static analysis for quantifying the information flow in a simple imperative language
    MALACARIA P Hunt S Clark D
    Journal of Computer Security vol. 15 (3), 321-371.  
    01-03-2007
  • Accurate modeling of the optical properties of left-handed media using a finite-difference time-domain method
    Zhao Y Belov P Hao Y
    Phys Rev E vol. 75 (3) 
    01-03-2007
  • Lambda Calculus, Type Theory, and Natural Language II
    Fox C Fernandez M Lappin S
    Journal of Logic and Computation, Oxford University Press (OUP) vol. 18 (2), 203-203.  
    16-02-2007
  • Directive millimetre-wave antenna based on freeformed woodpile EBG structure
    Lee Y Lu X Hao Y Yang S Ubic R Evans JRG Parini CG
    Electron Lett vol. 43 (4), 195-196.  
    15-02-2007
  • Bounded functional interpretation and feasible analysis
    Ferreira F Oliva P
    Ann Pure Appl Logic vol. 145 (2), 115-129.  
    01-02-2007
  • Use of conjugate dielectric and metarnaterial slabs as radomes
    Cory H Lee YJ Hao Y Parini CG
    Iet Microw Antenna P vol. 1 (1), 137-143.  
    01-02-2007
  • A few remarks on colour-flavour transformations, truncations of random unitary matrices, Berezin reproducing kernels and Selberg-type integrals
    Fyodorov YV Khoruzhenko BA
    J Phys a-Math Theor vol. 40 (4), 669-699.  
    26-01-2007
  • Accurate Modeling of Left-Handed Media using FDTD Method and Finite-Size Effects of a Left-Handed Medium Slab on the Image Quality Revisited
    HAO Y Zhao Y Belov PA
    Proc. of 1st European Topical Meeting on Nanophotonics and Metamaterials,Nanmeta-2007, on CD-ROM, Tue4f62, Seefeld, Tirol, Austria, 8-11 January 2007
    08-01-2007
  • A compact microstrip antenna with improved bandwidth using complementary split-ring resonator (CSRR) loading
    Lee Y Tse S Hao Y Parini CG
    2007 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-12., 4952-4955.  
    01-01-2007
  • A comparison of timbral and harmonic music segmentation algorithms
    Levy M Noland K Sandler M
    2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol IV, Pts 1-3., 1433-1436.  
    01-01-2007
  • A conformal dispersive FDTD method for modelling of nano-plasmonic waveguides
    Zhao Y Hao Y
    2007 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-12., 4039-4042.  
    01-01-2007
  • A neural network implementing optimal state estimation based on dynamic spike train decoding
    Bobrowski O Meir R Eldar Y
    Advances in Neural Information Processing Systems., 145-152.  
    01-01-2007
  • A novel tapered slot CPW-fed antenna for ultra-wideband applications and its on/off-body performance
    Rahman A Hao Y
    2007 IEEE International Workshop on Antenna Technology: Small and Smart Antennas, Metamaterials and Applications., 503-506.  
    01-01-2007
  • A semantic space for music derived from social tags
    Levy M Sandler M
    Proceedings of the 8th International Conference on Music Information Retrieval Ismir 2007., 411-416.  
    01-01-2007
  • Accurate Modeling of the Optical Properties of Left-handed Media Using a Finite-Difference Time-Domain Method
    BELOV P Zhao Y
    Physical Review E, Vol. 75, Pp. 037602 (1-4), 2007 vol. 75, 1-4.  
    01-01-2007
  • Accurate modelling of left-handed metamaterials using finite-difference time-domain method with spatial averaging at the boundaries
    Zhao Y BELOV P Hao Y
    Journal of Optics a: Pure and Applied vol. 9, S468-S475.  
    01-01-2007
  • Accurate modelling of the optical properties of left-handed media using a finite-difference time-domain method
    Zhao Y Hao Y
    2007 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-12., 2635-2638.  
    01-01-2007
  • Amplification of evanescent spatial harmonics and subwavelength imaging inside of a wire medium slab
    Zhao Y Belov PA Hao Y
    2007 SBMO/IEEE MTT-S INTERNATIONAL MICROWAVE AND OPTOELECTRONICS CONFERENCE, VOLS 1 AND 2., 474-477.  
    01-01-2007
  • An EBG antenna with integrated optical transducer
    Xiaojing Wang XW Tse S Yang Hao YH Parini C Chin-Pang Liu C-PL Chin-Hsiu Chuang C-HC Ismail T Seeds A et al.
    2nd European Conference on Antennas and Propagation (EuCAP 2007)., 323-323.  
    01-01-2007
  • Assessing Security Threats of Looping Constructs
    Malacaria P
    CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES., 225-235.  
    01-01-2007
  • Assessing security threats of looping constructs
    Malacaria P
    ACM SIGPLAN NOTICES. vol. 42 (1), 225-235.  
    01-01-2007
  • Averages of spectral determinants and 'single ring theorem' of Feinberg and Zee
    Fyodorov YV Khoruzhenko BA
    ACTA PHYSICA POLONICA B. vol. 38 (13), 4067-4077.  
    01-01-2007
  • Compact Body-Worn Coplanar Waveguide Fed Antenna for UWB Body-Centric Wireless Communications
    Rahman A ALOMAINY A Hao Y
    European Conference on Antennas and Propagation (EuCAP 2007) Edinborough, UK 11 Nov 2007 - 16 Nov 2007
    01-01-2007
  • Compatibility and reuse in component-based systems via type and unit inference.
    Kühnel C Bauer A Tautschnig M
    EUROMICRO-SEAA., 101-108.  
    01-01-2007
  • Computational interpretations of classical linear logic
    Oliva P Leivant D DeQueiroz R
    Logic, Language, Information and Computation, Proceedings. vol. 4576, 285-296.  
    01-01-2007
  • Design of low-profile high-gain EBG resonator antennas using a genetic algorithm
    Ge YH Esselle KP Hao Y
    IEEE Antenn Wirel Pr vol. 6, 480-483.  
    01-01-2007
  • Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers.
    Bauer A Leucker M Tautschnig M Ameur YA Boniol F Wiels V
    ISoLA. vol. RNTI-SM-1, 135-146.  
    01-01-2007
  • Dual-band Operation of an EBG Path Antenna
    HAO Y WANG X
    Microwave and Optical Technology Letters 
    01-01-2007
  • Electrically small antennas with dielectric, magneto-dielectric and metamaterial loading
    Hao Y Zhao Y Lee YJ Youngs IJ
    2007 Loughborough Antennas and Propagation Conference, Proceedings., U38-U40.  
    01-01-2007
  • Energy Efficient Intrusion Detection in Camera Sensor Networks
    Skraba P Guibas L
    Lecture Notes in Computer Science. vol. 4549, 309-323.  
    01-01-2007
  • Experimental study of the subwavelength imaging by a wire medium slab
    Belov PA Zhao Y Alomainy A Hao Y
    2007 IEEE International Workshop on Antenna Technology: Small and Smart Antennas, Metamaterials and Applications., 459-462.  
    01-01-2007
  • FDTD characterization of UWB indoor radio channel including frequency dependent antenna directivities
    Zhao Y Hao Y Parini C
    IEEE Antenn Wirel Pr vol. 6, 191-194.  
    01-01-2007
  • Finding the incidence angle for rays refracted through multiple dielectric layers
    Ahmed Y Hao Y
    2nd European Conference on Antennas and Propagation (EuCAP 2007)., 669-669.  
    01-01-2007
  • Footprint Analysis: A Shape Analysis that Discovers Preconditions
    Calcagno C Distefano D Yang H Nielson HR 'e GF
    The 14th International Static Analysis Symposium (SAS 2007) Kongens Lyngby, Denmark 22 Aug 2007 - 24 Aug 2007. vol. 4634, 402-418.  
    01-01-2007
  • Full abstraction for nominal general references
    Tzevelekos N
    22nd Annual IEEE Symposium on Logic in Computer Science, Proceedings., 399-408.  
    01-01-2007
  • Image transmission with the subwavelength resolution in microwave, terahertz, and optical frequency bands
    BELOV P Simovski C Ikonen P Silveirinha M Hao Y
    Journal of Communications Technology and Electronics vol. 52 (9), 1009-1022.  
    01-01-2007
  • Integrated photonic Electromagnetic Band Gap antenna with InGaAs/AlInGaAs Multiple Quantum Well Asymmetric Fabry-Perot Modulator
    Chuang CH Liu CP Ismail T Wang X Tse SWH Hao Y Parini C Huggard PG et al.
    2007 INTERNATIONAL TOPICAL MEETING ON MICROWAVE PHOTONICS., 78-81.  
    01-01-2007
  • Intelligent editing of studio recordings with the help of automatic music structure extraction
    Fazekas G Sandler M
    Proc. of the 122nd Convention of the Audio Engineering Society, Vienna, Austria
    01-01-2007
  • Low profile high directivity millimetrewave antenna using freeformed metamaterial
    Lee Y Hao Y Parini CG
    2007 JOINT 32ND INTERNATIONAL CONFERENCE ON INFRARED AND MILLIMETER WAVES AND 15TH INTERNATIONAL CONFERENCE ON TERAHERTZ ELECTRONICS, VOLS 1 AND 2., 924-925.  
    01-01-2007
  • Measurements and statistical analysis of on-body channel fading at 2.45 GHz
    Hu ZH Nechayev YI Hall PS Constantinou CC Hao Y
    IEEE Antenn Wirel Pr vol. 6, 612-615.  
    01-01-2007
  • Modelling and characterisation of a compact sensor antenna for healthcare applications
    Alomainy A Hao Y Pasveer F Leonhardt S Falck T Mahonen P
    4th International Workshop on Wearable and Implantable Body Sensor Networks (BSN 2007). vol. 13, 3-8.  
    01-01-2007
  • Modified realizability interpretation of classical linear logic
    Oliva P
    22nd Annual IEEE Symposium on Logic in Computer Science, Proceedings., 431-440.  
    01-01-2007
  • Multiculturalism and democracy
    Lappin S
    Dissent vol. 54 (3), 14-18.  
    01-01-2007
  • Mushroom-like high-impedance surface (HIS) with slanted vias
    Tse S Hao Y Parini C
    2007 Loughborough Antennas and Propagation Conference, Proceedings., U164-U165.  
    01-01-2007
  • Natural resonant frequency extraction for concealed weapon detection at millimetre wave frequencies
    Zhang L Hao Y Parini CG
    2nd European Conference on Antennas and Propagation (EuCAP 2007)., 105-105.  
    01-01-2007
  • New Audio Editor Functionality Using Harmonic Sinusoids
    SANDLER MB Wen X
    Proceedings of AES 122nd Convention, Vienna 2007
    01-01-2007
  • New technology millimetrewave antennas
    Parini CG Lee Y Hao Y
    2007 IEEE International Workshop on Antenna Technology: Small and Smart Antennas, Metamaterials and Applications., 63-68.  
    01-01-2007
  • Parametric Study of Wearable Antennas with Varying Distances from the Body and Different On-Body Position
    HAO Y Alomainy A Davenport DM
    IET Seminar on Antennas and Propagation for Body-Centric Wireless Communication
    01-01-2007
  • Quantitative Analysis of Leakage for Multi-threaded Programs
    Chen H Malacaria P
    PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY., 31-40.  
    01-01-2007
  • Rapid Prototyping of Cermic Millimeterwave Metamaterials: Simulations and Experiments
    PARINI CG HAO Y LEE Y
    Microwave and Optical Technology Letters 
    01-01-2007
  • Reasoning about linear systems
    Arthan R Martin U Mathiesen EA Oliva P Hinchey M Margaria T
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS., 123-132.  
    01-01-2007
  • Shape analysis for composite data structures
    Berdine J Calcagno C Cook B O'Hearn PW Wies T Damm W Hermanns H
    Computer Aided Verification, Proceedings. vol. 4590, 178-192.  
    01-01-2007
  • Signal-based music searching and browsing
    Sandler MB Levy M
    ICCE: 2007 DIGEST OF TECHNICAL PAPERS INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS., 1-2.  
    01-01-2007
  • Sinusoid modeling in a harmonic context
    Xue W Sandler M
    Proceedings of the International Conference on Digital Audio Effects Dafx., 33-40.  
    01-01-2007
  • Small Antennas with Dielectric, Magneto-dielectric and Metamaterial Loadings
    HAO Y Lee Y Zhao Y Youngs I
    Loughborough Antennas and Propagation Conference, 2007, UK
    01-01-2007
  • Solid freeforming of millimetrewave metamaterials and its applications
    Lee Y Hao Y Parini CG
    2007 EUROPEAN MICROWAVE CONFERENCE, VOLS 1-4., 416-419.  
    01-01-2007
  • Spatially dispersive finite-difference time-domain modelling of the wire medium for subwavelength imaging
    Zhao Y Belov PA Hao Y
    2007 IEEE International Workshop on Antenna Technology: Small and Smart Antennas, Metamaterials and Applications., 487-490.  
    01-01-2007
  • Statistical analysis and performance evaluation for on-body radio propagation with microstrip patch antennas
    Alomainy A Hao Y Owadally A Parini CG Nechayev Y Constantinou CC Hall PS
    IEEE T Antenn Propag vol. 55 (1), 245-248.  
    01-01-2007
  • Statistical measures of early reflections of room impulse responses
    Stewart R Sandler M
    Proceedings of the International Conference on Digital Audio Effects Dafx., 59-62.  
    01-01-2007
  • Structural decomposition of recorded vocal performances and its application to intelligent audio editing
    Fazekas G Sandler M
    Proc. of the 123rd Convention of the Audio Engineering Society, New York, USA
    01-01-2007
  • Sub-wavelength imaging by a wire medium slab: Experiment
    Belov PA Zhao Y Sudhakaran S Hao Y
    2007 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-12., 418-421.  
    01-01-2007
  • The music ontology
    Raimond Y Abdallah S Sandler M Giasson F
    Proceedings of the 8th International Conference on Music Information Retrieval Ismir 2007., 417-422.  
    01-01-2007
  • Tool-support for the analysis of hybrid systems and models.
    Bauer A Tautschnig M Lauwereins R Madsen J
    DATE., 924-929.  
    01-01-2007
  • Variance Analyses from Invariance Analyses
    Berdine J Chawdhary A Distefano D
    CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES., 211-224.  
    01-01-2007
  • Variance analyses from invariance analyses
    Berdine J Chawdhary A Distefano D
    ACM SIGPLAN NOTICES. vol. 42 (1), 211-224.  
    01-01-2007