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

Matthew M. Huntbach Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: A Model for Concurrency Using Single-Writer Single-Assignment Variables. CPA 2011: 255-272
2007
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: The Core Language of Aldwych. CPA 2007: 51-66
2003
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Features of the Concurrent Programming Language Aldwych. SAC 2003: 1048-1054
2000
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: The Concurrent Language Aldwych CoRR cs.PL/0009029: (2000)
1999
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach, Graem A. Ringwood: Agent-Oriented Programming, From Prolog to Guarded Definite Clauses. Springer 1999
1995
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach, Nick R. Jennings, Graem A. Ringwood: How Agents Do It in Stream Logic Programming. ICMAS 1995: 177-184
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: The concurrent object-oriented language braid. SAC 1995: 140-146
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Search in concurrent logic languages. SAC 1995: 164-170
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach, Graem A. Ringwood: Programming In Concurrent Logic Languages. IEEE Software 12(6): 71-81 (1995)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: An Introduction to RGDC as a Concurrent Object-Oriented Language. JOOP 8(5): 29-37 (1995)
1991
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Speculative Computation and Priorities in Concurrent Logic Languages. ALPUK 1991: 23-35
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Automated Translation of Occam to a Concurrent Logic Language. LOPSTR 1991: 254-275
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Parallel branch-and-bound search in Parlog. International Journal of Parallel Programming 20(4): 299-314 (1991)
1989
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Meta-interpreters and Partial Evaluation in Parlog. Formal Asp. Comput. 1(2): 193-211 (1989)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Implementing a graph-colouring algorithm in Parlog. SIGPLAN Notices 24(9): 80-85 (1989)
1988
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach, F. Warren Burton: Alpha-beta search on virtual tree machines. Inf. Sci. 44(1): 3-17 (1988)
1987
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Algorithmic PARLOG Debugging. SLP 1987: 288-297
1986
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: Program Synthesis by Inductive Inference. ECAI 1986: 335-344
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew M. Huntbach: An Improvised Version of Shapiro's Model Inference System. ICLP 1986: 180-187
1985
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. Warren Burton, Matthew M. Huntbach, John G. Kollias: Multiple Generation Text Files Using Overlapping Tree Structures. Comput. J. 28(4): 414-416 (1985)
1984
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. 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) [16]
3John G. Kollias [2]
4Graem A. Ringwood [13] [16] [17]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page