A practical algorithm for the maximum clique findingKumlander, DenissProceedings of the IADIS International Conference Applied Computing 2006 : San Sebastian, Spain, 2006, February 25-282006 / p. 266-272 https://www.iadisportal.org/digital-library/a-practical-algorithm-for-the-maximum-clique-finding

A simple and efficient algorithm for the maximum clique finding reusing a heuristic vertex colouringKumlander, DenissIADIS international journal on computer science and information system2006 / 2, p. 32-49 https://www.iadisportal.org/ijcsis/papers/2006110203.pdf

Abstraktse automaadi sünteesi programmid algoritmi graafskeemi aluselPops, M.; Salum, Kaja; Plaks, ToomasXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 91 https://www.ester.ee/record=b1322611*est

Alternatiivsete graafide mudel loogikalülituste funktsioonide kirjeldamiseks ja analüüsiksAnton, E.; Ubar, Raimund-JohannesXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 42-43 https://www.ester.ee/record=b2449987*est

Alternative graph based test design in digital systemsUbar, Raimund-JohannesProceedings of 11. NORCHIP seminar, Trondheim, Nov. 9-10, 19931993 / p. 48-62

An algebraic approach to the structure of graphsBuldas, Ahto1999 http://www.ester.ee/record=b1273064*est

Application of dependency graphs to security protocol analysisTšahhirov, Ilja; Laud, PeeterTrustworthy global computing2008 / p. 294-311 : ill https://link.springer.com/chapter/10.1007/978-3-540-78663-4_20

Applying AI and incomplete solution principles to solve NP-hard problems in the real-time systemsKumlander, DenissProceedings of the WSEAS Conference : 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 20062006 / p. 807-811 https://www.researchgate.net/publication/242103446_Applying_AI_and_Incomplete_Solution_Principles_to_Solve_NP-hard_Problems_in_the_Real-Time_Systems

Assertion and denial : a contribution from logical notationsPietarinen, Ahti-Veikko; Bellucci, FrancescoJournal of applied logic2017 / p. 1-22 : ill https://doi.org/10.1016/j.jal.2017.01.001

Assertive and existential graphs : a comparisonPietarinen, Ahti-Veikko; Chiffi, DanieleDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 565-581 https://doi.org/10.1007/978-3-319-91376-6_51 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied non-classical logics2018 / p. 72–91 https://doi.org/10.1080/11663081.2017.1418101 Journal metrics at Scopus Aricle at Scopus

Cliques of graphs using J-programming languageVõhandu, LeoBaltic Horizons2010 / p. 18-22

Comparability graphs and the structure of finite graphsBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1996 / 2/3, p. 117-127

Computer-aided module-level text generation for digital devices on the basis of thin alternative graph-modelPall, M.; Ubar, Raimund-JohannesPreprints the 2nd IFAC/IFIP Symposium on Software for Computer Control, SOCOCO, Prague, Czechoslovakia, June 11-15, 1979 ; Vol. 21979 / p. [?] https://www.ester.ee/record=b2041567*est

Congruence lattice of a graphBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1997 / 3, p. 155-170: ill

Correction to: On the Logical Philosophy of Assertive Graphs (Journal of Logic, Language and Information, (2020), 29, 4, (375-397), 10.1007/s10849-020-09315-6)Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of Logic, Language and Information2020 / p. 399 https://doi.org/10.1007/s10849-020-09316-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Creating graphs for optimization tasksRoosileht, IndrekBEC 2004 : Baltic Electronics Conference : Post-Graduate Student Session : Tallinn University of Technology, October 3-6, 2004, Tallinn, Estonia2004 / p. 8 : ill

A distributed and incremental algorithm for large-scale graph clusteringInoubli, Wissem; Aridhi, Sabeur; Mezni, Haithem; Maddouri, Mondher; Mephu Nguifo, EngelbertFuture generation computer systems2022 / p. 334-347 https://doi.org/10.1016/j.future.2022.04.013

Fault diagnosis of VLSI devices using alternative graph representationUbar, Raimund-JohannesProceedings of the 8th Symposium on Microcomputer and Microprocessor Applications, Budapest, October 12-14, 1994. Vol. 11994 / p. 34-44

Funktsionaalsete alternatiivsete graafide mudeli süntees digitaallülitusteleKivi, E.; Ubar, Raimund-JohannesXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 91 https://www.ester.ee/record=b1322611*est

Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / p. 3621–3650 : ill https://doi.org/10.1007/s11229-017-1390-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

General unistor graph for active networks and its analysisFilaretov, V.V.Automation, simulation & measurement : ASM'91 : 3rd biennal conference, Tallinn, October 7-11, 1991. Section A. Section M / Tallinn Technical University1992 / p. 42-46: ill

Graafide korrastamisest J-keele abilVõhandu, LeoA & A2001 / 5, lk. 51-56 ; 6, lk. 38-44

Graph coloring by self-organizing algorithmKirt, ToomasInternational transactions on systems science and applications2006 / 3, p. 309-313 https://www.researchgate.net/publication/220675838_Graph_Coloring_by_Self-Organizing_Algorithm

Graph embedding in boolean hypercubeFomina, Jelena; Zakrevskij, ArkadijBEC 2006 : 2006 International Baltic Electronics Conference : Tallinn University of Technology, October 2-4, 2006, Tallinn, Estonia : proceedings of the 10th Biennial Baltic Electronics Conference2006 / p. 131-134 : ill

A graphical deep inference system for intuitionistic logicPietarinen, Ahti-Veikko; Ma, MinghuiLogique et analyse2019 / p. 73-114 https://doi.org/10.2143/LEA.245.0.3285706 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 http://dx.doi.org/10.4204/EPTCS.243.7

Graphs and lattice varietiesBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1998 / 2, p. 100-109

Graphs as effective models of the worldVõhandu, LeoBaltic horizons2007 / December, p. 17-22

Heuristic algorithms for weighted graph partitioningAasma, AllanBEC 2004 : Baltic Electronics Conference : Post-Graduate Student Session : Tallinn University of Technology, October 3-6, 2004, Tallinn, Estonia2004 / p. 9 : ill

Hierarchical test generation based on alternative graph modelUbar, Raimund-JohannesProceedings of the Second Workshop on Hierarchical Test Generation : Microelectronics Technology Park, Duisburg, Germany, September 25-26, 19951995 / p. 18

Hierarchical test synthesis for digital systems using alternative graph modelUbar, Raimund-JohannesQuantitative aspects of designing and validating dependable computing systems1995

Improving the maximum clique finding applications by using artificial intelligence principlesKumlander, DenissWSEAS transactions on computers2006 / 8, p. 1726-1732 https://www.researchgate.net/publication/288446461_Improving_the_maximum_clique_finding_applications_by_using_artificial_intelligence_principles

Improving the maximum-weight clique algorithm for the dense graphsKumlander, DenissProceedings of the WSEAS Conference : 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 20062006 / p. 938-943

Introduction to the Theory of Existential Graphs and Volume 1Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. 14-36 https://doi.org/10.1515/9783110651409-002

Introduction to Volume 2/1: The Logical TractsPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 69-100 https://doi.org/10.1515/9783110651423-003

Linear algorithms for recognizing and parsing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesFacta Universitatis [Niš]. Series electronics and energetics2011 / p. 325-339 : ill http://dx.doi.org/10.2298/FUEE1103325P

Linear algorithms for testing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesProceedings of the Reed-Muller 2011 Workshop : May 25-26, 2011, Tuusula, Finland2011 / p. 111-118 : ill

Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell LecturesPeirce, Charles S.2021 https://doi.org/10.1515/9783110740462

Logical consequence in the diagrammatic system of assertive graphs [Online resource]Chiffi, Daniele; Pietarinen, Ahti-VeikkoHandbook of the 6th World Congress and School on Universal Logic2018 / p. 262-263 http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

Loogikaskeemid ja binaardiagrammidBuldas, AhtoAastaraamat 1994 - 1996 / Eesti Matemaatika Selts1999 / lk. 6-11

Monoidal width = Monoidiline laiusDi Lavore, Elena2023 https://doi.org/10.23658/taltech.55/2023 https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502 https://www.ester.ee/record=b5645383*est

A new test suite reduction approach based on hypergraph minimal transversal miningTrabelsi, Shaima; Bennani, Mohamed Taha; Ben Yahia, SadokFuture Data and Security Engineering : 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27–29, 2019, Proceedings2019 / p. 15-30 https://doi.org/10.1007/978-3-030-35653-8_2 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

On linear existential graphsBellucci, Francesco; Liu, Xinwen; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 261 - 296 https://doi.org/10.2143/LEA.251.0.3288641 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

On the logical philosophy of assertive graphsChiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of logic, language and information2020 / 21 p https://doi.org/10.1007/s10849-020-09315-6 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Peirce and the logic of imagePietarinen, Ahti-VeikkoSemiotica2012 / p. 251-261 https://www.researchgate.net/publication/271417244_Peirce_and_the_logic_of_image

Problems of optimization : an exact algorithm for finding a maximum clique optimized for dense graphsKumlander, DenissProceedings of the Estonian Academy of Sciences. Physics. Mathematics2005 / 2, p. 79-86

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y

Security protocols analysis in the computational model - dependency flow graphs-based approach = Turvaprotokollide analüüs arvutuslikul mudelil - sõltuvusgraafidel põhinev lähenemisviisTšahhirov, Ilja2008 https://www.ester.ee/record=b2449152*est

Some logical notations for pragmatic assertionsCarrara, Massimiliano; Chiffi, Daniele; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 297-315 https://doi.org/10.2143/LEA.251.0.3288642 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Superpositional graphsPeder, Ahti; Tombak, MatiActa et commentationes Universitatis Tartuensis de mathematica2009 / p. 51-64 : ill

Synthesis of control automata using graph schemes of algorithmsBaranov, S.; Keevallik, AndresDigital Processes1980 / p. [?]

Test generation for digital systems based on alternative graphsUbar, Raimund-JohannesDependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 1994 : proceedings1994 / p. 151-164: ill

Test synthesis with alternative graphsUbar, Raimund-JohannesIEEE design & test of computers1996 / Spring, p. 48-57: ill

Testide genereerimine loogikalülituste alternatiivsete graafide süsteemi mudeli abilSaarma, G.; Ubar, Raimund-JohannesXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 43 https://www.ester.ee/record=b2449987*est

The beauty of graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 9-12 https://doi.org/10.1007/978-3-319-91376-6_2 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Transformations of graph schemes of algorithmsBaranov, S.; Keevallik, AndresDigital Processes1980 / p. [?]

Two cognitive systems, two implications, and selection tasksBobrova, Angelina; Pietarinen, Ahti-VeikkoSoftware Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers2020 / p. 195 - 205 https://doi.org/10.1007/978-3-030-57506-9_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at Scopus Article at WOS

A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 Conference Proceedings at Scopus Conference Proceedings at WOS Article at WOS

Альтернативные графы и техническая диагностика дискретных объектовUbar, Raimund-JohannesЭлектронная техника. Серия 8, Управление качеством и стандартизация : научно-технический сборник1988 / с. 33-57

Генерирование групповых тестов для цифровых схем на модели альтернативных графовKivi, E.; Ubar, Raimund-JohannesТезисы докладов XXXI студенческой научно-технической конференции1980 / с. 52-55 https://www.ester.ee/record=b1319482*est

Генерирование тестов для цифровых схем при помощи модели альтернативных графовUbar, Raimund-JohannesТруды по электротехнике и автоматике. 141976 / с. 75-81 https://www.ester.ee/record=b2190768*est https://digikogu.taltech.ee/et/Item/aa35e320-87b1-405b-9cac-3b90c51867d1

Графы асинхронной машиныMežburd, VolfИзвестия высших учебных заведений. Электромеханика : учебно-образовательный и научно-технический журнал1970 / с. 956-960 https://www.ester.ee/record=b2144327*est

Две вспомогательные функции оптимального приближения графа полными подграфами : (дополнение)Veiner, GuidoОбработка информации1975 / с. 17-21 https://www.ester.ee/record=b1327401*est https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987

Две вспомогательные функции оптимального приближения графа полными подграфами : (обобщения)Veiner, GuidoВопросы исследования графов, грамматик, функций1976 / с. 3-10 : илл https://www.ester.ee/record=b1433013*est https://digikogu.taltech.ee/et/Item/ab9b20b3-9208-4a18-88a2-da1e0f43137f

Две вспомогательные функции оптимального приближения графа полными подграфамиVeiner, GuidoОбработка информации. Функциональный анализ1974 / с. 49-53 https://www.ester.ee/record=b1347059*est https://digikogu.taltech.ee/et/Item/0dd16355-1e9a-4ed9-b616-b6d162fa44a5

Декомпозиционный метод представления объектов диагностирования моделями обобщенных альтернативных графовZaugarov, ViktorTallinna Tehnikaülikooli Toimetised1990 / lk. 98-102: ill

К вопросу преобразования граф-схемы алгоритма в логическую схему алгоритмаJänes, MartИзвестия высших учебных заведений. Приборостроение1977 / с. 58-63 https://www.ester.ee/record=b3249125*est

Конструктивный подход к описанию локальных преобразований графовAllik, KaarelВопросы исследования графов, грамматик, функций1976 / с. 23-37 : илл https://www.ester.ee/record=b1433013*est https://digikogu.taltech.ee/et/Item/ab9b20b3-9208-4a18-88a2-da1e0f43137f

Модель векторных альтернативных графов для описания цифровых системUbar, Raimund-JohannesВычислительная техника1982 / с. 103-104

О применении графов в теории электрических машинMežburd, VolfИзвестия высших учебных заведений. Электромеханика : учебно-образовательный и научно-технический журнал1970 / с. 851-856 https://www.ester.ee/record=b2144327*est

О циклических разложениях обобщенных графовMullat, JossifОчерки по обработке информации и функциональному анализу1971 / с. 31-36 https://www.ester.ee/record=b1356667*est https://digikogu.taltech.ee/et/Item/a431c49f-a972-4e58-916b-947eea59962d

Об аппроксимации неориентированных графов отношением эквивалентностиVeiner, Guido; Võhandu, LeoВсесоюзная конференция "Нечисловая статистика, эспертные оценки и смежные вопросы" : (II Всесоюзная конференция по статистическому и дискретному анализу нечисловой информации и экспертным оценкам) : (тезисы докладов)1984 / с. 129 https://www.ester.ee/record=b1543617*est

Организация процесса анализа тестов цифровых схем на модели альтернативных графовVoolaine, Andrus; Kitsnik, Peeter; Pall, MartinВычислительная техника : тезисы докладов республиканской конференции "Автоматизированное техническое проектирование электронной аппаратуры" (1–2 июня 1982 г.)1982 / с. 34-35

Организация тестовых экспериментов цифровых систем на основе модели альтернативных графовLohuaru, TõnuМежреспубликанская школа-семинар по технической диагностике, 8-12 октября 1984 года : тезисы докладов1984 / с. 47-52 https://www.ester.ee/record=b1237891*est

Построение тестов для дискретных систем нам простых альтернативных графахVoolaine, Andrus; Pall, M.; Ubar, Raimund-JohannesТезисы докладов всесоюзной научно-технической конференции "Методы и средства борьбы с помехами в цифровой технике"1986 / с. 88-89

Построение тестов цыфровых схем при помощи модели Алтернативных графовPlakk, Mari; Ubar, Raimund-JohannesАвтоматика и телемеханика1980 / с. 152-163 : илл https://www.ester.ee/record=b1515055*est

Разработка и исследование методов синтеза тестов для дискретных устройств на основе модели альтернативных графов : автореферат ... кандидата технических наук (05.13.01)Plakk, Mari1984 https://www.ester.ee/record=b1235788*est

Разработка и исследование методов синтеза тестов для дискретных устройств на основе модели альтернативных графов : диссертация на соискание ученой степени кандидата технических наукPlakk, Mari1984 https://www.ester.ee/record=b4634584*est

Решение задач диагностики цифровых устройств модели альтернативных графовKurilova, L.; Popova, S.; Tulina, M.; Ubar, Raimund-Johannes; Jakubovitš, M.XXV студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 21-23 апреля 1981 года : тезисы докладов. Том 2, Автоматика. Энергетика. Механика. Химия1981 / с. 39 https://www.ester.ee/record=b1322629*est

Случайное генерирование деревьевKukk, VelloТруды по электротехнике и автоматике : сборник статей. 71970 / с. 63-69 : илл https://www.ester.ee/record=b2189958*est https://digikogu.taltech.ee/et/Item/33610e22-06c3-48a2-83bd-e55be9589930

Соотношение между количеством ребер и вершин в графахKorrovits, HarriТруды экономического факультета. 131974 / с. 3-13 : илл https://www.ester.ee/record=b2190639*est https://digikogu.taltech.ee/et/Item/1a203a6e-07a5-4c4f-9e1b-dd24357eb552