• Completeness of resolution for definite answersTammet, TanelJournal of logic and computation1995 / 4, p. 449-471
• Eesti iseseisvumisele teed rajanud dokumendid = Documents that paved the way for Estonian independence2013 https://www.ester.ee/record=b3005737*est
• Eesti teadlaste kongressi keeleteaduse sümpoosioni resolutsioonMillist teadust vajab nüüdis-Eesti... neli aastat hiljem : Eesti teaduspoliitika ja teaduskorralduse probleeme1997 / lk. 35
• Improved interpolation kernels for super resolution algorithmsRasti, Pejman; Orlova, Olga; Tamberg, Gert; Ozcinar, Cagri2016 Sixth International Conference on Image Processing Theory, Tools and Applications : IPTA 2016, Oulu, Finland, December 20162017 / [6] p. : ill https://doi.org/10.1109/IPTA.2016.7820980
• A new low-complexity patch-based image super-resolutionRasti, Pejman; Nasrollahi, Kamal; Orlova, Olga; Tamberg, Gert; Ozcinar, Cagri; Moeslund, Thomas B.; Anbarjafari, GholamrezaIET computer vision2017 / p. 567-576 : ill https://doi.org/10.1049/iet-cvi.2016.0463 https://www.scopus.com/sourceid/7000153231 https://www.scopus.com/record/display.uri?eid=2-s2.0-85029593745&origin=inward&txGid=37e8166d0b380d5ec4b392ef67ff4f6e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IET%20COMPUT%20VIS&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000411398100007
• Reducible dictionaries for single image super-resolution based on patch matching and mean shiftingRasti, Pejman; Nasrollahi, Kamal; Orlova, Olga; Tamberg, Gert; Moeslund, Thomas B.; Anbarjafari, GholamrezaJournal of electronic imaging2017 / p. 023024-1 - 023024-8 : ill https://doi.org/10.1117/1.JEI.26.2.023024 https://www.scopus.com/sourceid/25978 https://www.scopus.com/record/display.uri?eid=2-s2.0-85021625999&origin=inward&txGid=4d8962a50f02c0b54925388355c86510 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20ELECTRON%20IMAGING&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000400896700026
• Resolution decision proceduresFermüller, Christian G.; Hustadt, Ullrich; Leitsch, Alexander; Tammet, TanelHandbook of automated reasoning. Vol. 22001 / p. 1791-1849
• Resolution methods for the decision problemFermüller, C.; Leitsch, A.; Tammet, Tanel; Zamov, N.1993 https://link.springer.com/book/10.1007/3-540-56732-1