Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
graafid (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
97
Look more..
(1/2)
Export
export all inquiry results
(97)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
51
dissertation
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Haydon, Nathan Joseph
2024
https://www.ester.ee/record=b5685581*est
https://digikogu.taltech.ee/et/Item/f7f55e15-7a58-4e7f-a112-910d6a943f7f
https://doi.org/10.23658/taltech.31/2024
dissertation
Seotud publikatsioonid
4
The Blot
Compositional diagrammatic first-order logic
Residuation in existential graphs
Diagrammatic algebra of first order logic
52
book article
Permutations and bijections
Võhandu, Leo
;
Peder, Ahti
;
Tombak, Mati
Information modelling and knowledge bases XXIII
2012
/
p. 419-437 : ill
book article
53
journal article
Problems of optimization : an exact algorithm for finding a maximum clique optimized for dense graphs
Kumlander, Deniss
Proceedings of the Estonian Academy of Sciences. Physics. Mathematics
2005
/
2, p. 79-86
journal article
54
journal article
Proof analysis of Peirce's alpha system of graphs
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Studia logica
2017
/
p. 625-647 : ill
https://doi.org/10.1007/s11225-016-9703-y
journal article
55
dissertation
Security protocols analysis in the computational model - dependency flow graphs-based approach = Turvaprotokollide analüüs arvutuslikul mudelil - sõltuvusgraafidel põhinev lähenemisviis
Tšahhirov, Ilja
2008
https://www.ester.ee/record=b2449152*est
dissertation
56
book article
Self-organizing approach to graph vertex colouring in the applications of ad hoc networks
Kirt, Toomas
;
Võhandu, Leo
Proceedings of the 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 2006
2006
/
? p
https://www.researchgate.net/publication/262353001_Self-organizing_approach_to_graph_vertex_colouring_in_the_applications_of_ad_hoc_networks
book article
57
journal article EST
/
journal article ENG
Some logical notations for pragmatic assertions
Carrara, Massimiliano
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Logique et Analyse
2020
/
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
journal article EST
/
journal article ENG
58
journal article
Superpositional graphs
Peder, Ahti
;
Tombak, Mati
Acta et commentationes Universitatis Tartuensis de mathematica
2009
/
p. 51-64 : ill
journal article
59
journal article
Synthesis of control automata using graph schemes of algorithms
Baranov, S.
;
Keevallik, Andres
Digital Processes
1980
/
p. [?]
journal article
60
book article
Test generation for digital systems based on alternative graphs
Ubar, Raimund-Johannes
Dependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 1994 : proceedings
1994
/
p. 151-164: ill
book article
61
journal article
Test synthesis with alternative graphs
Ubar, Raimund-Johannes
IEEE design & test of computers
1996
/
Spring, p. 48-57: ill
journal article
62
book article
Testide genereerimine loogikalülituste alternatiivsete graafide süsteemi mudeli abil
Saarma, G.
;
Ubar, Raimund-Johannes
XXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid
1977
/
lk. 43
https://www.ester.ee/record=b2449987*est
book article
63
book article EST
/
book article ENG
The beauty of graphs
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
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
book article EST
/
book article ENG
64
journal article
Transformations of graph schemes of algorithms
Baranov, S.
;
Keevallik, Andres
Digital Processes
1980
/
p. [?]
journal article
65
book article EST
/
book article ENG
Two cognitive systems, two implications, and selection tasks
Bobrova, Angelina
;
Pietarinen, Ahti-Veikko
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
2020
/
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
book article EST
/
book article ENG
66
book article EST
/
book article ENG
A Weakening of Alpha graphs : quasi-Boolean algebras
Pietarinen, Ahti-Veikko
;
Ma, Minghui
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
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
book article EST
/
book article ENG
67
journal article
Альтернативные графы и техническая диагностика дискретных объектов
Ubar, Raimund-Johannes
Электронная техника. Серия 8, Управление качеством и стандартизация : научно-технический сборник
1988
/
с. 33-57
journal article
68
book article
Генерирование групповых тестов для цифровых схем на модели альтернативных графов
Kivi, E.
;
Ubar, Raimund-Johannes
Тезисы докладов XXXI студенческой научно-технической конференции
1980
/
с. 52-55
https://www.ester.ee/record=b1319482*est
book article
69
book article
Генерирование тестов для цифровых схем при помощи модели альтернативных графов
Ubar, Raimund-Johannes
Труды по электротехнике и автоматике : сборник статей. 14
1976
/
с. 75-81
https://www.ester.ee/record=b2190768*est
https://digikogu.taltech.ee/et/Item/aa35e320-87b1-405b-9cac-3b90c51867d1
book article
70
journal article
Графы асинхронной машины
Mežburd, Volf
Известия высших учебных заведений. Электромеханика : учебно-образовательный и научно-технический журнал
1970
/
с. 956-960
https://www.ester.ee/record=b2144327*est
journal article
71
book article
Две вспомогательные функции оптимального приближения графа полными подграфами : (дополнение)
Veiner, Guido
Обработка информации
1975
/
с. 17-21
https://www.ester.ee/record=b1327401*est
https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987
book article
72
book article
Две вспомогательные функции оптимального приближения графа полными подграфами : (обобщения)
Veiner, Guido
Вопросы исследования графов, грамматик, функций
1976
/
с. 3-10 : илл
https://www.ester.ee/record=b1433013*est
https://digikogu.taltech.ee/et/Item/ab9b20b3-9208-4a18-88a2-da1e0f43137f
book article
73
book article
Две вспомогательные функции оптимального приближения графа полными подграфами
Veiner, Guido
Обработка информации. Функциональный анализ
1974
/
с. 49-53
https://www.ester.ee/record=b1347059*est
https://digikogu.taltech.ee/et/Item/0dd16355-1e9a-4ed9-b616-b6d162fa44a5
book article
74
journal article
Декомпозиционный метод представления объектов диагностирования моделями обобщенных альтернативных графов
Zaugarov, Viktor
Tallinna Tehnikaülikooli Toimetised
1990
/
lk. 98-102: ill
journal article
75
book article
Еще раз о вспомогательных функциях приближения графа полными подграфами
Veiner, Guido
Вопросы создания средств обработки информации : (обработка данных, программирование)
1977
/
с. 83-86 : илл
https://www.ester.ee/record=b1309533*est
https://digikogu.taltech.ee/et/Item/30c1c54d-a877-4ebb-8ed5-09949cafb0e1
book article
Number of records 97, displaying
51 - 75
previous
1
2
3
4
next
subject term
2
1.
graafid
2.
topoloogilised graafid
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT