David Stuart Robertson

According to our database1, David Stuart Robertson
  • authored at least 100 papers between 1973 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
F6: Pushing the performance limit in data converters organizers: Venkatesh Srinivasan, Texas Instruments, Dallas, TX.
Proceedings of the 2017 IEEE International Solid-State Circuits Conference, 2017

2016
Data converter reflections: 19 papers from the last ten years that deserve a second look.
Proceedings of the ESSCIRC Conference 2016: 42<sup>nd</sup> European Solid-State Circuits Conference, 2016

2015
LS ^2 C - A Platform for Norm Controlled Social Computers.
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

2014
A review of attacks and security approaches in open multi-agent systems.
Artif. Intell. Rev., 2014

2013
Introduction to the special section on internet-scale human problem solving.
TiiS, 2013

2012
Prediction and Measurement of Multiuser MIMO-OFDM Channel in Rural Australia.
Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

The use of reputation as noise-resistant selection bias in a co-evolutionary multi-agent system.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

2011
Reasoning about Distributed Knowledge-Transforming Peer Interactions.
IEEE Trans. Knowl. Data Eng., 2011

Evolution in ecological agent systems.
IJBIC, 2011

Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Probing Attacks on Multi-Agent Systems Using Electronic Institutions.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Identifying the Need to Intervene: Analysis and Representation of Interaction Patterns in Group Programming Learning.
Proceedings of the Collaboration and Technology - 17th International Conference, 2011

Multi-agent Coordination through Mutualistic Interactions.
Proceedings of the Coordination, 2011

Intrusion Detection in Open Peer-to-Peer Multi-Agent Systems.
Proceedings of the Managing the Dynamics of Networks and Services, 2011

2010
State dependent control of a robotic manipulator used for nuclear decommissioning activities.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Simple Ecological Rules Yield Complex Agent Networks.
Proceedings of the Artificial Intelligence Research and Development, 2010

Opportunistic belief reconciliation during distributed interactions.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Choreographing Web Services.
IEEE Trans. Services Computing, 2009

Sharing Choreographies in OpenKnowledge: A Novel Approach to Interoperability.
JSW, 2009

The benefits of service choreography for data-intensive computing.
Proceedings of the 7th international workshop on Challenges of large applications in distributed environments, 2009

Biomedical Event Detection using Rules, Conditional Random Fields and Parse Tree Distances.
Proceedings of the BioNLP 2009 Workshop Companion Volume for Shared Task, BioNLP@HLT-NAACL 2009, 2009

2008
Using multi-agent platform for pure decentralised business workflows.
Web Intelligence and Agent Systems, 2008

2007
Wavelet Methods for Spike Detection in Mouse Renal Sympathetic Nerve Activity.
IEEE Trans. Biomed. Engineering, 2007

Using computer aided case based reasoning to support clinical reasoning in community occupational therapy.
Computer Methods and Programs in Biomedicine, 2007

The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus.
Proceedings of the Short Paper Proceedings of the 2nd International Symposium on Languages in Biology and Medicine (LBM 2007), 2007


Dynamic Verification of Trust in Distributed Open Systems.
Proceedings of the IJCAI 2007, 2007

Adaptive Agent Model: an Agent Interaction and Computation Model.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Transforming a Company, Project by Project: The IT Engagement Model.
MIS Quarterly Executive, 2006

Grigoris Antoniou, Frank van Harmelen, A Semantic Web Primer, The MIT Press, April 1, 2004, 272 pp., ISBN 0262012103.
Inf. Process. Manage., 2006

Peer-to-Peer Experimentation in Protein Structure Prediction: An Architecture, Experiment and Initial Results.
Proceedings of the Distributed, 2006

Dynamic Model Checking for Multi-agent Systems.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Selecting Web Services Statistically.
Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

Run-time model checking of interaction and deontic models for multi-agent systems.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
Automating Business Modelling - A Guide to Using Logic to Represent Informal Methods and Support Reasoning.
Advanced Information and Knowledge Processing, Springer, ISBN: 978-1-84628-106-8, 2005

The Role of Agent Interaction in Models of Computing: Panelist Reviews.
Electr. Notes Theor. Comput. Sci., 2005

Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform.
Proceedings of the Multiagent System Technologies, Third German Conference, 2005

A Novel Approach for Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-Agent Platform.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems.
Proceedings of the EUMAS 2005, 2005

Protocol Synthesis with Dialogue Structure Theory.
Proceedings of the EUMAS 2005, 2005

Protocol synthesis with dialogue structure theory.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Matchmaking multi-party interactions using historical performance data.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Protocol Synthesis with Dialogue Structure Theory.
Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

Dynamic and Distributed Interaction Protocols.
Proceedings of the Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning, 2005

2004
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming.
Ann. Math. Artif. Intell., 2004

Mapping a Business Process Model to a Semantic Web Service Model.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Multi-agent Coordination as Distributed Logic Programming.
Proceedings of the Logic Programming, 20th International Conference, 2004

A Lightweight Coordination Calculus for Agent Systems.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

Realizing Agent Dialogues with Distributed Protocols.
Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003
Web Site Synthesis Based on Computational Logic.
Knowl. Inf. Syst., 2003

Ontology Extraction for Distributed Environments.
Knowledge Transformation for the Semantic Web, 2003

2002
Pitfalls of formality in early system design.
Sci. Comput. Program., 2002

On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.
Knowl.-Based Syst., 2002

2001
Synthesis of Web Sites from High Level Descriptions.
Proceedings of the Web Engineering, Software Engineering and Web Application Development, 2001

A Lifecycle for Models of Large Multi-agent Systems.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

2000
Argument-based applications to knowledge engineering.
Knowledge Eng. Review, 2000

Formal Support for an Informal Business Modelling Method.
International Journal of Software Engineering and Knowledge Engineering, 2000

Evaluating focus theories for dialogue management.
Int. J. Hum.-Comput. Stud., 2000

A Lightweight Capability Communication Mechanism.
Proceedings of the Intelligent Problem Solving, 2000

1999
Desert Island Column: The Books Don't Work.
Autom. Softw. Eng., 1999

Parallelization of Radiance For Real Time Interactive Lighting Visualization Walkthroughs.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

Using Focus Rules in Requirements Elicitation Dialogues.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Why Ontologies Are Not Enough for Knowledge Sharing.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Use of Formal Ontologies to Support Error Checking in Specifications.
Proceedings of the Knowledge Acquisition, Modeling and Management, 11th European Workshop, 1999

1998
A Visual Syntax for Logic and Logic Programming.
J. Vis. Lang. Comput., 1998

An empirical study of the LSS specification toolkit in use.
Journal of Systems and Software, 1998

Lightweight Formalisation in Support of Requirements Engineering.
Autom. Softw. Eng., 1998

Pragmatics in the Synthesis of Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

A Framework for Requirements Elicitation through Mixed-Initiative Dialogue.
Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

1996
Declarative specifications.
Knowledge Eng. Review, 1996

NatureTime: Temporal Granularity in Simulation of Ecosystems.
J. Symb. Comput., 1996

A Visual Logic Programming Language.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Representing Interaction of Agents at Different Time Granularities.
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Domain Specific Problem Description.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

An Empirical Study of the LSS Specification Toolkit in Use.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Distributed Specification.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995
Performance of a statistically multiplexed access mechanism for a TDMA radio interface.
IEEE Personal Commun., 1995

Capturing and Matching Dynamic Behaviour in Case-Based Reasoning.
Proceedings of the Progress in Case-Based Reasoning, 1995

1994
Applying Prolog programming techniques.
Int. J. Hum.-Comput. Stud., 1994

Expressing Program Requirements Using Refinement Lattices.
Fundam. Inform., 1994

An Environment for Building Prolog Programs Based on Knowledge about their Construction.
WLP, 1994

Development and optimisation of a statistical multiplexing mechanism for ATDMA.
Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, 1994

Use of Case-Based Reasoning in the Domain of Building Regulations.
Proceedings of the Advances in Case-Based Reasoning, Second European Workshop, 1994

Case-Based Support for the Design of Dynamic System Requirements.
Proceedings of the Advances in Case-Based Reasoning, Second European Workshop, 1994

1993
Building Large-Scale Prolog Programs using a Techniques Editing System.
Proceedings of the Logic Programming, 1993

Combining Prolog Programs in a Techniques Editing System (Abstract).
Proceedings of the Logic Program Synthesis and Transformation, 1993

Expressing Program Requirements Using Refinement Lattices.
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

KICS: A Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories.
Proceedings of the Fourth International Conference on Artificial intelligence and Law, 1993

On the Relations between Incidence Calculus and ATMS.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

Recovering Incedence Functions.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992
Automated Reasoning with Uncertainties.
Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

1991
Automated Reasoning About an Uncertain Domain.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

A Simple Prolog Techniques Editor for Novice Users.
Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, 1991

Eco-Logic - Logic-Based Approaches to Ecological Modeling.
Logic programming, MIT Press, ISBN: 978-0-262-18143-3, 1991

1990
Expert systems lab course : P Schnupp, C T Nguyen and L W.
Knowl.-Based Syst., 1990

1989
The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface.
International Journal of Man-Machine Studies, 1989

1973
Graphics and interactive systems: design considerations of a software system.
Proceedings of the American Federation of Information Processing Societies: 1973 National Computer Conference, 1973


  Loading...