Publications
- Full abstraction for PCF
Abramsky S Jagadeesan R Malacaria P
Inform Comput vol. 163 (2), 409-470.
15-12-2000 - Digital amplification for consumer audio
Sandler M
Digest of Technical Papers IEEE International Conference on Consumer Electronics., 402-403.
03-12-2000 - An Intensional Parametric Semantics For Vague Quantifiers
Lappin S
Linguistics and Philosophy, Springer Nature vol. 23 (6), 599-620.
01-12-2000 - ℤ2 monopoles in D = 2+1 SU(2) lattice gauge theory
Hart A Lucini B Teper M Schram Z
Journal of High Energy Physics, Springer Nature vol. 2000 (11)
30-11-2000 - The Revolution Confused: A Response To Our Critics
Lappin S Levine RD Johnson DE
Natural Language & Linguistic Theory, Springer Nature vol. 18 (4), 873-890.
01-11-2000 - New labour and the destruction of social democracy
Lappin S
Dissent vol. 47 (4), 15-19.
01-09-2000 - A representation result for free cocompletions
Power AJ Cattani GL Winskel G
Journal of Pure and Applied Algebra, Elsevier vol. 151 (3), 273-286.
01-08-2000 - Topic ... Comment
Lappin S Levine RD Johnson DE
Natural Language & Linguistic Theory, Springer Nature vol. 18 (3), 665-671.
01-08-2000 - A disorder analysis of the Ising model
Carmona JM Di Giacomo A Lucini B
Physics Letters B, Elsevier vol. 485 (1-3), 126-132.
01-07-2000 - Vortices and confinement in hot and cold D = 2+1 gauge theories
Hart A Lucini B Teper M Schram Z
Journal of High Energy Physics, Springer Nature vol. 2000 (06)
28-06-2000 - IMPLEMENTATION OF C⋆ BOUNDARY CONDITIONS IN THE HYBRID MONTE CARLO ALGORITHM
CARMONA JM D'ELIA M DI GIACOMO A LUCINI B
International Journal of Modern Physics C, World Scientific Publishing vol. 11 (04), 637-653.
01-06-2000 - Impact of Design Changes on Verification Using MDGs
Hasan M Tahar S
Proc. IEEE Canadian Conference on Electrical and Computer Engineering (CCECE’00)., 173-178-173-178.
01-05-2000 - Regularized CDWT optical flow applied to moving-target detection in IR imagery
Castellano G Boyce J Sandler M
Machine Vision and Applications, Springer Nature vol. 11 (6), 277-288.
01-05-2000 - Un outil hybride pour la vérification formelle de circuits
Kort S Pisini VK Tahar S Aït-Mohamed O
Proc. 68th ACFAS Symposium (ACFAS’00).
01-05-2000 - HOL-MDG: A Hybrid Tool for Formal Verification
Kort S Tahar S Curzon P Song X
Proceedings of the 2000 Micronet Workshop., 131-132-131-132.
01-04-2000 - Learning Computer Science Through Games and Puzzles
Curzon P
Proceedings of C@MDX’00, Research Student’s Conference.
01-03-2000 - Reasoning about Order Errors and Interaction
Curzon P
Proceedings of C@MDX’00, Research Student’s Conference.
01-03-2000 - Linear time-invariant systems in the wavelet domain
Sandier M
IEE Colloquium Digest. (19), 117-122.
29-02-2000 - Color confinement and dual superconductivity of the vacuum. I
Di Giacomo A Lucini B Montesi L Paffuti G
Physical Review D, American Physical Society (Aps) vol. 61 (3)
11-01-2000 - Color confinement and dual superconductivity of the vacuum. II
Di Giacomo A Lucini B Montesi L Paffuti G
Physical Review D, American Physical Society (Aps) vol. 61 (3)
11-01-2000 - A Tough Nut for Tree Resolution
Dantchev S Riis S
Brics Report Series, Det Kgl. Bibliotek/Royal Danish Library vol. 7 (10)
10-01-2000 - Applications of binaural processing to surround sound reproduction in large spaces
Landone C Sandler M
2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353). vol. 3
01-01-2000 - BLACKBOARD SYSTEM AND TOP-DOWN PROCESSING FOR THE TRANSCRIPTION OF SIMPLE POLYPHONIC MUSIC
Bello JP Sandler M
Proceedings of the International Conference on Digital Audio Effects Dafx.
01-01-2000 - Digital music in the 21st century
Sandler M
Digest of Technical Papers IEEE International Conference on Consumer Electronics., 412-413.
01-01-2000 - Eigenvalue Curves of Asymmetric Tridiagonal Matrices
Goldsheid I Khoruzhenko B
Electronic Journal of Probability, Institute of Mathematical Statistics vol. 5 (none)
01-01-2000 - Embedding and Verification of an MDG-HDL Compiler in HOL
Xiong H Curzon P Tahar S Aagaard M Harrison J Schubert T
The Supplementary Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics., 237-248-237-248.
01-01-2000 - Formal Hardware Verification by Integrating HOL and MDG
Pisini VK Tahar S Curzon P
Proceedings of the ACM 10th Great Lakes Symposium on VLSI., 23-28-23-28.
01-01-2000 - Logical Relations and Data Abstraction
Power AJ Robinson EP Clote P Schwichtenberg H
Proceedings of Computer Science Logic 2000. vol. 1862, 497-511-497-511.
01-01-2000 - Logical Relations, Data Abstraction and Structured Fibrations
Power AJ Robinson EP Gabrielli M Pfenning F
Proceedings of the Second International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP’00)., 15-23-15-23.
01-01-2000 - MONOPHONIC TRANSCRIPTION WITH AUTOCORRELATION
Monti G Sandler M
Proceedings of the International Conference on Digital Audio Effects Dafx.
01-01-2000 - On a Temporal Logic for Object-Based Systems
Distefano D Katoen J-P
IFIP Advances in Information and Communication Technology. vol. 49, 305-325.
01-01-2000 - Reasoning about Order Errors in Interaction
Curzon P Blandford A Aagaard M Harrison J Schubert T
The Supplementary Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics., 33-48-33-48.
01-01-2000 - Self-organizing letter code-book for text-to-phoneme neural network model
Jensen KJ
6th International Conference on Spoken Language Processing ICSLP 2000.
01-01-2000 - TECHNIQUES FOR AUTOMATIC MUSIC TRANSCRIPTION
Bello JP Monti G Sandler M
International Symposium on Music Information Retrieval Ismir 2000.
01-01-2000 - Time Domain Extraction of Vibrato from Monophonic Instruments
Bendor D Sandler M
International Symposium on Music Information Retrieval Ismir 2000.
01-01-2000 - Tree resolution proofs of the weak Pigeon-Hole Principle
Dantchev S Riis S
16TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS., 69-75.
01-01-2000 - Using a Verification System to Reason About Post-Completion Errors
Curzon P Blandford A Palanque P Paternò F
Participants Proc. of DSV-IS 2000: 7th Int.Workshop on Design, Specification and Verification of Interactive Systems, at the 22nd Int. Conf. on Software Engineerings., 292-308-292-308.
01-01-2000 - ℤ2 monopoles in D = 2 + 1 SU(2) lattice gauge theory
Hart A Lucini B Teper M Schram Z
Journal of High Energy Physics vol. 4 (11)
01-01-2000