### 6 papers:

- IFL-2006-RuffJ #array #synthesis
- Functional-Based Synthesis of a Systolic Array for GCD Computation (LR, TJ), pp. 37–54.
- IJCAR-2006-Mahboubi #algorithm #implementation #performance #proving
- Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials (AM), pp. 438–452.
- ICALP-2005-Wikstrom #integer #on the
- On the l-Ary GCD-Algorithm in Rings of Integers (DW), pp. 1189–1201.
- CIAA-2004-Maletti #theorem #transducer
- Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids (AM), pp. 323–324.
- STOC-1997-ParnafesRW #communication #modelling #problem
- Direct Product Results and the GCD Problem, in Old and New Communication Models (IP, RR, AW), pp. 363–372.
- STOC-1995-Reif #parallel #performance #polynomial
- Work efficient parallel solution of Toeplitz systems and polynomial GCD (JHR), pp. 751–761.