Items where division is "Faculties > Science Technology and Medical Studies > School of Computing"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Number of items at this level: 722.

2015

Bello Orgaz, Gema and Hernandez-Castro, Julio C. and Camacho, David (2015) A Survey of Social Web Mining Applications for Disease Outbreak Detection. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

2014

Allington, Daniel and Jordanous, Anna and Dueck, Byron (2014) Online Networks and the Production of Value in Electronic Music. AHRC (Submitted) (The full text of this publication is not available from this repository)

Aluko, B. and Smonou, D. and Kampouridis, Michael and Tsang, E. (2014) Combining different meta-heuristics to improve the predictability of a financial forecasting algorithm. In: IEEE Computational Intelligence for Financial Engineering & Economics (CIFEr). (The full text of this publication is not available from this repository)

BOCCHI, LAURA and TUOSTO, EMILIO (2014) Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science, FirstV (FirstV). pp. 1-47. ISSN 0960-1295. (The full text of this publication is not available from this repository)

Bailey, Christopher and Chadwick, David W. and de Lemos, Rogério (2014) Self-adaptive federated authorization infrastructures. Journal of Computer and System Sciences, 80 (5). pp. 935-952. ISSN 00220000. (The full text of this publication is not available from this repository)

Bailey, Christopher and Montrieux, Lionel and de Lemos, Rogério and Yu, Yijun and Wermelinger, Michel (2014) Run-time Generation, Transformation, and Verification of Access Control Models for Self-protection. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. (The full text of this publication is not available from this repository)

Barnes, David J. and Chu, Dominique (2014) Evolving Parameters for a Noisy Biological System – The Impact of Alternative Approaches. In: Artificial Intelligence and Soft Computing. Lecture Notes in Computer Science, 8468. Springer International Publishing pp. 95-106. ISBN 978-3-319-07175-6. (The full text of this publication is not available from this repository)

Berry, Michael and Kölling, Michael (2014) The State Of Play: A Notional Machine for Learning Programming. In: The 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2014), June 2014, Uppsala, Sweden. (Full text available)
[img]
Preview

Bocchi, Laura and Melgratti, Hernán (2014) On the Behaviour of General-Purpose Applications on Cloud Storages. Web Services and Formal Methods - 10th International Workshop, WSFM 2013, 8379 (1). pp. 29-47. ISSN 0302-9743. (Full text available)
[img]
Preview

Bocchi, Laura and Melgratti, Hernán (2014) On the behaviour of general purpose applications on cloud storages. Service Oriented Computing and Applications . ISSN 1863-2386. (In press) (Full text available)
[img]
Preview

Bocchi, Laura and Melgratti, Hernán and Tuosto, Emilio (2014) Resolving Non-determinism in Choreographies. Programming Languages and Systems, 23rd European Symposium on Programming, ESOP 2014, 8410 (1). pp. 493-512. ISSN 0302-9743. (Full text available)
[img]
Preview

Bocchi, Laura and Yang, Weizhen and Yoshida, Nobuko (2014) Timed Multiparty Session Types. Lecture Notes in Computer Science, 8704 (1). pp. 419-434. ISSN 0302-9743. (Full text available)
[img]
Preview

Boiten, Eerke (2014) Introducing extra operations in refinement. Formal Aspects of Computing, 26 (2). pp. 305-317. ISSN 0934-5043. (Full text available)
[img]
Preview

Boiten, Eerke and Jacob, Jeremy (2014) Sealed containers in Z. In: ABZ 2014, June 2-6, 2014, Toulouse. (In press) (Full text available)
[img]
Preview

Boiten, Eerke and Schneider, Steve A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (The full text of this publication is not available from this repository)

Bowman, Howard and Filetti, Marco and Alsufyani, Abdulmajeed and Janssen, Dirk P. and Su, Li (2014) Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough. PLoS ONE, 9 (3). e90595. ISSN 1932-6203. (Full text available)
[img]
Preview

Chu, Dominique and Kazana, Eleanna and Bellanger, Noémie and Singh, Tarun and Tuite, Mick F. and von der Haar, Tobias (2014) Translation elongation can control translation initiation on eukaryotic mRNAs. Embo Journal, 33 (9). pp. 937-1085. ISSN 0261-4189. (The full text of this publication is not available from this repository)

Chu, Dominique and Thompson, James and von der Haar, Tobias (2014) Charting the dynamics of translation. Bio Systems, 119 (1). pp. 1-9. ISSN 1872-8324. (The full text of this publication is not available from this repository)

Cámara, Javier and de Lemos, Rogério and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2014) Robustness evaluation of the rainbow framework for self-adaptation. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14. pp. 376-383. (The full text of this publication is not available from this repository)

Cámara, Javier and de Lemos, Rogério and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2014) Testing the robustness of controllers for self-adaptive systems. Journal of the Brazilian Computer Society, 20 (1). p. 1. ISSN 1678-4804. (The full text of this publication is not available from this repository)

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2014) A normal form for spider diagrams of order. Journal of Visual Languages & Computing . ISSN 1045926X. (In press) (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. (Full text available)
[img]
Preview

Fatema, Kaniz and Chadwick, David (2014) Resolving Policy Conflicts-Integrating Policies from Multiple Authors. In: Advanced Information Systems Engineering Workshops. Springer International Publishing pp. 310-321. (The full text of this publication is not available from this repository)

Freitas, AA (2014) Contrasting meta-learning and hyper-heuristic research: the role of evolutionary algorithms. Genetic Programming and Evolvable Machines, 15 (1). pp. 3-35. ISSN 1389-2576. (The full text of this publication is not available from this repository)

Hernandez-Castro, Julio C. and Boiten, Eerke (2014) Cybercrime prevalence and impact in the UK. Computer Fraud & Security, 2014 (2). pp. 5-8. ISSN 1361-3723. (Full text available)
[img]
Preview

Johnson, Colin G. (2014) Is it Time for Computational Creativity to Grow Up and Start being Irresponsible? In: Fifth International Conference on Computational Creativity, 9th-13th June 2014, Ljubljana, Slovenia. (Unpublished) (Full text available)
[img]
Preview

Jordanous, Anna (2014) Review. Review of: Digital Da Vinci: Computers in the Arts and Sciences (2014, Springer) by UNSPECIFIED. ACM Computing Reviews . p. 1. (Submitted) (The full text of this publication is not available from this repository)

Jordanous, Anna (2014) Review of Emotional Lexicons: Continuity and Change in the Vocabulary of Feeling 1700-2000 by Ute Frevert et al. Review of: Emotional Lexicons: Continuity and Change in the Vocabulary of Feeling 1700-2000 by Ute Frevert et al. by UNSPECIFIED. Reviews in History . p. 1682. (Full text available)
[img]

Jordanous, Anna (2014) Stepping Back to Progress Forwards: Setting Standards for Meta-Evaluation of Computational Creativity. In: International Conference on Computational Creativity, 2014, Ljubljana, Slovenia. (Full text available)
[img]
Preview

Jordanous, Anna (2014) What is Computational Creativity? . CreativityPost.com Online web platform. (The full text of this publication is not available from this repository)

Jordanous, Anna and Allington, Daniel (2014) Network analysis - code for the Valuing Electronic Music project. github Python code. (Full text available)
[img]

Jordanous, Anna and Allington, Daniel and Dueck, Byron (2014) Using online networks to analyse the value of electronic music. In: International Conference on Computational Creativity, 2014, Ljubljana, Slovenia. (Full text available)
[img]
Preview

Jordanous, Anna and Fox, Simon (2014) fba-solution-pack-measurement. github php Drupal module. (Full text available)
[img]

Kattan, A. and Kampouridis, Michael (2014) Dimensionality Reduction by Feature Composition: A GP Approach. In: EuroGP 2014,. (The full text of this publication is not available from this repository)

Kattan, A. and Kampouridis, Michael and Ong, Y.-S. and Mehamdi, K. (2014) Transformation of Input Space using Statistical Moments: EA-Based Approach. In: IEEE World Congress on Evolutionary Computation (WCCI). (The full text of this publication is not available from this repository)

Li, Huiqing and Thompson, Simon (2014) Improved semantics and implementation through property-based testing with QuickCheck. In: Proceedings of the 9th International Workshop on Automation of Software Test - AST 2014. pp. 50-56. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon and Lamela Seijas, Pablo and Francisco, Miguel Angel (2014) Automating property-based testing of evolving web services. In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14. pp. 169-180. (Full text available)
[img]
Preview

McCall, Davin and Kölling, Michael (2014) Meaningful Categorisation of Novice Programmer Errors. In: 2014 Frontiers In Education Conference, Oct 2014, Madrid, Spain. (Full text available)
[img]
Preview

Neykova, Rumyana and Bocchi, Laura and Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. Electronic Proceedings in Theoretical Computer Science, 162 (1). pp. 19-26. ISSN 2075-2180. (Full text available)
[img]
Preview

Otupiri, R. and Akowuah, E. K. and Haxha, Shyqyri and Ademgil, H. and AbdelMalek, F. and Aggoun, A. (2014) A Novel Birefrigent Photonic Crystal Fiber Surface Plasmon Resonance Biosensor. IEEE Photonics Journal, 6 (4). pp. 1-11. ISSN 1943-0655. (The full text of this publication is not available from this repository)

Serim, Barıs and Thanh Tung, Vuong and Ruotsalo, Tuukka and Micallef, Luana and Jacucci, Giulio (2014) mailVis: Visualizing Emailbox for Re-finding Emails. In: IEEE VIS 2014 Posters, Paris, France. (Full text available)
[img]
Preview
[img]

Shao, M. and Smonou, D. and Kampouridis, Michael and Tsang, E. (2014) Guided Fast Local Search for Speeding Up a Financial Forecasting Algorithm. In: IEEE Computational Intelligence for Financial Engineering & Economics (CIFEr). (The full text of this publication is not available from this repository)

Thompson, Simon (2014) How to stand out digitally. In: Jolly, Adam, ed. The Growing Business Handbook. Kogan Page, pp. 129-131. ISBN 9780749470371. (The full text of this publication is not available from this repository)

Thompson, Simon and Delaney, Aidan and Stapleton, Gem and Taylor, John (2014) A Normal Form for Spider Diagrams of Order. In: 2014 International Workshop on Visual Languages and Computing, 27-29 August 2014. (Full text available)
[img]
Preview

Tupman, Charlotte and Jordanous, Anna (2014) Sharing Ancient Wisdoms across the Semantic Web using TEI and ontologies. Analysis of Ancient and Medieval Texts and Manuscripts: Digital Approaches. In the series Lectio: Studies in the Transmission of Texts & Ideas, 1 . (In press) (The full text of this publication is not available from this repository)

2013

de Lemos, Rogério and Giese, Holger and Müller, Hausi and Shaw, Mary, eds. (2013) Software Engineering for Self-Adaptive Systems II. Springer (The full text of this publication is not available from this repository)

Andersson, Jesper and Baresi, Luciano and Bencomo, Nelly and de Lemos, Rogério and Gorla, Alessandra and Inverardi, Paola and Vogel, Thomas (2013) Software Engineering Processes for Self-Adaptive Systems. In: Software Engineering for Self-Adaptive Systems II. Springer, pp. 51-75. (The full text of this publication is not available from this repository)

Bailey, Christopher and Chadwick, David W and de Lemos, Rogério and Siu, Kristy WS (2013) Enabling the Autonomic Management of Federated Identity Providers. In: Emerging Management Mechanisms for the Future Internet. Springer Berlin Heidelberg, pp. 100-111. (The full text of this publication is not available from this repository)

Bailey, Christopher and Chadwick, David W. and de Lemos, Rogério and Siu, Kristy W. S. (2013) Enabling the Autonomic Management of Federated Identity Providers. In: Emerging Management Mechanisms for the Future Internet. Lectures Notes in Computer Science. pp. 100-111. (The full text of this publication is not available from this repository)

Berry, Michael and Kölling, Michael (2013) The design and implementation of a notional machine for teaching introductory programming. In: 8th Workshop in Primary and Secondary Computing Education (WiPSCE 2013), Nov 2013, Aarhus, Denmark. (Full text available)
[img]
Preview

Bocchi, Laura and Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko (2013) Monitoring Networks through Multiparty Session Types. Formal Techniques for Distributed Systems (FMOODS/FORTE), 7892 (1). pp. 50-65. ISSN 0302-9743. (Full text available)
[img]
Preview

Bocchi, Laura and Demangeon, Romain (2013) Embedding Session Types in HML. Electronic Proceedings in Theoretical Computer Science, 137 (1). pp. 53-62. ISSN 2075-2180. (Full text available)
[img]
Preview

Bocchi, Laura and Mahmud, Hoger and Rebay-Salisbury, Katharina and Tuosto, Emilio (2013) Virtual models for archaeology. Archeologia e Calcolatori, 24 (1). pp. 305-324. ISSN 1120-6861. (The full text of this publication is not available from this repository)

Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf (2013) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. Trends in Functional Programming, 7829 . (Full text available)
[img]
Preview

Brown, Neil C.C. and Kölling, Michael (2013) A Tale of Three Sites: Resource and Knowledge Sharing Amongst Computer Science Educators. In: Ninth Annual International Computing Education Research Conference (ICER), Aug 2013, San Diego, USA. (Full text available)
[img]
Preview

Cámara, Javier and de Lemos, Rogério and Ghezzi, Carlo, eds. (2013) Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Springer Publishing Company, Incorporated (The full text of this publication is not available from this repository)

Camara, Javier and Correia, Pedro and de Lemos, Rogério and Garlan, David and Gomes, Pedro and Schmerl, Bradley and Ventura, Rafael (2013) Evolving an adaptive industrial software system to use architecture-based self-adaptation. In: 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). pp. 13-22. (The full text of this publication is not available from this repository)

Camara, Javier and Lemos, Rogerio de and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2013) Robustness Evaluation of Controllers in Self-Adaptive Software Systems. In: 2013 Sixth Latin-American Symposium on Dependable Computing. pp. 1-10. (The full text of this publication is not available from this repository)

Cameron, Claire and Ostashevsky, Luba (2013) Science Gets Down With Miles Davis and Bernini. . Online magazine. (Full text available)
[img]

Chadwick, David (2013) A Trust Model for ABFAB Trust Routers. . Internet. (The full text of this publication is not available from this repository)

Chadwick, David W and Casenove, Matteo and Siu, Kristy (2013) My private cloud--granting federated access to cloud resources. Journal of Cloud Computing, 2 (1). pp. 1-16. ISSN 2192-113X. (The full text of this publication is not available from this repository)

Chadwick, David W and Hibbert, Mark (2013) Towards Automated Trust Establishment in Federated Identity Management. In: Trust Management VII. Springer Berlin Heidelberg, pp. 33-48. (The full text of this publication is not available from this repository)

Chen, Huankai and Wang, Frank Z. and Helian, Na (2013) A Cost-Efficient and Reliable Resource Allocation Model Based on Cellular Automaton Entropy for Cloud Project Scheduling. International Journal of Advanced Computer Science and Applications, 4 (4). pp. 7-14. ISSN 2156-5570. (Full text available)
[img]
Preview

Chen, Wanlong and Yang, Xiao and Wang, Frank Z. (2013) Delayed Switching Applied to Memristor Content Addressable Memory Cell. In: World Congress on Engineering 2013, July 3 - 5, 2013, London. (Access to this publication is restricted)
[img]

Chu, Dominique (2013) Evolving Parameters for a Noisy Bio-System. In: 2013 IEEE Symposium Series on Computational Intelligence, 16th - 19th April, 2013, Singapore. (Full text available)
[img]
Preview

Chu, Dominique (2013) Replaying the tape of evolution: Evolving parameters for a simple bacterial metabolism. In: IEEE CEC 2013 : IEEE Congress on Evolutionary Computation, 20th - 23rd June, 2013, Cancun, Mexico. (Full text available)
[img]
Preview

Chu, Dominique (2013) The Science Myth: God, society, the self and what we will never know. Iff Books, London, 437 pp. ISBN 1782790470. (The full text of this publication is not available from this repository)

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2013) On the expressiveness of spider diagrams and commutative star-free regular languages. Journal of Visual Languages and Computing, 24 (4). pp. 273-288. ISSN 1045-926X. (Full text available)
[img]
Preview

Fincher, Sally (2013) The Diarists' Audience. In: Stanley, Liz, ed. Documents of Life Revisited: Narrative and Biographical Methodology for a 21st Century Critical Humanism. Ashgate, pp. 77-92. ISBN 978-1-4094-4289-9. (The full text of this publication is not available from this repository)

Fincher, Sally and Knox, Daniel (2013) The Porous Classroom: Professional Practices in the Computing Curriculum. IEEE Computer, 46 (9). pp. 44-51. ISSN 0018-9162. (The full text of this publication is not available from this repository)

Huth, Carly L and Chadwick, David W and Claycomb, William and You, Ilsun (2013) Guest editorial: A brief overview of data leakage and insider threats. Information Systems Frontiers, 15 (1). pp. 1-4. ISSN 1387-3326. (The full text of this publication is not available from this repository)

Jordanous, Anna (2013) Introducing Computational Creativity Research. . CreativityPost.com Internet. (The full text of this publication is not available from this repository)

Jordanous, Anna (2013) Review: Emotional sentence identification in a story Zhang Z., Ge S., Tee K. WASA 2012 (Proceedings of the Workshop at SIGGRAPH Asia, Singapore, Nov 26-27, 2012) 125-130. 2012. Type: Proceedings. Review of: Emotional sentence identification in a story Zhang Z., Ge S., Tee K. WASA 2012 (Proceedings of the Workshop at SIGGRAPH Asia, Singapore, Nov 26-27, 2012) 125-130. 2012. by UNSPECIFIED. ACM Computing Reviews . CR141093. ISSN 1308-0745. (The full text of this publication is not available from this repository)

Jordanous, Anna and Lawrence, K. Faith and Tupman, Charlotte (2013) Sharing Ancient Wisdoms: Dataset. RDF. Located at: http://www.ancientwisdoms.ac.uk/library/data/. (The full text of this publication is not available from this repository)

Jordanous, Anna and Roueché, Charlotte and Tupman, Charlotte and Lawrence, K. Faith and Hedges, Mark and Wakelnig, Elvira and Searby, Denis (2013) Sharing Ancient Wisdoms (SAWS) ontology. http://www.ancientwisdoms.ac.uk/. (Full text available)
[img]

Jordanous, Anna and Tupman, Charlotte (2013) Sharing Ancient Wisdoms - supporting code. ancientwisdoms.ac.uk XSLT stylesheets. (The full text of this publication is not available from this repository)

Jordanous, Anna and Tupman, Charlotte and Stanley, Alan (2013) Contemporary solutions to retrieve and publish information in ancient documents using RDF and Islandora. In: Digital Humanities 2013, 2013, Lincoln, Nebraska. (The full text of this publication is not available from this repository)

Kaegi, Stefan (2013) Waiting... with Rachel and Peter. Performance type: Other While You Wait, 2013, Fuel, Roundhouse and King’s Cultural Institute. Podcast. (Full text available)
[img]

Kampouridis, Michael (2013) An initial investigation of choice function hyper-heuristics for the problem of financial forecasting. In: Evolutionary Computation (CEC), 2013 IEEE Congress on. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Alsheddy, Abdullah and Tsang, Edward (2013) On the investigation of hyper-heuristics on a financial forecasting problem. Annals of Mathematics and Artificial Intelligence, 68 (4). pp. 225-246. ISSN 1573-7470. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Sim, Kwang Mong (2013) A GP approach for price-speed optimizing negotiation. In: IEEE Congress on Evolutionary Computation (CEC). (The full text of this publication is not available from this repository)

Kapinchev, Konstantin I. and Barnes, Frederick R.M. and Bradu, Adrian and Podoleanu, Adrian G.H. (2013) Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 13th-16th October, 2013, Manchester, UK. (Full text available)
[img]
Preview

Knox, Daniel and Cooke, Jennifer (2013) School of Computing Postgraduate Conference 2013. Technical report. University of Kent School of Computing (Full text available)
[img]
Preview

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Proceedings of the twelfth ACM SIGPLAN workshop on Erlang - Erlang '13. pp. 77-78. (Full text available)
[img]
Preview

Lawrence, K Faith and Jordanous, Anna (2013) Gnome on the range: finding the hypertextual narratives in ancient wisdom texts. In: 3rd Narrative and Hypertext Workshop at 24th ACM Conference on Hypertext and Social Media (HYPERTEXT 2013), 2013, Paris, France. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon (2013) Multicore Profiling for Erlang Programs Using Percept2. In: Erlang Workshop 2013, 28 September 2013, Boston, USA. (Full text available)
[img]
Preview

McKay, Fraser and Kölling, Michael (2013) Predictive Modelling for HCI Problems in Novice Program Editors. In: HCI 2013 - The 27th International British Computer Society Human Computer Interaction Conference: The Internet of things, 9-13 September 2013, London, UK. (Full text available)
[img]
Preview

Newby, Danielle and Freitas, Alex A. and Ghafourian, Taravat (2013) Pre-processing feature selection for improved C&RT models for oral absorption. Journal of Chemical Information and Modeling, 53 (10). pp. 2730-2742. ISSN 1549-9596. (The full text of this publication is not available from this repository)

Peach, Kelly C. and Bray, Walter M. and Winslow, Dustin and Linington, Peter F. and Linington, Roger G. (2013) Mechanism of action-based classification of antibiotics using high-content bacterial image analysis. Molecular Biosystems, 9 (7). pp. 1837-1848. ISSN 1742-206X . (The full text of this publication is not available from this repository)

Roueché, Charlotte and Searby, Denis and Wakelnig, Elvira and Procházka, Stephan and Hedges, Mark and Lawrence, K. Faith and Jordanous, Anna and Tupman, Charlotte and Lawrence, Keith and Bylund, Måns and Österdahl, Pontus and Dallaji, Ines and Storz, Christoph and Nigst, Lorenz (2013) Sharing Ancient Wisdoms. (The full text of this publication is not available from this repository)

Sahami, Mehran and Roach, Steve and Cuadros-Vargas, Ernesto and Danyluk, Andrea and Dodge, Ronald and Fisher, Kathleen and Fincher, Sally and France, Robert and Grossman, Dan and Hawthorne, Beth and Katz, Randy and Kumar, Amruth and LeBlanc, Rich and Reed, Dave and Robinson, Brian H. and Seker, Remzi and Thompson, Alfred (2013) Computer Science Curricula 2013(CS2013). Technical report. ACM Press and IEEE Computer Society Press, New York 10.1145/2534860. (The full text of this publication is not available from this repository)

Sanz-Izquierdo, Benito and Leelaratne, Rusiru (2013) Evaluation of wideband LTE antenna configurations for vehicle applications. In: 2013 Loughborough Antennas & Propagation Conference (LAPC). IEEE pp. 383-387. (The full text of this publication is not available from this repository)

Shaghaghi, A. R. and Glover, T. and Kampouridis, Michael and Tsang, E. (2013) Guided local search for optimal GPON/FTTP network design. In: Proceedings of the Fourth International Conference on Networks & Communications. (The full text of this publication is not available from this repository)

Smonou, D. and Kampouridis, Michael and Tsang, E. (2013) Metaheuristics Application on a Financial Forecasting Problem. In: IEEE Congress on Evolutionary Computation (IEEE CEC 2013), June 2013. (The full text of this publication is not available from this repository)

Stapleton, Gem and Howse, John and Thompson, Simon and Taylor, John and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams . pp. 101-133. (Full text available)
[img]
Preview

Thompson, Simon and Howse, John and Taylor, John and Stapleton, Gem and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhaüser, pp. 101-133. ISBN 9783034805995. (Full text available)
[img]
Preview

Thompson, Simon and Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (The full text of this publication is not available from this repository)

Utting, Ian (2013) The McCracken Study - 12 years on. In: ITiCSE Conference, 1-3 July 2013, University of Kent, Canterbury. (Unpublished) (The full text of this publication is not available from this repository)

Wang, Frank Z. (2013) A Triangular Periodic Table of Elementary Circuit Elements. IEEE Transactions on Circuits and Systems Society, 60 (3). pp. 616-623. ISSN 1549-8328. (Full text available)
[img]
Preview

Wang, Frank Z. and Chua, Leon O. and Yang, Xiao and Helian, Na and Tetzlaff, Ronald and Schmidt, Schmidt and Li, Ling and Carrasco, Jose Manuel Garcia and Chen, Wanlong and Chu, Dominique (2013) Adaptive Neuromorphic Architecture (ANA). Neural Networks, 45 (1). pp. 111-116. ISSN 0893-6080. (In press) (Full text available)
[img]
Preview

Wazan, Ahmad Samer and Laborde, Romain and Barrere, Fran\cois and Benzekri, Abdelmalek and Chadwick, David W (2013) PKI Interoperability: Still an Issue? A Solution in the X. 509 Realm. In: Information Assurance and Security Education and Training. Springer Berlin Heidelberg, pp. 68-82. (The full text of this publication is not available from this repository)

Welch, Peter H. (2013) Life of occam-Pi. In: Communicating Process Architectures 2013, August, 2013. (Full text available)
[img]
Preview

Xu, Chuanlong and Wang, Shimin and Yan, Yong (2013) Spatial Selectivity of Linear Electrostatic Sensor Arrays for Particle Velocity Measurement. IEEE Transactions on Instrumentation and Measurement, 62 (1). pp. 167-176. ISSN 0018-9456. (The full text of this publication is not available from this repository)

Yang, Xiao and Chen, Wanlong and Wang, Frank Z. (2013) A Memristor-CAM (Content Addressable Memory) Cell: New Design and Evaluation. In: International Conference on Computer Science and Information Technology, 30-31 Jan 2013, Dubai. (The full text of this publication is not available from this repository)

Yang, Xiao and Chen, Wanlong and Wang, Frank Z. (2013) A supervised spiking time dependant plasticity network based on memristors. In: Computational Intelligence and Informatics (CINTI), 2013 IEEE 14th International Symposium on. (The full text of this publication is not available from this repository)

da Silva, Carlos Eduardo and de Lemos, Rogério (2013) Dynamic Management of Integration Testing for Self-Adaptive Systems. In: LADC 2013 Workshop on Dependable in Adaptive and Self-Managing Systems (WDAS), 1-5 April 2013, Rio de Janeiro, RJ, Brazil. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Cámara, Javier and Vieira, Marco and Almeida, Raquel and Ventura, Rafael (2013) Architecture-based Resilience Evaluation for Self-adaptive Systems. Computing, 95 (8). pp. 689-722. ISSN 1436-5057. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Giese, Holger and Müller, Hausi A. and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Weyns, Danny and Baresi, Luciano and Becker, Basil and Bencomo, Nelly and Brun, Yuriy and Cukic, Bojan and Desmarais, Ron and Dustdar, Schahram and Engels, Gregor and Geihs, Kurt and Göschka, Karl M. and Gorla, Alessandra and Grassi, Vincenzo and Inverardi, Paola and Karsai, Gabor and Kramer, Jeff and Lopes, Antónia and Magee, Jeff and Malek, Sam and Mankovskii, Serge and Mirandola, Raffaela and Mylopoulos, John and Nierstrasz, Oscar and Pezzè, Mauro and Prehofer, Christian and Schäfer, Wilhelm and Schlichting, Rick and Smith, Dennis B. and Sousa, João Pedro and Tahvildari, Ladan and Wong, Kenny and Wuttke, Jochen (2013) Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. In: Software Engineering for Self-Adaptive Systems II. Springer, pp. 1-32. (The full text of this publication is not available from this repository)

2012

Welch, Peter H. and Barnes, Frederick R.M. and Pedersen, Jan B. and Sampson, Adam T., eds. (2012) Communicating Process Architectures 2012. Open Channel Publishing, 236 pp. ISBN 9780956540959. (The full text of this publication is not available from this repository)

Alsheddy, A. and Kampouridis, Michael (2012) Off-line Parameter Tuning for Guided Local Search Using Genetic Programming. In: IEEE World Congress on Evolutionary Computation (WCCI). (The full text of this publication is not available from this repository)

Bailey, Christopher J. (2012) Application of Self-Adaptive techniques to federated authorization models. In: 2012 34th International Conference on Software Engineering (ICSE). , 2012 International Conference on Software Engineering (ICSE 2012) Doctoral Symposium pp. 1495-1498. (Full text available)
[img]
Preview

Barnes, David J. and Kölling, Michael (2012) Objects First with Java - A Practical Introduction using BlueJ. Pearson Education, 560 pp. ISBN 9780132835541. (The full text of this publication is not available from this repository)

Castle, Tom (2012) Evolving High-Level Imperative Program Trees with Genetic Programming. Doctor of Philosophy (PhD) thesis, University of Kent. (Full text available)
[img]
Preview

Chadwick, David W and Fatema, Kaniz (2012) A privacy preserving authorisation system for the cloud. Journal of Computer and System Sciences, 78 (5). pp. 1359-1373. ISSN 0022-0000. (The full text of this publication is not available from this repository)

Chadwick, David W and Hibbert, Mark (2012) F-SAMS: Reliably Identifying Attributes and Their Identity Providers in a Federation. In: On the Move to Meaningful Internet Systems: OTM 2012 Workshops. Springer Berlin Heidelberg, pp. 231-241. (The full text of this publication is not available from this repository)

Chua, Leon O. and Sbitnev, Valery and Hyongsuk, Kim (2012) Neurons are poised near the edge of chaos. International Journal of Bifurcation and Chaos, 22 (04). 1250098- 1. ISSN 0218-1274. (The full text of this publication is not available from this repository)

Chua, Leon O. and Sbitnev, Valery and Kim, Hyongsuk (2012) HODGKIN–HUXLEY AXON IS MADE OF MEMRISTORS. International Journal of Bifurcation and Chaos, 22 (03). pp. 1230011-1. ISSN 0218-1274. (The full text of this publication is not available from this repository)

Cámara, Javier and de Lemos, Rogério (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), June 2012, Zurich, Switzerland. (The full text of this publication is not available from this repository)

Cámara, Javier and de Lemos, Rogério (2012) Towards Run-time Evaluation of Resilience in Self-Adaptive Systems. In: 17th Conference on Software Engineering and Databases (JISBD'12), September 2012, Almeria, Spain. (The full text of this publication is not available from this repository)

Chadwick, David W. and de Decker, Bart, eds. (2012) Communications and Multimedia Security. Springer-Verlag ISBN 3642328040. (The full text of this publication is not available from this repository)

Dimitrakos, Theo and Basu, Anirban and Kikuchi, Hiroaki and Nair, Srijith K. (2012) Privacy preserving collaborative filtering for SaaS enabling PaaS clouds. Journal of Cloud Computing: Advances, Systems and Applications, 1 (1). p. 8. ISSN 2192-113X. (The full text of this publication is not available from this repository)

Dunn, Stuart and Hedges, Mark and Jordanous, Anna and Storz, Christoph (2012) Comparing the informatics of text and Cultural Heritage: the SAWS project. In: Computer Applications and Quantitative Methods in Archaeology, 2012, Southampton, UK. (The full text of this publication is not available from this repository)

Fatema, Kaniz and Chadwick, David and Van Alsenoy, Brendan (2012) Extracting Access Control and Conflict Resolution Policies from European Data Protection Law. In: Privacy and Identity Management for Life. IFIP Advances in Information and Communication Technology . Springer Boston, pp. 59-72. (The full text of this publication is not available from this repository)

Ferrer, Ana Juan and Hernandez, Francisco and Tordsson, Johan and Elmroth, Erik and Ali-Eldin, Ahmed and Zsing, Csilla and Sivert, Raul and Guitart, Jordi and Badia, Rosa M. and Djemame, Karim and Ziegler, Wolfgang and Dimitrakos, Theo and Nair, Srijith K. and Kousiouris, George and Konstanteli, Kleopatra and Varvarigou, Theodora and Hudzia, Benoit and Kipp, Alexander and Wesner, Stefan and Corrales, Marcelo and Forgo, Nikolaus and Sharif, Tabassum and Sheridan, Craig (2012) OPTIMIS: A holistic approach to cloud service provisioning. Future Generation Computer Systems, 28 (1). pp. 66-77. ISSN 0167-739X. (The full text of this publication is not available from this repository)

Fincher, Sally (2012) Using Narrative Methodology. University of Kent at Canterbury, Canterbury, 52 pp. ISBN 9781902671789. (Full text available)
[img]
Preview

Hedges, Mark and Jordanous, Anna and Dunn, Stuart and Roueché, Charlotte and Kuster, Marc W and Selig, Thomas and Bittorf, Michael and Artes, Waldemar (2012) New models for collaborative textual scholarship. In: 6th IEEE International Conference on Digital Ecosystems Technologies (DEST 2012), 2012, Campione d'Italia, Switzerland. (Full text available)
[img]
Preview

Jordanous, Anna (2012) Evaluating computational creativity: a standardised procedure for evaluating creative systems and its application. Doctor of Philosophy (PhD) thesis, University of Sussex. (Full text available)
[img]
Preview

Jordanous, Anna (2012) A Standardised Procedure for Evaluating Creative Systems: Computational Creativity Evaluation Based on What it is to be Creative. Cognitive Computation, 4 (3). pp. 246-279. ISSN 1866-9956. (The full text of this publication is not available from this repository)

Jordanous, Anna and Keller, Bill (2012) Creativity Ontology. http://purl.org/creativity/ontology. (Full text available)
[img]

Jordanous, Anna and Keller, Bill (2012) Weaving creativity into the Semantic Web: a language-processing approach. In: International Conference on Computational Creativity 2012, 2012, Dublin, Ireland. (Full text available)
[img]
Preview

Jordanous, Anna and Keller, Bill (2012) What makes a musical improvisation creative? Journal of Interdisciplinary Music Studies, 6 (2). pp. 151-175. ISSN 1307-0401. (Full text available)
[img]
Preview

Jordanous, Anna and Lawrence, K Faith and Hedges, Mark and Tupman, Charlotte (2012) Exploring manuscripts: sharing ancient wisdoms across the semantic web. In: International Conference on Web Intelligence, Mining and Semantics, 2012, Craiova, Romania. (Full text available)
[img]
Preview

Jordanous, Anna and Stanley, Alan and Tupman, Charlotte (2012) Contemporary transformation of ancient documents for recording and retrieving maximum information: when one form of markup is not enough. In: Balisage: The Markup Conference 2012. Balisage Series on Markup Technologies (The full text of this publication is not available from this repository)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2012) Market Fraction Hypothesis: A proposed test. International Review of Financial Analysis, 23 (-). pp. 41-54. ISSN 1057-5219. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Chen, Shu-Heng and Tsang, Edward (2012) Microstructure Dynamics and Agent-Based Financial Markets: Can Dinosaurs Return? Advances in Complex Systems, 15 (S02). p. 1250060. ISSN 1793-6802. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Glover, T. and Shaghaghi, A. R. and Tsang, E. (2012) Using a Genetic Algorithm as a Decision Support Tool for the Deployment of Fiber Optic Networks. In: Proceedings of the IEEE World Congress on Computational Intelligence. (The full text of this publication is not available from this repository)

King, Andy and Mycroft, Alan and Simon, Axel and Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. In: Analysis of Executables: Benefits and Challenges, January 29 to February 3, 2012, Wadern, Germany. (Full text available)
[img]
Preview

Marconi, Annapaola and Bucchiarone, Antonio and Bratanis, Konstantinos and Brogi, Antonio and Camara, Javier and Dranidis, Dimitris and Giese, Holger and Kazhamiakink, Raman and de Lemos, Rogerio and Marquezan, Clarissa Cassales and Metzger, Andreas (2012) Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. In: 2012 First International Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube). pp. 40-46. (The full text of this publication is not available from this repository)

Ratnarajah, Nagulan and Simmons, Andy and Hojjatoleslami, Ali and Davydov, Oleg (2012) Novel Approach for Improved Tractography and Quantitative Analysis of Probabilistic Fibre Tracking Curves. Medical Image Analysis, 16 (1). pp. 227-238. ISSN 1361-8415. (Full text available)
[img]
Preview

Sim, Kwang Mong (2012) Agent-Based Cloud Computing. IEEE Transactions On Services Computing, 5 (4). pp. 564-577. ISSN 1939-1374. (Full text available)
[img]
Preview

Tupman, Charlotte and Hedges, Mark and Jordanous, Anna and Roueché, Charlotte and Lawrence, K. Faith and Wakelnig, Elvira and Dunn, Stuart (2012) Sharing Ancient Wisdoms: developing structures for tracking cultural dynamics by linking moral and philosophical anthologies with their source and recipient texts. In: Digital Humanities, 2012, Hamburg, Germany. (The full text of this publication is not available from this repository)

Tupman, Charlotte and Jordanous, Anna (2012) Sharing Ancient Wisdoms across the Semantic Web using TEI and ontologies. In: Methods and means for digital analysis of ancient and medieval texts and manuscripts, 2012, Leuven, Belgium. (Unpublished) (The full text of this publication is not available from this repository)

2011

Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan B. and Kerridge, Jon M. and Broenink, Jan F. and Barnes, Frederick R.M., eds. (2011) Communicating Process Architectures 2011. Concurrent Systems Engineering, 68 . IOS Press, Amsterdam, The Netherlands, 400 pp. ISBN 9781607507734. (The full text of this publication is not available from this repository)

Chadwick, David W and Casenove, Matteo (2011) Security APIs for My Private Cloud-Granting access to anyone, from anywhere at any time. In: Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on. (The full text of this publication is not available from this repository)

Chadwick, David W and Inman, George L and Siu, Kristy WS and Ferdous, Mohammad Sadek (2011) Leveraging social networks to gain access to organisational resources. In: Proceedings of the 7th ACM workshop on Digital identity management. (The full text of this publication is not available from this repository)

Chadwick, David W and Lievens, Stijn F and den Hartog, Jerry I and Pashalidis, Andreas and Alhadeff, Joseph (2011) My Private Cloud Overview: A Trust, Privacy and Security Infrastructure for the Cloud. In: Cloud Computing (CLOUD), 2011 IEEE International Conference on. (The full text of this publication is not available from this repository)

Chambers, John C and Zhang, Weihua and Sehmi, Joban S. and Li, Xinzhong and Wass, Mark N. and Van der Harst, Pim and Holm, Hilma and Sanna, Serena and Kavousi, Maryam and Baumeister, Sebastian E and Coin, Lachlan J and Deng, Guohong and Gieger, Christian and Heard-Costa, Nancy L and Hottenga, Jouke-Jan and Kühnel, Brigitte and Kumar, Vinod and Lagou, Vasiliki and Liang, Liming and Luan, Jian'an and Vidal, Pedro Marques and Mateo Leach, Irene and O'Reilly, Paul F and Peden, John F and Rahmioglu, Nilufer and Soininen, Pasi and Speliotes, Elizabeth K and Yuan, Xin and Thorleifsson, Gudmar and Alizadeh, Behrooz Z and Atwood, Larry D and Borecki, Ingrid B and Brown, Morris J and Charoen, Pimphen and Cucca, Francesco and Das, Debashish and de Geus, Eco J C and Dixon, Anna L and Döring, Angela and Ehret, Georg and Eyjolfsson, Gudmundur I and Farrall, Martin and Forouhi, Nita G and Friedrich, Nele and Goessling, Wolfram and Gudbjartsson, Daniel F and Harris, Tamara B and Hartikainen, Anna-Liisa and Heath, Simon and Hirschfield, Gideon M and Hofman, Albert and Homuth, Georg and Hyppönen, Elina and Janssen, Harry L A and Johnson, Toby and Kangas, Antti J and Kema, Ido P and Kühn, Jens P and Lai, Sandra and Lathrop, Mark and Lerch, Markus M and Li, Yun and Liang, T Jake and Lin, Jing-Ping and Loos, Ruth J F and Martin, Nicholas G and Moffatt, Miriam F and Montgomery, Grant W and Munroe, Patricia B and Musunuru, Kiran and Nakamura, Yusuke and O'Donnell, Christopher J and Olafsson, Isleifur and Penninx, Brenda W and Pouta, Anneli and Prins, Bram P and Prokopenko, Inga and Puls, Ralf and Ruokonen, Aimo and Savolainen, Markku J and Schlessinger, David and Schouten, Jeoffrey N L and Seedorf, Udo and Sen-Chowdhry, Srijita and Siminovitch, Katherine A and Smit, Johannes H and Spector, Timothy D and Tan, Wenting and Teslovich, Tanya M and Tukiainen, Taru and Uitterlinden, Andre G and Van der Klauw, Melanie M and Vasan, Ramachandran S and Wallace, Chris and Wallaschofski, Henri and Wichmann, H-Erich and Willemsen, Gonneke and Würtz, Peter and Xu, Chun and Yerges-Armstrong, Laura M and Abecasis, Goncalo R and Ahmadi, Kourosh R and Boomsma, Dorret I and Caulfield, Mark and Cookson, William O and van Duijn, Cornelia M and Froguel, Philippe and Matsuda, Koichi and McCarthy, Mark I and Meisinger, Christa and Mooser, Vincent and Pietiläinen, Kirsi H and Schumann, Gunter and Snieder, Harold and Sternberg, Michael J.E. and Stolk, Ronald P and Thomas, Howard C and Thorsteinsdottir, Unnur and Uda, Manuela and Waeber, Gérard and Wareham, Nicholas J and Waterworth, Dawn M and Watkins, Hugh and Whitfield, John B and Witteman, Jacqueline C M and Wolffenbuttel, Bruce H R and Fox, Caroline S and Ala-Korpela, Mika and Stefansson, Kari and Vollenweider, Peter and Völzke, Henry and Schadt, Eric E and Scott, James and Järvelin, Marjo-Riitta and Elliott, Paul and Kooner, Jaspal S (2011) Genome-wide association study identifies loci influencing concentrations of liver enzymes in plasma. Nature Genetics, 43 (11). pp. 1131-1138. ISSN 1061-4036. (The full text of this publication is not available from this repository)

Chen, S.-H. and Kampouridis, Michael and Tsang, E. (2011) Microstructure Dynamics and Agent-Based Financial Markets. In: Multi-Agent-Based Simulation XI, 11th International Workshop, Revised Papers, LNAI. (The full text of this publication is not available from this repository)

Chu, Dominique and Barnes, David J. and von der Haar, Tobias (2011) The role of tRNA and ribosome competition in coupling the expression of different mRNAs in Saccharomyces cerevisiae. Nucleic Acids Research, 39 (15). pp. 6705-6714. ISSN 0305-1048. (Full text available)
[img]
Preview

Fatema, Kaniz and Chadwick, David W. and Lievens, Stijin F. (2011) A Multi-privacy Policy Enforcement System. In: Fischer-Hubner, Simone and Duquenoy, Penny and Hansen, Marit and Leenes, Ronald and Zhang, Ge, eds. Privacy and Identity Management for Life. IFIP Advances in Information and Communication Technology, 352 (2011). Springer, Boston, pp. 297-310. ISBN 9783642207686. (Full text available)
[img]
Preview

Howard, Sam and Silla Jr, Carlos N. and Johnson, Colin G. (2011) Automatic Lyrics-based Music Genre Classification in a Multilingual Setting. In: Thirteenth Brazilian Symposium on Computer Music, 31st August--3rd September 2011, Vitória, Brasil. (Full text available)
[img]
Preview

Jordanous, Anna (2011) Computer Models of Musical Creativity? A review of Cope (2005). Review of: Computer Models of Musical Creativity. David Cope (2005). MIT Press by UNSPECIFIED. AISB Quarterly, 132 (-). p. 10. ISSN 1476-3036. (Full text available)
[img]
Preview

Jordanous, Anna (2011) Evaluating evaluation: Assessing progress in computational creativity research. In: International Conference on Computational Creativity 2011, 2011, Mexico City, Mexico. (Full text available)
[img]
Preview

Jordanous, Anna (2011) Evaluating the creativity of computational musical improvisation systems. In: Workshop on International Cross-Disciplinary Research Collaboration in Science \& Music at 7th Conf. Interdisciplinary Musicology, 2011, Glasgow, UK. (Full text available)
[img]
Preview

Jordanous, Anna (2011) International Conference on Computational Creativity (review). Review of: International Conference on Computational Creativity 2011 by UNSPECIFIED. AISB Quarterly . p. 13. (Full text available)
[img]
Preview

Jordanous, Anna and Keller, Bill (2011) What makes a musical improvisation creative? In: 7th Conference on Interdisciplinary Musicology, 2011, Glasgow, UK. (Full text available)
[img]
Preview

Jordanous, Anna and Thornton, Chris and Streck, Jens (2011) Computational creativity researchers' perception ofcognition in creativity. Leverhulme (Unpublished) (The full text of this publication is not available from this repository)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2011) Investigating the Effect of Different GP Algorithms on the Non-Stationary Behavior of Financial Markets. In: Computational Intelligence for Financial Engineering and Economics. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2011) The Market Fraction Hypothesis under different GP algorithms. In: Information Systems for Global Financial Markets: Emerging Developments and Effects,. IGI Global, pp. 37-54. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2011) Market Microstructure: A Self-Organizing Map Approach for Investigating Behavior Dynamics under an Evolutionary Environment. In: Natural Computing in Computational Finance,. Studies in Computational Intelligence Series, 4 . Springer, pp. 181-197. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2011) Market Microstructure: Can Dinosaurs Return? A Self-Organizing Map Approach under an Evolutionary Framework. In: EvoApplications, EvoStar 2011. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Tsang, Edward (2011) Using Hyperheuristics under a GP framework for Financial Forecasting. In: Proc. Fifth International Conference on Learning and Intelligent Optimization (LION5). (The full text of this publication is not available from this repository)

Merad, Salah and de Lemos, Rogério and Anderson, Tom (2011) A game theoretic solution for the optimal selection of services. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. Premier Reference Source . IGI Global, pp. 172-188. ISBN 9781609607944. (The full text of this publication is not available from this repository)

Plastino, Alexandre and Fuchshuber, Richard and Martins, Simone de L. and Freitas, Alex A. and Salhi, Said (2011) A hybrid data mining metaheuristic for the p-median problem. Statistical Analysis & Data Mining Journal , 4 (3). pp. 313-335. (The full text of this publication is not available from this repository)

Schoeberl, Martin and Korsholm, Stephan and Kalibera, Tomas and Ravn, Anders P. (2011) A Hardware Abstraction Layer in Java. ACM Transactions on Embedded Computing Systems, 10 (4). pp. 182-196. (The full text of this publication is not available from this repository)

Watt, John and Sinnott, Richard O and Inman, George and Chadwick, David (2011) Federated Authentication and Authorisation in the Social Science Domain. In: Availability, Reliability and Security (ARES), 2011 Sixth International Conference on. (The full text of this publication is not available from this repository)

da Silva, Carlos Eduardo and de Lemos, Rogério (2011) Dynamic plans for integration testing of self-adaptive software systems. In: Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems - SEAMS '11. p. 148. (The full text of this publication is not available from this repository)

da Silva, Carlos Eduardo and de Lemos, Rogério (2011) A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems. Informatica, 35 (1). pp. 3-13. ISSN 0350-5596. (The full text of this publication is not available from this repository)

2010

Casimiro, Antonio and de Lemos, Rogério and Gacek, Cristina, eds. (2010) Architecting Dependable Systems VII. Lecture Notes in Computer Science, 6420 . Springer, 324 pp. ISBN 9783642172441. (The full text of this publication is not available from this repository)

Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper, eds. (2010) Self-Organizing Architectures. Lecture Notes in Computer Science, 6090 . Springer, 301 pp. ISBN 9783642144110. (The full text of this publication is not available from this repository)

Chen, S.-H. and Kampouridis, Michael and Tsang, E. (2010) Microstructure Dynamics and Agent-Based Financial Markets. In: Proceedings of the 11th International Workshop on Multi-Agent-Based Simulation (MABS 2010). (The full text of this publication is not available from this repository)

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. Formal Methods for Components and Objects, 6286 . pp. 250-271. ISSN 0302-9743. (Full text available)
[img]
Preview

Dimitrakos, Theo and Martrat, Josep and Wesner, Stefan, eds. (2010) Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise. Springer Berlin Heidelberg ISBN 9783642040863. (The full text of this publication is not available from this repository)

Hellyer, Laurence and Ritson, Carl G. and Simpson, Jonathan (2010) Proceedings of the 2010 School of Computing Postgraduate Conference. Technical report. , University of Kent, Canterbury, Kent CT2 7NF, UK (The full text of this publication is not available from this repository)

Hocko, Michal and Kalibera, Tomas (2010) Reducing performance non-determinism via cache-aware page allocation strategies. In: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering. (The full text of this publication is not available from this repository)

Hoverd, Tim and Sampson, Adam T. (2010) A Transactional Architecture for Simulation. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. (Full text available)
[img]
Preview

Jordanous, Anna (2010) A-Fitness-Function-for-Creativity-in-Jazz-Improvisation-and-Beyond (Jordanous 2010) - code. github Java code. (Full text available)
[img]

Jordanous, Anna (2010) Conference Review: Empirical approaches to Performance: Empirical Musicology II conference (25-26 March 2010, School of Music, University of Leeds, UK). Review of: Empirical approaches to Performance: Empirical Musicology II conference 2010 by UNSPECIFIED. Excursions, 1 (1). p. 1. ISSN 2044-4095. (The full text of this publication is not available from this repository)

Jordanous, Anna (2010) Defining creativity: Finding keywords for creativity using corpus linguistics techniques. In: International Conference on Computational Creativity 2010, 2010, Lisbon, Portugal. (The full text of this publication is not available from this repository)

Jordanous, Anna (2010) The Realisation of Creativity in Artificial Music Improvisation and Interpretation. In: Empirical Musicology II, 2010, Leeds, UK. (Unpublished) (The full text of this publication is not available from this repository)

Jordanous, Anna (2010) A fitness function for creativity in jazz improvisation and beyond. In: International Conference on Computational Creativity, 2010, Lisbon, Portugal. (The full text of this publication is not available from this repository)

Kalibera, Tomas and Parizek, Pavel and Haddad, Ghaith and Leavens, Gary T. and Vitek, Jan (2010) Challenge benchmarks for verification of real-time programs. In: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (PLPV). (The full text of this publication is not available from this repository)

Kalibera, Tomas and Parizek, Pavel and Malohlava, Michal and Schoeberl, Martin (2010) Exhaustive testing of safety critical Java. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (The full text of this publication is not available from this repository)

Kampouridis, Michael and Chen, S.-H. and Tsang, E. (2010) Testing the Dinosaur Hypothesis Under Different GP Algorithms. In: Proceedings of the UK Computational Intelligence Workshop (UKCI), IEEE Xplore. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Chen, Shu-Heng and Tsang, Edward (2010) Testing the Dinosaur Hypothesis under Empirical Datasets. In: Parallel Problem Solving from Nature — PPSN XI. (The full text of this publication is not available from this repository)

Kampouridis, Michael and Tsang, E. (2010) EDDIE for Investment Opportunities Forecasting: Extending the Search Space of the GP. In: Proceedings of the IEEE World Congress on Computational Intelligence. (The full text of this publication is not available from this repository)

Moraglio, Alberto and Togelius, Julian and Silva, Sara (2010) Geometric Differential Evolution for Combinatorial and Programs Spaces. Technical report. , University of Kent, Canterbury, Kent CT9 7NF, UK (The full text of this publication is not available from this repository)

Parizek, Pavel and Kalibera, Tomas (2010) Efficient Detection of Errors in Java Components Using Random Environment and Restarts. In: Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). (The full text of this publication is not available from this repository)

Perkins, Samuel (2010) Hypervelocity Impact Detection: An Investigation into Piezoelectric Response of PVDF Films. Other masters thesis, School of Physical Sciences, University of Kent. (The full text of this publication is not available from this repository)

Plsek, Ales and Zhao, Lei and Sahin, Veysel H. and Tang, Daniel and Kalibera, Tomas and Vitek, Jan (2010) Developing safety critical Java applications with oSCJ/L0. In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (The full text of this publication is not available from this repository)

Polack, Fiona A.C. and Andrews, Paul S. and Ghetiu, Teodor and Read, Mark and Stepney, Susan and Timmis, Jon and Sampson, Adam T. (2010) Reflections on the Simulation of Complex Systems for Science. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. (Full text available)
[img]
Preview

Saternus, Mariusz and Owen, Gareth (2010) Nav++: VANET Traffic Detection and Dissemination using Mobile Agents. International Journal of Latest Trends in Computing, 1 (1). pp. 182-196. (The full text of this publication is not available from this repository)

NCR Corporation (Duluth, GA) (2010) A Method of and System for Prediction of the State of Health of an Apparatus. US Patent 7,815,103. (The full text of this publication is not available from this repository)

2009

de Lemos, Rogério and Fabre, Jean-Charles and Gacek, Cristina and Gadducci, Fabio and ter Beek, Maurcie H., eds. (2009) Architecting Dependable Systems VI. Lecture Notes in Computer Science, 5835 . Springer, 335 pp. ISBN 9783642102479. (The full text of this publication is not available from this repository)

Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardner S. and Vinter, Brian, eds. (2009) Communicating Process Architectures 2009. Concurrent Systems Engineering, 67 . IOS Press, Amsterdam, The Netherlands ISBN 978-1-60750-065-0. (The full text of this publication is not available from this repository)

Cheng, Betty H.C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff, eds. (2009) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering, 5525 . Springer, 261 pp. ISBN 9783642021602. (The full text of this publication is not available from this repository)

Andersson, Jesper and de Lemos, Rogerio and Malek, Sam and Weyns, Danny (2009) Reflecting on self-adaptive software systems. In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. pp. 38-47. (The full text of this publication is not available from this repository)

Andersson, Jesper and de Lemos, Rogério and Malek, Sam and Weyns, Danny (2009) Modeling Dimensions for Self-Adaptive Systems. In: Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering (5525). Springer, pp. 27-47. ISBN 978-3-642-02160-2. (The full text of this publication is not available from this repository)

Baker, Jason and Cunei, Antonio and Kalibera, Tomas and Pizlo, Filip and Vitek, Jan (2009) Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience, 21 (12). pp. 182-196. (The full text of this publication is not available from this repository)

Beadle, Lawrence (2009) Semantic and Structural Analysis of Genetic Programming. Doctor of Philosophy (PhD) thesis, Computing. (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Moraes, R. and Rubira, Cecilia M. F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: Fourth Latin-American Symposium on Dependable Computing (LADC 09)., 1st - 4th September, 2009, Joao Pessoa, PB, Brazil. (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009) & European Conference on Software Architecture 2009 (ECSA 2009), 14th - 17th September 2009, Cambridge, UK. (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. and Martins, Eliane (2009) Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology , 24 (2). pp. 212-237. ISSN 1000-9000. (The full text of this publication is not available from this repository)

Cheng, Betty H. C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff and Andersson, Jesper and Becker, Basil (2009) Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science, 5525 . Springer, Berlin, pp. 1-26. ISBN 9783642021619. (The full text of this publication is not available from this repository)

Chua, Leon O. and Di Ventra, Massimiliano and Pershin, Yuriy V. (2009) Circuit Elements With Memory: Memristors, Memcapacitors, and Meminductors. Proceedings of the IEEE, 97 (10). pp. 1717-1724. ISSN 0018-9219. (The full text of this publication is not available from this repository)

Cox, Richard and Jordanous, Anna (2009) Report on Survey of Technology-Enhanced Research (TER) in Technology-Enhanced Learning (TEL) projects. EPSRC/ESRC Teaching and Learning Research Programme (Full text available)
[img]
Preview

Dimitrakos, Theo and de Leusse, Pierre and Periorellis, Panos and Nair, Srijith K. (2009) Self Managed Security Cell, a Security Model for the Internet of Things and Services. In: Advances in Future Internet, 2009 First International Conference on, 18-23 June 2009, Athens. (The full text of this publication is not available from this repository)

NCR Corporation (Dayton, OH) (2009) A Method of Determining the Cause of an Error State in an Apparatus. US Patent 7,600,671. (The full text of this publication is not available from this repository)

Hellyer, Laurence and Beadle, Lawrence (2009) Detecting Plagarism in Microsoft Excel Assignments. In: 10th Annual Conference of the Subject Centre for Information and Computer Sciences. (The full text of this publication is not available from this repository)

Jordanous, Anna (2009) Conference Report: The Fourth Conference on Interdisciplinary Musicology (CIM08). Review of: Fourth Conference on Interdisciplinary Musicology, 2008 (CIM08) by UNSPECIFIED. AISB Quarterly, 128 (-). pp. 8-9. ISSN 1476-3036. (Full text available)
[img]
Preview

Jordanous, Anna (2009) Evaluating machine creativity. In: Seventh ACM conference on Creativity and cognition, 2009, Berkeley, CA. (Full text available)
[img]
Preview

Jordanous, Anna and Smaill, Alan (2009) Investigating the role of score following in automatic musical accompaniment. Journal of New Music Research, 38 (2). pp. 197-209. ISSN 0929-8215. (Full text available)
[img]

Kalibera, Tomas (2009) Replicating real-time garbage collector for Java. In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (The full text of this publication is not available from this repository)

Kalibera, Tomas and Hagelberg, Jeff and Pizlo, Filip and Plsek, Ales and Titzer, Ben and Vitek, Jan (2009) CDx: a family of real-time Java benchmarks. In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). (The full text of this publication is not available from this repository)

Kalibera, Tomas and Pizlo, Filip and Hosking, Antony L. and Vitek, Jan (2009) Scheduling Hard Real-Time Garbage Collection. In: Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS). (The full text of this publication is not available from this repository)

Kalibera, Tomas and Prochazka, Marek and Pizlo, Filip and Decky, Martin and Vitek, Jan and Zulianello, Marco (2009) Real-Time Java in Space: Potential Benefits and Open Challenges. In: Proceedings of the International Space System Engineering Conference, Data Systems in Aerospace (DASIA). (The full text of this publication is not available from this repository)

Parizek, Pavel and Adamek, Jiri and Kalibera, Tomas (2009) Automated Construction of Reasonable Environment for Java Components. In: Proceedings of the 6th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA). (The full text of this publication is not available from this repository)

Parizek, Pavel and Kalibera, Tomas (2009) Platform-specific restrictions on concurrency in model checking of Java programs. In: Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS). (The full text of this publication is not available from this repository)

de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (The full text of this publication is not available from this repository)

2008

de Lemos, Rogério and Di Giandomenico, Felicita and Gacek, Cristina and Muccini, Henry and Vieira, Marlon, eds. (2008) Architecting Dependable Systems V. Lecture Notes in Computer Science, 5135 . Springer, 343 pp. ISBN 9783540855705. (The full text of this publication is not available from this repository)

Boiten, Eerke and Derrick, John and Smith, G., eds. (2008) Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science , 201 . Elsevier, 264 pp. (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Architecting Fault Tolerance using Abstractions. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008) - Fast Abstracts, June 2008, Anchorage, AL, USA. (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. In: Second European Conference on Software Architecture (ECSA 2008), 29th September - 1st October, 2008, Paphos, Cyprus. (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), 3rd - 5th December, 2008, Nanjing, China. (The full text of this publication is not available from this repository)

Chua, Leon O. and Itoh, Makoto (2008) MEMRISTOR OSCILLATORS. International Journal of Bifurcation and Chaos, 18 (11). pp. 3183-3206. ISSN 0218-1274. (The full text of this publication is not available from this repository)

Genaim, Samir and King, Andy (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Transactions on Computational Logic, 9 (3). pp. 182-196. ISSN 1529-3785. (Full text available)
[img]
Preview

Holden, Nicholas and Freitas, Alex A. (2008) Improving the performance of hierarchical classification with swarm intelligence. In: 6th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, March 26th - 28th 2008, Naples, Italy. (The full text of this publication is not available from this repository)

Iqbal, Musaddar and Freitas, Alex A. and Johnson, Colin G. (2008) Protein interaction inference using particle swarm optimization algorithm. In: 6th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, March 26th - 28th 2008, Naples, Italy. (The full text of this publication is not available from this repository)

Jafarov, E. and Lievens, S.J. and van der Jeugt, Joris (2008) The Wigner distribution function for the one-dimensional parabose oscillator. Journal of Physics A: Mathematical and Theoretical, 41 (23 (Article no. 235301)). ISSN 1751-8113. (The full text of this publication is not available from this repository)

Jones, Richard E. and Ryder, Chris (2008) A study of java object demographics. In: ISMM '08, 7th international symposium on Memory management, 7-8 June, 2008, Tuscon, Arizona. (The full text of this publication is not available from this repository)

Jordanous, Anna (2008) Voice Separation in polyphonic music (Jordanous 2008) - code. github Matlab code. (Full text available)
[img]

Jordanous, Anna (2008) Voice separation in polyphonic music: A data-driven approach. In: International Computer Music Conference 2008, 2008, Belfast, UK. (Full text available)
[img]
Preview

Jordanous, Anna and Smaill, Alan (2008) Artificially intelligent accompaniment using Hidden Markov Models to model musical structure. In: Conference on Interdisciplinary Musicology, 2008, Thessaloniki, Greece. (Full text available)
[img]
Preview

Knowles, Adam and Timmis, Jon and de Lemos, Rogério and Forrest, Simon and McCracken, Heather (2008) Artificial Immune Systems for Data Fusion: A Novel Biologically Inspired Approach. In: 11th International Conference on Information Fusion (Fusion 2008), 30th June - 3rd July, 2008, Cologne, Germany. (The full text of this publication is not available from this repository)

Liu, Yang and Kwok, Yu-Kwong and Wang, Jiangzhou (2008) On scheduling and clustering in hierarchical TH-PPM UWB wireless ad hoc networks. Journal of Supercomputing, 46 (1). pp. 58-83. ISSN 0920-8542. (The full text of this publication is not available from this repository)

Rodgers, Peter and Zhang, Leishi and Stapleton, Gem and Fish, Andrew (2008) Embedding wellformed Euler diagrams. In: 12th International Conference Information Visualisation 2008, Jul 09-11, 2008, London, UK . (Full text available)
[img]
Preview

Rubira, Cecilia M. F. and de Lemos, Rogério (2008) Software components, architectures and reuse. Journal of Universal Computer Science, 14 (8). pp. 1179-1181. ISSN 0948-695X. (The full text of this publication is not available from this repository)

Secker, Andrew D. and Davies, Matthew N. and Freitas, Alex A. and Timmis, Jon and Clark, Edward and Flower, Darren R. (2008) An artificial immune system for evolving amino acid clusters tailored to protein function prediction. In: Bentley, Peter J. and Lee, Doheon and Jung, Sungwon, eds. Artificial Immune Systems. Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence . Springer, pp. 242-253. ISBN 978-3-540-85071-7. (The full text of this publication is not available from this repository)

Secker, Andrew D. and Freitas, Alex A. and Timmis, Jon (2008) AISIID: An artificial immune system for interesting information discovery on the web. Applied Soft Computing, 8 (2). pp. 885-905. ISSN 1568-4946. (The full text of this publication is not available from this repository)

Wyble, Brad and Sharma, Dinkar and Bowman, Howard (2008) Strategic Regulation of Cognitive Control by Emotional Salience: A Neural Network Model. Cognition and Emotion, 22 (6). 1019-1051 . ISSN 0269-9931 . (The full text of this publication is not available from this repository)

Zhang, Leishi and Kujis, J.N. and Liu, Xiaohui (2008) Information visualization for DNA microarray data analysis: A critical review. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 38 (1). pp. 42-54. ISSN 1094-6977. (The full text of this publication is not available from this repository)

2007

McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. (2007) Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering , 65 . IOS Press, US, Amsterdam, 528 pp. ISBN 9781586037673. (The full text of this publication is not available from this repository)

Aichernig, Bernhard K. and Boiten, Eerke and Derrick, John and Groves, Lindsay, eds. (2007) Proceedings of the 11th Refinement Workshop (REFINE 2006)Macao, China 31 October 2006. Electronic Notes in Theoretical Computer Science , 187 . Elsevier, 188 pp. ISBN 1571-0661. (The full text of this publication is not available from this repository)

Ball, Rudi and Grant, James and So, Jonathan and Spurrett, Victoria and de Lemos, Rogério (2007) Dependable and Secure Distributed Storage System for Ad Hoc Networks. In: Ad-Hoc, Mobile, and Wireless Networks. pp. 142-152. (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Rubira, Cecilia M. F. (2007) Architecture-centric Fault Tolerance with Exception Handling. In: Proceedings of the Third Latin-American Conference on Dependable Computing. (The full text of this publication is not available from this repository)

Chu, Dominique (2007) Evolving Genetic Regulatory Networks for Systems Biology. In: IEEE Congress on Evolutionary Computation 2007, Sept 25-27 2007, Singapore . (The full text of this publication is not available from this repository)

Grant, J. and So, J. and de Lemos, Rogério (2007) Intrusion Tolerance in Ad Hoc Networks through Swarms of Fragments Replicas. In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007). (The full text of this publication is not available from this repository)

Jones, Richard E. (2007) Dynamic Memory Management: Challenges for Today and Tomorrow. In: International Lisp Conference. (Full text available)
[img]
Preview

Jordanous, Anna (2007) Score Following: An artificially intelligent musical accompanist (Jordanous 2007, Jordanous & Smaill 2008+2009) - code. github Max/MSP code. (Full text available)
[img]

Jordanous, Anna (2007) Score following: An artificially intelligent musical accompanist. Master of Science (MSc) thesis, University of Edinburgh, UK.. (Full text available)
[img]
Preview

Klebe, Bernhard and Farmer, Chris and Cooley, Roger and de Lusignan, Simon and Middleton, Rachel and O'Donoghue, Donal J. and Newport, John and Stevens, Paul E. (2007) Kidney disease management in UK primary care: guidelines, incentives and Information Technology. Family Practice, 24 (4). pp. 330-335. ISSN 0263-2136 . (Full text available)
[img]
Preview

Klebe, Bernhard and Irving, Jean and Stevens, Paul E. and O'Donoghue, Donal J. and de Lusignan, Simon and Cooley, Roger and Hobbs, Helen and Lamb, Edmund J. and John, Ian and Middleton, Rachel and New, John and Farmer, Chris (2007) The cost of implementing UK guidelines for the management of chronic kidney disease. Nephrology Dialysis Transplantation, 22 (9). pp. 2504-2512. ISSN 0931-0509 . (Full text available)
[img]
Preview

Laborde, Romain and Kamel, Michel and Barrere, Francois and Benzekri, Abdelmalek (2007) Implementation of a formal security policy refinement process in WBEM architecture. Journal of Network and Systems Management,, 15 (2). pp. 241-266. ISSN 1064-7570 . (The full text of this publication is not available from this repository)

Luo, Yong and Chitil, Olaf (2007) Proving the correctness of algorithmic debugging for funtional programs. In: Nilsson, Henrik, ed. Trends in Functional Programming. Trends in Functional Programming, 7 . Intellect UK, United States, pp. 19-34. ISBN 978-1841501888 . (Full text available)
[img]
Preview

Owen, Gareth and Adda, Mo (2007) A Fault and Mobility Tolerant Location Server for Large-scale Ad-hoc networks. In: IST Mobile and Wireless Communications Summit, 1st - 5th July 2007, Budapest, Hungary. (Full text available)
[img]
Preview

Pappa, Gisele L. and Freitas, Alex A. (2007) Discovering new rule induction algorithms with grammar-based genetic programming. In: Maimon, Oded and Rokach, Lior, eds. Soft Computing for Knowledge Discovery and Data Mining. Springer, New York, pp. 133-152. ISBN 9780387699349. (The full text of this publication is not available from this repository)

Runnalls, Andrew R. (2007) Kullback-Leibler approach to Gaussian mixture reduction. IEEE Transactions on Aerospace and Electronic Systems, 43 (3). pp. 989-999. ISSN 0018-9251 . (Full text available)
[img]
Preview

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2007) Integrating and extending JCSP. In: McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering (Volume). IOS Press, US, Amsterdam, pp. 349-370. ISBN 9781586037673. (Full text available)
[img]
Preview

de Lemos, Rogério (2007) Architectural Reconfiguration of Software Systems using Atomic Actions. In: Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), June 2006, Philadelphia , PA , USA. (The full text of this publication is not available from this repository)

de Lemos, Rogério (2007) Architectural fault tolerance using exception handling. In: Architecting dependable systems IV. Springer-Verlag, Berlin, Heidelberg, pp. 142-162. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Timmis, Jon and Ayara, Modupe and Forrest, Simon (2007) Immune-inspired adaptable error detection for automated teller machines. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 37 (5). pp. 873-886. ISSN 1094-6977. (Access to this publication is restricted)
[img]

2006

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2006) Architecting Dependable Systems IV. Springer (The full text of this publication is not available from this repository)

Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. (2006) Communicating Process Architectures 2006: WoTUG-29 Proceedings. Concurrent Systems Engineering , 64 . IOS Press, US, Amsterdam, 400 pp. ISBN 9781586036713. (The full text of this publication is not available from this repository)

Adda, Mo and Martin, Jean-Baptise and Owen, Gareth and Peart, A. (2006) Simultion of a Wireless Senor Network for Image Processing. IADAT-tcn . pp. 35-37. ISSN 84-933971-4-8. (The full text of this publication is not available from this repository)

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006) QoS-aware Traffic Protection for Access Rings. In: 11th European Conference on Networks and Optical Communications, 10-13 July 2006, Berlin, Germany. (Full text available)
[img]

Chennu, Srivas and Habel, Kai and Langer, Klaus-Dieter (2006) Protected Ethernet Rings for Optical Access Networks. In: Proceedings of the 7th ITG Symposium on Photonic Networks. (Full text available)
[img]
Preview

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) Concurrency: The Next Generation. In: Postgraduate Conference 2006, 19 June 2006, Canterbury, United Kingdom. (The full text of this publication is not available from this repository)

Lopes, Adilson and Silva, Carlos and Elias, Gledson and Magalhães, Maurício F. (2006) Um Modelo de Metacomponentes para Suporte à Adaptação Dinâmica em um Middleware para Sistemas de Televisão Interativa. In: ACM International Conference Proceeding Series. ACM International Conference Proceeding Series, 192. ACM, New York pp. 193-202. ISBN 85-7669-100-0. (The full text of this publication is not available from this repository)

Mohr, Philipp H. and Ryan, Nick S. and Timmis, Jon (2006) Capturing Regular Human Activity through a Learning Context Memory. In: 3rd International Workshop on Modeling and Retrieval of Context , 16-17 July 2006, Boston, Massachusetts (USA). (Full text available)
[img]
Preview

Owen, Gareth and Adda, Mo (2006) Geographically static quorums in ad-hoc networks and their performance as location servers. In: 3rd International Conference on Telecommunications and Computer Networks, 27-29 September 2006, Portsmouth, United Kingdom. (The full text of this publication is not available from this repository)

Owen, Gareth and Adda, Mo (2006) Modulo and grid based channel selection in ad hoc networks. In: 3rd International Conference on Telecommunications and Computer Networks, 27-29 September 2006, Portsmouth, United Kingdom. (Full text available)
[img]
Preview

Owen, Gareth and Adda, Mo (2006) Quorum based geographically static data storage in ad-hoc networks. In: 6th International Network Conference, 11-14 July 2006, Plymouth, United Kingdom. (Full text available)
[img]
Preview

Owen, Gareth and Adda, Mo (2006) Self organizing quorum systems for ad hoc networks. Communication, Network, and Information Security . pp. 93-98. ISSN ISBN: 0-88986-636-8. (Full text available)
[img]
Preview

Pediaditakis, Michael (2006) Presenting multi-language XML documents: An adaptive transformation and validation approach. Doctor of Philosophy (PhD) thesis, UKC. (Full text available)
[img]
Preview

Ryan, Nick S. and Smith, Dan and Ma, Ling (2006) Acoustic environment as an indicator of social and physical context. Personal and Ubiquitous Computing, 10 (4). pp. 241-254. ISSN 1617-4909. (The full text of this publication is not available from this repository)

Silva, Carlos and Lopes, Adilson B. and Elias, Gledson and Lemos, Guido and Magalhães, Maurício F. (2006) A Component Interconnection Model for Interactive Digital Television Systems. In: Advanced Information Networking and Applications, 2006. AINA 2006. 20th International Conference on. IEEE Computer Society pp. 263-268. ISBN 0-7695-2466-4. (The full text of this publication is not available from this repository)

Tan, Lei (2006) A Framework for Interoperability and Decision Support in Marine Environmental Information Systems. Other masters thesis, Computing Laboratory. (The full text of this publication is not available from this repository)

da Silva, Erick Lopes (2006) Um Modelo de Segurança Para o Canal de Interatividade do Sistema Brasileiro de TV Digital: Arquitetura e Implementação. Other masters thesis, Federal University of Pernambuco. (The full text of this publication is not available from this repository)

da Silva, Erick Lopes and Assad, Rodrigo Elia and Ferraz, Carlos A.G. and Fried, Mario (2006) Um Modelo de Segurança para o Canal de Interatividade da TV Digital: Arquitetura e Implementação. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

de Lemos, Rogério (2006) Architectural Reconfiguration using Coordinated Atomic Actions. In: Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006), Shanghai, China. (The full text of this publication is not available from this repository)

2005

UNSPECIFIED (2005) Smart Environments and their Applications to Cultural Heritage. In: Ryan, Nick S. and Cinotti, Tullio Salmon and Raffa, Guiseppe, eds. Smart Environments and their Applications to Cultural Heritage. EPOCH Publication. Archaeolingua, Budapest, Hungary, Tokyo, Japan ISBN 9638046619. (The full text of this publication is not available from this repository)

UNSPECIFIED (2005) VAST 2005: 6th International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage, inc. 3rd Eurographics Workshop on Graphics and Cultural Heritage. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Ayara, Modupe (2005) An Immune-Inspired Solution for Adaptable Error Detection in Embedded Systems. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not available from this repository)

Ayara, Modupe and Timmis, Jon and de Lemos, Rogério and Forrest, Simon (2005) Immunising Automated Teller Machines. In: Artificial Immune Systems. pp. 404-417. (The full text of this publication is not available from this repository)

Chadwick, David W. and Otenko, Sassa and Xu, Wensheng (2005) Adding Distributed Trust Management to Shibboleth. In: NIST 4th Annual PKI Workshop. , Gaithersberg, USA pp. 3-14. (Full text available)
[img]
Preview

Ghosh, Siddhartha and Ryan, Nick S. (2005) Ubiquitous Data Capture for Cultural Heritage Research. In: Smart Environments and their Applications to Cultural Heritage. (Full text available)
[img]
Preview

Mohr, Philipp H. and Ryan, Nick S. and Timmis, Jon (2005) A Learning Context Memory. In: 3rd UkUbiNet Workshop, 9-11 February 2005, , University of Bath. (The full text of this publication is not available from this repository)

Mohr, Philipp H. and Timmis, Jon and Ryan, Nick S. (2005) Immune Inspired Context Memory. In: 1st International Workshop on Exploiting Context Histories in Smart Environments, 11 May 2005, Munich, Germany. (The full text of this publication is not available from this repository)

Owen, Gareth and Adda, Mo (2005) Feasibility of geographically static data storage in ad-hoc networks. In: IADAT Ed. 2nd International Conference on Telecommunications and Computer Networks. pp. 172-176. ISBN 8493397172. (The full text of this publication is not available from this repository)

Owen, Gareth and Adda, Mo and Kasaabeh, M. and Paraskelidis, A. and Peart, A. (2005) Communication issues in Large Scale Wireless Ad hoc Networks. In: Petratos, P. and Michalopoulos, D., eds. Computer Science and Information System. Athens Institute for Education and Research, Athens, Greece pp. 299-313. ISBN 9608867231. (The full text of this publication is not available from this repository)

Patrascoiu, Octavian (2005) Model Driven Language Engineering. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (Full text available)
[img]
Preview

Roadknight, Chris and Parrott, Laura and Boyd, Nathan and Marshall, Ian W. (2005) Real-Time Data Management on a Wireless Sensor Network. International Journal of Distributed Sensor Networks, 1 (2). pp. 215-225. ISSN 1550-1329. (The full text of this publication is not available from this repository)

Sivanthi, Thanikesavan and Chennu, Srivas and Kreft, Lothar (2005) Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata. In: DS-RT '05: Proceedings of the Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications. (Full text available)
[img]
Preview

Stibor, Thomas and Mohr, Philipp H. and Timmis, Jon and Eckert, C. (2005) Is negative selection appropriate for anomaly detection? In: Proceedings of the 2005 conference on Genetic and evolutionary computation. ACM Press, New York, NY (USA) pp. 321-328. ISBN 1595930108. (The full text of this publication is not available from this repository)

Thompson, Simon and King, Peter and Cameron, Helen (2005) Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools and Applications, 27 (1). pp. 23-52. ISSN 1380-7501. (Full text available)
[img]
Preview

Zhao, Gansen and Chadwick, David W. (2005) Trust Infrastructure for Policy based Messaging In Open Environments. In: 14th IEEE International Workshops on Enabling Technologies, 13-15 June 2005, Linköping, Sweden. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2005) Architecting Dependable Systems III. Lecture Notes in Computer Science . Springer, Berlin, 357 pp. ISBN 9783540289685. (The full text of this publication is not available from this repository)

2004

Akehurst, David H. (2004) MDA-Transformations from Relations. In: ECOOP 2004 Workshop Reader, Workshop on Model Driven Development (WMDD 2004). (Full text available)
[img]
Preview

Akehurst, David H. (2004) Proceedings of Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations. Technical report. kent university (Full text available)
[img]
Preview

Akehurst, David H. (2004) Proposal for a Model Driven Approach to Creating a Tool to Support the RM-ODP. In: Workshop on ODP for Enterprise Computing (WODPEC 2004). (Full text available)
[img]
Preview

Akehurst, David H. (2004) Relations in OCL. In: Workshop OCL and Model Driven Engineering, October 2004, Lisbon, Portugal, . (Full text available)
[img]
Preview

Akehurst, David H. (2004) Validating BPEL Specifications using OCL. Technical report. kent university (Full text available)
[img]
Preview

Brostoff, Sacha and Sassea, M.Angela and Chadwick, David W. and Cunningham, James and Mbanaso, Uche and Otenko, Sassa (2004) RBAC What? Development of a Role-Based Access Control Policy Writing Tool for E-Scientists. In: Workshop on Grid Security Practice and Experience, Oxford, UK. (Full text available)
[img] [img]
Preview

Bujorianu, Manuela L. and Bujorianu, Marius C. (2004) Extending UML: A Foundational Approach to Heterogeneity. CSD-UMl'04 3rd International Workshop on Critical Systems Development with UML. (The full text of this publication is not available from this repository)

Campos, Marcília A. and da Silva, Erick Lopes and de Carvalho Pedrosa, Diogo and de Castro e Silva, Jorge Luiz and Loureiro, Janine A. and Ferraz, Carlos A.G. (2004) NetBook: uma ferramenta para avaliação de desempenho de sistemas de comunicação. In: Proceedings of the 22nd Brazilian Symposium on Computer Networks - III Tools Special Session, May 2004 , Gramado/RS, . (Full text available)
[img]
Preview

Chadwick, David W. (2004) PKI Past, Present and Future. In: First EuroPKI Workshop, Samos, 25 June 2004. (Full text available)
[img]
Preview

Chadwick, David W. and Dimitrakos, Theo and Dam, Kerstin Kleese-Van and Randal, Damian Mac and Matthews, Brian and Otenko, Alexander (2004) Multilayer Privilege Management for Dynamic Collaborative Scientific Communities. In: Workshop on Grid Security Practice and Experience, Oxford, UK. (Full text available)
[img]
Preview

Chadwick, David W. and Lunt, Graeme and Zhao, Gansen (2004) Secure Role-based Messaging. In: Eighth IFIP TC-6 TC-11 Conference on Communications and Multimedia Security (CMS 2004),Windermere, UK, SEP 15-18, 2004, Windermere, England . (Full text available)
[img]
Preview

Kaganovsky, Alexander (2004) Exact Computing in Positional Weighted Systems. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not available from this repository)

Li, Huiqing and Reinke, Claus and Thompson, Simon (2004) Progress on HaRe: the Haskell Refactorer. Other. kent university (Unpublished) (The full text of this publication is not available from this repository)

Parchas, E. and de Lemos, Rogério (2004) An Architectural Approach for Improving Availability in Web Services. In: Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems (WADS 2004). (The full text of this publication is not available from this repository)

Roadknight, Chris and Marshall, Ian W. (2004) Sensor Networks of Intelligent Devices. In: Proceedings EWSN. (Full text available)
[img]
Preview

Steen, Maarten and Akehurst, David H. and ter Doest, H.W.L. and Lankhorst, M.M. (2004) Supporting Viewpoint-Oriented Enterprise Architecture. In: Eighth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), Sep 20-24, 2004, Monterey, CA, . (The full text of this publication is not available from this repository)

Tateson, J. and Marshall, Ian W. (2004) A Novel Mechanism for Routing in Highly Mobile Ad-hoc Sensor Networks. In: Karl, H. and Willig, W. and Wolisz, A., eds. Wireless Sensor Networks. LNCS, 2920/2 (2920). Springer , pp. 204-218. ISBN 978-3-540-20825-9. (Full text available)
[img]
Preview

da Silva, Erick Lopes (2004) Qualidade de Serviço em Aplicações de Telemedicina. In: XI Scientific Initiation Congress of the Federal University of Pernambuco. , Recife/PE - Brazil (The full text of this publication is not available from this repository)

de Lemos, Rogério (2004) Self-* and Predictability: are these conflicting System Capabilities? In: Self-star Properties in Complex Information Systems. pp. 105-108. ISBN 978-3-540-26009-7. (Full text available)
[img]
Preview

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2004) Architecting Dependable Systems II. Lecture Notes in Computer Science, 3069 . Springer, 363 pp. ISBN 978-3540231684. (The full text of this publication is not available from this repository)

2003

Ayara, Modupe and Timmis, Jon and de Lemos, Rogério and de Castro, Leandro N. and Duncan, Ross (2003) Tolerating Faults in Embedded Systems Based on Artificial Immune Systems. In: Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4), October 23-25, 2002, Toulouse, France. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. (2003) Dynamics and Pragmatics for High Performance Concurrency. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (Full text available)
[img]
Preview

Barnes, Frederick R.M. (2003) occwserv: An occam Web-Server. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. and Jacobsen, Christian L. and Vinter, Brian (2003) RMoX: A Raw-Metal occam Experiment. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. and Welch, Peter H. (2003) Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings: Software, 150 (2). pp. 121-136. ISSN 1462-5970. (The full text of this publication is not available from this repository)

Cakic, Jovan (2003) A High-level Framework for Policy-based Management of Distributed Systems. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2003) Architecting Dependable Systems. Springer-Verlag, Berlin, Heidelberg (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke (2003) Recent advances in refinement. In: 10th International Workshop on Abstract State Machines, MAR 03-07, 2003, TAORMINA, ITALY. (The full text of this publication is not available from this repository)

Gao, Qiang and Blow, Keith J. and Holding, David J. and Marshall, Ian W. (2003) Determining Design Parameters for Ad-hoc Wireless Sensor Networks. In: Proceedings of IEEE ETFA 2003, SEP 16-19, 2003, Lisbon, PORTUGAL. (The full text of this publication is not available from this repository)

Jones, Richard E. (2003) DO garbage collection. Technical report. Kent University, Kent, UK 2-03. (The full text of this publication is not available from this repository)

Reeve, David C (2003) A New Blueprint for Network QoS. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not available from this repository)

Sacks, Lionel and Britton, M. and Wokoma, I. and Marbini, A. and Adebutu, Toks and Marshall, Ian W. and Roadknight, Chris and Tateson, J. and Robinson, David P. and Velazquez, A.G. (2003) The Development of a Robust, Autonomous Sensor Network Platform for Environmental Monitoring. In: Sensors and their applications, 2003; Sep, Limerick, Ireland. (The full text of this publication is not available from this repository)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander (2003) Architectural Mismatch Tolerance. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems. Lecture Notes in Computer Science . Springer, pp. 175-196. ISBN 3-540-40727-8. (The full text of this publication is not available from this repository)

2002

Pascoe, James and Welch, Peter H. and Loader, Roger and Sunderam, Vaidy, eds. (2002) Communicating Process Architectures 2002. Concurrent Systems Engineering, 60 . IOS Press, IOS Press, Amsterdam, The Netherlands, 387 pp. ISBN 9781586032685. (The full text of this publication is not available from this repository)

Augusto, Juan Carlos and Gomez, Rodolfo (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), 15-19 July 2002, Ischia, Italy. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. and Beuran, R. and Dobinson, R.W. and LeVine, M.J. and Martin, B. and Lokier, J. and Meirosu, C. (2002) Testing Ethernet Networks for the ATLAS Data Collection System. IEEE Transactions on Nuclear Science, 49 (2). pp. 516-520. ISSN 0018-9499. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 1. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 2. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (Full text available)
[img]
Preview
[img]
Preview

Benoy, Patricia Mary (2002) Polyhedral Domains for Abstract Interpretation in Logic Programming. Doctor of Philosophy (PhD) thesis, University of Kent, Canterbury. (Full text available)
[img]
Preview
[img]
Preview

Gonzalez-Velazquez, Antonio and Sacks, Lionel and Marshall, Ian W. (2002) Ad-hoc Sensor Network Experimentation using the RCX by Mindstorms. In: Proceedings of IFIPWG6.7 Workshop. (Full text available)
[img]
Preview

Gonzalez-Velazquez, Antonio and Sacks, Lionel and Marshall, Ian W. (2002) Simple Spontaneous Mechanism for Flexible Data Communication in Wireless Ad-hoc Sensor Networks. In: Proceedings of LCS. (Full text available)
[img]
Preview

Huang, P. and Marshall, Ian W. (2002) New Flooding Control Schemes Applied in Route Initialisation for the Ad-hoc On Demand Routing Protocols. In: Proceedings of LCS. (The full text of this publication is not available from this repository)

King, Andy and Lu, Lunjin (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (4-5). pp. 517-547. ISSN 1471-0684. (Full text available)
[img]
Preview

Marshall, Ian W. (2002) Complex System Modelling for Communication Networks. In: Complexity Modelling Workshop, November 19-21, 2002, REID Engineering Laboratory Conference Facility, University of Nevada, Reno, Nevada. (The full text of this publication is not available from this repository)

Marshall, Ian W. and Sacks, Lionel (2002) Autonomous Management for Pervasive Computing. In: Proceedings ICCS, 2002, Nashua. (Full text available)
[img]
Preview

Moores, James (2002) The Design and Implementation of OCCAM/CSP Support for a Range of Languages and Platforms. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent. (The full text of this publication is not available from this repository)

Rio, Miguel (2002) Multicast Routing with Quality of Service Constraints in Data Networks. Doctor of Philosophy (PhD) thesis, University of Kent, Canterbury. (The full text of this publication is not available from this repository)

Robinson, David P. and Marshall, Ian W. (2002) An Iterative Approach to Locating Simple Devices in an Ad-hoc Network. In: Proceedings of LCS. (The full text of this publication is not available from this repository)

Robinson, David P. and Marshall, Ian W. (2002) Location of Simple Nodes in an Ad-hoc Network. In: Proceedings of LCS. (The full text of this publication is not available from this repository)

Tan, Su-Wei and Lee, Sze-Wei and Vaillaint, Benoit (2002) Non-greedy minimum interference routing algorithm for bandwidth-guaranteed flows. Computer Communications Journal, 25 (17). pp. 1640-1652. ISSN 0140-3664 . (The full text of this publication is not available from this repository)

Vieira, André D. and Ferraz, Carlos A.G. and Silva, Erick L. and Loureiro, Janine A. and Campos, Marcília A. and Tedesco, Patrícia C.A.R. and Barros, Saulo C.R. (2002) Detecção de Auto-Similaridade com Autocorrelação. In: XXV National Congress of Applied and Computational Mathematics, September 2002, Nova Friburgo/RJ - Brazil. (The full text of this publication is not available from this repository)

Welch, Peter H. (2002) Process Oriented Design for Java: Concurrency for All. In: Sloot, Peter M. A. and Tan, C.J Kenneth and Dongarra, Jack J. and Hoekstra, Alfons G., eds. Computational Science - ICCS 2002 (Pt. 2) International Conference, Amsterdam, the Netherlands, April 21-24, 2002. Lecture Notes in Computer Science, 2330. Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin p. 687. ISBN 9783540435938. (The full text of this publication is not available from this repository)

Welch, Peter H. and Aldous, Jo R and Foster, Jon (2002) CSP Networking for Java (JCSP.net). In: Sloot, Peter M. A. and Tan, C.J Kenneth and Dongarra, Jack J. and Hoekstra, Alfons G., eds. Computational Science - ICCS 2002 (Pt.2): International Conference, Amsterdam, the Netherlands, April 21-24, 2002. Lecture Notes in Computer Science, 2330. Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin pp. 695-708. ISBN 3-540-43593-X. (The full text of this publication is not available from this repository)

Welch, Peter H. and Vinter, Brian (2002) Cluster Computing and JCSP Networking. In: Communicating Process Architectures 2002 WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (Full text available)
[img]
Preview

Wokoma, I. and Sacks, Lionel and Marshall, Ian W. (2002) Biologically Inspired Models for Sensor Network Design. In: Proceedings of LCS. (Full text available)
[img]
Preview

2001

Ali, Edries Abdelhadi (2001) Integration of Security and Reliability in a Distributed Collaborative Environment. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. (2001) tranx86 -- an Optimising ETC to IA32 Translator. In: Communicating Process Architectures 2001. (Full text available)
[img]
Preview
[img]
Preview

Barnes, Frederick R.M. and Welch, Peter H. (2001) Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating Process Architectures 2001. Concurrent Systems Engineering Series, No. 59 (59). IOS Press, Amsterdam, The Netherlands pp. 243-264. ISBN 1 58603 202 X. (Full text available)
[img]
Preview
[img]
Preview

Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2001) Testing an Event Specification Language. In: Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01). (The full text of this publication is not available from this repository)

Locke, T (2001) Towards a Viable Alternative to OO -- Extending the sf occam/CSP Programming Model. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating process architectures 2001. Concurrent Systems Engineering Series, 59 . IOS Press, Amsterdam, The Netherlands, pp. 329-349. ISBN 158603202X. (The full text of this publication is not available from this repository)

Neal, Stephen (2001) A Language for the Dynamic Verification of Design Patterns in Distributed Computing. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not available from this repository)

Pediaditakis, Michael (2001) Integration of Web Browsers and Interactive TV. Other masters thesis, Computing Laboratory, University of Kent at Canterbury. (Full text available)
[img]
Preview

Welch, Peter H. and Barnes, Frederick R.M. (2001) Mobile Data Types for Communicating Processes. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 2001, Jun 25-28, 2001, Las Vegas, Nv. (The full text of this publication is not available from this repository)

Whalley, Jacqueline L. (2001) Object Orientated Computational Models of Prion Propagation. Other masters thesis, University of Kent. (The full text of this publication is not available from this repository)

de Lemos, Rogério (2001) Representing Exceptional Behaviour at the earlier Phases of Software Development. In: Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF), March 2001, Florianópolis, SC, Brazil. (Full text available)
[img]
Preview

2000

Langford, Duncan, ed. (2000) Internet Ethics. MacMillan Press, 296 pp. ISBN 978-0333776261 . (The full text of this publication is not available from this repository)

Abdullah, Sophiana Chua and Cooley, Roger (2000) The use of constraint logic programming in the development of adaptive tests. In: 5th International Conference on Intelligent Tutoring Systems (ITS 2000), June 2000, Montreal, Canada. (The full text of this publication is not available from this repository)

Anshelevich, Elliot and Owens, Scott and Lamiraux, Florent and Kavraki, Lydia E. (2000) Deformable Volumes in Path Planning Applications. In: IEEE International Conference on Robotics and Automation (ICRA), 24 - 28 April 2000, San Francisco, CA, USA. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. (2000) Blocking System Calls in KRoC/Linux. In: Communicating Process Architectures 2000. (Full text available)
[img]
Preview
[img]
Preview

Cakic, Jovan (2000) Intelligent infrastructure that support system's changes. In: 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2000), New Orleans, Louisiana. (The full text of this publication is not available from this repository)

Canuto, Anne and Howells, Gareth and Fairhurst, Michael (2000) An investigation of the effects of variable vigilance within the RePART neuro-fuzzy network. Journal of Intelligent & Robotic Systems, 29 (4). pp. 317-334. ISSN 0921-0296. (The full text of this publication is not available from this repository)

Canuto, Anne and Howells, Gareth and Fairhurst, Michael (2000) The use of confidence measures to enhance combination strategies in multi-network neuro-fuzzy systems. Connection Science, 12 (3-4). pp. 315-331. ISSN 0954-0091. (The full text of this publication is not available from this repository)

Elsehely, Ehab and Sobhy, Mohammed (2000) Real time radar target detection under jamming conditions using wavelet transform on FPGA device. IEEE International Symposium On Circuits and Systems, 4 . pp. 545-548. (The full text of this publication is not available from this repository)

Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2000) Implementation and Testing of a Set of Event Detection Operators. Technical report. (The full text of this publication is not available from this repository)

Guest, Richard and Fairhurst, Michael and Potter, Jonathan (2000) Automated extraction of image segments from clinically diagnostic hand-drawn geometric shapes. Proceedsings of the 26th Euromicro Conference, Vols I and II . A440-A446. ISSN 1089-6503 . (The full text of this publication is not available from this repository)

Hanna, Keith (2000) Reasoning about analog-level implementations of digital systems. Formal Methods in System Design, 16 (2). pp. 127-158. ISSN 0925-9856. (The full text of this publication is not available from this repository)

Hierons, R. and Derrick, John (2000) Editorial: Special issue on specification-based testing. Software Testing Verification & Reliability, 10 (4). pp. 201-202. ISSN 0960-0833. (The full text of this publication is not available from this repository)

Hobbs, M.H.W. (2000) Email groups for learning and assessment. In: 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education (ITICSE 2000), JUL 11-13, 2000, Helsinki, Finland. (The full text of this publication is not available from this repository)

Howe, Jacob M. and King, Andy (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (Full text available)
[img]
Preview
[img]

Lauder, Anthony and Dumas, Marlon and Frohner, Akos and Oliver, Ian (2000) PhDOOS 2000: The 10th Ph.D. workshop on object-oriented systems. In: Malaenfant, Jacques and Moisan, Sabine and Moreira, Ana, eds. Object-Oriented Technology: Ecoop 2000 Workshop Reader: Ecoop 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings. Lecture Notes in Computer Science, 1964 . Springer Verlag Berlin, pp. 78-92. ISBN 3-540-41513-0. (The full text of this publication is not available from this repository)

Moores, James (2000) Native JCSP: the CSP-for-Java Library with a Low-Overhead CPS Kernel. In: Communicating Process Architectures 2000. (The full text of this publication is not available from this repository)

Poll, Erik and Thompson, Simon (2000) Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), MAR 22-24, 2000 , Nancy, France. (Full text available)
[img]
Preview

Rio, Miguel and Linington, Peter F. (2000) Distributed Quality of Service Multicast Routing with Multiple Metrics for Receiver initiated Joins. In: 8th IEEE International Conference on Networks (ICON 2000), Sep 05-08, 2000, NATL Univ Singapore, Singapore. (Full text available)
[img]
Preview

Taylor, Chris and Derrick, John and Boiten, Eerke (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: 3rd IEEE International Conference on Formal Engineering Methods, Sep 04-06, 2000, York, England. (The full text of this publication is not available from this repository)

Watson, Phil (2000) Review of Gasarch W. et al, `Classification using information'. Mathematical Reviews (2000a:68062). ISSN 0025-5629. (The full text of this publication is not available from this repository)

Welch, Peter H. (2000) Communicating Process Architectures 2000. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000: Wotug-23 : Proceedings of the 23rd World Occam and Transputer User Group Technical Meeting, 10-13 September 2000, Systems Engineering Series. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) ISBN 978-1586030773 . (The full text of this publication is not available from this repository)

Welch, Peter H. (2000) Process Oriented Design for Java: Concurrency for All. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Jun 26-29, 2000, Las Vegas, NV. (The full text of this publication is not available from this repository)

Welch, Peter H. and Hilderink, Gerald H. and Schaller, Nan C. (2000) Using Java for Parallel Computing: JCSP versus CTJ. In: Communicating Process Architectures 2000. (Full text available)
[img]
Preview

Welch, Peter H. and Martin, Jeremy M. R. (2000) A CSP Model for Java Multithreading. In: 5th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000), Jun 10-11, 2000 , Limerick, Ireland. (The full text of this publication is not available from this repository)

Welch, Peter H. and Martin, Jeremy M. R. (2000) Formal Analysis of Concurrent Java Systems. In: Communicating Process Architectures 2000, sep, 2000, Canterbury, UK. (Full text available)
[img]
Preview

Wood, David C. (2000) An Experiment with Recursion in occam. In: Communicating Process Architectures 2000, Sep, 2000, Canterbury, UK. (The full text of this publication is not available from this repository)

Wood, David C. and Barnes, Frederick R.M. (2000) Post-Mortem Debugging in KRoC. In: Communicating Process Architectures 2000, Sep, 2000, Canterbury, UK. (The full text of this publication is not available from this repository)

de Lemos, Rogério (2000) A Co-operative Object-Oriented Architecture for Adaptive Systems. In: Seventh IEEE International Conference and Workshopon the Engineering of Computer Based Systems (ECBS 2000), 04/03/2000 - 04/07/2000, Edinburgh, UK. (Full text available)
[img]
Preview
[img]
Preview

1999

Abowd, Gregory D. and Dey, Anind K. and Brown, Peter J. and Davies, Nigel and Smith, Mark E. and Steggles, Pete (1999) Towards a better understanding of context and context-awareness. In: Gellersen, Hans, ed. 1st International Symposium on Handheld and Ubiquitous Computing (HUC 99). Lecture Notes in Computer Science, 1707. Springer-Verlag Berlin, Berlin pp. 304-307. ISBN 3-540-66550-1. (The full text of this publication is not available from this repository)

Boiten, Eerke and Derrick, John and Bowman, Howard and Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke and Derrick, John and Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (The full text of this publication is not available from this repository)

Brown, Heather and Robinson, Peter (1999) Integrating Paper and Digital Documents. In: Vince, John A. and Earnshaw, Rae A., eds. Digital media: the future. Springer Verlag. ISBN 1-85233-246-8. (The full text of this publication is not available from this repository)

Carter, Janet (1999) Collaboration or Plagiarism: What happens when students work together. In: Manaris, B., ed. Proceedings of the 4th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'99). SIGCSE Bulletin : A Quarterly Publication of the Special Interest Group on Computer Science Education, 31. Assoc Computing Machinery, Krakow, Poland pp. 52-55. ISBN 1-58113-087-2. (The full text of this publication is not available from this repository)

Carter, Janet and Jenkins, Tony (1999) Gender and programming: What's going on? In: ITICSE '99: Proceedings of the 4th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education. SIGCSE Bulletin : A Quarterly Publication of the Special Interest Group on Computer Science Education, 31. Assoc Computing Machinery, Cracow, Poland pp. 1-4. ISBN 1-58113-087-2. (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke (1999) Calculating upward and downward simulations of state-based specifications. Information and Software Technology, 41 (13). pp. 917-923. ISSN 0950-5849. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke (1999) Non-atomic refinement in Z. In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds. FM’99 — Formal Methods. Lecture Notes In Computer Science, 1709 . Springer-Verlag Berlin, Berlin, Germany pp. 1477-1496. ISBN 978-3-540-66588-5. (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (Full text available)
[img]
Preview
[img]
Preview

Evans, Andy and Kent, Stuart (1999) Core meta-modelling semantics of UML: The pUML approach. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language. Lecture Notes in Computer Science, 1723. Springer-Verlag Berlin pp. 140-155. ISBN 3-540-66712-1. (The full text of this publication is not available from this repository)

Hatton, Leslie (1999) Repetitive failure, feedback and the lost art of diagnosis. Journal of Systems and Software, 47 (2-3). pp. 183-188. ISSN 0164-1212. (The full text of this publication is not available from this repository)

Henderson, Philip J. and Webb, David J. and Jackson, David A. and Zhang, Leishi and Bennion, Ian (1999) Highly-multiplexed grating-sensors for temperature-referenced quasi-static measurements of strain in concrete bridges. In: 13th International Conference on Optical Fiber Sensors and Workshop on Device and System Technology Toward Future Optical Fiber Communication and Sensing, Apr 12-16, 1999, Kyongju, South Korea. (The full text of this publication is not available from this repository)

Induruwa, A.S. (1999) Growth of Internet Based Services with special reference to Sri Lanka. In: Proceedings of the International Information Technology Conference '99 (IITC '99). (The full text of this publication is not available from this repository)

Induruwa, A.S. (1999) Information Technology Development in Sri Lanka - A Review. Journal of the National Science Foundation of Sri Lanka, 27 (4). ISSN 1391-4588. (The full text of this publication is not available from this repository)

Johnson, Leslie and Stergiou, Maria (1999) BPR - Enabled Systems Engineering. In: Khoong, Chan Meng, ed. Reengineering in Action: The Quest for World-Class Excellence. Imperial College Press, World Scientific Co. ISBN 1-86094-139-7. (Full text available)
[img]

Johnson, Leslie and Stergiou, Maria (1999) Emergent design and development of information systems: The theoretical justification. In: Torres, M. and Sanchez, B. and Wills, E., eds. World Multiconference on Systemics, Cybernetics and Informatics, Vol 8, Proceedings - Concepts and Applications of Systemics, Cybernetics and Informatics. Int Inst Informatics & Systemics, Florida, USA pp. 457-463. ISBN 980-07-5919-0. (The full text of this publication is not available from this repository)

Kemp, Zarine P. (1999) A framework for integrating GIS and digital images. In: Agouri, Peggy and Stefanidis, Anthony, eds. Integrated Spatial Databases - Digital Images and GIS. Lecture Notes in Computer Science, 1737. Springer-Verlag Berlin, Berlin Germany pp. 153-167. ISBN 3-540-66931-0. (The full text of this publication is not available from this repository)

Kent, Stuart and Howse, John (1999) Mixing visual and textual constraint languages. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language. Lecture Notes In Computer Science, 1723. Springer-Verlag Berlin, Berlin Germany pp. 384-398. ISBN 3-540-66712-1. (The full text of this publication is not available from this repository)

Kölling, Michael and Rosenberg, John (1999) On Creation, Equality and the Object Model. In: 32nd International Conference on Technology of Object-Oriented Languages (TOOLS), 22-25 November 1999, Melbourne, Australia . (Full text available)
[img]
Preview

Langford, Duncan (1999) Business Computer Ethics. Pearson Education, 190 pp. ISBN 0 201 34279 0. (The full text of this publication is not available from this repository)

Linington, Peter F. (1999) An ODP approach to the development of large middleware systems. In: Kutvonen, Lea and Konig, H. and Tienari, M., eds. Distributed Applications and Interoperable Systems II, Helsinki. Kluwer Academic Publishers, USA pp. 61-74. ISBN 0-7923-8527-6. (The full text of this publication is not available from this repository)

Moores, James (1999) CCSP - A portable CSP-based run-time system supporting C and occam. In: Cook, Barry M., ed. Concurrent Systems Engineering Series. Concurrent Systems Engineering Series, 57. I O S Press, Netherland pp. 147-168. ISBN 90-5199-480-X. (The full text of this publication is not available from this repository)

Pascoe, Jason and Ryan, Nick S. and Morse, David R. (1999) Issues in developing context-aware computing. In: 1st International Symposium on Handheld and Ubiquitous Computing (HUC 99), Sep 27-29, 1999, Karlsruhe, Germany. (The full text of this publication is not available from this repository)

Poll, Erik and Zwanenburg, J. (1999) A logic for abstract data types as existential types. In: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99), Apr 07-09, 1999, Laquila, Italy. (Full text available)
[img]
Preview
[img]
Preview

Prutton, M. and Wilkinson, D.K. and Kenny, Peter G. and Mountain, David (1999) Data processing for spectrum-images: extracting information from the data mountain. Applied Surface Science, 144-145 . pp. 1-10. (The full text of this publication is not available from this repository)

Roberts, Jonathan C. (1999) On encouraging coupled views for visualization exploration. In: Conference on Visual Data Exploration and Analysis VI, Jan 27-29, 1999, San Jose, Ca. (Full text available)
[img]
Preview
[img]
Preview

Roberts, Jonathan C. and Hill, Steve (1999) Piecewise linear hypersurfaces using the Marching Cubes Algorithm. In: Conference on Visual Data Exploration and Analysis VI, Jan 27-29, 1999, San Jose, Ca. (Full text available)
[img]
Preview
[img]
Preview

Rothwell, Kneale J (1999) An Architecture for an ATM Network Continuous Media Server Exploiting Temporal Locality of Access. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (Full text available)
[img]

Steen, Maarten and Derrick, John and Boiten, Eerke and Bowman, Howard (1999) Consistency of partial process specifications. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil. (Full text available)
[img]
Preview
[img]
Preview

Stergiou, Maria (1999) A Process-Centered Architecture for Organisational Transformation. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (The full text of this publication is not available from this repository)

Stergiou, Maria and Johnson, Leslie (1999) Modelling Process-Centered Organisations. International Journal of Information Systems Research and Information Science . (The full text of this publication is not available from this repository)

Stergiou, Maria and Johnson, Leslie (1999) Why we Need to Distinguish between Problem Solving Types in Information Systems Design. Technical report. (Full text available)
[img]

Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J. (1999) A Revised Textual Tree Trace Notation for Prolog. In: Brna, Paul and du Boulay, Benedict and Pain, Helen, eds. Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Ablex Publishing Corporation, pp. 267-281. ISBN 1-56750-434-5. (Full text available)
[img]
Preview
[img]
Preview

Vella, Kevin J. and Welch, Peter H. (1999) CSP/occam on Shared Memory Multiprocessor Workstations. In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), Apr. 11-14, 1999, Keele, England. (The full text of this publication is not available from this repository)

Welch, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner S. (1999) CSP for Java: Multithreading for all. In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), April 11-14, 1999, Keele, England. (The full text of this publication is not available from this repository)

Welch, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner S. (1999) Safe and Verifiable Design of Concurrent Programs. In: Proceedings of the 3rd. International Conference on Software Engineering and Applications. (The full text of this publication is not available from this repository)

Welch, Peter H. and Wood, David C. and Kerridge, Jon M. (1999) Synchronisation Primitives for Highly Parallel Discrete Event Simulations. In: Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), 5-8 January 1999, Hawaii. (The full text of this publication is not available from this repository)

Wood, David C. and Moores, James (1999) User-defined data types and operators in occam. In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), April 11-14, 1999, Keele, England. (Full text available)
[img]
Preview

1998

Welch, Peter H. and Bakkers, A.W.P., eds. (1998) Architectures, Languages and Patterns for Parallel and Distributed Applications. Concurrent Systems Engineering Series, 52 . IOS Press (Amsterdam) ISBN 90 5199 391 9. (The full text of this publication is not available from this repository)

Beckett, David J. (1998) Polishing Your Searches. Ariadne, 1 (16). (The full text of this publication is not available from this repository)

Brown, Heather and Harding, Robert K. and Lay, Steve and Robinson, Peter and Sheppard, Dan and Watts, Richard (1998) Active Alice: Using Real Paper to Interact with Electronic Text. In: Hersch, Roger and Andre, Jacques and Brown, Heather, eds. Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes in Computer Science (1375). Springer-Verlag, pp. 407-419. ISBN 3-540-64298-6. (The full text of this publication is not available from this repository)

Brown, Heather and Harding, Robert K. and Lay, Steve and Robinson, Peter and Sheppard, Dan and Watts, Richard (1998) Active Paper for Active Learning. ALT-J, 6 (1). pp. 95-101. ISSN 0968-7769. (The full text of this publication is not available from this repository)

Brown, Peter J. (1998) Some Lessons for Location-aware Applications. In: Proceedings of first workshop on HCI for mobile devices. Glasgow University pp. 58-63. (The full text of this publication is not available from this repository)

Brown, Peter J. (1998) Triggering information by context. Personal Technologies, 2 (1). pp. 1-9. ISSN 0949-2054. (Full text available)
[img]
Preview

Cooper, Ian (1998) Web Resource Re-discovery - Personal Resource Storage and Retrieval on the World Wide Web. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke (1998) Testing refinements by refining tests. In: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98), SEP 24-26, 1998, Berlin, Germany. (Full text available)
[img]
Preview
[img]
Preview

Fernandes, G.P.A. (1998) Distributed Platform Support for Service Management. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Gerig, Guido and Welti, Daniel and Guttmann, Charles and Colchester, Alan C. F. and Szekely, Gabor (1998) Exploring the discrimination power of the time domain for segmentation and characterization of lesions in serial MR data. In: 1st International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 98), Oct 11-13, 1998, Cambridge, Massachusetts. (The full text of this publication is not available from this repository)

Guitierrez, Carlos Ramierez (1998) A Theory of Episodic Memory for Case-based Reasoning and its Implementation. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Heeley, R. and Madsen, N.A.H. and Martin, B. (1998) Results from the Macrame 1024 node switching network. In: International Conference on Computing in High Energy Physics (CHEP 97), Apr 07-11, 1997 , Berlin, Germany. (The full text of this publication is not available from this repository)

Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Martin, B. (1998) The Macrame 1024 node switching network. Microprocessors and Microsystems, 21 (7-8). pp. 511-518. ISSN 0141-9331. (The full text of this publication is not available from this repository)

Hanna, Keith (1998) Reasoning about imperfect digital systems. In: Moller, Bernhard Moller and Tucker, John V, eds. Prospects for Hardware Foundations. Lecture Notes in Computer Science, 1546 . Springer-Verlag Berlin, Berlin, pp. 333-355. ISBN 0302-9743. (The full text of this publication is not available from this repository)

Hersch, Roger and Andre, Jacques and Brown, Heather (1998) Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes in Computer Science . Springer-Verlag, 574 pp. ISBN 3-540-64298-6. (The full text of this publication is not available from this repository)

Hopkins, Tim (1998) Certification of Algorithm 734: A Fortran 90 code for unconstrained nonlinear minimization. Acm Transactions on Mathematical Software, 24 (3). pp. 351-354. ISSN 0098-3500. (The full text of this publication is not available from this repository)

Howe, Jacob M. (1998) A `Permutation-free' Calculus for Lax Logic. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Howe, Jacob M. (1998) Proof Search Issues in Some Non-Classical Logics. Doctor of Philosophy (PhD) thesis, University of St Andrews. (Full text available)
[img] [img]
Preview

Johnson, Leslie (1998) Revisiting Simon on the Design of Complex Systems. Systems Research and Information Science, 7 (4). pp. 213-224. (The full text of this publication is not available from this repository)

Kahrs, Stefan and Sannella, Don (1998) Reflections on the design of a specification language. In: Astesiano, Egidio, ed. Lecture Notes in Computer Science. Springer-Verlag Berlin pp. 154-170. ISBN 3-540-64303-6. (The full text of this publication is not available from this repository)

Leech, Helen K. and Kemp, Zarine P. (1998) Supporting complex spatiotemporal analysis in GIS. In: Carver, S., ed. Investigation in GIS5. Taylor & Francis Ltd pp. 151-161. ISBN 0-7484-0810-X. (The full text of this publication is not available from this repository)

Linington, Peter F. and Milosevic, Zoran and Raymond, Kerry (1998) Policies in communities: Extending the ODP enterprise viewpoint. In: Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International. Ieee pp. 14-24. ISBN 0-7803-5158-4. (The full text of this publication is not available from this repository)

Marin, Lungu and Marian, Gheorghe and Musatescu, Carmen and Patrascoiu, Octavian (1998) Elaboration and Testing of Hierarchical / Distributed Computing Algorithms. In: Proceedings of the International Symposium on System Theory (ISST-98). (The full text of this publication is not available from this repository)

Mills, Richard (1998) MPEG Video Transmission over a Four Priority Level ATM Network. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Netshisaulu, T.T. and Ngoepe, Phuti E. and Chadwick, Alan V. (1998) Computer modelling and EXAFS study of the disorder in Cd1-xPbxF2 mixed systems. In: 2nd Materials Modelling Meeting, May 04-05, 1998, Sovenga, South Africa. (The full text of this publication is not available from this repository)

Pascoe, Jason (1998) Adding generic contextual capabilities to wearable computers. In: 2nd International Symposium on Wearable Computers. Ieee Computer Soc pp. 92-99. ISBN 0-8186-9074-7. (Full text available)
[img] [img]
Preview

Poole, Michael D. (1998) Extended Transputer Code - a Target-Independent Representation of Parallel Programs. In: 21st World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-21) - Architectures, Languages and Patterns for Parallel and Distributed Applications, Apr 05-08, 1998, Canterbury, England. (The full text of this publication is not available from this repository)

Rahman, Ahmad Fuad Rezaur and Fairhurst, Michael and Lee, Peter (1998) Design considerations in the real-time implementation of multiple expert image classifiers within a modular and flexible multiple-platform design environment. Real-Time Imaging, 4 (5). pp. 361-376. ISSN 1077-2014. (The full text of this publication is not available from this repository)

Roberts, Jonathan C. (1998) On encouraging multiple views for visualization. In: Banissi, Ebad and Khosrowshahi, F. and Sarfraz, Muhammad, eds. IEEE Conference on Information Visualization - Proceedings. IEEE Conference on Information Visualization - Proceedings. IEEE Computer Soc, Los Alamitos, CA, USA , Los Alamitos, CA, USA pp. 8-14. ISBN 0-8186-8509-3. (Full text available)
[img] [img]
Preview

Roberts, Jonathan C. (1998) Waltz - An exploratory visualization tool for volume data, using multiform abstract displays. In: Erbacher, Robert F. and Pang, Alex, eds. Visual Data Exploration and Analysis V, Proceedings of SPIE. Proceedings of the Society of Photo-Optical Instrumentation Engineers (SPIE), 3298. SPIE -Int Soc Optical Engineering, Bellingham, WA USA , Bellingham, Washington, USA pp. 112-122. ISBN 0-8194-2738-1. (Full text available)
[img]
Preview

Rodgers, Peter (1998) A graph rewriting programming language for graph drawing. In: 1998 IEEE Symposium on Visual Languages, Proceedings. IEEE Computer Soc, Los Alamitos, CA, USA , Los Alamitos, CA, USA pp. 32-39. ISBN 0-8186-8712-6. (Full text available)
[img]
Preview

Rodrigues, Helena C.C.D. (1998) Cyclic Distributed Garbage Collection. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (Full text available)
[img]
Preview
[img]
Preview

Russell, M. and Hopkins, Tim (1998) CFTP: a caching FTP server. Computer Networks and ISDN Systems, 30 (22-23). pp. 2211-2222. ISSN 0169-7552. (Full text available)
[img]
Preview
[img]
Preview

Slater, J.B. and Swinnerton-Dyer, P. (1998) Counting points on cubic surfaces, I. Asterisque (251). pp. 1-12. ISSN 0303-1179. (The full text of this publication is not available from this repository)

Stergiou, Maria and Johnson, Leslie (1998) The Importance of Business Rules in the Organisational Transformation Process. In: ISAS'98 Proceedings - 4th International Conference on Information Systems, Analysis and Synthesis. (Full text available)
[img] [img]
Preview

Tardivel, Gillian M. and Morse, David R. (1998) The role of the user in computer-based species identification. In: Bridge, Paul and Jeffries, Peter and Morse, David R. and Scott, Peter R., eds. Information technology, plant pathology and biodiversity. Cabi Publishing-CAB Int, Oxon, England pp. 247-259. ISBN 0-85199-217-X. (The full text of this publication is not available from this repository)

Valkenburg, Peter and Beckett, David J. and Hamilton, Martin and Wilkinson, Simon (1998) Standards in the CHIC-Pilot Distributed Indexing Architecture. Computer Networks and ISDN Systems, 30 (16-18). pp. 1571-1578. ISSN 0169-7552. (The full text of this publication is not available from this repository)

Vella, Kevin J. (1998) Seamless Parallel Computing on Heterogeneous Networks of Multiprocessor Workstations. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Webb, David J. and Rao, Yun Jiang and Hathaway, Mark and Jackson, David A. and Zhang, Lin and Bennion, Ian (1998) Medical temperature profile monitoring using multiplexed fibre Bragg gratings. In: Dakin, John P. and Kersey, Alan D. and Paul, Dilip K., eds. Fiber Optic and Laser Sensors and Applications - Including Distributed and Multiplexed Fiber Optic Sensors VII. Proceedings of the Society of Photo-Optical Instrumentation Engineers (SPIE). SPIE - International Society for Optical Engineering pp. 256-262. ISBN 0-8194-3002-1. (The full text of this publication is not available from this repository)

Welch, Peter H. (1998) Java Threads in the Light of occam/CSP. In: Welch, Peter H. and Bakkers, A.W.P., eds. Architectures, Languages and Patterns for Parallel and Distributed Applications. Concurrent Systems Engineering Series, 52. IOS Press, Amsterdam pp. 259-284. ISBN 90-5199-391-9. (Full text available)
[img]
Preview

Welch, Peter H. (1998) Parallel and Distributed Computing in Education (Invited Talk). In: VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers, 21/06/1998, Porto , Portugal . (Full text available)
[img]
Preview

Winfield, A.J. (1998) A Virtual Laboratory Notebook for Simulation Models. In: UNSPECIFIED, January 4-9, 1998, Hawaii. (Full text available)
[img]
Preview

1997

Beckett, David J. (1997) 30% Accessible - A Survey of the UK Wide Web. In: Genesereth, Michael.R. and Patterson, Anna, eds. Computer Networks and ISDN Systems. Elsevier, Holland pp. 1367-1375. (The full text of this publication is not available from this repository)

Bowman, Maggie (1997) Development of a Technical Reports Service at the Higher Education National Software Archive in the UK. Program: Electronic Library and Information Systems, 31 (2). pp. 147-159. ISSN 0033-0337. (The full text of this publication is not available from this repository)

Brown, Heather (1997) Active Alice: Active Paper for Active Learning. In: Proceedings of ALT-C 97. (The full text of this publication is not available from this repository)

Brown, Peter J. and Bovey, John D. and Chen, Xian (1997) Context-aware Applications: from the Laboratory to the Marketplace. IEEE Personal Communications, 4 (5). pp. 58-64. ISSN 1070-9916 . (The full text of this publication is not available from this repository)

Buckner, Ian (1997) UKC ANSAware Survival Guide. Technical report. University of Kent at Canterbury, Computing Laboratory , Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF (Full text available)
[img]
Preview
[img]
Preview

Buckner, Ian (1997) UKC ANSAware Survival Guide (for Modula-3). Technical report. University of Kent at Canterbury, Computing Laboratory , Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF (Full text available)
[img]
Preview
[img]
Preview

Buckner, Ian and Penny, Ian (1997) UKC Orbix Survival Guide. Technical report. University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF (Full text available)
[img]
Preview
[img]
Preview

Edwards, Michael R. (1997) Developing a model of expertise for a taxonomic expert system. In: Bridge, Paul and Jeffries, Peter and Morse, David R. and Scott, Peter R., eds. Information Technology, Plant Pathology and Biodiversity. Cabi Publishing. Cabi Publishing-C a B Int, Wallingford pp. 183-196. ISBN 0-85199-217-X. (The full text of this publication is not available from this repository)

Fernandes, G.P.A. and Derrick, John (1997) Formal Specification and Testing of a Management Architecture. In: 5th IFIP/IEEE International Symposium on Integrated Network Management, May 12-16, 1997, San Diego, CA, . (Full text available)
[img]
Preview
[img]
Preview

Haas, S. and Thornley, D.A. and Zhu, M. and Dobinson, R.W. and Heeley, R. and Madsen, N.A.H. and Martin, B. (1997) The Macrame 1024 node switching network. In: Hertzberger, Bob and Sloot, Peter M. A., eds. Lecture Notes in Computer Science. Lecture Notes in Computer Science, 1225. Springer-Verlag Berlin pp. 870-877. ISBN 3-540-62898-3. (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim (1997) Is the quality of numerical subroutine code improving? In: Arge, Erlend and Bruaset, Are Magnus and Langtangen, Hans Petter and Math, Norwegian Res and Council, Norway, eds. Modern Software Tools for Scientific Computing. Birkhauser Boston pp. 311-324. ISBN 0-8176-3974-8. (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim and Morse, David R. (1997) The implementation and visualisation of a large spatial individual-based model. In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds. Environmental Software Systems volume 2. Chapman & Hall pp. 284-291. ISBN 0-412-81740-3. (The full text of this publication is not available from this repository)

Johnson, Leslie and Stergiou, Maria (1997) Integrating BPR and Systems Development using Meta-Models. In: Proceedings - BPR Year 97 Europe. (Full text available)
[img]

Johnson, Leslie and Stergiou, Maria (1997) The Link between BPR, Evolutionary Delivery and Evolutionary Development. In: SCI'97 Proceedings - World Multiconference on Systemics, Cybernetics and Informatics. (Full text available)
[img] [img]
Preview

Johnson, Leslie and Stergiou, Maria (1997) The Necessary Architecture of Self-Regulating Teams. In: ME-SELA'97 Proceedings - International Conference on Managing Enterprises - Stakeholders, Engineering, Logistics, and Achievement, Jul 22-24, 1997, Loughborough Univ, Dept Mfg Engn; Loughborough Univ, Dept Transport Studies . (Full text available)
[img] [img]
Preview

Langford, Duncan (1997) Regency Minton Porcelain 1800-1815. Langford & Clark, Canterbury, Kent ISBN 0-953-04340-1. (The full text of this publication is not available from this repository)

Langford, Duncan (1997) Ethical Issues in Network System Design. Australian Journal of Information Systems, 4 (2). pp 127-132. ISSN 1039-7841. (Full text available)
[img]
Preview

Lee, Howard and Kemp, Zarine P. (1997) Towards a multiple placement land suitability evaluation framework. In: 7th International Symposium on Spatial Data Handling (SDH 96), 1996, Delft, Netherlands. (The full text of this publication is not available from this repository)

Mansfield, Elizabeth L. and Clarkson, Peter (1997) Symmetries and exact solutions for a 2+1-dimensional shallow water wave equation. Mathematics and Computers in Simulation, 43 (1). pp. 39-55. ISSN 0378-4754. (The full text of this publication is not available from this repository)

Martin, Jeremy M. R. and Welch, Peter H. (1997) A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications, 3 (4). pp. 215-232. ISSN 1070-454X. (Full text available)
[img]
Preview

Oshea, P.J. and Wilson, E. (1997) European law databases: an experiment in retrieval. In: Wagner, R., ed. : Database and Expert Systems Applications, 1997. Proceedings., Eighth International Workshop on. I.E.E.E, Computer Soc Press pp. 227-232. ISBN 0-8186-8148-9. (The full text of this publication is not available from this repository)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1997) Comparison of Contrasting Prolog Trace Output Formats. International Journal of Human-Computer Studies, 47 (2). pp. 289-322. ISSN 1071-5819 . (Full text available)
[img]
Preview

Ramirez, Carlos (1997) Schemata, Frames, and Dynamic Memory Structures. Technical report. University of Kent at Canterbury, Computing Laboratory, Canterbury, Kent CT2 8DS (Full text available)
[img]
Preview
[img]

Scahill, Mark (1997) Distributed individual-based environmental simulation. In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds. Environmental Software Systems (v. 2). IFIP International Federation for Information Processing S., 2 . Chapman & Hall, Dordrecht, pp. 269-276. ISBN 0-412-81740-3. (The full text of this publication is not available from this repository)

Scahill, Mark (1997) Distributed Individual-Based Environmental Simulation. In: IFIP TC5 WG5.11 internatinal symposium on environmental software systems (ISESS '97), , 28 April-2 May 1997, , British Columbia, Canada. (Full text available)
[img] [img]
Preview

Scott, P.D. and Coxon, A.P.M. and Hobbs, M.H.W. and Williams, R.J. (1997) An intelligent assistant for exploratory data analysis. In: Principles of Data Mining and Knowledge Discovery. Lecture Notes in Computer Science, 1263 (1263). Springer Verlag pp. 189-199. ISBN 3-540-63223-9. (Full text available)
[img]
Preview

Senivongse, Twittie (1997) Evolution Transparency for Distributed Service Types. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Smith, Graeme and Derrick, John (1997) Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, Michael G. and Liu, Shaoying, eds. ICFEM. IEEE Computer Society, Hiroshima, Japan pp. 293-302. ISBN 0-8186-8002-4 . (Full text available)
[img]
Preview

Sutcliffe, A. and Dömges, M.J.R. (1997) Defining Visions in Context. Information Systems, 21 (6). pp. 515-547. ISSN 0306-4379 . (The full text of this publication is not available from this repository)

Walczowski, Les T. and Nalbantis, D. and Waller, Winston A.J. and Shi, K. (1997) Analogue layout generation by World Wide Web server-based agents. European Conference on Design Automation . I E E E, Computer Soc Press, USA, 634 pp. ISBN 0-8186-7786-4. (The full text of this publication is not available from this repository)

Welch, Peter H. (1997) Ignore the monitor methods! Computer, 30 (7). 7-&. ISSN 0018-9162. (The full text of this publication is not available from this repository)

Welch, Peter H. (1997) Java Threads in Light of occam/CSP (Tutorial). In: Parallel Programming and Java, Proceedings of WoTUG 20. (The full text of this publication is not available from this repository)

Welch, Peter H. (1997) Java threads in the light of occam/CSP. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, Amsterdam, p. 282. ISBN 90-5199-336-6. (The full text of this publication is not available from this repository)

Welch, Peter H. and Poole, Michael D. (1997) occam for multi-processor DEC alphas. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, Amsterdam, pp. 152-174. ISBN 90-5199-336-6. (The full text of this publication is not available from this repository)

Welch, Peter H. and Wood, David C. (1997) Higher Levels of Process Synchronisation. In: Parallel Programming and Java, Proceedings of WoTUG 20, Apr 13-16, 1997 , Enschede, Netherlands,. (Full text available)
[img]
Preview

Wusteman, Judith (1997) Project ELVYN: An experiment in electronic journal delivery. Facts, figures and findings - Rowland,F, McKnight,C, Meadows,J. Review of: Project ELVYN: An experiment in electronic journal delivery. Facts, figures and findings by Rowland, F, and McKnight, C. and Meadows, J.. Program: Electronic Library and Information Systems, 31 (1). pp. 90-91. ISSN 0033-0337. (The full text of this publication is not available from this repository)

1996

Beckett, David J. and Smith, Neil (1996) The ACademic DireCtory - AC/DC. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Beckett, David J. and Welch, Peter H. (1996) A Strict occam Design Tool. In: Proceedings of UK Parallel ''96. (The full text of this publication is not available from this repository)

Beckett, David J. and Welch, Peter H. (1996) Emulating a secure multicasting bus using occam 2.1. In: Oneill, B.C. and Transputer User, Grp, eds. Concurrent Systems Engineering Series. I O S Press pp. 59-73. ISBN 90-5199-261-0. (The full text of this publication is not available from this repository)

Bovey, John D. (1996) Event-based personal retrieval. Journal of Information Science, 22 (5). pp. 357-366. ISSN 0165-5515. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. (The full text of this publication is not available from this repository)

Brown, Heather and Wusteman, Judith (1996) Acrobat, Mosaic and Guide as Vehicles for Electronic Journals. In: Earnshaw, Rae A. and Vince, John A., eds. Digital Media and Electronic Publishing. Academic Press, pp. 65-89. ISBN 0-12-227756-2. (The full text of this publication is not available from this repository)

Brown, Peter J. (1996) Building Novel Software: the Researcher and the Market-place. In: Milner, Robin and Wand, I., eds. Computing Tomorrow: Future Directions in Computer Science. Cambridge University Press, pp. 21-32. (Full text available)
[img]
Preview
[img]
Preview

Brown, Peter J. (1996) The Stick-e Document: a Framework for Creating Context-aware Applications. In: Proceedings of EP''96, Palo Alto. (The full text of this publication is not available from this repository)

Czech, Zbigniew and Mikanik, Wojciech (1996) Randomized PRAM Simulation Using T9000 Transputers. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Demiralp, S.V. (1996) Configuring Distributed occam Programs using Doc. In: Proceedings of the PDPTA''96. (The full text of this publication is not available from this repository)

Douglas, Andrew (1996) A Compiled Functional Language with a Martin-Lof Type System. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Fernandes, G.P.A. and Derrick, John (1996) Formal Specification of Distributed Services Management. In: Trends in Distributed Systems' 96. (Full text available)
[img]
Preview
[img]
Preview

Hobbs, M.H.W. (1996) Spatial clustering using a genetic algorithm. In: Parker, David, ed. Innovatins in GIS 3. Taylor & Francis, pp. 85-95. ISBN 0748404597. (The full text of this publication is not available from this repository)

Hopkins, Tim (1996) Restructuring software: A case study. Software: Practice and Experience, 26 (8). pp. 967-982. ISSN 0038-0644. (Full text available)
[img]
Preview
[img]
Preview

Hopkins, Tim and Welch, Peter H. (1996) Transputer data-flow solution for systems of linear equations. Concurrency-Practice and Experience, 8 (8). pp. 569-580. ISSN 1040-3108. (The full text of this publication is not available from this repository)

Howe, Jacob M. (1996) Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop-Checking. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Ibbetson, Alan L. and Linington, Peter F. and Penny, Ian and Smith, Abraham B. and Tripp, Gerald (1996) Reducing the cost of remote procedure call. In: IFIP/IEEE International Conference on Distributed Platforms, FEB, 1996, Dresden, Germany. (The full text of this publication is not available from this repository)

Moore, T.M. (1996) An Open Multimedia Conferencing Architecture Supporting Quality of Service. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Morse, David R. (1996) Australian multimedia. Trends in Ecology and Evolution, 11 (12). ISSN 0169-5347. (The full text of this publication is not available from this repository)

Morse, David R. and Tardival, G.M. and Spicer, J. (1996) A Comparison of the Effectiveness of a Dichotomous Key and a Multi-Access Key to Woodlice. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Peel, Andrew (1996) Building an HTML macro toolbox. Other. (Unpublished) (Full text available)
[img]
Preview
[img]
Preview

Poole, Michael D. (1996) Occam for all - Two approaches to retargeting the INMOS compiler. In: 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19), Mar 31-Apr 03, 1996, Nottingham, England. (The full text of this publication is not available from this repository)

Shandal, Anil Kumar (1996) Flexible Approaches to Controlling Congestion of Data Traffic in an ATM Network. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Sharp, John A. and Price, D.H.R. (1996) Systematic case study selection based on sample surveys: The case segmentation method. Systems Research and Information Science, 7 (2). pp. 71-81. ISSN 0882-3014. (The full text of this publication is not available from this repository)

Shibayama, Katsuyuki and Walczowski, Les T. and Waller, Winston A.J. and Nalbantis, D. (1996) A new bipolar op-amp IC synthesis approach. In: 2nd International Conference on ASIC, Shanghai, Peoples R China. (The full text of this publication is not available from this repository)

Smart, Nigel P. (1996) Solving discriminant form equations via unit equations. Journal of Symbolic Computation, 21 (3). pp. 367-374. ISSN 0747-7171. (The full text of this publication is not available from this repository)

Smith, Neil (1996) Freely Redistributable Software across the Internet - Current practice and future directions to overcome the bandwidth crisis. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Smith, Neil (1996) The UK National Web Cache - A State of the Art Report. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Tseng, Kuo-Jung (1996) Chinese Character Generation - A Stroke Oriented Method. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Vegas, Eduardo Rojas (1996) SIDL: Design and Specification of a Compositional Object-Oriented Model for Generalised Data Management. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Vella, Kevin J. (1996) CSP/occam on Networks of Workstations. In: Proceedings of UK Parallel ''96. (The full text of this publication is not available from this repository)

Webb, David J. and Surowiec, J. and Sweeney, M. and Jackson, David A. and Gavrilov, Leonid and Hand, J.W. and Zhang, Lin and Bennion, Ian (1996) Miniature fibre optic ultrasonic probe. In: Conference on Fiber Optic and Laser Sensors XIV, Denver, Co. (The full text of this publication is not available from this repository)

Welch, Peter H. and Beckett, David J. (1996) Emulating a Secure Multicasting Bus Using occam2.1. In: Parallel Processing Developments -- Proceedings of WoTUG 19. (The full text of this publication is not available from this repository)

Welch, Peter H. and Poole, Michael D. (1996) Final Report: Embedded occam/Alpha Demonstrator. Technical report. UKC, Canterbury, Kent, CT2 7NF (The full text of this publication is not available from this repository)

Wood, David C. and Welch, Peter H. (1996) The Kent retargetable occam compiler. In: 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19), Nottingham, England. (The full text of this publication is not available from this repository)

Wusteman, Judith (1996) Electronic Journal Formats. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

de Carvalho, Paulo Manuel Martins (1996) Interaction of Periodic Bursty Traffic Flows in ATM Networks. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

1995

Allwright, James and Pritchard, David and Jones, Stephen and Stephens, Nelson and Peel, Andrew and Makinson, Gordon and Steel, John and Liddell, Heather (1995) High Performance Computing For All. In: Proceedings of the 3rd Annual Conference on the Teaching of Computing. (Full text available)
[img]
Preview
[img]
Preview

Beckett, David J. (1995) IAFA Templates in use as Internet Metadata. World Wide Web Journal -- Proceedings of the Fourth International World-Wide Web Conference, 1 (1). pp. 135-143. ISSN 1085-2301. (The full text of this publication is not available from this repository)

Beller-Hann, Ildiko (1995) Central-Asia Reader - the Rediscovery of History - PaKSOY,HB. American Ethnologist, 22 (3). pp. 650-651. ISSN 0094-0496. (The full text of this publication is not available from this repository)

Brown, Heather and Wusteman, Judith (1995) Acrobat, Mosaic and Guide as vehicles for Electronic Journals. New Review of Information Networking, 1 . pp. 33-60. ISSN 1361-4576. (The full text of this publication is not available from this repository)

Brown, Heather and Wusteman, Judith (1995) Electronic journals using Guide. In: Electronic Library and Visual Information Research: ELVIRA 2. (The full text of this publication is not available from this repository)

Brown, Peter J. (1995) Taking a Stroll down Babel Street. In: Davidson, A., ed. Humor the Computer. MIT Press, Cambridge, Mass., pp. 165-168. (The full text of this publication is not available from this repository)

Brown, Peter J. and Brown, Heather (1995) Embedded or Separate Hypertext Mark-up: is it an Issue? Electronic Publishing: Origination, Dissemination and Design, 8 (1). pp. 1-13. ISSN 0894-3982. (The full text of this publication is not available from this repository)

Chen, Xian and Megson, G.M (1995) A General Methodology of Partition and Mapping for Given Regular Arrays. IEEE Transactions on Parallel and Distributed Systems, 6 (10). pp. 1100-1107. ISSN 1045-9219. (The full text of this publication is not available from this repository)

Cheng, Russell C.H. (1995) Bootstrap methods in computer simulation experiments. In: 1995 Winter Simulation Conference, Arlington, Va. (The full text of this publication is not available from this repository)

Cheng, Russell C.H. and Traylor, L. (1995) Characterization of material strength properties using probabilistic mixture models. In: 7th International Conference on Computational Methods and Experimental Measurements (CMEM 95), Capri, Italy. (The full text of this publication is not available from this repository)

Cooper, Ian and Shufflebotham, Royston (1995) PDA Web Browsers: Implementation Issues. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Cronk, Jonathan and Sharp, John A. (1995) A framework for deciding what to outsource in information technology. Journal of Information Technology, 10 (4). pp. 259-267. ISSN 0268-3962. (The full text of this publication is not available from this repository)

Edwards, Marion and Morse, David R. (1995) The burden is description, not identification - Reply. Trends in Ecology and Evolution, 10 (10). pp. 416-417. ISSN 0169-5347. (The full text of this publication is not available from this repository)

Edwards, Marion and Morse, David R. (1995) The potential for computer-aided identification in biodiversity research. Trends in Ecology and Evolution, 10 (4). pp. 153-158. ISSN 0169-5347. (The full text of this publication is not available from this repository)

Evered, Mark and Kölling, Michael and Schmolitzky, Axel (1995) A Flexible Object Invocation Language based on Object-Oriented Language Definition. Computer Journal, 38 (3). pp. 181-191. ISSN 0010-4620. (Full text available)
[img]
Preview

Fernandes, G.P.A. and Hungate, J. (1995) Comparison of POSIX Open System Environment (OSE) and Open Distributed Processing (ODP) Reference Models. Technical report. Computer Systems Laboratory,U.S.A, Distributed Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A. (The full text of this publication is not available from this repository)

Hobbs, M.H.W. (1995) Analysis of a retail branch network: a problem of catchment areas. In: Fisher, Peter, ed. Inovations in GIS 2. Taylor & Francis, pp. 151-161. ISBN 074840269-1. (The full text of this publication is not available from this repository)

Howells, Gareth and Fairhurst, Michael and Bisset, D.L. (1995) BCN - A Novel Network Architecture for ram-Based Neurons. Pattern Recognition Letters, 16 (3). pp. 297-303. ISSN 0167-8655. (The full text of this publication is not available from this repository)

Hungate, J. and Fernandes, G.P.A. (1995) Distributed Systems: Survey of Open Management Approaches. Technical report. , Distributing Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A. (The full text of this publication is not available from this repository)

Jones, Richard E. (1995) Introducing More Systematic Quality Assurance Arrangements for Course Approval and Review. In: Middlehurst, Robin, ed. Managing for Quality: Stories and Strategies. Higher Education Quality Council, pp. 15-17. ISBN 1--85824--234--7. (The full text of this publication is not available from this repository)

Kalli, Kyriacos and Jackson, David A. (1995) Dynmic-Response of High-Resolution Ring-Resonator Optical Spectrometers to time-Varing Input Signals. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Langford, C. (1995) Law and, disorder in netville - we need ethical decisions now on what the internet should be, not legislation tomorrow, claims. New Scientist, 146 (1982). pp. 52-53. ISSN 0262-4079. (The full text of this publication is not available from this repository)

Lindsey, Donna (1995) RIVUS: A Template Language for Modelling Multimedia Streams. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

McCluskey, T.L. and Porteous, J.M. and Naik, Yogesh and Taylor, C. and Jones, S. (1995) A Requirements Capture Method and Its Use in an Air Traffic Control Application. Software Practice and Experience, 25 . pp. 47-71. (Full text available)
[img]
Preview
[img]
Preview

Morse, David R. (1995) Ecology on the Internet. BES Bulletin, XXVIII (4). pp. 244-250. ISSN 0306 8307. (The full text of this publication is not available from this repository)

Morse, David R. (1995) ModelMaker: A review. BES Bulletin, XXVIII (4). pp. 284-286. ISSN 0306 8307. (The full text of this publication is not available from this repository)

Poole, Michael (1995) Progress with occam for the PC. WoTUG Newsletter . (The full text of this publication is not available from this repository)

Poole, Michael D. (1995) Using records and pointers with occam 2.1. In: Nixon, Paddy and Transputer User, Grp, eds. Transputer and Occam Developments. Transputer & Occam Engineering Series, 44 . IOS Press, Amsterdam, pp. 151-162. ISBN 90-5199-222-X. (The full text of this publication is not available from this repository)

Ramirez, Carlos (1995) Case-based Reasoning Applied to Information Retrieval. In: IEE Coloquium on Case-Based Reasoning: Prospects for Application. (Full text available)
[img]
Preview
[img]
Preview

Rothwell, Kneale J and Shaw, G. and Smith, A. (1995) Porting the INMOS occam compiler to the SPARC architecture. In: 18th Technical Meeting of the World-occam-and-Transputer-User-Group (WoTUG-18), Apr 09-12, 1995, Manchester, England. (The full text of this publication is not available from this repository)

Shackell, John and Salvy, Bruno (1995) Asymptotic forms and algebraic differential equations. Journal of Symbolic Computation, 20 (2). pp. 169-177. ISSN 0747-7171. (The full text of this publication is not available from this repository)

Thompson, Simon and Hill, Steve (1995) Functional programming through the curriculum. In: 1st International Symposium on Functional Programming Languages in Education (FPLE 95), Dec 04-06, 1995, Nijmegen, Netherlands. (Full text available)
[img]
Preview
[img]
Preview

Turner, David A. (1995) Elementary strong functional programming. In: 1st International Symposium on Functional Programming Languages in Education (FPLE 95), Dec 04-06, 1995, Nijmegen, Netherlands. (The full text of this publication is not available from this repository)

Vella, Kevin J. (1995) An occam Style Communications System for UNIX Networks. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Welch, Peter H. (1995) Parallel hardware and parallel software: A reconciliation. In: ZEUS 95 Workshop on Parallel Programming and Computation/NTUG Annual/Biannual Workshop on Parallel Processing and Real-Time Applications (NTUG 95), 1995, Linkoping, Sweden. (The full text of this publication is not available from this repository)

Welch, Peter H. and Beckett, David J. (1995) Real time image scanning on transputers (a case study in parallel design). In: 1995 World Transputer Congress - Transputer Applications and Systems 95, Sep, 04-06, 1995, Harrogate, England. (The full text of this publication is not available from this repository)

Welch, Peter H. and Cook, Barry M. and Jane, M.R. and Nixon, Paddy (1995) Transputer Applications and Systems ''95, Proceedings of the 1995 World Transputer Congress. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Wright, John F. and Morse, David R. and Tardivel, Gillian M. (1995) An investigation into the use of hypertext as a user interface to taxonomic keys. Computer Applications in the Biosciences, 11 (1). pp. 19-27. ISSN 1367-4803. (The full text of this publication is not available from this repository)

Wusteman, Judith and Brown, Heather (1995) Electronic Journals Using Guide. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

1994

Bolla, Damiano (1994) IPP Routing Architecture. Technical report. versity of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Camilleri, Juanito and Zammit, Vincent (1994) Symbolic Animation as a Proof Tool. In: Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta. (The full text of this publication is not available from this repository)

Cooper, Ian (1994) Indexing the World. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Curtis, Tony (1994) PEST: A Knowledge Based System for Product Promotions. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Fachin, M.P.G. (1994) The Divide-and-Conquer Method for the Solution of the Symmetric Tridiagonal Eigenproblem and Transputer Implementations. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (The full text of this publication is not available from this repository)

Lamming, Mik G. and Brown, Peter J. (1994) The Design of a Human Memory Prosthesis. Computer Journal, 37 (3). pp. 153-163. (The full text of this publication is not available from this repository)

Lins, Rafael D. and Neto, Mario Guimaraes and Neto, Leopoldo Franca and Rosa, Luciano Galdino (1994) An environment for processing images of historical documents. Microprocessing and Microprogramming, 40 (10-12). pp. 939-942. ISSN 0165-6074. (The full text of this publication is not available from this repository)

Oxborrow, Elizabeth (1994) Extending Object-Oriented Database Concepts to Support a Wider Range of Applications. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Patel, Mukesh J. and Taylor, Chris and du Boulay, Benedict (1994) Textual Tree (Prolog) Tracer: An Experimental Evaluation. In: Gilmore, D. and Winder, R. and Detienne, F., eds. User-Centred Requirements for Software Engineering Environments. NATO ASI Series (Series F: Computer and Systems Sciences), 123 . Springer-Verlag, Berlin, pp. 127-141. (The full text of this publication is not available from this repository)

Penny, Ian (1994) The Design and Implementation of the RPC Device Drivers. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Pimentel, M.D.C (1994) Evaluation of Alternative Operations for Browsing Hypertext. In: Cockton, G. and Draper, S.W. and Weir, G.R.S., eds. People and Computers. British Computer Society Workshop Series, Proceedings of the HCI '94 Conference . Cambridge University Press, Cambridge, pp. 145-162. ISBN 0-521-48557-6. (The full text of this publication is not available from this repository)

Pinto, Paulo F. and Linington, Peter F. (1994) A language for the specification of interactive and distributed multimedia applications. In: DeMeer, J. and Mahr, B. and Storp, S., eds. Open Distributed Processing II. IFIP Transactions C-Communication Systems , 20 . Elsevier Science Ltd, Oxford, pp. 247-264. ISBN 0-444-81861-8. (The full text of this publication is not available from this repository)

Rizzo, Mike (1994) Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Runnalls, Andrew R. (1994) A Survey of Sampling Methods for Inference on Directed Graphs. In: Cheeseman, P. and Oldford, R.W., eds. Selecting Models from Data. Springer Verlag. (The full text of this publication is not available from this repository)

Smith, Andrew (1994) Implementing a Transputer SCSI Interface. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Smith, Neil (1994) What can Archives offer the World Wide Web? Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J. (1994) Textual Tree Trace Notation for Prolog: An Overview. In: Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming. (The full text of this publication is not available from this repository)

Wusteman, Judith (1994) Electronic Journal Provision using Acrobat. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Wusteman, Judith and Brown, Heather (1994) Electronic journals using Acrobat, Mosaic and Guide. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

1993

Bakkers, A.W.P. and Bruis, R. and Roebbers, Herman W. and Schaller, Nan C. and Schwirtz, M.H. and Sunder, J.P.E. and Wijbrans, K.C.J. and Welch, Peter H. (1993) Training for Transputer Technologies. In: Parallel Processing in Education. (The full text of this publication is not available from this repository)

Bovey, John D. (1993) A graphical retrieval-system. Journal of Information Science, 19 (3). pp. 179-187. ISSN 0165-5515. (The full text of this publication is not available from this repository)

Brown, Heather (1993) Desktop Publishing. In: Ralston, Anthony and Reilly, Edwin D., eds. Encyclopedia of Computer Science. Van Nostrand Reinhold, pp. 426-429. ISBN 0-442-27679-6. (The full text of this publication is not available from this repository)

Brown, Heather and Cole, Fred C. (1993) ODA extensions for quality and flexibility. In: Evans, Cliff D. and Walker, Raymond S. and Meek, Brian L., eds. User Needs in Information Technology Standards. Computer Weekly Professional Series . Butterworth-Heinemann, pp. 148-160. ISBN 0 7506 1559 1. (The full text of this publication is not available from this repository)

Brown, Heather and Cole, Fred C. and Oxborrow, Elizabeth (1993) An Object-Oriented Toolkit for ODA and HyperODA. In: Proceedings of SigDoc'93. (The full text of this publication is not available from this repository)

Dallas, I. (1993) UCSG UNIX applications workshop, university-of-kent, July 6 and 7 1993. University Computing, 15 (4). pp. 195-200. ISSN 0265-4385. (The full text of this publication is not available from this repository)

Davies, Nigel and Davy, M.J. and Blair, Gordon S. and Mariani, John A. (1993) Object invocation and management in the zenith distributed multimedia information-system. Information and Software Technology, 35 (5). pp. 259-266. ISSN 0950-5849. (The full text of this publication is not available from this repository)

Day, Warren and Hill, Steve (1993) Farming: Towards a Rigorous Definition and Efficient Transputer Implementation. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Dent, Alan and Hanna, Keith (1993) Reasoning about array structures using a dependently typed logic. In: Agnew, David and Claesen, Luc J. M. and Camposano, Raul, eds. IFIP transactions a-computer science and technology. Elsevier Science Publ B V pp. 207-224. ISBN 0-444-81641-0. (The full text of this publication is not available from this repository)

Fernandes, G.P.A. (1993) T'ecnicas de Compilacc~ao para Sistemas Distribu'idos}. Other masters thesis, Escola de Engenharia, Universidade do Minho. (The full text of this publication is not available from this repository)

Justo, George R. R. and Welch, Peter H. (1993) Serialization as a paradigm for the engineering of parallel programs. Computers and Artificial Intelligence, 12 (3). pp. 229-249. ISSN 0232-0274. (The full text of this publication is not available from this repository)

Lam, K.P. and Horne, E. (1993) Enhanced Kernel Estimation Technique For Pattern-Classification. Electronics Letters, 29 (24). pp. 2130-2131. ISSN 0013-5194. (The full text of this publication is not available from this repository)

Lam, K.P. and Horne, E. (1993) Novel Technique To Combine Bws And Fws Classifiers. Electronics Letters, 29 (19). pp. 1702-1704. ISSN 0013-5194. (The full text of this publication is not available from this repository)

Langford, Duncan and Brown, Peter J. (1993) Creating hypertext documents - Is it worth the effort. Aslib Proceedings, 45 (4). pp. 91-95. ISSN 0001-253X. (The full text of this publication is not available from this repository)

Li, Ning (1993) An Implementation of OCR System Based on Skeleton Matching. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Liu, Steve Wenbin and Barrett, John W. (1993) Error bounds for the finite element approximation of a degenerate quasilinear parabolic variational inequality. Advances in Computational Mathematics, 1 (2). pp. 223-239. ISSN 1019-7168 . (The full text of this publication is not available from this repository)

Makinson, Gordon and Wojtulewicz, M. (1993) Further Development of a Distributed Transputer Based X Server. In: Proceedings of the Seventh International Parallel Processing Symposium. (The full text of this publication is not available from this repository)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1993) Evaluation of Contrasting Prolog Trace Output Formats. Technical report. University of Sussex (The full text of this publication is not available from this repository)

Polack, Fiona A.C. and Whiston, Mark and Mander, Keith C. (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings FME'93. (The full text of this publication is not available from this repository)

Poole, Michael (1993) An implementation of Occam 2 targetted to 80386, etc. WoTUG Newsletter, 18 . (The full text of this publication is not available from this repository)

Runnalls, Andrew R. (1993) Adaptive importance sampling for Bayesian networks applied to filtering problems. In: Hand, David J., ed. Artificial Intelligence Frontiers in Statistics: AI and Statistics III. Chapman and Hall. (The full text of this publication is not available from this repository)

Strang, W. and Khan, H. and Simpson, V. and Slater, C. and Hill, Steve (1993) From hypertext to hypermedia. Second annual conference on multimedia in education and industry . pp. 35-39. (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Prototype (Test Harness and Results). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Prototype (User Guide). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Specification (Domain Objects). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Specification (MATS-2 Separation Rules). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Parsing and Translation of MATS-2 Rules in Theoretical Form. Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Uncertainties in the Interpretation of MATS-2 Separation Rules. Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) User Guide to Theoretical Form Parsing and Translation Tool (PATT). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Welch, Peter H. (1993) Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Welch, Peter H. and Justo, George R. R. (1993) Serialisation as a Paradigm for the Engineering of Parallel Programs. Computers and Artifical Intelligence, 12 (3). pp. 229-249. ISSN 0232-0274. (The full text of this publication is not available from this repository)

Welch, Peter H. and Justo, George R. R. and Willcock, Colin J. (1993) High-level paradigms for deadlock-free high-performance systems. In: Grebe, R. and Hektor, J. and Hilton, S.C. and Jane, M.R. and Welch, Peter H., eds. Transputer Applications and Systems 93 Transputer Applications and Systems 93. Transputer & Occam Engineering., 36 . IOS press, Amsterdam, pp. 981-1004. ISBN 90-5199-140-1. (The full text of this publication is not available from this repository)

Welch, Peter H. and Justo, George R. R. and Willcock, Colin J. (1993) Higher-Level Paradigms for Deadlock-Free High-Performance Systems. In: Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. (Full text available)
[img]
Preview

Welch, Peter H. and May, M.D. and Thompson, P.W. (1993) Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands (The full text of this publication is not available from this repository)

Welch, Peter H. and Wood, David C. (1993) Image tracking in real-time: a transputer emulation of some early mammalian vision processes. Image and Vision Computing, 11 (4). pp. 221-228. ISSN 0262-8856. (The full text of this publication is not available from this repository)

1992

Brown, Heather and Cole, Fred C. (1992) Editing Structured Documents: Problems and Solutions. Electronic Publishing: Origination, Dissemination and Design, 5 (4). pp. 209-216. ISSN 0894-3982. (The full text of this publication is not available from this repository)

Brown, Heather and Utting, Ian (1992) Teaching Electronic Publishing to Computer Scientists. Electronic Publishing: Origination, Dissemination and Design, 5 (2). pp. 91-96. ISSN 0894-3982. (The full text of this publication is not available from this repository)

Brown, Heather and Utting, Ian (1992) Teaching Electronic Publishing to Computer Scientists. In: Teaching Electronic Publishing: Proceedings of TEP'92. (The full text of this publication is not available from this repository)

Brown, Peter J. (1992) UNIX GUIDE: Lessons from Ten Years'' Development. In: Lucarella, D., ed. Proceedings of the ACM conference on Hypertext. ACM Press, New York, pp. 63-70. (The full text of this publication is not available from this repository)

Chan, Syin (1992) Recompression of Still Images. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Cole, Fred C. and Oxborrow, Elizabeth and Brown, Heather (1992) An Object-Oriented Toolkit for Structured Documents. In: EP92: Proceedings of Electronic Publishing 92. (The full text of this publication is not available from this repository)

Day, Warren (1992) Farming: towards a rigorous definition and efficient transputer implementation. In: Transputer Systems -- Ongoing Research, Proceedings of WoTUG 15. (The full text of this publication is not available from this repository)

De Castro Lima, Antonio Cesar and Descardeci, José Ricardo and Giarola, Attilio José (1992) Circular Microstrip Antenna on a Spherical Surface. Microwave and Optical Technology Letters, 5 (5). pp. 221-224. ISSN 0895-2477. (The full text of this publication is not available from this repository)

Hanna, Keith and Daeche, Neil (1992) The Veritas Design Logic - a Users View. IFIP Transactions A-Computer Science And Technology , 10 . pp. 301-310. ISSN 0926-5473 . (The full text of this publication is not available from this repository)

Hanna, Keith and Daeche, Neil (1992) The Veritas Design Logic - a Users View. In: International Conf on Theorem Provers in Circuit Design : Theory, Practice and Experience, June 22-24, 1992, Nijmegen, Netherlands. (The full text of this publication is not available from this repository)

Hanna, Keith and Daeche, Neil and Howells, Gareth (1992) Implementation of the Veritas Design Logic. In: International Conference On Theorem Provers in Circuit Design : Theory, Practice And Experience. IFIP Transactions A-Computer Science and Technology , 10. Elsevier Science BV , Nijmegen, Netherlands pp. 77-94. ISBN 0-444-89686-4. (The full text of this publication is not available from this repository)

Justo, George R. R. and Welch, Peter H. (1992) Serialization as a Paradigm for the Engineering of Parallel Programs. In: Etiemble, D. and Syre, J.C., eds. Parle 92 : Parallel Architectures And Languages Europe. Lecture Notes in Computer Science, 605. Springer-Verlag Berlin, Berlin, Berlin pp. 975-976. ISBN 3-540-55599-4 . (The full text of this publication is not available from this repository)

Kemp, Zarine P. and Oxborrow, Elizabeth and Davy, M.J. and Linington, Peter F. and Thearle, R. and Blair, Gordon S. and Dark, P. and Davies, N.A. and Mariani, John A. and Snape, C. (1992) Zenith System for Object Management In Distributed Multimedia Design Environments. Information and Software Technology, 34 (7). pp. 427-436. ISSN 0950-5849. (The full text of this publication is not available from this repository)

King, Andy and Soper, Paul (1992) Schedule Analysis of Concurrent Logic Programs. In: Apt, Krzysztof, ed. Joint International Conference and Symposium for Logic Programming. Logic Programming . MIT Press, USA, pp. 478-492. ISBN 9780262510646. (Full text available)
[img]
Preview

Linington, Peter F. (1992) Introduction to the open distributed-processing basic reference model. In: Meer, J.de. and Heymer, V. and Roth, R., eds. Open Distributed Processing. IFIP Transactions C-Communication Systems, 1. Elsevier Science BV, Po Box 211, 1000 AE Amsterdam, Netherlands, Amsterdam pp. 3-13. ISBN 0-444-89329-6 . (The full text of this publication is not available from this repository)

Lins, Rafael D. (1992) A Multiprocessor Shared Memory Architecture for Parallel Cyclic Reference Counting. In: 18th Symposium On Microprocessing And Microprogramming ( Euromicro-92 ) : Software And Hardware : Specification And Design. Microprocessing And Microprogramming ( Euromicro-92 ) : Software And Hardware : Specification And Design, 35. Elsevier Science Bv, Paris, France pp. 563-568. (The full text of this publication is not available from this repository)

Lins, Rafael D. (1992) Cyclic Reference Counting With Lazy Mark-Scan. Information Processing Letters, 44 (4). pp. 215-220. ISSN 0020-0190. (Full text available)
[img]
Preview
[img]
Preview

Taylor, Chris and Naik, Yogesh (1992) A Survey of Formalisms for the Specification of MATS-2. Technical report. Dept of Comp Science, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) Definition of a Theoretical Form for MATS-2. Technical report. Dept of Comp Science, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) Initial Domain Analysis of MATS-2. Technical report. Dept of Comp Science, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) Interim Progress Report on Analysis of MATS-2. Technical report. Internal, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) Transformation between Theoretical and Validation Forms. Technical report. Dept of Comp Science, London (The full text of this publication is not available from this repository)

Thompson, Simon and Lins, Rafael D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (Full text available)
[img]
Preview
[img]
Preview

Utting, Ian (1992) Postscript Tutorial and Reference. Technical report. , University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Welch, Peter H. (1992) Shared-Memory Multi-Processors and occam. WoTUG Newsletter, 17 . pp. 42-45. (The full text of this publication is not available from this repository)

Welch, Peter H. (1992) The Role and Future of occam. Transputer Applications -- Progress and Reports, Proceedings of the Final Transputer Initiative Symposium . (The full text of this publication is not available from this repository)

Welch, Peter H. and Smith, Abraham B. (1992) A Transputer Based Active Vision System. In: Transputer Systems -- Ongoing Research, Proceedings of WoTUG 15. (The full text of this publication is not available from this repository)

Welch, Peter H. and Wood, David C. (1992) Image Tracking in Real-Time: a Transputer Emulation of some Early Mammalian Vision Processes. In: BMVC92, Proceedings of the British Machine Vision Conference 1992. (The full text of this publication is not available from this repository)

Welch, Peter H. and Wood, David C. (1992) KITTEN -- A Foveal Image Tracker. Image Processing and Transputers . pp. 97-112. (The full text of this publication is not available from this repository)

Wilson, E. (1992) Guiding lawyers - mapping law into hypertext. Artificial Intelligence Review, 6 (2). pp. 161-189. ISSN 0269-2821. (The full text of this publication is not available from this repository)

Wilson, E. and Lindley, I. and Pullen, S. (1992) Callguide - using programmable hypertext as a shell for call programs. Lecture Notes in Computer Science, 602 . pp. 592-615. ISSN 0302-9743. (The full text of this publication is not available from this repository)

Wood, David C. (1992) The Computation of Polylogarithms. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Wusteman, Judith (1992) Explanation-based learning - a survey. Artificial Intelligence Review, 6 (3). pp. 243-262. ISSN 0269-2821. (The full text of this publication is not available from this repository)

da Gracca Campos Pimentel, Maria (1992) Showing the destination of hypertext links: a new approach for Guide. Technical report. UKC, University of Kent, Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

du Boulay, Benedict and Patel, Mukesh J. and Taylor, Chris (1992) Programming Environments for Novices. In: Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments. (The full text of this publication is not available from this repository)

1991

Hesketh, Richard (1991) Perly - unix with buttons. Software: Practice and Experience, 21 (11). pp. 1165-1187. ISSN 0038-0644. (The full text of this publication is not available from this repository)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1991) Effect of Format on Information and Problem Solving. In: Proc. of 13th Ann. Conf. of the Cognitive Science Society. (The full text of this publication is not available from this repository)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1991) Prolog Tracers and Information Access. In: Proc. of 1st Moscow Internat. HCI Workshop. (The full text of this publication is not available from this repository)

Sturrock, Shane S. and Salmon, Ian (1991) Application of Occam to Biological Sequence Comparison. In: Occam and the Transputer -- Current Developments, Proceedings of WoTUG 14. (The full text of this publication is not available from this repository)

Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J. (1991) Outline Proposal for a Prolog `Textual Tree Tracer' (TTT). Technical report. UoS (Full text available)
[img]
Preview
[img]
Preview

Welch, Peter H. (1991) GOING TO Ceed? Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not available from this repository)

Welch, Peter H. (1991) On the Serialisation of Parallel Programs. In: Occam and the Transputer -- Current Developments, Proceedings of WoTUG 14. (Full text available)
[img]
Preview

Welch, Peter H. (1991) Securely Managed Pointers. WoTUG Newsletter, 15 . (The full text of this publication is not available from this repository)

Welch, Peter H. (1991) TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Welch, Peter H. and Justo, George R. R. (1991) Synthesis of Deadlock-Free Parallel Programs. In: Proceedings of the 3rd pan-Hellenic Conference on Information Technology. (The full text of this publication is not available from this repository)

Willcock, C.J. and Welch, Peter H. (1991) A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large). In: TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. (The full text of this publication is not available from this repository)

Zheng, Yi and Hague, Jim (1991) Dmt - a Demonstration Tool. Software: Practice and Experience, 21 (9). pp. 949-961. ISSN 0038-0644. (The full text of this publication is not available from this repository)

1990

Brown, Peter J. (1990) Assessing the Quality of Hypertext Documents (keynote address to ECHT''90). In: Rizk, A., ed. Hypertext: Concepts, Systems and Applications. Cambridge University Press, pp. 1-12. (The full text of this publication is not available from this repository)

Hanna, Keith and Daeche, Neil and Longley, Mark (1990) Specification and Verification using Dependent Types. IEEE Transactions Software Engineering, SE-16 (9). pp. 949-964. (The full text of this publication is not available from this repository)

Welch, Peter H. (1990) Multi-Priority Scheduling for Transputer-Based Real-Time Control. In: Real-Time Systems with Transputers, Proceedings of OUG 13. (The full text of this publication is not available from this repository)

Welch, Peter H. (1990) Parallel Algorithms and Safety-Critical Standards. In: Proceedings of the 10th Benelux Meeting on Systems and Control. (The full text of this publication is not available from this repository)

Welch, Peter H. and Roebbers, H. (1990) A Generalized FFT Algorithm on Transputers. In: Transputer Research and Applications 4, Proceedings of NATUG 4. (The full text of this publication is not available from this repository)

Welch, Peter H. and Sarrafan, A.M. (1990) Transputer Models for a High-Performance Local Area Network Bridge. In: Tools and Techniques for Transputer Applications, Proceedings of OUG 12. (The full text of this publication is not available from this repository)

1989

Smith, Abraham B. and Welch, Peter H. (1989) Real-Time Transputer Models of Low-Level Primate Vision. In: Occam and the Transputer, Research and Applications, Proceedings of OUG 11. (The full text of this publication is not available from this repository)

Welch, Peter H. (1989) Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance). Parallel Computing, 9 (2). pp. 257-272. ISSN 0167-8191. (Full text available)
[img]
Preview

Welch, Peter H. (1989) Graceful Termination -- Graceful Resetting. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10. (Full text available)
[img]
Preview

Welch, Peter H. (1989) Making Reuse Happen -- Component Engineering. In: Making Reuse Happen -- Component Engineering. Peter Peregrinus Ltd.. (The full text of this publication is not available from this repository)

Welch, Peter H. (1989) Safety First. Occam User Group Newsletter, 12 . pp. 22-27. (The full text of this publication is not available from this repository)

Welch, Peter H. (1989) TRANSNET -- A Transputer-Based Communication Service. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10. (The full text of this publication is not available from this repository)

1988

Barnes, David J. and Russell, Mark T and Wheadon, Mark C (1988) Developing and adapting UNIX tools for workstations. In: UNSPECIFIED, 1988, Cascais, Portugal. (The full text of this publication is not available from this repository)

Welch, Peter H. (1988) An occam Approach to Transputer Engineering. In: Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications. (The full text of this publication is not available from this repository)

Welch, Peter H. (1988) GOTO (Considered Harmful)<sup></sup>n, n is Odd}. Occam User Group Newsletter, 8 . pp. 22-26. (The full text of this publication is not available from this repository)

1987

Hanna, Keith and Daeche, Neil (1987) An Algebraic Approach to Computational Logic. In: Proc Workshop on Programming Logic. (The full text of this publication is not available from this repository)

Welch, Peter H. (1987) Emulating Digital Logic using Transputer Networks (Very High Level Parallelism = Simplicity = Performance). In: Proceedings of the Parallel Architectures and Languages Europe International Conference. (The full text of this publication is not available from this repository)

Welch, Peter H. (1987) Managing Hard Real-Time Demands on Transputers. In: Proceedings of OUG 7 Conference and International Workshop on Parallel Programming of Transputer Based Machines. (The full text of this publication is not available from this repository)

Welch, Peter H. (1987) Parallel Processes as Reusable Components. In: Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm. (The full text of this publication is not available from this repository)

1986

Barnes, David J. and Brown, Peter J., eds. (1986) Software engineering 86. IEE Computing Series No 6/Cm006 . P. Peregrinus on behalf of the Institution of Electrical Engineers, 433 pp. ISBN 9780863410826. (The full text of this publication is not available from this repository)

Barnes, David J. and Bovey, John D. (1986) Managing command submission in a multiple-window environment. Software Engineering Journal, 1 (5). pp. 177-183. ISSN 0268-6961. (The full text of this publication is not available from this repository)

Brown, Peter J. (1986) Viewing Documents on a Screen. In: Lambert, Steve and Ropiequet, Suzanne, eds. CD ROM: the New Papyrus. Microsoft Press, Redmond, Wa., pp. 175-184. (The full text of this publication is not available from this repository)

Hanna, Keith and Daeche, Neil (1986) Specification and Verification of Digital Systems using Higher-Order Logic. Proc. IEE, Part E . pp. 242-254. (The full text of this publication is not available from this repository)

Welch, Peter H. (1986) A Structured Technique for Concurrent Systems Design in Ada. In: Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh. (The full text of this publication is not available from this repository)

1985

Barnes, David J. and Bovey, John D. and Brown, Peter J. and Siemon, HP (1985) Some UNIX tools to exploit a workstation,". In: Integrated Project Support Environments. Peter Peregrinus Ltd, p. 68. (The full text of this publication is not available from this repository)

Welch, Peter H. (1985) Five Essays on Occam. Occam User Group Newsletter, 2 . (The full text of this publication is not available from this repository)

Welch, Peter H. (1985) Structured Tasking in Ada? Ada Letters, 5 (1). (The full text of this publication is not available from this repository)

Welch, Peter H. (1985) The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report. Technical report. Computing Laboratory, University of Kent (The full text of this publication is not available from this repository)

1984

Brown, Peter J. (1984) Starting with UNIX. Addison-Wesley (The full text of this publication is not available from this repository)

Brown, Peter J. and Welch, Peter H. (1984) Compiler Servers for the Cambridge Ring. The Coordinated Programme of Research in Distributed Computing Systems (1977..1984) -- Final Report (SERC) . (The full text of this publication is not available from this repository)

1983

Welch, Peter H. (1983) Parallel Assignment Revisited. Software Practice and Experience . (The full text of this publication is not available from this repository)

1982

Brown, Peter J. (1982) Pascal from BASIC. Addison-Wesley (The full text of this publication is not available from this repository)

Welch, Peter H. and Schutt, T.E. (1982) Byte Streams on a Micro-Computer. In: Proceedings of `Structure und Betrieb von Rechensystermen'', Ulm, W. Germany. (The full text of this publication is not available from this repository)

1981

Welch, Peter H. and Schutt, T.E. (1981) Applying Micro-Computers in a Local Area Network. In: Proceedings of `Local Networks and Distributed Office Systems'', London. (The full text of this publication is not available from this repository)

1980

Welch, Peter H. (1980) LAMBDA Tutorial Guide. Manual. Computing Laboratory, University of Kent (The full text of this publication is not available from this repository)

1979

Brown, Peter J. (1979) Writing Interactive Compilers and Interpreters. Wiley (The full text of this publication is not available from this repository)

1975

Welch, Peter H. (1975) Continuous Semantics and Inside-Out Reductions. Lecture Notes in Computer Science, 37 . pp. 122-146. (The full text of this publication is not available from this repository)

1974

Brown, Peter J. (1974) Macro Processors and Techniques for Portable Software. Wiley (The full text of this publication is not available from this repository)

Welch, Peter H. (1974) The Minimal Continuous Semantics of the Lambda-Calculus. Doctor of Philosophy (PhD) thesis, University of Warwick. (The full text of this publication is not available from this repository)

This list was generated on Tue Nov 25 13:53:41 2014 GMT.