Newcastle University

Publications

Some of the publications listed below may be downloaded via http://eprints.ncl.ac.uk/.

Year: 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1980 1979 1978 1974

• E.G. Chester,B.S. Sharif,S.S. Furniss,R.W.F. Campbell. Classification of fragmented cardiac myopotentials for a fragmentation mapping system. In: IEE Electronics Division Colloquium on Signal Procesing in Cardiography, Mar 1 1995. 1995, London, UK: IEE, Stevenage, Engl.
• Semenov A, Yakovlev A. Combining Partial Orders and Symbolic Traversal for Efficient Verification of Asynchronous Circuits. In: IFIP TC10 WG10.5 International Conference on Hardware Description Languages and Their Applications (CHDL).1995,Makuhari, Chiba, Japan:IEEE Press
• Semenov A, Yakovlev A. Combining Partial Orders and Symbolic Traversal for Eficient Verification of Asynchronous Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 501.
• Yakovlev A, Varshavsky V, Marakhovsky V, Semenov A. Designing An Asynchronous Pipeline Token Ring Interface. In: 2nd IEEE Working Conference on Asynchronous Design Methdologies (ASYNC).1995,London, UK:IEEE Computer Society Press
• Semenov A, Koelmans AM, Lloyd L, Yakovlev A. Designing an Asynchronous Processor Using Petri-Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 539.
• Yakovlev A. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 522.
• B. Bech Nielsen, L. Hoffmann, M. Budde, R. Jones, J. Goss and S. &Ouml,berg. H interacting with intrinsic defects in Si. In: ICDS-18 - Proceedings of the 18th International Conference on Defects in Semiconductors, Pts 1-4. 1995.
• Yakovlev A, Koelmans AM, Lavagno L. High Level Modelling and Design of Asynchronous Interface Logic. IEEE Design and Test of Computers (Special Issue on Asynchronous Logic Design) 1995,12 1 32-40.
• C. P. Ewels, S. &Ouml,berg, P. R. Briddon, J. Goss, R. Jones, S. J. Breuer, R. Darwich and B. Pajot. Hydrogen Passivated Defects in InP. Solid State Communications 1995, 93(5), 459-460.
• S. Le Goff and C. Berrou. Les turbo codes de rendement élevé (in French). In: GRETSI Symposium. 1995, Antibes - Juan Les Pins, France.
• Yakovlev A, Koelmans AM, Semenov A, Kinniment DJ. Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 514.
• Boussakta S, Holt AGJ. New Separable Transform. IEE Proceedings: Vision, Image and Signal Processing 1995, 142(1), 27-30.
• Boussakta S, Holt AGJ. New transform using the Mersenne numbers. IEE Proceedings - Vision, Image, and Signal Processing 1995, 142(6), 381-388.
• J. Goss, A. Resende, R. Jones, S. &Ouml,berg and P. R. Briddon. Ni complexes in diamond. In: ICDS-18 - Proceedings of the 18th International Conference on Defects in Semiconductors, Pts 1-4. 1995.
• Pietkiewicz-Koutny M, Yakovlev A. Non-Pure Nets and Their Transition Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 528.
• Kondratyev A, Kishinevsky M, Yakovlev A. On Hazard-Free Implementation of Speed-Independent Circuits. In: Asia and South Pacific Design Automation Conference (ASP-DAC).1995,Makahuri, Chiba, Japan:IEEE Press
• Koelmans AM, Yakovlev A, Kinniment DJ, Xu Y. PNIF: An Interchange Format for System Specification with Coloured Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 538.
• Semenov A, Yakovlev A, Anisimov N. Specification and Verification of a Self-Timed Token Ring Protocol. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 516.
• E.G. Chester,D.J. Kinniment. Techniques for ASIC implementation of vector control. IEE Proceedings: Computers and Digital Techniques 1995, 142(5), 318-324.
• M. Budde, B. Bech Nielsen, R. Jones, S. &Ouml,berg and J. Goss. The H₂^* defect in crystalline germanium. In: ICDS-18 - Proceedings of the 18th International Conference on Defects in Semiconductors, Pts 1-4. 1995.
• R. Rahbi, B. Pajot, C. P. Ewels, S. &Ouml,berg, J. Goss, R. Jones, Y. Nissim, B. Theys and C. Blaauw. The Hydrogen Complexes in Gallium-Arsenide and Indium-Phosphide Doped with Magnesium. Solid State Communications 1995, 93(5), 462-462.
• F. Berg Rasmussen, S. &Ouml,berg, R. Jones, C. Ewels, J. Goss, J. Miro and P. De&aacute,k. The NNO defect in silicon. In: ICDS-18 - Proceedings of the 18th International Conference on Defects in Semiconductors, Pts 1-4. 1995.
• R. Jones, S. &Ouml,berg, J. Goss, P. R. Briddon and A. Resende. Theory of Nickel and Nickel-Hydrogen Complexes in Silicon. Physical Review Letters 1995, 75(14), 2734-2737.
• R. Jones, J. Goss, S. &Ouml,berg, P. R. Briddon and A. Resende. Theory of the NiH₂ complex in Si and the CuH₂ complex in GaAs. In: ICDS-18 - Proceedings of the 18th International Conference on Defects in Semiconductors, Pts 1-4. 1995.
• Low KS, Yakovlev A. Token Ring Arbiters: An Excercise in Asynchronous Logic Design with Petri-Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 537.
• Starodoubstev NA, Yakovlev A, Petrov SY. Use of VHDL Enviroment for Interactive Synthesis of Asynchronous Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 540.