ParFORM: Parallel Version of the Symbolic Manipulation Program FORM - M. Tentyukov; D. Fliegner; M. Frank; A. Onischenko; A. Retey; H. M. Staudenmaier; J. A. M. Vermaseren (CoRR, 2004)

ParFORM: recent development - M. Tentyukov; J. A. M. Vermaseren; H. M. Staudenmaier (CoRR, 2005)

Extension of the functionality of the symbolic program FORM by external software. - M. Tentyukov; J. A. M. Vermaseren (Comput. Phys. Commun., 2007)

Parallel versions of the symbolic manipulation system FORM - M. Tentyukov; J. A. M. Vermaseren; J. Vollinga (CoRR, 2010)

FORM facts - J. A. M. Vermaseren (CoRR, 2010)

The Multiple Zeta Value data mine. - Johannes Blümlein; D. J. Broadhurst; J. A. M. Vermaseren (Comput. Phys. Commun., 2010)

The multithreaded version of FORM. - M. Tentyukov; J. A. M. Vermaseren (Comput. Phys. Commun., 2010)

FORM development - J. A. M. Vermaseren (CoRR, 2011)

About a conjectured basis for Multiple Zeta Values - Jan Kuipers; J. A. M. Vermaseren (CoRR, 2011)

Investigations with Monte Carlo Tree Search for Finding Better Multivariate Horner Schemes. - H. Jaap van den Herik; Jan Kuipers; J. A. M. Vermaseren; Aske Plaat (ICAART (Revised Selected Papers), 2013)

Improving multivariate Horner schemes with Monte Carlo tree search. - Jan Kuipers; Aske Plaat; J. A. M. Vermaseren; H. Jaap van den Herik (Comput. Phys. Commun., 2013)

FORM version 4.0. - Jan Kuipers; Takahiro Ueda; J. A. M. Vermaseren; J. Vollinga (Comput. Phys. Commun., 2013)

Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification. - Ben Ruijl; Jos Vermaseren; Aske Plaat; H. Jaap van den Herik (ICAART (1), 2014)

Performance analysis of a 240 thread tournament level MCTS Go program on the Intel Xeon Phi. - S. Ali Mirsoleimani; Aske Plaat; Jos Vermaseren; H. Jaap van den Herik (CoRR, 2014)

Why Local Search Excels in Expression Simplification. - Ben Ruijl; Aske Plaat; Jos Vermaseren; H. Jaap van den Herik (CoRR, 2014)

HEPGAME and the Simplification of Expressions. - Ben Ruijl; Jos Vermaseren; Aske Plaat; H. Jaap van den Herik (CoRR, 2014)

Scaling Monte Carlo Tree Search on Intel Xeon Phi. - S. Ali Mirsoleimani; Aske Plaat; H. Jaap van den Herik; Jos Vermaseren (ICPADS, 2015)

Parallel Monte Carlo Tree Search from Multi-core to Many-core Processors. - Sayyed Ali Mirsoleimani; Aske Plaat; H. Jaap van den Herik; Jos Vermaseren (TrustCom/BigDataSE/ISPA (3), 2015)

Code optimization in FORM. - Jan Kuipers; Takahiro Ueda; J. A. M. Vermaseren (Comput. Phys. Commun., 2015)

Ensemble UCT Needs High Exploitation. - Sayyed Ali Mirsoleimani; Aske Plaat; H. Jaap van den Herik; Jos Vermaseren (ICAART (2), 2016)

Axodraw Version 2. - John C. Collins; J. A. M. Vermaseren (CoRR, 2016)

A New Method for Parallel Monte Carlo Tree Search. - S. Ali Mirsoleimani; Aske Plaat; H. Jaap van den Herik; Jos Vermaseren (CoRR, 2016)

An Analysis of Virtual Loss in Parallel MCTS. - S. Ali Mirsoleimani; Aske Plaat; H. Jaap van den Herik; Jos Vermaseren (ICAART (2), 2017)

Structured Parallel Programming for Monte Carlo Tree Search. - S. Ali Mirsoleimani; Aske Plaat; H. Jaap van den Herik; Jos Vermaseren (CoRR, 2017)

FORM version 4.2. - Ben Ruijl; Takahiro Ueda; Jos Vermaseren (CoRR, 2017)

A Lock-free Algorithm for Parallel MCTS. - S. Ali Mirsoleimani; H. Jaap van den Herik; Aske Plaat; Jos Vermaseren (ICAART (2), 2018)

Pipeline Pattern for Parallel MCTS. - S. Ali Mirsoleimani; H. Jaap van den Herik; Aske Plaat; Jos Vermaseren (ICAART (2), 2018)

Forcer, a Form program for the parametric reduction of four-loop massless propagator diagrams. - Ben Ruijl; Takahiro Ueda; J. A. M. Vermaseren (Comput. Phys. Commun., 2020)