University of Hertfordshire

Publications

  1. A Decision Procedure for Equality Logic with Uninterpreted Functions

    Tveretina, O., 2004, Artificial Intelligence and Symbolic Computation. Springer, p. 66-79 (Lecture Notes in Computer Science; vol. 3249).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. A Decentralized Agent-Based Platform for Automated Trade and its Simulation

    Kutschinski, E., Polani, D. & Uthmann, T., 2000, Computing in Economics and Finance: CEF 2000. Society for Computational Economics, Vol. paper 276.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. A Contribution to the Modal Identification of the Damping Factor based on the Dissipated Energy

    Montalvão, D. & Silva, J. M. M., Jul 2014, EURODYN 2014: IX Int Conf on Structural Dynamics. Cunha, A., Caetano, E., Ribeiro, P. & Muller, G. (eds.). European Association for Structural Dynamics (EASD), p. 2571-2577 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. A Constructivist Approach to Robot Language Learning via Simulated Babbling and Holophrase Extraction

    Saunders, J., Lyon, C., Foerster, F., Nehaniv, C. L. & Dautenhahn, K., 2009, Procs IEEE Symposium on Artificial Life 2009: ALife '09. IEEE, p. 13-20

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces

    Zaichenkov, P., Tveretina, O. & Shafarenko, A., 24 May 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Lecture Notes in Computer Science ed. Switzerland: Springer, Vol. 9681. p. 474-488 15 p. (http://www.springer.com/series/7408).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. A Connectionist account of Spanish determiner production

    Nix, A., Messer, D. J., Davey, N. & Smith, P., 1998, Procs. 8th Int Conf on Artificial Neural Networks (ICANN'98). Niklasson, L., Boden, M. & Ziemke, T. (eds.). Springer, Vol. 2. p. 1077-1082

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. A Comparison of the Infrared Spectra of Two Very Late-type M Dwarfs with Different Gravities

    Viti, S., Tennyson, J., Jones, H. R. A., Allard, F. & Hauschildt, P., 1998, In: Brown Dwarfs and Extrasolar Planets - ASP Conf Series 134. Astronomical Society of the Pacific, p. 471-4

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. A Comparison of the Centimetre-to-Submillimetre Continuum Spectra of BL Lacertae

    Stevens, J., Litchfield, S. J., Robson, E. I., Gear, W. K. & Hughes, D. H., 1994, Multi-Wavelength Continuum Emission of AGN: procs of the 159th Symposium of the International Astronomical Union, held in Geneva, Switzerland, August 30-September 3, 1993. Courvoisier, T. & Blecha, A. (eds.). Kluwer, p. 523 1 p. (IAU Symposium; vol. 159).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. A Comparison of Loading on a Single or Double Temporomandibular Joint

    Muhandiram, J., Pierson, J., Wang, B. & Chizari, M., 2016, Transactions on Engineering Technologies. Ao, S., Yang, G-C. & Gelman, L. (eds.). Singapore: Springer Singapore, p. 151-162 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. A Comparison of Empirical Study and Cognitive Dimensions Analysis in the Evaluation of UML Diagrams

    Kutar, M., Britton, C. & Barker, T., 2002, Procs of the 14th Workshop of the Psychology of Programming Interest Group (PPIG 14). Kuljis, J., Baldwin, L. & Scoble, R. (eds.). Vol. 2002. p. 1-14

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. A Cloud-based RFID Authentication Protocol with Insecure Communication Channels

    Xiao, H., Alshehri, A. & Christianson, B., Aug 2016, IEEE TrustCom 2016. IEEE, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. A Classification of Threats to Remote Online Examinations

    Ullah, A., Xiao, H. & Barker, T., 17 Nov 2016, 2016 IEEE 7th Annual Information Technology, Electronics and Mobile Communication Conference. IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. A Chi-square testing-based intrusion detection Model

    Abouzakhar, N. & Bakar, A., 3 Sep 2010, Procs 4th International Conference on Cybercrime Forensics Education & Training: CFET 2010.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. A Case Study in Coordination Programming: S-Net vs Concurrent Collection

    Zaichenkov, P., Gijsbers, B., Grelck, C., Tveretina, O. & Shafarenko, A., 2014, Proceedings of Programming Models, Languages and Compilers Workshop for Manycore and Heterogeneous Architectures . Vol. 2015. 1 p. 376317

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. A Candour-based Trust and Reputation Management System for Mobile Ad Hoc Networks

    Chiejina, E., Xiao, H. & Christianson, B., 2013, Procs of the 6th York Doctoral Symposium on Computer Science & Electronics: (YDS 2013). Simpson, S. (ed.). University of York, p. 17-26

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. A CVD diamond detector for (n,alpha) cross section measurements

    Weiss, C., Badurek, G., Berthoumieux, E., Calviani, M., Chiaveri, E., Dobos, D., Griesmayer, E., Guerrero, C., Jericha, E., Kaeppeler, F., Leeb, H., Rauscher, T. & Vlachoudis, V., Jan 2012, Experimental Nuclear Astrophysics. SISSA, 8 p. 015. (Proceedings of Science; vol. ENAS 6).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. A CMOS fifth-order 400MHz current-mode LF linear phase filter for hard disk read channels

    Zhu, X., Sun, Y. & Moritz, J., 2007, Procs of the 18th European Conference on Circuit Theory and Design, ECCTD. IEEE, Vol. 2007. p. 340-343

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. A CMOS field programmable analog array and its application in continuous-time OTA-C filter design

    Pankiewicz, B., Wojcikowski, M., Szczepanski, S. & Sun, Y., 2001, Procs IEEE Int Symposium on Circuits & Systems: ISCAS 2001. IEEE, Vol. 2001. p. 5-8

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. A CMOS 80mW 400MHz seventh-order MLF FLF linear phase filter with gain boost

    Zhu, X., Sun, Y. & Moritz, J., 2008, Procs IEEE 15th Int Conf on Electronics, Circuits & Systems: ICECS 2008. IEEE, p. 300-303

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. A CMOS 750MHz fifth-order continuous-time linear phase lowpass filter with gain boost

    Zhu, X., Sun, Y. & Moritz, J., 2008, Procs IEEE Int Symposium on Circuits & Systems: ISCAS 2008. IEEE, p. 900-903

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. A CMOS 650 MHz seventh-order current-mode 0.05° equiripple linear phase filter

    Zhu, X., Sun, Y. & Moritz, J., 2007, Procs 50th IEEE Int Midwest Symposium on Circuits & Systems. IEEE, Vol. 2007. p. 167-170

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. A CMOS 100 MHz continuous-time seventh order 0.05° equiripple linear phase leapfrog multiple loop feedback Gm-C filter

    Su, H. W. & Sun, Y., 2002, procs of IEEE Int Symposium on Circuits & Systems: ISCAS 2002. IEEE, Vol. 2. p. 17-20

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. A Bird's Eye View of Ocular Galaxies

    Brinks, E., Kaufman, M., Elmegreen, D. M., Struck, C., Elmegreen, B., Thomasson, M. & Klaric, M., 2000, In: Cosmic Evolution and Galaxy Formation: Structure, Interactions, and Feedback, ASP Conf Series 215. Astronomical Society of the Pacific, p. 197-200

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. A BDD-Representation for the Logic of Equality and Uninterpreted Functions

    van de Pol, J. & Tveretina, O., 2005, Mathematical Foundations of Computer Science 2005: 30th International Symposium. Jedrzejowicz, J. & Szepietowski, A. (eds.). Springer, p. 769-780 (Lecture Notes in Computer Science; vol. 3618).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. A 54.4-mW 4th-order quadrature bandpass CT ΣΔ modulator with 33-MHz BW and 10-bit ENOB for a GNSS receiver

    Zhang, J., Zhang, Z., Xu, Y., Sun, Y. & Chi, B., 25 Nov 2015, Proceedings of the 2015 IEEE Radio Frequency Integrated Circuits Symposium, RFIC 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-November. p. 343-346 4 p. 7337775

    Research output: Chapter in Book/Report/Conference proceedingConference contribution