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
Searching
My bookmarks
0
graafiteooria (subject term)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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
49
Look more..
(1/1)
Export
export all inquiry results
(49)
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
1
book article
A new exact algorithm for the maximum-weight clique problem based on a heuristic vertex-coloring and a backtrack search
Kumlander, Deniss
Proceedings of the Forth International Conference on Engineering Computational Technology
2004
/
p. 137
book article
2
book article
A practical algorithm for the maximum clique finding
Kumlander, Deniss
Proceedings of the IADIS International Conference Applied Computing 2006 : San Sebastian, Spain, 2006, February 25-28
2006
/
p. 266-272
https://www.iadisportal.org/digital-library/a-practical-algorithm-for-the-maximum-clique-finding
book article
3
journal article
A simple and efficient algorithm for the maximum clique finding reusing a heuristic vertex colouring
Kumlander, Deniss
IADIS international journal on computer science and information system
2006
/
2, p. 32-49
https://www.iadisportal.org/ijcsis/papers/2006110203.pdf
journal article
4
dissertation
An algebraic approach to the structure of graphs
Buldas, Ahto
1999
http://www.ester.ee/record=b1273064*est
dissertation
5
book article
An extended comparison of the best known algorithms for finding the unweighted maximum clique
Kumlander, Deniss
Modelling, computation and optimization in information systems and management sciences
2008
/
p. 175-181
https://www.researchgate.net/publication/221451751_An_Extended_Comparison_of_the_Best_Known_Algorithms_for_Finding_the_Unweighted_Maximum_Clique
book article
6
book article
Anwendung der Graphentheorie zur Optimierung von Fertigungsprozessen
Küttner, Rein
;
Kochan, D.
Technishe Universität Dresden : Als Manuskript gedruckt = Труды ТУ Дрезден, № 14.10.1978
1978
/
S. 1-12
book article
7
book article
Artificial intelligence in the maximum clique finding problem applications
Kumlander, Deniss
Proceedings of the WSEAS Conference : 7th WSEAS International Conference on Automation & Information (ICAI'06) : Cavtat, Croatia, June 13-15, 2006
2006
/
p. 132-137
https://www.researchgate.net/publication/234778320_Artificial_intelligence_in_the_maximum_clique_finding_problem_applications
book article
8
journal article
Automation of chemical plant modelling
Aarna, Olav
Automatica
1980
/
p. 649-661
https://www.ester.ee/record=b1199422*est
https://doi.org/10.1016/0005-1098(80)90007-2
journal article
9
book article EST
/
book article ENG
Beta assertive graphs
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 525-529
https://doi.org/10.1007/978-3-030-54249-8_49
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
10
journal article EST
/
journal article ENG
Beta assertive graphs : proofs of assertions with quantification
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Journal of applied logics : IfCoLog journal of logics and their applications
2021
/
23 p. : ill
https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
11
book article EST
/
book article ENG
The Blot
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
;
Bobrova, Angelina
;
Haydon, Nathan Joseph
;
Shafiei, Mohammad
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 225-238 : ill
https://doi.org/10.1007/978-3-030-54249-8_18
Conference proceedings at Scopus
Article at Scopus
Article at WOS
Conference proceedings at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
12
book article
Comparing the best maximum clique finding algorithms, which are using heuristic vertex colouring
Kumlander, Deniss
Proceedings of the WSEAS Conference : 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 2006
2006
/
p. 932-937
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=6a835c6002434a8e0985d850356794d9bc74879e
book article
13
book article EST
/
book article ENG
Compositional diagrammatic first-order logic
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 402-418
https://doi.org/10.1007/978-3-030-54249-8_32
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
2
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
14
book article
Diagrammatic algebra of first order logic
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
LICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
2024
/
art. 16, p. 1-15 : ill
https://doi.org/10.1145/3661814.3662078
book article
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
15
journal article
Diagrammatic algebra of first order logic : [preprint]
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
arXiv.org
2024
/
34 p. : ill
https://doi.org/10.48550/arXiv.2401.07055
journal article
16
book
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings
2018
https://doi.org/10.1007/978-3-319-91376-6
book
17
book
Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
https://doi.org/10.1007/978-3-030-54249-8
book
18
book article
Distributed average integral control based energy management model
Shaukat, Neelofar
;
Khan, Bilal
;
Qureshi, Muhammad Bilal
;
Jawad, Muhammad
;
Shabbir, Noman
;
Daniel, Kamran
2023 IEEE International Conference on Energy Technologies for Future Grids (ETFG)
2023
/
5 p
https://doi.org/10.1109/ETFG55873.2023.10407358
book article
19
book article
Engineering of an effective automatic dynamic assertion mining platform
Ghasempouri, Tara
;
Malburg, Jan
;
Danese, Alessandro
;
Pravadelli, Graziano
;
Fey, Goerschwin
;
Raik, Jaan
VLSI-SoC 2019 : 27th IFIP/IEEE International Conference on Very Large Scale Integration : [proceedings]
2019
/
p. 111-116 : ill
https://doi.org/10.1109/VLSI-SoC.2019.8920331
book article
20
book article EST
/
book article ENG
An experimental comparison of heuristic coloring algorithms in terms of found color classes on random graphs
Kumlander, Deniss
;
Kulitškov, Aleksei
WCGO 2019: Optimization of Complex Systems: Theory, Models, Algorithms and Applications
2020
/
p. 365-375
https://doi.org/10.1007/978-3-030-21803-4_37
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
21
journal article EST
/
journal article ENG
Failure consequence evaluation of uncontrollable district heating network
Mao, Ding
;
Wang, Peng
;
Ju, Yuchen
;
Ni, Long
Sustainable cities and society
2022
/
art. 103593, 16 p. : ill
https://doi.org/10.1016/j.scs.2021.103593
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
22
book article
Finding the description of structure by counting method : a case study
Peder, Ahti
;
Tombak, Mati
SOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings
2011
/
p. 455-466 : ill
https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38
book article
23
book
Graafid
Buldas, Ahto
;
Laud, Peeter
;
Villemson, Jan
2008
https://www.ester.ee/record=b2345899*est
book
24
book
Graafid
Buldas, Ahto
;
Laud, Peeter
;
Villemson, Jan
2003
https://www.ester.ee/record=b1804744*est
book
25
book
Graafiteooria elemente : loengukonspekt
Puusemp, Peeter
2000
https://www.ester.ee/record=b1462950*est
book
Number of records 49, displaying
1 - 25
previous
1
2
next
subject term
1
1.
graafiteooria
×
match
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