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
smart contract language (keyword)
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
2
Look more..
(3/178)
Export
export all inquiry results
(2)
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
journal article EST
/
journal article ENG
A formal specification smart-contract language for legally binding decentralized autonomous organizations
Dwivedi, Vimal Kumar
;
Norta, Alexander
;
Wulf, Alexander
;
Leiding, Benjamin
;
Saxena, Sandeep
;
Udokwu, Chibuzor
IEEE Access
2021
/
p. 76069−76082 : ill
https://doi.org/10.1109/ACCESS.2021.3081926
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
2
journal article EST
/
journal article ENG
Legally enforceable smart-contract languages : a systematic literature review
Dwivedi, Vimal Kumar
;
Pattanaik, Vishwajeet
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
;
Draheim, Dirk
ACM computing surveys
2022
/
art. 3453475, p. 1–34
https://doi.org/10.1145/3453475
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
Number of records 2, displaying
1 - 2
keyword
173
1.
smart contract language
2.
hybrid smart-contract agreement
3.
smart contract
4.
contract for difference (CfD)
5.
contract specificity
6.
contract workforce
7.
contract-based design
8.
Design-by-Contract
9.
life cycle contract
10.
maritime energy contract
11.
psychological contract
12.
ricardian contract
13.
temporal contract
14.
American Sign Language (ASL)
15.
Arabic language
16.
atom of regular language
17.
body language
18.
C++ programming language
19.
choreography language
20.
computer assisted language learning
21.
computer-assisted language learning (CALL)
22.
controlled natural language
23.
cross-language analysis
24.
design language
25.
developmental language disorder
26.
diagrammatic language
27.
domain specific language
28.
English language
29.
Estonian language
30.
foreign language
31.
formal language theory
32.
geography mark-up language (CityGML)
33.
Graph Modeling Language (GML)
34.
lab description language
35.
language
36.
language derivatives
37.
language identification
38.
language intelligence
39.
language modeling
40.
language of driving
41.
language of technology
42.
language processing
43.
language proficiency
44.
Language reform
45.
language returns
46.
language skills
47.
language technology
48.
modeling language
49.
modelling language
50.
multidomain language model
51.
native language
52.
natural language processing
53.
natural language processing (NLP)
54.
natural language understanding
55.
ontology web language
56.
pattern language
57.
Property Specification Language (PSL)
58.
recurrent neural network language model
59.
regular language
60.
Russian language
61.
Russian language minority
62.
Rust language
63.
second language
64.
second language acquisition
65.
semanting parsing the natural language
66.
spoken language recognition
67.
statistical language modeling
68.
structured query language (SQL)
69.
SWRL (Semantic Web Rule Language)
70.
test scenario description language
71.
the Estonian language
72.
unified modelling language (UML)
73.
adoption of smart services
74.
age-friendly smart living environment
75.
disaster resilient smart city
76.
Finest Smart Mobility
77.
mobile smart contracts
78.
regional innovation strategies on smart specialization (RIS3)
79.
security and privacy in smart grids
80.
smart
81.
Smart agriculture
82.
smart and sustainable governance
83.
smart appliances
84.
smart applications
85.
smart autonomous devices
86.
Smart Bike
87.
smart bin
88.
smart building
89.
smart buildings
90.
smart cities
91.
smart city
92.
smart city development
93.
Smart city policies
94.
smart city transitions
95.
smart classroom
96.
smart contracting
97.
smart contracts
98.
smart data analytics
99.
smart devices
100.
smart distribution network
101.
smart drainage system
102.
smart droplet
103.
smart dust
104.
smart education
105.
smart elevator
106.
smart energy
107.
smart energy management system (SEMS)
108.
smart energy platform
109.
smart energy services
110.
smart environment
111.
smart factory
112.
smart farming systems
113.
smart governance
114.
smart government (sGov)
115.
smart green energy systems
116.
smart grid
117.
smart grid (SG)
118.
smart grids
119.
smart growth
120.
smart home
121.
smart homes
122.
smart inverters
123.
Smart Labs
124.
smart learning
125.
smart learning environment
126.
smart living environments (SLE)
127.
smart logistics
128.
smart machines
129.
smart manufacturing
130.
smart materials
131.
smart materials with structural health monitoring capabilities
132.
smart meter
133.
smart meter data
134.
smart metering
135.
smart meters
136.
smart mobility
137.
smart orthosis
138.
Smart parking
139.
smart perimeter fence systems
140.
smart phones
141.
smart port
142.
smart power electronics
143.
smart production
144.
smart rural areas
145.
smart rural development
146.
smart sensors
147.
smart shipping
148.
smart solutions
149.
smart specialisation
150.
smart specialisation (RIS3)
151.
smart specialization
152.
Smart Specialization Approach
153.
smart specialization strategies (S3)
154.
Smart Specialization Strategy
155.
smart storage
156.
smart substation
157.
smart supply chains
158.
smart sustainable agrivoltaics
159.
smart sustainable cities
160.
smart sustainable city
161.
smart zero carbon city
162.
smart technology
163.
smart thermal grids
164.
smart transformer
165.
smart transport development
166.
smart urban drainage systems
167.
smart urban water systems
168.
smart waste management system
169.
smart village
170.
smart workstation
171.
smart-bike sensors
172.
Smart-elevator
173.
smart-grid
subject term
4
1.
FinEst Center for Smart Cities
2.
FinEst Smart City
3.
Netexplo Smart Cities, 2020
4.
Smart Load Solutions
author
1
1.
Tallinna Polytechnic Institute, Chair of Foreign Language
×
vaste
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