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

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

3

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

4

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

5

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

6

book article EST / book article ENG

A textual domain specific language for user interface modellingKaru, MartEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 985-996 https://doi.org/10.1007/978-1-4614-3558-7_84 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

7

book article

A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 https://doi.org/10.1007/978-3-319-25579-8_20

book article

8

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

9

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

10

book article

A versioning subsystem of metamodeling systemSgirka, RünnoInnovations and advances in computer, information, systems sciences, and engineering2013 / p. 305-317

book article

11

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

12

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

13

journal article EST / journal article ENG

Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, DianaApplied 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

14

book article

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

book article

15

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

16

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

17

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

18

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

19

book article

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

book article

20

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

21

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

22

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

23

book

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

book

24

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

25

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

Springer (publisher)

types of item