Travelled to:1 × Canada
1 × France
Collaborated with:A.S.K.Cheng J.Staples W.Johnston K.Winter L.v.d.Berg P.A.Strooper
Talks about:model (2) variabl (1) transit (1) program (1) symbol (1) prolog (1) higher (1) effici (1) order (1) level (1)
Person: Peter J. Robinson
DBLP: Robinson:Peter_J=
Contributed to:
2006
1991Wrote 2 papers:
- FM-2006-JohnstonWBSR #model checking #modelling #order #performance
- Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking (WJ, KW, LvdB, PAS, PJR), pp. 524–540.
- ICLP-1991-ChengRS #metaprogramming #prolog
- Higher Level Meta Programming in Qu-Prolog 3: 0 (ASKC, PJR, JS), pp. 285–298.