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
Arvutiteadus. Tarkvara (category)
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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
304
Look more..
(2/96)
Export
export all inquiry results
(304)
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
26
book article EST
/
book article ENG
A Categorical semantics for bounded Petri Nets
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
2021
/
15 p
https://doi.org/10.48550/arXiv.2101.09100
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
27
book article EST
/
book article ENG
Categorical semantics for functional reactive programming with temporal recursion and corecursion
Jeltsch, Wolfgang
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 127-142 : ill
https://doi.org/10.4204/EPTCS.153.9
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
28
book article EST
/
book article ENG
A categorical semantics for hierarchical Petri Nets
Genovese, Fabrizio
;
Herold, Jelle
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 2021
2021
/
p. 51−68
https://doi.org/10.48550/arXiv.2102.00096
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
29
journal article EST
/
journal article ENG
Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
p. 253–265
https://doi.org/10.1007/s11334-019-00347-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
30
book article EST
/
book article ENG
Citizen-oriented digital transformation in the public sector
Mergel, Ines
;
Kattel, Rainer
;
Lember, Veiko
;
McBride, Keegan David Braun
dg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 2018
2018
/
art. 122, 3 p
https://doi.org/10.1145/3209281.3209294
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
31
book article EST
/
book article ENG
Citizens' readiness for proactive public services : a case study from Azerbaijan
Khasmammadli, Gasim
;
Erlenheim, Regina
ICEGOV '22 : proceedings of the 15th International Conference on Theory and Practice of Electronic Governance
2022
/
p. 408-415 : ill
https://doi.org/10.1145/3560107.3560170
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
32
book article EST
/
book article ENG
Clearing the existing fog over the smart sustainable city concept: highlighting the importance of governance
Schuch de Azambuja, Luiza
;
Pereira, Gabriela Viale
;
Krimmer, Robert Johannes
Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference
2020
/
p. 628–637
https://doi.org/10.1145/3428502.3428595
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine
33
book article EST
/
book article ENG
Coherence for skew-monoidal categories
Uustalu, Tarmo
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 68-77
https://doi.org/10.4204/EPTCS.153.5
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
34
book article EST
/
book article ENG
Coinductive big-step semantics for concurrency
Uustalu, Tarmo
Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013
2013
/
p. 63-78
https://doi.org/10.4204/EPTCS.137.6
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
35
book article EST
/
book article ENG
Collages of string diagrams
Braithwaite, Dylan
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 39-53
https://doi.org/10.4204/EPTCS.397.3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
36
book article EST
/
book article ENG
A combined method for error and complexity reduction in fuzzy rule-based classification
Riid, Andri
;
Preden, Jürgo-Sören
IEEE International Conference on Fuzzy Systems : August 2-5, 2015, Istanbul, Turkey
2015
/
[6] p. : ill
https://doi.org/10.1109/FUZZ-IEEE.2015.7337806
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
37
book article EST
/
book article ENG
Commercial property tokenizing with smart contracts
Norta, Alexander
;
Fernandez, Chad
;
Hickmott, Stefan
2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings
2018
/
p. 4801-4808
https://doi.org/10.1109/IJCNN.2018.8489534
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
38
book article EST
/
book article ENG
CommunityCare : tackling mental health issues with the help of community
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Draheim, Dirk
iiWAS2020 : The 22st International Conference on Information Integration and Web-based Applications & Services, November 30 - December 2, 2020, Chiang Mai, Thailand : [Proceedings]
2020
/
art. 3429114, p. 377-382
https://doi.org/10.1145/3428757.3429114
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
39
journal article EST
/
journal article ENG
Comparing security levels of postal and Internet voting
Vakarjuk, Jelizaveta
;
Snetkov, Nikita
;
Willemson, Jan
Information Security Journal
2024
https://doi.org/10.1080/19393555.2024.2410332
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
40
book article EST
/
book article ENG
Completeness for categories of generalized automata
Boccali, Guido
;
Laretto, Andrea
;
Loregian, Fosco
;
Luneia, Stefano
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 2023
2023
/
art. 20, 14 p. : ill
https://doi.org/10.4230/LIPIcs.CALCO.2023.20
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
41
book article EST
/
book article ENG
Compositional modelling of network games
Di Lavore, Elena
;
Hedges, Jules
;
Sobocinski, Pawel Maria
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)
2021
/
art. 30, p. 30:1–30:24 : ill
https://doi.org/10.4230/LIPIcs.CSL.2021.30
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
42
book article EST
/
book article ENG
Computational intelligence approach for estimation of vehicle insurancere risk level
Vassiljeva, Kristina
;
Tepljakov, Aleksei
;
Petlenkov, Eduard
;
Netšajev, Eduard
2017 International Joint Conference on Neural Networks (IJCNN 2017) : Anchorage, Alaska, USA, 14-19 May 2017
2017
/
p. 4073-4078 : ill
https://doi.org/10.1109/IJCNN.2017.7966370
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
43
book article EST
/
book article ENG
Conceptual challenges of researching Artificial Intelligence in public administrations
Noordt, Colin Pascal van
23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings
2022
/
p. 183-190
https://doi.org/10.1145/3543434.3543441
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Public value creation with Artificial Intelligence technologies in public administration = Avaliku väärtuse loomine tehisintellekti tehnoloogiatega avalikus halduses
44
book article EST
/
book article ENG
Conflict-resolution lifecycles for governed decentralized autonomous organization collaboration
Norta, Alexander
;
Othman, Anis Ben
;
Taveter, Kuldar
EGOSE '15 : proceedings of the 2015 2nd International Conference on Electronic Governance and Open Society : Challenges in Eurasia : November 24-25, 2015, St.Petersburg, Russian Federation
2015
/
p. 244-257 : ill
https://doi.org/10.1145/2846012.2846052
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
45
book article EST
/
book article ENG
Constructive final semantics of finite bags
Joram, Philipp
;
Veltri, Niccolò
14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023
2023
/
art. 20, 19 p
https://doi.org/10.4230/LIPIcs.ITP.2023.20
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
46
journal article EST
/
journal article ENG
Contrastive Learning for Lane Detection via cross-similarity
Zoljodi, Ali
;
Abadijou, Sadegh
;
Alibeigi, Mina
;
Daneshtalab, Masoud
Pattern Recognition Letters
2024
/
p. 175-183 : ill
https://doi.org/10.1016/j.patrec.2024.08.007
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
47
book article EST
/
book article ENG
Contributing to a digital single market for Europe: barriers and drivers of an EU-wide once-only principle
Kalvet, Tarmo
;
Toots, Maarja
;
Krimmer, Robert Johannes
dg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 2018
2018
/
Article No. 45, 8 p
https://doi.org/10.1145/3209281.3209344
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
48
journal article EST
/
journal article ENG
A coordinated strategy for multi-machine power system stability
Ghasemi-Marzbali, Ali
;
Ahmadiahangar, Roya
Applied Soft Computing
2021
/
art. 07742, 16 p. : ill
https://doi.org/10.1016/j.asoc.2021.107742
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
49
book article EST
/
book article ENG
Cornering optics
Boisseau, Guillaume
;
Nester, Chad Mitchell
;
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 97-110 : ill
https://doi.org/10.4204/EPTCS.380.6
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
50
journal article EST
/
journal article ENG
Create your own MUSE : a method for updating security level evaluation instruments
Seeba, Mari
;
Affia, Abasi-amefon Obot
;
Mäses, Sten
;
Matulevičius, Raimundas
Computer Standards and Interface
2024
/
art. 103776
https://doi.org/10.1016/j.csi.2023.103776
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 304, displaying
26 - 50
previous
1
2
3
4
5
6
7
8
9
10
next
subject term
95
1.
arvutiteadus
2.
Access (tarkvara)
3.
Adobe Acrobat (tarkvara)
4.
Adobe Audition (tarkvara)
5.
Android (tarkvara)
6.
ANP3 (tarkvara)
7.
Apache (tarkvara)
8.
APLAC (tarkvara)
9.
ARIS-tarkvara
10.
Audacity (tarkvara)
11.
AutoCAD (tarkvara)
12.
CADS Planner Electric (tarkvara)
13.
CDS/ISIS (tarkvara)
14.
ChiWriter (tarkvara)
15.
CODESSA PRO (tarkvara)
16.
DataFlex (tarkvara)
17.
dBASE (tarkvara)
18.
DDMF (tarkvara)
19.
DOS (tarkvara)
20.
Dr. Halo (tarkvara)
21.
DrifterTrack (veebipõhine tarkvara)
22.
ECADE (tarkvara)
23.
ERP (tarkvara)
24.
Ethereum (tarkvara)
25.
Excel (tarkvara)
26.
Excelerator (tarkvara)
27.
ExpertPRIZ (tarkvara)
28.
Flash (tarkvara)
29.
FoxPro (tarkvara)
30.
Gamemaker (tarkvara)
31.
GNU Octave (tarkvara)
32.
Google (tarkvara)
33.
Internet Explorer (tarkvara)
34.
InTouch (tarkvara)
35.
JADE (tarkvara)
36.
Kalman (tarkvara)
37.
LabVIEW (tarkvara)
38.
Linux (tarkvara)
39.
Lotus 1-2-3 (tarkvara)
40.
MapInfo (tarkvara)
41.
Mathcad (tarkvara)
42.
Mathematica (tarkvara)
43.
MATLAB (tarkvara)
44.
MICROPRIZ (tarkvara)
45.
Microsoft Office (tarkvara)
46.
Microstation (tarkvara)
47.
Moodle (tarkvara)
48.
MS-DOS (tarkvara)
49.
Multiplan (tarkvara)
50.
NcCAD (tarkvara)
51.
Norton Commander (tarkvara)
52.
NUT (tarkvara)
53.
NX (tarkvara)
54.
OS (tarkvara)
55.
OS/2 (tarkvara)
56.
OS-RV (tarkvara)
57.
Paintbrush (tarkvara)
58.
Paradox (tarkvara)
59.
PARES (tarkvara)
60.
PC Tools (tarkvara)
61.
PFS: First Publisher (tarkvara)
62.
POISK (tarkvara)
63.
PowerPoint (tarkvara)
64.
PRIZ (tarkvara)
65.
Progress (tarkvara)
66.
PSpice (tarkvara)
67.
Quattro Pro (tarkvara)
68.
Revit MEP (tarkvara)
69.
Simulant (tarkvara)
70.
SIMULINK (tarkvara)
71.
Skype (tarkvara)
72.
Solid Edge (tarkvara)
73.
SolidWorks (tarkvara)
74.
sotsiaalne tarkvara
75.
SPADE (tarkvara)
76.
SPICE (tarkvara)
77.
SPRINT (tarkvara)
78.
SQL Server (tarkvara)
79.
SuperCalc (tarkvara)
80.
tarkvara
81.
tarkvara projekteerimine
82.
Tarkvara Tehnoloogia Arenduskeskus
83.
tarkvara-arendusvahendid
84.
TRANZ-TRAN (tarkvara)
85.
Turbo Pascal (tarkvara)
86.
Turbo Tester (tarkvara)
87.
UNIX (tarkvara)
88.
vaba tarkvara
89.
VASP (tarkvara)
90.
Windows (tarkvara)
91.
Visual Basic (tarkvara)
92.
VM/ESA (tarkvara)
93.
Word (tarkvara)
94.
WordPerfect (tarkvara)
95.
WordStar (tarkvara)
keyword
1
1.
tarkvara
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT