Nick Rossiter

advanced

Visiting Research Fellow

Former Reader and Director of PGR (Postgraduate Research) Studies

Computer Science and Digital Technologies

Northumbria University

Postal address: Computer Science and Digital Technologies, Northumbria University, Ellison Place, Newcastle upon Tyne NE1 8ST

Email: nick.rossiter1 at btinternet.com

Former Committees: University Graduate School Committee, University Graduate School Examinations Panel, School (CEIS) Research Committee, School Research Management Group, School Learning and Teaching Committee, School Ethics Committee.

RAE (UK Research Assessment Exercise):

Part of submission of 14 FTE researchers in General Engineering, Northumbria University, December 2008, overall grade 3* (scale to 4*).

Part of submission in Computing Science, Newcastle University, 2001, overall grade 5 (scale to 5*).

Publications: by the end of 2014 237 papers had been published including 3 books/chapters, 35 refereed journal articles and 100 refereed conference proceedings.

Biography: brief details

Last updated: 12th May 2003 (PhD MPhil Supervision); 14th May 2003 (Teaching activities); 23rd June 2003 (forthcoming papers Brazil, Coventry, Liège (2)); 4th September 2003 (papers at Lund, Sydney, presentations at Liège); 9th October 2003 (teaching activities 2003-04); 2nd March 2004 (papers at Porto); 4th May 2004 (paper in AIP); 19th August 2004 (papers to MRC and ETR2A); 17th September 2004 (paper to Dynamics Days, journal article IJCAS); 11th March/15th April 2005 (papers at ICEIS, Florida, May 2005); 21st June 2005 (official duties, papers at ANPA, CIDOC (Zagreb), QIP (Oxford). UNILOG (Montreux), presentations at ICEIS, Florida); 1st August 2005 (paper at BNCOD 22 (Sunderland), 2nd paper at UNILOG); 13th September 2005 (slides at ANPA, Cambridge, August 9-14); 9th March 2006 (paper at EMCSR Vienna April 2006, presentation at CEIS, Northumbria March 2006); 7th April 2006 (pre-proceedings paper, Bordeaux, I-ESA, March 2006); 24th April 2006 presentations at EMCSR Vienna and I-ESA Bordeaux; 18th May 2006 presentation, abstract for Gödel Centenary, Vienna, April 2006; 22nd May 2006 best paper prize at EMCSR Vienna; 23rd May 2006, abstract for Salzburg International Whitehead Conference; 10th July 2006 full papers from ANPA 27 and for CIT journal; 18th September 2006 full paper and presentation from CIDOC in Gothenburg and full paper for CIT journal; 22nd September 2006 paper given at PIRT 2006, Imperial College, London;  22nd February 2007 paper in Perspectives on Universal Logic; 22nd March 2007 paper and presentation to be given to I-ESA at Madeira; 23rd March 2007 Muzeologija citation for paper given at Zagreb meeting of CIDOC; 15th June 2007 paper for AMS, Zacatecas, Mexico; 22nd June 2007 grant from ONE NorthEast; 11th August 2007 preliminary papers and presentations at CASYS, Liège; 19th September 2007 final paper for book Enterprise Interoperability: New Challenges and Approaches from I-ESA 2006, paper at 2nd UNILOG; 20th December 2007 paper for 4th I-ESA at Berlin; 18th January 2008 paper for AIP from Liège; 8th February 2008 paper for EMCSR-2008 in Vienna; 19th February 2008 second paper for EMCSR-2008 in Vienna; 20th March 2008 workshop proposition for I-ESA at Berlin; 31st March 2008 presentations and page numbers at I-ESA and Vienna (2 papers each); 2nd April 2008 background paper for I-ESA workshop; 22nd April 2008 paper for meeting of Whitehead Metaphysical Society in Katowice in May; 22nd May 2008 two papers from ANPA, Cambridge; 15th July 2008 citation to paper at DEXA 2008; 7th August 2008 details for ANPA 2007 papers; 10th August 2008 citation to paper at ICICT2008; 15th September 2008 presentation at ANPA, Cambridge and presentation and paper at WOSC, Wrocław; 12th November 2008, citation to paper at SCS2 08; 18th December 2008, RAE results and paper accepted by IJCAS; 23rd December 2008 citation to paper CASYS’07 in AIP; 24th February 2009 paper and presentation at 7th Whitehead Conference, Bangalore, India; 31st May 2009 citation to forthcoming journal paper in JOT; 15th June 2009 extended abstract at Whitehead meeting, Katowice, May 2009; 10th August 2009 abstracts and presentations at CASYS’09, Liège, August 2009, and Kybernetes citation with final draft copy; 18th March 2011 updated status as Visiting Research Fellow, reported success of 2 PhD candidates, publications: ANPA 1 paper and 1 presentation, Workshop Applied Category Theory 2 abstracts, IJCAS 1 journal paper, British Applied Maths Colloq 1 abstract, Journal Object Technology 1 paper, Journal Systems Software 1 paper, RANLP 1 paper, collaborative work with Tim Reichert, Heilbronn, 6 papers; 3rd October 2011 publications: ANPA-31 1 paper, CASYS'09 1 journal paper, CASYS'11 2 papers and presentations, ANPA-32 1 paper, IVR XXV 1 paper, PCI 2011 1 paper; 12th November 2012 publications: IEEE TVCG 1 journal paper, ANPA-33 1 presentation, 2 pdf added for early technical reports on document databases; 14th December 2012 publications: CASYS'11 final paper on contravariancy; 27th November 2013: presentation and publications from GRAPH OPERADS LOGIC meeting at Tallinn University of Technology June 2013, where NR/MH both invited speakers; presentation at 17th International Conference on the Science and Quality of Life, June 2013, Vilnius; abstract at 9th International Whitehead Conference, September 2013, Krakow; July 2014 Studium Vilnense 1 journal paper; August 2014 presentation at ANPA; December 2014 IJCAS 1 journal paper; August 2015 ANPA-35 paper, ANPA-36 presentation; August 2016 ANPA-36 paper, ANPA-37 presentation, EMCSR-14 paper; January 2017 tribute to Pierre Noyes; August 2017 introduction of new section 'Process including monads', final draft paper for ANPA 37, abstract for ANPA 38, abstract and presentation for 11th International Whitehead Conference.

Research Interests

Overview

PhD MPhil Supervision – Students and Topics

Useful Links

Selected Research Publications

Categorical Formalisms:

Seminars:

The Challenge of Interoperability: the Grid, Semantic Web and Categories

Given 13th November 2002 at Northumbria University

Information Systems and Categories: Sketches and Models for Database Modelling

Given 15th May 2003 at School of Informatics Research Conference, Northumbria University

Some Fundamental Questions in Databases

Given 21st May 2004 at School of Informatics Research Conference, Northumbria University

Categories for Information

Given 1st March 2006 at School of Computing, Engineering and Information Sciences, Northumbria University

Advanced Course:

Information Systems: Modelling Complexity with Categories.

Four lectures given by Nick Rossiter at Universidad de Las Palmas de Gran Canaria, 15th-19th May 2000, under the Socrates-Erasmus Programme.

PowerPoint format (ppt):

1.Interoperability in Information Systems

2. Introduction to Category Theory

3. Object Concepts as Categories

4. Handling Heterogeneity with Information Resource Dictionary System

Process including Monads:

Rossiter, Nick, Music as a Composition of Cartesian Monad over a Topos, ANPA 38, St John's College, Rowlands Castle, Hampshire, UK, 7-11 August (2017). abstract pdf.

Rossiter, Nick, The Monad in Process-Relational Systems, 11th International Whitehead Conference, Ponta Delgada, Azores, Session: Whitehead, Mathematics and Logic (Vesselin Petrov), 25-28 July (2017). abstract pdf, conference abstracts, presentation pdf.

Rossiter, Nick, & Michael Heather, Monadic Design for Universal Systems, ANPA 37, St John's College, Rowlands Castle, Hampshire, UK, 8-12 August (2016). presentation pdf, modified August 2017 pdf, final draft paper July 2017 pdf.

Michael Heather & Nick Rossiter, The System as Emergent Process in Topos Theory, session Emergent Design, chairs Martin Fössleitner & Thomas Fundneider, in: Civilisation at the Crossroads Response and Responsibility of the Systems Sciences, EMCSR-14, Jennifer Wilby, Stefan Blachfellner, Wolfgang Hofkirchner (edd.) 405-408 (2014). pdf html

Heather, Michael, & Rossiter, Nick, The Metaphysics of Whiteheadian Naturalism: reality as an instantiation of the formal categories of process, 9th International Whitehead Conference Society and Process - from Theory to Practice, 9-12 Sept 2013, Krakow (2013), conference handbook. abstract html

Heather, Michael, & Rossiter, Nick, The Process Category of Reality, ANPA 31, Cambridge 224-262 (2011). pdf

Heather, Michael, & Rossiter, Nick, The Process Semantics of Time and Space as Anticipation, CASYS’09 9th International Conference on Computing Anticipatory Systems, Liège, August 2009, Dubois, D M, (ed.), Symposium 10: Grammatical Cosmos II, 21 (2009). pdf ppt

Heather, Michael, & Rossiter, Nick, The Natural Metaphysics of Computing Anticipatory Systems, CASYS’09 9th International Conference on Computing Anticipatory Systems, Liège, August 2009, Dubois, D M, (ed.), Symposium 1: Anticipation, Incursion, 6-7 (2009). pdf ppt

Heather, Michael, & Rossiter, Nick, Process Categories: the Metaphysics, Methodology & Mathematics, Philosophy of Nature and Process Philosophy, Seventh annual meeting of Whitehead Metaphysical Society, Krakow and the University of Silesia, Poland, 8-9 May (2009). pdf

Heather, Michael, & Rossiter, Nick, A New Process Foundation for the Applied Topos, 88th Peripatetic Seminar on Sheaves and Logic, Centre for Mathematical Sciences, University of Cambridge, 3-5 April, extended abstract (2009). pdf

Heather, M.A. & Rossiter, B N, What are Bit Strings? The View from Process, ANPA, Cambridge, August (2008). presentation ppt

Heather, M.A. & Rossiter, B N, Don't Confuse Left and Right Exactness! A Note correcting the Distinction in the Proceedings of ANPA 27, ANPA 29, Exactness, Cambridge, 157-159 (2008).  pdf

Heather, Michael, Rossiter, Nick, & Sisiaridis, Dimitris, The Semantics of Jitter in Anticipating Time Itself within Nano-Technology, CASYS'07, Liège, AIP Conference Proceedings 1051 326-337 (2008). pdf

Heather, Michael, & Rossiter, Nick, The Semantics of Jitter in Anticipating Time Itself within Nano-Databases, Symposium 6, CASYS'07, Eighth International Conference on Computing Anticipatory Systems, Liège, Belgium, 6.21-6.22 (2007). htm ppt

Heather, Michael, & Rossiter, Nick, The Process Logic underlying Enterprise Interoperability, Scientific Workshop on Enterprise Interoperability, I-ESA, Berlin, 25 March (2008). Proposition pdf ppt official record; background paper Rossiter, Nick, & Heather, Michael, Composed Categories and Monadic Adjunctions for Interoperable Structures 11pp. pdf

Rossiter, B N, Heather, M A, & Sisiaridis, D, Process as a World Transaction, Proceedings ANPA 27 Conceptions, 122-157 (2006). pdf [Applying Monads to Distributed Database Transactions]

Rossiter, Nick, & Heather, M, Process in the World as a Transaction, ANPA 27, Cambridge University, 9-14 August (2005). ppt

Rossiter, B Nick, & Heather, M A, Quantum Information Processing within the Quantum Processing of Information: The Theory and Practice Compared, 1st IEE Seminar on Quantum Information Processing, 20 April, St Anne’s College, Oxford University (2005).  rtf

Heather, Michael, & Rossiter, Nick, Process Category Theory, Salzburg International Whitehead Conference, University of Salzburg 3-6 July (2006). Abstract html


Intension/Extension Relationship:

Heather, Michael, & Rossiter, Nick, Tribute to Professor Pierre Noyes (1923-2016). pdf

Rossiter, Nick, & Heather, Michael, Abstract Relations and Allegorical Categories, ANPA 36, Explorations II, Anton L. Vrba (ed.) 103-134 (2016). pdf

Rossiter, Nick, Abstract Relations as Allegorical Categories, ANPA 36, St John's College, Rowlands Castle, Hampshire, UK, 10-14 August (2015). presentation pdf

Sisiaridis, Dimitris, Heather, Michael, & Rossiter,Nick, The Contravariancy of Anticipatory Systems, 8th BCSCMsG International Symposium on Computational Self-Organised Emergence, organised Peter J. Marcer, The British Computer Society Cybernetic Machine specialist Group, IJCAS, Edited D M Dubois 27 181-202 (2014). pdf

Heather, M, & Rossiter, N, The Topos of Category Theory and Reality, Proc XVII International Conference on the Science and Quality of Life, June 29 - July 2 2013, Vilnius, Lithuania, edited Romuald Brazis, Studium Vilnense A 11 204-213 (2014). pdf

Heather, Michael, & Rossiter, Nick, Universal Themes of the World as a Topos, GRAPH OPERADS LOGIC, AGMP X GOL Tallinn University of Technology 25-28 June 2013, AstrAlgo cWeb Vol. 2013 (1031) issue GOL X #1165, Eugen Paal and Zbigniew Oziewicz (edd.), meeting communications (2013). abstract html. Invited speakers at meeting.

Heather, Michael, & Rossiter, Nick, The formal arrow of physics. An introduction to applicable category theory, GRAPH OPERADS LOGIC, AGMP X GOL Tallinn University of Technology 25-28 June 2013, AstrAlgo cWeb Vol. 2013 (1031) issue GOL X #1190, Eugen Paal and Zbigniew Oziewicz (edd.), meeting communications (2013). abstract html. Invited speakers at meeting.

Sisiaridis, Dimitris, Heather, Michael, & Rossiter, Nick, The Contravariancy of Anticipatory Systems, Symposium 10, 8th BCSCMsG International Symposium on Computational Self-organised Emergence, organised Peter J Marcer, British Computer Society Cybernetics Machine specialist Group 10:7-10:8 (2011). This paper received the best paper award in Symposium 10. summary presentation ppt. Full paper published in IJCAS 27 181-202 (2014), ed. D M Dubois (see above).

Rossiter, Nick, Sisiaridis, Dimitris, & Heather, Michael, The Representation of Reality in Computational Form, ANPA 33, Cambridge University 9-12 August (2012). pdf ppt

Sisiaridis, Dimitris, Rossiter, Nick, & Heather, Michael, Categorising Anticipatory Systems, Symposium 2, Applied Mathematics: Dynamical Systems, Logics and Category Theory 2:13-2:14 (2011). pdf ppt Heather, Michael, & Rossiter, Nick, Haecceity the Discrete Individuality of Process Physics, ANPA 32, Cambridge 5-7 August (2011).

Heather, Michael, & Rossiter, Nick, The Physicalism of Category Theory, Invited Paper for the IX International Workshop Applied Category Theory, Graph-Operad-Logic, University of Texas, San Antonio, 13-20 March (2011). pdf

Rossiter, Nick, & Heather, Michael, The Natural Metaphysics of Computing Anticipatory Systems, IJCAS 23 3-20 (2011). pdf

Rossiter, Nick, Heather, Michael, & Sisiaridis, Dimitris, Information Systems and the Physical World, ANPA 31, Cambridge, August 9-13 (2010). presentation pdf

Heather, Michael, & Rossiter, Nick, New Foundations for Applied Mathematics with Category Theory, British Applied Mathematics Colloquium 2010, International Centre for Mathematical Sciences, University of Edinburgh, 6-9 April (2010). pdf

Heather, Michael, & Rossiter, Nick, The Physical Interpretation of Category Theory, Invited Paper for the VIII International Workshop Applied Category Theory, Graph-Operad-Logic, San Blas, Nayarit, Mexico 9-16 January (2010). pdf

Heather, Michael, & Rossiter, Nick, Fragmentary Structure of Global Knowledge: Constructive Processes for Interoperability, Kybernetes 38(7/8) 1405-1414 (2009). pdf

Heather, M.A. & Rossiter, B N, Anticipation as Prediction in the Predication of Data Types, IJCAS (International Journal Computing Anticipatory Systems) 20 333-346 (2009). pdf

Rossiter, Nick, & Heather, Michael, Problems of Interoperability in Information Systems, 14th International Congress of Cybernetics and Systems of WOSC, Wrocław University of Technology, 9-12 September, J Józefczyk, D Orski (edd) 820-828 (2008). ppt  pdf

Heather, M.A. & Rossiter, B N, Adjoint Exactness, ANPA 29, Exactness, Cambridge, 135-156 (2008). pdf

Heather, Michael, & Rossiter, Nick, The Logic of Trans-Faith Prehension, Meeting Whitehead Metaphysical Society, University of Silesia, Katowice, 9-10 May (2008). pdf

Heather, Michael, & Rossiter, Nick, The Logic for Social Systems, EMCSR-2008: European Meeting on Cybernetics and Systems Research, Symposium Sociocybernetic Models: Conceptual and Formal Approaches, University Vienna, 25-28 March II 653-658 (2008). pdf

Sisiaridis, Dimitrios, Rossiter, Nick, & Heather, Michael, A Holistic Security Architecture for Distributed Information Systems - A Categorical Approach, EMCSR-2008: European Meeting on Cybernetics and Systems Research, Symposium Mathematical Methods in Cybernetics and Systems Theory, University Vienna, 25-28 March I 52-57 (2008). pdf ppt

Heather, Michael, Livingstone, David, & Rossiter, Nick, Logical Foundations for the Infrastructure of the Information Market, I-ESA, Berlin, 25-28 March, Enterprise Interoperability III, New Challenges and Industrial Approaches, Mertins, Kai, Ruggaber, Rainer, Popplewell, Keith and Xu, Xiaofei, (edd) 624-637 Springer (2008). pdf ppt

Heather, Michael, & Rossiter, Nick, Anticipation as Prediction in the Predication of Data Types, Symposium 5, CASYS'07, Eighth International Conference on Computing Anticipatory Systems, Liège, Belgium, 5.5-5.6 (2007). htm ppt

Heather, Michael, Livingstone, David, & Rossiter, Nick, Global Logic and Undecidability, Second World Congress and School on Universal Logic, Xi'an 16-22 August  http://www.uni-log.org/second1.html  (2007). rtf

Rossiter, Nick, & Heather, Michael, Applicable Mathematics needs the Category of Categories: the Category of Sets belongs to Pure Mathematics, Session on Applied Category Theory: Graph-Operad-Logic, VII Reunión Conjunta Sociedad Matemática Mexicana, American Mathematical Society VII Joint Meeting, 23-26 May 2007, Zacatecas, Mexico, p.31-32 (2007). htm

Rossiter, Nick, Heather, Michael, & Nelson, David, A Natural Basis for Interoperability, in: Enterprise Interoperability: New Challenges and Approaches Doumeingts, G, Műller, J, Morel, G, & Vallespir, B, (edd) 417-426 (2007).  pdf

Heather, Michael, Livingstone, David, & Rossiter, Nick, Higher Order Logic and Interoperability in Global Enterprise, AREIN, I-ESA, Madeira, 26-30 March 12pp (2007). pdf  ppt

Heather, Michael, & Rossiter, Nick, Universal Logic applied to a Defeasible World, Perspectives on Universal Logic, Jean-Yves Béziau & Alexandre Costa-Leite (edd), Polimetrica, 279-295 (2007). pdf

Heather, Michael, & Rossiter, Nick, The Relativism of Theories of Relativity, Physical Interpretations of Relativity Theory-X, Imperial College, University of London, 8-11 September 5pp (2006).  pdf

Heather, Michael, & Rossiter, Nick, Kurt Gödel heralds the Age of Mathematical Enlightenment: The Demise of Number and the Axiomatic method. Horizons of Truth: Logics, Foundations of Mathematics and the Quest for Understanding the Nature of Knowledge, Gödel Centenary 2006, 27-29 April, University of Vienna (2006). Poster html abstract html

Rossiter, Nick, Heather, Michael, & Nelson, David, A Natural Basis for Interoperability, I-ESA’06, Interoperability for Enterprise Software and Applications Conference, University of Bordeaux, 22-24 March 2006, preproceedings 12pp (CD, W11, 22 March 2006). pdf  ppt

Rossiter, Nick, & Heather, Michael, Free and Open Systems Theory, EMCSR-2006, Cybernetics and Systems, 18th European Meeting on Cybernetics and Systems Research, University of Vienna, 18-21 April 2006, Trappl, R, (ed) 1 27-32 (2006). Paper pdf presentation ppt

This paper received the Best Paper Award in the Symposium on Systems Science.

Heather, Michael, & Rossiter, Nick, Logical Monism: The Global Identity of Applicable Logic, Advanced Studies in Mathematics and Logic 2 39-52 (2005). pdf

Heather, Michael, & Rossiter, Nick, The Categorial Vacuum, ANPA 27, Cambridge University, 9-14 August (2005).

Rossiter, Nick, & Heather, Michael, The Language of Quanta in the Vacuum, Quantum Condensates Meeting, Institute of Physics, 6-7 July 2005, Cambridge University, United Kingdom (2005). rtf

Heather, M A, & Rossiter, B N, The Universe as a freely generated Information System, ANPA 26, 357-388 (2005). pdf

Heather, Michael, & Rossiter, Nick, The Logic of Foundations and the Foundations of Logic, UNILOG 2005, 1st World Congress and School on Universal Logic, Montreux, Switzerland, 26 March – 1 April, p.69 in conference handbook or in printed form (2005).

Heather, Michael, & Rossiter, Nick, Dynamic Arrows In Living Systems, Dynamics Days 2004, XXIV Annual Conference, Palma de Mallorca 13-17 September (2004).  http://www.imedea.uib.es/~ddays/verAbstracts.php?id=103; also at  htm

Rossiter, Nick, & Heather, Michael, Evolvable Databases, MRC Meeting on Self–Organising Systems, Edinburgh University, 24-25 May 2pp (2004). rtf 

Rossiter, B Nick, & Heather, M A, Data Structures in Natural Computing: Databases as Weak or Strong Anticipatory Systems, CASYS'03, Sixth International Conference on Computing Anticipatory Systems, Liège, Belgium, AIP Conference Proceedings 718 392-405 (2004). pdf

Rossiter, B Nick, & Heather, M A, Anticipation in Constructing and Interrogating Natural Information Systems: from Classical through Nano to Quantum Computing, in: Symposium 7: Biological Systems: Genetics, Evolution, Ecology, Cognitive Models, CASYS'03, Sixth International Conference on Computing Anticipatory Systems, Liège, Belgium, August 11-16, 7:1-2 (2003). htm presentation (ppt)

Heather, M A, & Rossiter, B N, Locality, Weak or Strong Anticipation and Quantum Computing I. Non-locality in Quantum Theory, International Journal Computing Anticipatory Systems 13 307-326 (2002).  pdf

Heather, M A, & Rossiter, B N, Locality, Weak or Strong Anticipation and Quantum Computing. II. Constructivism with Category Theory, International Journal Computing Anticipatory Systems 13 327-339 (2002).  pdf

Heather, M A, & Rossiter, B N, Database Searching in Quantum and Natural Computing, InterSymp 2002 - 14th International Conference on Systems Research, Informatics and Cybernetics, Lasker, G E, (ed), (2002). htm (presentation ppt)

Heather, M A, & Rossiter, B N, Semantic Pattern Matching in NetBases, Neurocomputing 2 173-176 (1991).

Information System Reference Models and Interoperability:

Rossiter, Nick, & Heather, Michael, Formal Natural Philosophy: Top-down Design for Information & Communication Technologies with Category Theory, ANPA 35, Explorations, Grenville J Croll, Nicky Graves Gregory (edd.), 155-193 (2015). pdf

Rossiter, Nick, Natural Information Systems, ANPA 35, St John's College, Rowlands Castle, Hampshire, UK, 11-15 August (2014). presentation pdf

Sisiaridis, Dimitris, Heather, Michael, & Rossiter,Nick, The Contravariancy of Anticipatory Systems, 8th BCSCMsG International Symposium on Computational Self-Organised Emergence, organised Peter J. Marcer, The British Computer Society Cybernetic Machine specialist Group, IJCAS, Edited D M Dubois 27 181-202 (2014). pdf

Rossiter, Nick, Heather, Michael, & Sisiardis, Dimitris, Typing of information systems: architecture and dynamics, GRAPH OPERADS LOGIC, AGMP X GOL Tallinn University of Technology 25-28 June 2013, AstrAlgo cWeb Vol. 2013 (1031) issue GOL X #1185, Eugen Paal and Zbigniew Oziewicz (edd.), meeting communications (2013). abstract html presentation ppt pdf. Invited speakers at meeting.

Sisiaridis, Dimitrios, & Rossiter, Nick, Applying categorical logic on a holistic security architecture across distributed systems, PCI 2011 15th Panhellenic Conference on Informatics with international participation 30 September - 2 October, Kastoria, Greece (2011). pdf

Sisiaridis, Dimitris, Heather, Michael, & Rossiter, Nick, The Contravariancy of Anticipatory Systems, Symposium 10, 8th BCSCMsG International Symposium on Computational Self-organised Emergence, organised Peter J Marcer, British Computer Society Cybernetics Machine specialist Group 10:7-10:8 (2011). This paper received the best paper award in Symposium 10. pdf ppt

Rossiter, Nick, Heather, Michael, & Sisiaridis, Dimitris, Information Systems and the Physical World, ANPA 31, Cambridge, August 9-13 (2010). presentation pdf

Rossiter, Nick, & Heather, Michael, Problems of Interoperability in Information Systems, 14th International Congress of Cybernetics and Systems of WOSC, Wrocław University of Technology, 9-12 September, J Józefczyk, D Orski (edd) 820-828 (2008). ppt  pdf

Heather, Michael, Livingstone, David, & Rossiter, Nick, Logical Foundations for the Infrastructure of the Information Market, I-ESA, Berlin, 25-28 March, Enterprise Interoperability III, New Challenges and Industrial Approaches, Mertins, Kai, Ruggaber, Rainer, Popplewell, Keith and Xu, Xiaofei, (edd) 624-637 Springer (2008). pdf ppt

Rossiter, Nick, Heather, Michael, & Nelson, David, A Natural Basis for Interoperability, in: Enterprise Interoperability: New Challenges and Approaches, Doumeingts, G, Műller, J, Morel, G, & Vallespir, B, (edd) 417-426 (2007).  pdf

Heather, Michael, Livingstone, David, & Rossiter, Nick, Higher Order Logic and Interoperability in Global Enterprise, AREIN, I-ESA, Madeira, 26-30 March 12pp (2007). pdf  ppt

Rossiter, Nick, Heather, Michael, & Nelson, David, A Natural Basis for Interoperability, I-ESA’06, Interoperability for Enterprise Software and Applications Conference, University of Bordeaux, 22-24 March 2006, preproceedings 12pp (CD, W11, 22 March 2006). pdf  ppt

Rossiter, Nick, & Heather, Michael, Conditions for Interoperability, 7th International Conference on Enterprise Information Systems (ICEIS), Florida, USA, 25-28 May 2005, 92-99 (2005). pdf presentation

Rossiter, B Nick, & Heather, M A, Data Structures in Natural Computing: Databases as Weak or Strong Anticipatory Systems, CASYS'03, Sixth International Conference on Computing Anticipatory Systems, Liège, Belgium, AIP Conference Proceedings 718 392-405 (2004). pdf

Rossiter, N, & Heather, M, Four-level Architecture for Closure in Interoperability, EFIS2003, 5th International Workshop on Engineering Federated Information Systems, Coventry, UK, 17-18 July 83-88 (2003). pdf presentation

Rossiter, N, Nelson, D A, & Heather, M A, Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering, 5th International Conference on Enterprise Information Systems (ICEIS), Angers, France 23-26 April 366-373 (2003). pdf

Rossiter, N, From Classical to Quantum Databases with Applied Pullbacks, 78th Meeting Peripatetic Seminar on Sheaves and Logic, Institut de Recherche Mathématique Avancée, Strasbourg University 15-16 February (2003). ppt pdf

Heather, M A, & Rossiter, B N, The Anticipatory and Systemic Adjointness of E-Science Computation on the Grid, Computing Anticipatory Systems, Proceedings CASYS`01, Liège, Dubois, D M, (ed.), AIP Conference Proceedings 627 565-574 (2002).  pdf

Also available as: Rossiter, B N, & Heather, M A, Anticipatory Adjointness of E-Science Computation on the Grid, CS-TR-771, The University of Newcastle upon Tyne, Department of Computing Science (2002) (17pp). pdf

Rossiter, B N, Nelson, D A, & Heather, M A, A Universal Technique for Relating Heterogeneous Data Models, 3rd International Conference on Enterprise Information Systems (ICEIS), Setúbal, I 96-103 (2001). htm  (presentation ppt)

Rossiter, B N, & Heather, M A, Handling Inconsistency with the Universal Reference Model, MS'2000 International Conference on Modelling and Simulation, Las Palmas de Gran Canaria, September 2000, edd. Berriel, R. Hermandez, V, Montenegro, R, Rocha, J, 611-618 (2000). ps

Also published as: Rossiter, B N, & Heather, M A, Handling Inconsistency with the Universal Reference Model, Advances in Modelling and Analysis, Best of MS’2000 Las Palmas AMSE 109-118 (2002).

Fuller version published as: Rossiter, B N, & Heather, M A, A Categorical Formalism for Interoperability based on the Information Resource Dictionary Standard (IRDS), Computing Science Technical Report no.717, University of Newcastle upon Tyne (2000), (22pp). ps

Rossiter, B N, & Heather, M A, Use of Categorical Pullbacks for Integrating Heterogeneous Systems, 15th International Congress of Cybernetics, Namur, August 1998 342-347 (1998). ps  pdf htm

Heather, M A, & Rossiter, B N, Constructing Standards for Cross-Platform Operation, Software Quality Journal, 7(2) 131-140 (1998).

Also see technical report: Rossiter, B N, & Heather, M A, Standards for Assured Legacy Systems, Computing Science Technical Report no.555, University of Newcastle upon Tyne (1996), (13pp). ps

Object-relational Databases:

Sisiaridis, Dimitris, Rossiter, Nick, & Heather, Michael, Categorising Anticipatory Systems, Symposium 2, Applied Mathematics: Dynamical Systems, Logics and Category Theory 2:13-2:14 (2011). pdf ppt

Maatuk, Abdelsalam, Ali, M Akhtar, & Rossiter, Nick, Converting Relational Databases into Object-relational Databases, Journal of Object Technology (JOT) 9(2) March-April 145-161 (2010). pdf

Maatuk, Abdelsalam, Ali, M Akhtar, Rossiter, Nick, Semantic Enrichment: The First Phase of Relational Database Migration, International Conference on Systems, Computing Sciences and Software Engineering, SCS2 08, 6pp (2008).

Maatuk, Abdelsalam, Ali, Akhtar, & Rossiter, Nick, An Integrated Approach to Relational Database Migration, Proc Int Conf  Information and Communication Technologies-2008 (IC-ICT '08)  Pakistan, NWFP Bannu (ed.) 1-6 (2008).

Maatuk, Abdelsalam, Ali, Akhtar, & Rossiter, Nick, Relational Database Migration: A Perspective, DEXA 2008, S S Bhowmick, J Kűng & R Wagner (edd), Lecture Notes in Computer Science 5181, Springer 676-683 (2008).

Nelson, D A, Rossiter, N, Stirk, S, & Warrender, R, A Comparison of the Product Model and the Third Manifesto, 8th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2004), July 18-21, Orlando, USA, 301-305 (2004).

Nelson, D A, & Rossiter, B N, Prototyping a Categorical Database in P/FDM. Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS'95), Moscow, 27-30 June 1995, Springer-Verlag Workshops in Computing, edd. J. Eder and L.A. Kalinichenko, ISBN 3-540-76014-8, 432-456 (1996). ps

Also see technical report: Rossiter, B N, Nelson, D A, & Heather, M A, The Categorical Product Data Model as a Formalism for Object-Relational Databases, Computing Science Technical Report no.505, University of Newcastle upon Tyne (1994) (42pp). ps

Security in Databases:

Sisiaridis, Dimitrios, & Rossiter, Nick, Applying categorical logic on a holistic security architecture across distributed systems, PCI 2011 15th Panhellenic Conference on Informatics with international participation 30 September - 2 October, Kastoria, Greece (2011). pdf

Sisiaridis, Dimitrios, Rossiter, Nick, & Heather, Michael, A Holistic Security Architecture for Distributed Information Systems - A Categorical Approach, EMCSR-2008: European Meeting on Cybernetics and Systems Research, Symposium Mathematical Methods in Cybernetics and Systems Theory, University Vienna, 25-28 March I 52-57 (2008). pdf ppt

Rossiter, Nick, & Heather, Michael, Technical and Legal Standards in Global Systems, ETR2A (European Telecommunications Resilience and Recovery Association), Northumbria University, June (2004) abstract (rtf)  presentation (ppt)

Aljareh, Salem, Rossiter, Nick, & Heather, Michael, A Formal Security Model for Collaboration in Multi-agency Networks, Workshop on Security in Information Systems (WOSIS), 6th International Conference on Enterprise Information Systems, Porto, April 13-14, 157-169 (2004). rtf (presentation ppt)

Aljareh, S, Dobson, J, & Rossiter, N, Satisfaction of Health Record Security Principles through Collaborative Protocols, NI'2003, 8th International Congress in Nursing Informatics, Rio de Janeiro, Brazil, 5pp, 20-25 June (2003). pdf

Aljareh, S, & Rossiter, N, A Task-based Security Model to facilitate Collaboration in Trusted Multi-agency Networks, ACM Symposium on Applied Computing (SAC) 2002, Madrid, 744-749 March (2002). htm

See also: Aljareh, S., & Rossiter, N, Modelling Security in Multi-agency Environment. Technical report CS-TR-764, The University of Newcastle upon Tyne, Department of Computing Science (2002). pdf

Aljareh, S, & Rossiter, N, Towards Security in Multi-agency Clinical Information Services, Health Informatics Journal 8(2) 96-104 (2002). htm

Aljareh, S, & Rossiter, N, Towards Security in Multi-agency Clinical Information Services, Workshop on Dependability in Healthcare Informatics, Edinburgh University, March 2001 33-41 (2001).

See also: Aljareh, S, & Rossiter, N, Towards Security in Multi-agency Clinical Information Services, Computing Science Technical Report no.729, University of Newcastle upon Tyne (2001), (18pp). pdf

Heather, M A, & Rossiter, B N, The Universal Reference Model in Support of Enabling Technologies for Client/Servers, in: 2nd International Seminar on Client-Server Computing, IBM La Hulpe, 18-20 May (1997).

Modelling:

Heather, Michael, & Rossiter, B. Nick, Information Systems and the Theory of Categories. Is Every Model an Anticipatory System? International Journal Computing Anticipatory Systems (IJCAS) 16 219-231 (2004). pdf

Heather, Michael, & Rossiter, B Nick, Information Systems and the Theory of Categories. Is Every Model an Anticipatory System? in: Symposium 10: The Universe, the Nothing that is!,  4th British Computer Society - Cybernetic Machine Specialist Group International Symposium, International Symposium, CASYS'03, Sixth International Conference on Computing Anticipatory Systems, Liège, Belgium, August 11-16, 10:10-11 (2003). htm presentation (ppt)

Heather, M A, & Rossiter, B N, Universals and not Models, 15th International Congress of Cybernetics, Namur, August 1998 360-362 (1998). htm

Problem Solving:

Michael Heather and Nick Rossiter, the Higher Logic of Metaheuristics, HM 2016, 10th International Workshop on Hybrid Metaheuristics, 8-10 June 2016, Plymouth, UK (2016).

Multimedia:

Vickers, Paul, Faith, Joe, & Rossiter, Nick, Understanding Visualization: A Formal Approach using Category Theory and Semiotics, IEEE Transactions On Visualization And Computer Graphics 158. IEEE Transactions On Visualization And Computer Graphics, 2012 Jun;19(6):1048-61. doi: 10.1109/TVCG.2012.294 (2013). pdf

Rossiter, B N, & Heather, M A, Generic Image Structures in Integrated Media, InterSymp 2002 - 14th International Conference on Systems Research, Informatics and Cybernetics, Lasker, G E, (ed), (2002). pdf (presentation ppt)

Also see technical report: Rossiter, B N, & Heather, M A, Image-Object Retrieval in mixed Information Systems: Theory behind the Practice. Computing Science Technical Report no.680, University of Newcastle upon Tyne (2000), (17pp). pdf

Heather, M A, & Rossiter, B N, Object Awareness in Multimedia Documents, in: Preliminary Proceedings Third International Workshop on Principles of Document Processing (PODP'96), ed. Nicholas, C, & Wood, D, Palo Alto, September 1996, 65-93 (1996). Appeared in final form in: Third International Workshop on Principles of Document Processing (PODP'96), ed. Nicholas, C, & Wood, D, Lecture Notes in Computer Science 1293 Springer-Verlag 59-86 (1997)). ps

Also see technical report: Heather, M A, & Rossiter, B N, A Unifying Theory for Content Self-awareness in Distributed Multimedia Publishing, Computing Science Technical Report no.574, University of Newcastle upon Tyne (1997), (34pp). ps

Legal Language and Logic:

Heather, M, & Rossiter, N, Law as Exact Science, XXV World Congress Internationalen Vereinigung für Rechts- und Sozialphilosophie (IVR), Goethe University Frankfurt am Main, Germany 15-20 August (2011). htm

Heather, M, & Rossiter, B N, Defeasible Reasoning in Topos Logic, in: Working Group 1 on Indeterminancy, Defeasibility and Balancing, 21st IVR 2003, Lund, Sweden, 12-18 August (2003). htm

Heather, M, & Rossiter, B N, Formal Post-Modern Legal Structures for a Post-Modern Political World, in: Working Group 10 on Positivism, Law and Morals, 21st IVR 2003, Lund, Sweden, 12-18 August (2003). htm

Heather, M, & Rossiter, N, Language Lessons from Law in "Reading and Writhing ... and the different branches of arithmetic". Sixth International Conference on Language and Law, International Association of Forensic Linguists, July 2003, Sancta Sophia College, University of Sydney, Australia, Abstracts, p.7-8 (2003). htm

Heather, M A, & Rossiter, B N, Law, Logic and Language in Legal Computer Science, Law, Philosophy and Computer Science, 1-2 345-365 (1998).

Heather, M A, & Rossiter, B N, Law, Language and Geometric Logic, 17th IVR Conference, Bologna 1995 (25pp). ps

Also see technical report: Heather, M A, & Rossiter, B N, Formal Representation of the Logic Embedded in Legal Language, Computing Science Technical Report no.554, University of Newcastle upon Tyne (1996), (26pp). ps

Social Systems:

Heather, Michael, & Rossiter, Nick, The lag of science behind society, and on a simple introduction to applied category theory, 17th International Conference on the Science and Quality of Life, 29 June-2 July 2013, Vilnius (2013). presentation ppt

Heather, Michael, & Rossiter, Nick, Adjoint Typing: Is it Whitehead’s Category of the Ultimate? 7th International Whitehead Conference January 5-9, Bangalore, Karnataka, India pp.72-74 (2009). mht ppt

Heather, Michael, & Rossiter, Nick, The Logic for Social Systems, EMCSR-2008: European Meeting on Cybernetics and Systems Research, Symposium Sociocybernetic Models: Conceptual and Formal Approaches, University Vienna, 25-28 March II 653-658 (2008). pdf

Environmental Systems:

Rossiter, B N, & Heather, M A, Universal Information Models for Environmental Management, Envirosoft 96, Como, Italy, September 1996 (1996). ps

This is a revised version of: Rossiter, B N, & Heather, M A, Categorical Models for the Environment, Envirosoft 94, San Francisco, November 1994 (1994).

Conceptual Modelling:

Elbendak, Mosa, Vickers, Paul, & Rossiter, Nick, Parsed Use Case Descriptions as a Basis for Object-Oriented Class Model Generation, J of Systems and Software, 84 1209-1223 (2011). pdf

Elbendak, Mosa E, Framework for using a Natural Language Approach to Object Identification, Student Research Workshop, RANLP (Recent Advances in Natural Language Processing) 2009, Borovets, Bulgaria 23–28 (2009). pdf

Al-Humaidan, Fahad, & Rossiter, Nick, Business Process Modelling with OBPM: Combining Soft and Hard Approaches, 1st Workshop on Computer Supported Activity Coordination (CSAC) 6pp (2004). rtf

Al-Humaidan, F, & Rossiter, B N, Evaluation of Systems Analysis Methodologies in a Workflow Context, InterSymp 2002 - 14th International Conference on Systems Research, Advances in Computer Cybernetics XI, Lasker, G E, (ed), 8-13 (2002). htm (presentation ppt)

Also see technical report: Al-Humaidan, F, & Rossiter, B N, A Taxonomy and Evaluation for Systems Analysis Methodologies in a Workflow Context: Structured Systems Analysis Design Method (SSADM), Unified Modelling Language (UML), Unified Process, Soft Systems Methodology (SSM) and Organisation Process Modelling (OPM), Computing Science Technical Report no.751, University of Newcastle upon Tyne, 32pp (2001). pdf

Databases in Engineering:

Florida-James, B, Rossiter, B N, & Chao, K M, An Agent System for Collaborative Version Control in Engineering, International Journal of Manufacturing Technology Management: Integrated Manufacturing Systems, ISSN 0957-6061, 11(4) 258-266 (2000). pdf

Florida-James, B, Hills, W, Rossiter, B N, Norman, P, & Chao, K-M, An Agent Mechanism for Version Support in Engineering Design, ASME Design Engineering Technical Conference (DETC'98), Atlanta, USA, September 1998 (1998).

Hills, B, Florida-James, B, & Rossiter, B N, Semantic Equivalence in Engineering Design Databases, Proc 4th VLDB/KRDB Workshop, Athens, August 7-1 -- 7-5 (1997). ps

Collaborative Work with Tim Reichert, Heilbronn University, Germany:

Reichert, Tim, Klaus, Edmund, Schoch, Wolfgang, Meroth, Ansgar & Herzberg, Dominikus, A Language for Advanced Protocol Analysis in Automotive Networks, Proceedings of the 30th International Conference on Software Engineering, ICSE'08, ACM, New York 593-602 (2008).

Reichert, Tim, and Herzberg, Dominikus, A Domain Specific Language for Uncovering Abstract Protocols and Testing Message Scenarios, Proceedings of Software Engineering 2008 (Workshops) 427-430 (2008).

Reichert, Tim, and Herzberg, Dominikus, Teaching Language-Driven Software Engineering, International Conference of Education, Research and Innovation (ICERI), Madrid, Spain, November (2009).

Herzberg, Dominikus, & Reichert, Tim, Concatenative Programming - An Overlooked Paradigm in Functional Programming, ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Sofia, Bulgaria, July 26-29, 2009, INSTICC Press 1 257-263 (2009).

Herzberg, Dominikus, & Reichert, Tim, Software Engineering for Telecommunication Systems, Benjamin W. Wah et al. (edd.): Encyclopedia of Computer Science and Engineering, Wiley (2009).

Herzberg, Dominikus, Reichert, Tim, & Rossiter, Nick, Towards Modelling Language Interoperability – Getting Meta-Level Architectures Right, Forschungsbericht der Hochschule Heilbronn 2008/2009 (2009).

The six papers on language-based software engineering are collected together in this pdf.

Databases for Document, Semi-structured and Unstructured Information:

El Bekai, Ali S, Rossiter, Nick, & Vassilev, Vassil T, Okvir Rada Virtualnih Izložbi: Primjena XML Procesiranja Podataka za Objavljivanje Muzejskog Sadržaja na Webu [Virtual Exhibitions Framework: Utilisation of XML Data Processing for Sharing Museum Content over the Web], Muzeologija 41/42 2004/2005, Zagreb, Croatia, 98-112 (2007).

Amornsinlaphachai, Pensri, Rossiter, Nick, & Ali, M Akhtar, Storing Linked XML Documents in Object-Relational DBMS, Update Language into SQL, Journal of Computing and Technology – CIT 14(3) 225-241 (2006). pdf

El Bekai, Ali, & Rossiter, Nick, A Prototype Implementation of a Framework for Organising Virtual Exhibitions over the Web, CIDOC06, Wider perspective - Broader base, Museum of World Culture, Gothenburg, Sweden, 10-14 September 2006. CD-ROM 17pp (2006). pdf presentation

Amornsinlaphachai, Pensri, Rossiter, Nick, & Ali, M Akhtar, Translating XML Update Language into SQL, Journal of Computing and Technology – CIT 14(2) 91-110 (2006). pdf

Amornsinlaphachai, Pensri, Ali, M Akhtar, & Rossiter, Nick, Updating XML using Object-Relational Database, BNCOD 22, Sunderland University, 5-7 July, Lecture Notes in Computer Science 3567 155-160  (2005). pdf

El Bekai, Ali, & Rossiter, Nick, XML Schema-Driven Generation of Architecture Components, Web Services: Modelling, Architecture and Infrastructure - WSMAI 2005, 7th ICEIS, Florida, USA, 159-164 (2005); republished as p.137-142 in selected papers from Workshop. pdf

El Bekai, Ali, & Rossiter, Nick, XML Schema Driven Generation of Architecture Components and Integration of on-line and off-line Systems, Technical Report, School of Informatics, Northumbria University 12pp (2005).  rtf

El Bekai, Ali, & Rossiter, Nick, A Tree Based Algebra Framework for XML Data Systems, 7th ICEIS, Florida, USA, 25-28 May, 305-312 (2005). rtf presentation

El Bekai, Ali, & Rossiter, Nick, XML Data Systems: A Tree Based Algebra Framework with Worked Examples, Technical Report, School of Informatics, Northumbria University 11pp (2005).   rtf

El Bekai, Ali S, Rossiter, Nick, & Vassilev, Vassil T, Virtual Exhibitions Framework: Utilisation of XML Data Processing for Sharing Museum Content over the Web, Proc CIDOC Annual Conference 2005, Zagreb, Croatia, 24-27 May, CD-ROM, paper 7, 16pp (2005). pdf programme

Rossiter, B N, & Heather, M A, Hypertext -- where EP meets IR, in: Proceedings 13th BCS Information Retrieval Colloquium, McEnery, A M, (ed.), 147-154 (1991).

Rossiter, B N, & Heather, M A, Strengths and Weaknesses of Database Models for Textual Documents, in: EP90, Furuta, R, (ed.) Cambridge Series on Electronic Publishing 125-138 (1990). zip

Rossiter, B N, & Heather, M A, Database Models for Textual Documents: User Needs and System Capabilities, in: DEXA'90, Tjoa, A M, & Wagner, R, (edd.), Vienna 1990, 479-486 (1990).

Sillitoe, T J, Rossiter, B N, & Heather, M A, Trail Management in Hypertext: Database Support for Navigation through Textual Complex Objects, in:, BNCOD-8 Proc., Brown, A, & Hitchcock, P, (edd.), 224-242 (1990).

Heather, M A, & Rossiter, B N, Syntactical relations in parallel text, Proceedings 15th International Conference of Association for Literary & Linguistic Computing, Choueka, Y, (ed), Jerusalem 1988, 197-214 (1990).

Rossiter, B N, Sillitoe, T J, & Heather, M A, Database Support for Very Large Hypertexts: Data Organization, Navigation and Trails, Electronic Publishing - ODD, 3(3) 141-154 (1990).

Heather, M A, & Rossiter, B N, Theoretical Structures for Object-based Text, in: Workshop on Object-Oriented Document Manipulation (Rennes, May 1989), Andre, J, & Bezivin, J, (edd), BIGRE no. 63-64 178-192 (1989).

Heather, M A, & Rossiter, B N, A Generalized Database Management Approach to Textual Analysis, in: Proc. 2nd Int. Colloq Bible and Computer: Methods, Tools, Results, Poswick, R-F, (ed), Champion-Slatkine, Paris-Geneva 519-535 (1989).

Heather, M A, & Rossiter, B N, Semantic Database Modelling of Documents with Symbolic Addressing, Proceedings Hypertext-II, University of York (June 1989).

Rossiter, B.N. & Heather, M.A. Toward the Object-Oriented Textbase. Computing Laboratory, University of Newcastle upon Tyne, Computing Laboratory Technical Report Series 297 (1989). pdf

Heather, M A, & Rossiter, B N, Specialist dictionaries in electronic form, Literary & Linguistic Computing 3(2) 109-121 (1988).

Rossiter, B N, & Heather, M A, Data models and legal text, CC AI 5(1) 39-55 (1988).

Rossiter, B N, Generalized DBMS as a tool for research, University Computing 10(2) 71-79 (1988).

Heather, M A, & Rossiter, B N, The text environment and database management systems, in: Empirical Foundations of Information and Software Science III, Rasmussen, J, & Zunde, P, (edd), Plenum, New York 45-62 (1987).

Heather, M A, & Rossiter, B N, Database techniques for text modelling: the document architecture of British statutes, Computing Laboratory, University of Newcastle upon Tyne, Computing Laboratory Technical Report Series 227 (1987). pdf

Rossiter, B N, Full text data base management systems: a model and implementation for law, in: Automated Analysis of Legal Texts, Martino, A A, & Socci Natali, F, (edd) North-Holland, Amsterdam 899-916 (1986).

Recent Research Grants

Collaborative Innovation Partnerships (CIP)

April 2007: Methodologies and generic services for developing next generation application software for interoperability, with Daista Software Ltd of Gateshead, nine-months funding starting in September /October 2007, awarded by ONE NorthEast, total value £30,000.