Searching - TalTech Research Portal

display

sort

1

book article

A resolution theorem prover for intuitionistic logicTammet, TanelAutomated deduction - CADE 14 : proceedings : 14th International Conference on Automated Deduction : Townsville, North Queensland, Australia, July 13-17, 19971997 / p. 2-16 https://link.springer.com/chapter/10.1007/3-540-61511-3_65

book article

2

journal article EST / journal article ENG

“A Sane Island in an Ocean of Madness” : A case of alternative organisational ethics through post-growth valuesRobra, Ben; Pazaitis, Alexandros; Levy, ArnaudJournal of business ethics2025 / art. 140351 https://doi.org/10.1007/s10551-024-05921-7

journal article EST / journal article ENG

3

book article

A semantic-based web service composition frameworkHaav, Hele-Mai; Tammet, Tanel; Kadarpik, Vello; Kindel, Kristiina; Kääramees, MarkoAdvances in information systems development : new methods and practice for the networked society. Volume 12007 / p. 379-391 https://link.springer.com/chapter/10.1007/978-0-387-70761-7_33

book article

4

book article

A semiotic approach to quality in specifications of software measuresEessaar, ErkiEnterprise information systems : 10th International Conference, ICEIS 2008 : Barcelona, Spain, June 12-16, 2008 : revised selected papers2009 / p. 73-86 : ill https://link.springer.com/chapter/10.1007/978-3-642-00670-8_6

book article

5

book article

A set of practices for the development of data-centric information systemsEessaar, ErkiInformation system development : improving enterprise communication2014 / p. 73-84

book article

6

book article

A SQL database based meta-CASE system and its query subsystemEessaar, Erki; Sgirka, RünnoInnovations in computing sciences and software engineering2010 / p. 57-62 https://link.springer.com/chapter/10.1007/978-90-481-9112-3_10

book article

7

book article

A UML profile for developing databases that conform to the third ManifestoEessaar, ErkiInnovations in computing sciences and software engineering2010 / p. 69-74 https://ui.adsabs.harvard.edu/abs/2010iics.book...69E/abstract

book article

8

book article

A user interface for a game-based protocol verification toolLaud, Peeter; Tšahhirov, IljaFormal Aspects in Security and Trust : 6th International Workshop : FAST 2009, Eindhoven, Netherlands, November 5-6, 2009 : Revised Selected Papers2010 / p. 263-278 : ill https://research.cyber.ee/~peeter/research/fast09.pdf

book article

9

journal article EST / journal article ENG

Abrasive-erosive wear of thermally sprayed coatings from experimental and commercial Cr3C2-based powdersSarjas, Heikki; Surženkov, Andrei; Juhani, Kristjan; Antonov, Maksim; Adoberg, Eron; Kulu, Priit; Viljus, Mart; Traksmaa, Rainer; Matikainen, Ville; Vuoristo, PetriJournal of thermal spray technology2017 / p. 2020-2029 : ill https://doi.org/10.1007/s11666-017-0638-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

10

book article

Accessibility of published QSAR models : ecotoxic endpointsKahn, Iiris; Ahte, Priit; Sild, Sulev; Maran, UkoALTEX proceedings. Vol. 4, No. 22015 / p. 119

book article

11

journal article EST / journal article ENG

Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, Diana-MariaApplied categorical structures2024 / art. 31 https://doi.org/10.1007/s10485-024-09784-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid

12

book article

Adaptive agent organisationsArgente, Estefania; Kirikal, Kristi; Taveter, KuldarAgreement technologies2013 / p. 321-353

book article

13

book article EST / book article ENG

Adaptive controller for networked control systems subjected to random communication delaysSrinivasan, Seshadhri; Saravanakumar, G.; Subathra, B.; Kotta, ÜlleSoft computing applications : proceedings of the 7th International Workshop Soft Computing Applications (SOFA 2016). Vol. 12018 / p. 78-94 https://doi.org/10.1007/978-3-319-62521-8_8 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

14

book

Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lecturesVene, Varmo; Uustalu, Tarmo2005 https://www.ester.ee/record=b2083926*est

book

15

book

Advances in Databases and Information Systems : 9th East European Conference, ADBIS 2005 : Tallinn, Estonia, September 12-15, 2005 : proceedings2005 http://www.ester.ee/record=b2068140*est

book

16

journal article EST / journal article ENG

Advances in nonlinear wave research for hazard warning and mitigationDidenkulova, Irina; Grimshaw, Roger; Slunyaev, Alexey; Tinti, StefanoNatural hazards2016 / p. S431-S436 https://doi.org/10.1007/s11069-016-2633-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

17

book article

Aflatoxins in farmed fish in EstoniaTanner, Risto; Tedersoo, ErgeCase studies in food safety and environmental health2007 / p. 81-84

book article

18

journal article EST / journal article ENG

Age, facies, and geometry of the Sandbian/Katian (Upper Ordovician) pelmatozoan-bryozoan-receptaculitid reefs of the Vasalemma Formation, northern EstoniaKröger, Björn; Hints, Linda; Lehnert, OliverFacies2014 / p. 963-986 : ill https://doi.org/10.1007/s10347-014-0410-8 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

19

book article

Agent-oriented enterprise modelling based on business rulesTaveter, Kuldar; Wagner, G.Proceedings of the 20th International Conference on Conceptual Modeling : Yokohama, Japan, November 27-30, 20012001 / ? p

book article

20

book article EST / book article ENG

Agile software engineering methodology for information systems' integration projectsTaveter, Kuldar; Norta, AlexanderFuture Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings2017 / p. 215-230 : ill https://doi.org/10.1007/978-3-319-70004-5_15 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

21

book article EST / book article ENG

AI trustworthiness and persuasive effects in users’ judgmentLewandowska-Tomaszczyk, Barbara; Da Costa Sousa, Sonia ClaudiaCultures, Narratives, and Concepts2025 / p. 281-296 https://link.springer.com/book/10.1007/978-3-031-86158-1 https://doi.org/10.1007/978-3-031-86158-1_16

book article EST / book article ENG

22

book

Algebra, geometry and mathematical physics : AGMP, Mulhouse, France, October 20112014 https://www.ester.ee/record=b4425009*est

book

23

book article EST / book article ENG

Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, NielsProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / p. 186-205 https://doi.org/10.1007/978-3-030-64437-6_10 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

24

book

Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006 : Kuressaare, Estonia, July 2006 : proceedingsJohnson, Michael; Vene, Varmo2006 https://www.ester.ee/record=b2160509*est

book

25

book article EST / book article ENG

Algorithm for finding zero factor free rulesLind, Grete; Kuusik, Rein, inform.Man-Machine Interactions 4 : 4th International Conference on Man-Machine Interactions, ICMMI 2015 Kocierz Pass, Poland, October 6-9, 20152016 / p. 421 - 435 https://doi.org/10.1007/978-3-319-23437-3_36 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Springer (publisher)

types of item