| Structurally synthesized binary decision diagrams A Jutman, A Peder, J Raik, M Tombak, R Ubar 6th International Workshop on Boolean Problems, 271-278, 2004 | 27 | 2004 |
| On logical method for counting Dedekind numbers M Tombak, A Isotamm, T Tamme Fundamentals of Computation Theory: 13th International Symposium, FCT 2001 …, 2001 | 21 | 2001 |
| Synthesis of high-level decision diagrams for functional test pattern generation R Ubar, J Raik, A Karputkin, M Tombak 2009 MIXDES-16th International Conference Mixed Design of Integrated …, 2009 | 18 | 2009 |
| Canonical representations of high-level decision diagrams. A Karputkin, R Ubar, J Raik, M Tombak Estonian Journal of Engineering 16 (1), 2010 | 15 | 2010 |
| Optimization of structurally synthesized BDDs R Ubar, T Vassiljeva, J Raik, A Jutman, M Tombak, A Peder, J Liivi Proc. 4th IASTED International Conference on Modelling, Simulation and …, 2004 | 11 | 2004 |
| Superpositional graphs A Peder, M Tombak Acta et Commentationes Universitatis Tartuensis de Mathematica 13, 51-64, 2009 | 6 | 2009 |
| Linear algorithms for recognizing and parsing superpositional graphs A Peder, H Nestra, J Raik, M Tombak, R Ubar Facta universitatis-series: Electronics and Energetics 24 (3), 325-339, 2011 | 5 | 2011 |
| A compact look-up table structure for low-level binary image processing IPW Sillitoe, M Tombak Real-Time Imaging 4 (3), 203-210, 1998 | 5 | 1998 |
| Automated correction of design errors by edge redirection on high-level decision diagrams A Karputkin, R Ubar, M Tombak, J Raik Thirteenth International Symposium on Quality Electronic Design (ISQED), 686-693, 2012 | 4 | 2012 |
| Probabilistic equivalence checking based on high-level decision diagrams A Karputkin, R Ubar, M Tombak, J Raik 14th IEEE International Symposium on Design and Diagnostics of Electronic …, 2011 | 4 | 2011 |
| On the superposition of boolean functions M Tombak, I Sillitoe Annales Universitatis Scientarum Budapestinensis de Rolando Etvs nominatae …, 1998 | 4 | 1998 |
| A Forth-Oriented Compiler Compiler and its Applications M Tombak, V Soo, J Pöial Forth Dimensions 16, 21-21, 1995 | 4 | 1995 |
| Permutations and Bijections L Vohandu, A Peder, M Tombak Information Modelling and Knowledge Bases XXIII, 419-437, 2012 | 1 | 2012 |
| An Experiment: Using Google Translate and Semantic Mirrors to Create Synsets with Many Lexical Units A Lohk, M Tombak, K Vare Proceedings of the 9th Global Wordnet Conference, 324-328, 2018 | | 2018 |
| Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams A Karputkin, R Ubar, M Tombak, J Raik 2011 IEEE International High Level Design Validation and Test Workshop, 83-83, 2011 | | 2011 |
| Finding the description of structure by counting method: a case study A Peder, M Tombak SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on …, 2011 | | 2011 |
| General Principles of Informatics Curricula: Proceedings of the Workshop Tempus JEP-06145: Tartu, Estonia, January 21, 1995 M Tombak University of Tartu, 1995 | | 1995 |
| ONE MORE EXPONENTIAL ALGORITHM FOR ESTABLISHING SATISFIABILITY OF PROPOSITIONAL FORMULA M Tombak Symposium on Programming Languages and Software Tools, 142, 1993 | | 1993 |
| Programming Languages and Software Tools: 3rd Symposium M Tombak University of Tartu, 1993 | | 1993 |
| Proceedings of the Third Symposium on Programming Languages and Software Tools: Kننriku, Estonia, August 23-24, 1993 M Tombak University of Tartu, Department of Computer Science, 1993 | | 1993 |
Jaan RaikTallinn University of TechnologyVerified email at taltech.ee
