Mati Tombak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2001–2011
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DDECS | Probabilistic equivalence checking based on high-level decision diagrams. | Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik |
| 2011 | EJC | Permutations and Bijections. | Leo Vohandu, Ahti Peder, Mati Tombak |
| 2011 | SOFSEM | Finding the Description of Structure by Counting Method: A Case Study. | Ahti Peder, Mati Tombak |
| 2001 | FCT | On Logical Method for Counting Dedekind Numbers. | Mati Tombak, Ain Isotamm, Tnu Tamme |