A Compact Look-up Table Structure for Low-level Binary Image Processing. - Ian P. W. Sillitoe; Mati Tombak (Real Time Imaging, 1998)

On Logical Method for Counting Dedekind Numbers. - Mati Tombak; Ain Isotamm; Tõnu Tamme (FCT, 2001)

Probabilistic equivalence checking based on high-level decision diagrams. - Anton Karputkin; Raimund Ubar; Mati Tombak; Jaan Raik (DDECS, 2011)

Permutations and Bijections. - Leo Vohandu; Ahti Peder; Mati Tombak (EJC, 2011)

Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams. - Anton Karputkin; Raimund Ubar; Mati Tombak; Jaan Raik (HLDVT, 2011)

Finding the Description of Structure by Counting Method: A Case Study. - Ahti Peder; Mati Tombak (SOFSEM, 2011)

Automated correction of design errors by edge redirection on High-Level Decision Diagrams. - Anton Karputkin; Raimund Ubar; Mati Tombak; Jaan Raik (ISQED, 2012)

An Experiment: Using Google Translate and Semantic Mirrors to Create Synsets with Many Lexical Units. - Ahti Lohk; Mati Tombak; Kadri Vare (GWC, 2018)