Searching - TalTech Research Portal

display

sort

26

journal article EST / journal article ENG

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

journal article EST / journal article ENG

27

book article

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

book article

28

journal article

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

journal article

29

journal article

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

journal article

30

book article

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

book article

31

journal article EST / journal article ENG

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

journal article EST / journal article ENG

32

journal article EST / journal article ENG

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

33

journal article

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

journal article

34

journal article

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

journal article

35

book article

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

book article

36

book article

A hierarchical automatic test pattern generator based on using alternative graphsBrik, Marina; Jervan, Gert; Markus, Antti; Raik, Jaan; Ubar, Raimund-JohannesProceedings of the 4th International Workshop Mixed Design of Integrated Circuits and Systems : MIXDES'97 : Poznan, Poland, 12-14 June 19971997 / p. 415-420

book article

37

book article

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

book article

38

book article

Hierarchical test generation for digital systemsBrik, Marina; Jervan, Gert; Markus, Antti; Raik, Jaan; Ubar, Raimund-JohannesMixed design of integrated circuits and systems1998 / p. 131-136: ill https://link.springer.com/chapter/10.1007/978-1-4615-5651-0_20

book article

39

book article

Hierarchical test generation for finite state machinesBrik, Marina; Ubar, Raimund-JohannesBEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 11994 / p. 319-324: ill

book article

40

book article

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

book article

41

book article

Implementation of sorting algorithms in reconfigurable hardwareSkliarova, Iouliia; Sklyarov, Valery; Mihhailov, Dmitri; Sudnitsõn, Aleksander2012 IEEE Mediterranean Electrotechnical Conference (MELECON 2012) : Yasmine Hammamet, Tunisia, March 25-28, 20122012 / p. 107-110 : ill https://ieeexplore.ieee.org/document/6196391

book article

42

journal article

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

journal article

43

book article

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

book article

44

book article

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

book article

45

book article

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

book article

46

journal article

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

journal article

47

book article

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

book article

48

book

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

book

49

book article

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

book article

50

book article

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

book article

graafid (subject term)

types of item

subject term 2