Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity. - Dominique Snyers; André Thayse (IEEE Trans. Computers, 1986)

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions - Dominique Snyers; André Thayse (Springer, 1987)

Lotka Volterra Coevolution at the Edge of Chaos. - Paul Bourgine; Dominique Snyers (Artificial Evolution, 1995)

Mimicry and Coevolution of Hedonic Agents. - Paul Bourgine; Dominique Snyers (ECAL, 1995)

Image processing optimization by genetic algorithm with a new coding scheme. - Dominique Snyers; Yvan R. Petillot (Pattern Recognit. Lett., 1995)

Routing in Telecommunications Networks with Ant-Like Agents. - Eric Bonabeau; Florian Hénaux; Sylvain Guérin; Dominique Snyers; Pascale Kuntz; Guy Theraulaz (IATA, 1998)

Adaptive Agent-Driven Routing and Load Balancing in Communication Networks. - Martin Heusse; Dominique Snyers; Sylvain Guérin; Pascale Kuntz (Adv. Complex Syst., 1998)

New results on an ant-based heuristic for highlighting the organization of large graphs. - Pascale Kuntz; Dominique Snyers (CEC, 1999)

Adaptive agent driven routing in communication networks: comparison with a classical approach. - Martin Heusse; Dominique Snyers; Yvon Kermarrec (Adv. Complex Syst., 1999)

A Stochastic Heuristic for Visualising Graph Clusters in a Bi-Dimensional Space Prior to Partitioning. - Pascale Kuntz; Dominique Snyers; Paul J. Layzell 002 (J. Heuristics, 1999)