Research Output 1970 2018

Filter
Book
2016

Social Coordination Frameworks for Social Technical Systems

Aldewereld, H. (ed.), Boissier, O. (ed.), Dignum, V. (ed.), Noriega, P. (ed.) & Padget, J. (ed.) 18 Jul 2016 Springer International Publishing. (Law, Governance and Technology Series; vol. 30)

Research output: Book/ReportBook

coordination
system
2015
Communication
2012

Mobile context awareness

Lovett, T. (ed.) & O'Neill, E. (ed.) 2012 London: Springer. 186 p.

Research output: Book/ReportBook

2011

Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings

Davenport, J. H. (ed.), Farmer, W. (ed.), Rabe, F. (ed.) & Urban, J. (ed.) 2011 Heidelberg: Springer. (Lecture Notes in Computer Science)

Research output: Book/ReportBook

7 Citations

Modelling Natural Action Selection

Seth, A. K. (ed.), Prescott, T. J. (ed.) & Bryson, J. J. (ed.) Nov 2011 Cambridge: Cambridge University Press. 560 p.

Research output: Book/ReportBook

Modeling
2005

Modelling Natural Action Selection: Proceedings of an International Workshop

Seth, A. K. (ed.), Prescott, T. J. (ed.) & Bryson, J. J. (ed.) 2005 Sussex: AISB.

Research output: Book/ReportBook

Modeling
2004
4 Citations

Open ontologies - The need for modeling heterogeneous knowledge

Froehner, T., Nickles, M. & Weiss, G. 2004 Unkown Publisher. (Ike '04: Proceedings of the International Conference on Information and Knowledge Engnineering)

Research output: Book/ReportBook

Ontology
Communication
Semantic Web

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

Pym, D. J. & Ritter, E. 2004 Oxford: Clarendon Press.

Research output: Book/ReportBook

Search theory
Proof search
Proof theory
Logic
2003

Mathematical Knowledge Management: 2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings

Asperti, A. (ed.), Buchberger, B. (ed.) & Davenport, J. H. (ed.) 2003 Berlin: Springer. (Lecture Notes in Computer Science; vol. 2594)

Research output: Book/ReportBook

Knowledge management

People and computers XVII - design for society: proceedings of HCI 2003

O'Neill, E., Palanque, P. & Johnson, P. 2003 Springer. (BCS conference series)

Research output: Book/ReportBook

computer design
congressional reports

People and Computers XVIII: Conference Companion

Gray, P. & Johnson, H. 2003 Cambridge: Cambridge University Press.

Research output: Book/ReportBook

2002

The Semantics and Proof Theory of the Logic of Bunched Implications

Pym, D. J. 2002 Kluwer Academic Publishers. (Applied Logic Series)

Research output: Book/ReportBook

Proof theory
2001

User-developer cooperation in software development: building common ground and usable systems

O'Neill, E. 2001 London, UK: Springer. (Distinguished dissertations)

Research output: Book/ReportBook

Software engineering
1993

Design and Implementation of Symbolic Computation Systems

Fitch, J. P. (ed.) Sep 1993 Heidelberg, Germany: Springer. (Lecture Notes in Computer Science)

Research output: Book/ReportBook

1989

Computer Algebra and Parallelism

Della-Dora, J. (ed.) & Fitch, J. P. (ed.) 1989 Academic Press.

Research output: Book/ReportBook

Computer algebra
Parallelism
1984

Proceedings of EUROSAM 84

Fitch, J. P. (ed.) 1984 Germany: Springer. (Lecture Notes in Computer Science)

Research output: Book/ReportBook

congressional reports
1981

On the Integration of Algebraic Functions

Davenport, J. H. 1981 Berlin, Germany: Springer. (Lecture Notes in Computer Science; vol. 102)

Research output: Book/ReportBook

Algebraic function