dblp.uni-trier.dewww.uni-trier.de

Matthew M. Huntbach

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
19 Matthew M. Huntbach: The Core Language of Aldwych. CPA 2007: 51-66
2003
18 Matthew M. Huntbach: Features of the Concurrent Programming Language Aldwych. SAC 2003: 1048-1054
2000
17EEMatthew M. Huntbach: The Concurrent Language Aldwych CoRR cs.PL/0009029: (2000)
1999
16 Matthew M. Huntbach, Graem A. Ringwood: Agent-Oriented Programming, From Prolog to Guarded Definite Clauses. Springer 1999
1995
15 Matthew M. Huntbach, Nick R. Jennings, Graem A. Ringwood: How Agents Do It in Stream Logic Programming. ICMAS 1995: 177-184
14EEMatthew M. Huntbach: The concurrent object-oriented language braid. SAC 1995: 140-146
13EEMatthew M. Huntbach: Search in concurrent logic languages. SAC 1995: 164-170
12EEMatthew M. Huntbach, Graem A. Ringwood: Programming In Concurrent Logic Languages. IEEE Software 12(6): 71-81 (1995)
11 Matthew M. Huntbach: An Introduction to RGDC as a Concurrent Object-Oriented Language. JOOP 8(5): 29-37 (1995)
1991
10 Matthew M. Huntbach: Speculative Computation and Priorities in Concurrent Logic Languages. ALPUK 1991: 23-35
9 Matthew M. Huntbach: Automated Translation of Occam to a Concurrent Logic Language. LOPSTR 1991: 254-275
1989
8 Matthew M. Huntbach: Meta-interpreters and Partial Evaluation in Parlog. Formal Asp. Comput. 1(2): 193-211 (1989)
7EEMatthew M. Huntbach: Implementing a graph-colouring algorithm in Parlog. SIGPLAN Notices 24(9): 80-85 (1989)
1988
6EEMatthew M. Huntbach, F. Warren Burton: Alpha-beta search on virtual tree machines. Inf. Sci. 44(1): 3-17 (1988)
1987
5 Matthew M. Huntbach: Algorithmic PARLOG Debugging. SLP 1987: 288-297
1986
4 Matthew M. Huntbach: Program Synthesis by Inductive Inference. ECAI 1986: 335-344
3 Matthew M. Huntbach: An Improvised Version of Shapiro's Model Inference System. ICLP 1986: 180-187
1985
2 F. Warren Burton, Matthew M. Huntbach, John G. Kollias: Multiple Generation Text Files Using Overlapping Tree Structures. Comput. J. 28(4): 414-416 (1985)
1984
1 F. Warren Burton, Matthew M. Huntbach: Virtual Tree Machines. IEEE Trans. Computers 33(3): 278-280 (1984)

Coauthor Index

1F. Warren Burton [1] [2] [6]
2Nicholas R. Jennings (Nick R. Jennings) [15]
3John G. Kollias [2]
4Graem A. Ringwood [12] [15] [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)