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
Advanced search
My bookmarks
0
smart contract language (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
2
Look more..
(4/204)
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
Related publications
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
Related publications
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
198
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 aided language translation
21.
computer assisted language learning
22.
computer-assisted language learning (CALL)
23.
controlled natural language
24.
cross-language analysis
25.
design language
26.
developmental language disorder
27.
diagrammatic language
28.
domain specific language
29.
English language
30.
Estonian language
31.
FHIR mapping language (FML) editor
32.
foreign language
33.
formal language theory
34.
geography mark-up language (CityGML)
35.
Graph Modeling Language (GML)
36.
lab description language
37.
language
38.
language derivatives
39.
language identification
40.
language intelligence
41.
language learning
42.
language modeling
43.
language models
44.
language of driving
45.
language of technology
46.
language processing
47.
language proficiency
48.
Language reform
49.
language returns
50.
language skills
51.
language technology
52.
language theory
53.
large language models
54.
large language models (LLM)
55.
modeling language
56.
modelling language
57.
multidomain language model
58.
native language
59.
natural language processing
60.
natural language processing (NLP)
61.
natural language understanding
62.
ontology web language
63.
pattern language
64.
Property Specification Language (PSL)
65.
recurrent neural network language model
66.
regular language
67.
Russian language
68.
Russian language minority
69.
Rust language
70.
second language
71.
second language acquisition
72.
semanting parsing the natural language
73.
spoken language recognition
74.
statistical language modeling
75.
structured query language (SQL)
76.
SWRL (Semantic Web Rule Language)
77.
test scenario description language
78.
the Estonian language
79.
unified modelling language (UML)
80.
adoption of smart services
81.
age-friendly smart living environment
82.
disaster resilient smart city
83.
Finest Smart Mobility
84.
mobile smart contracts
85.
precision smart agriculture
86.
regional innovation strategies on smart specialization (RIS3)
87.
security and privacy in smart grids
88.
smart
89.
Smart agriculture
90.
smart and sustainable governance
91.
smart and sustainable mobility
92.
smart appliances
93.
smart applications
94.
smart autonomous devices
95.
Smart Bike
96.
smart bin
97.
smart building
98.
smart buildings
99.
smart cities
100.
Smart Cities Governance
101.
smart city
102.
smart city development
103.
Smart city policies
104.
smart city projects
105.
smart city suburb
106.
smart city transitions
107.
smart classroom
108.
smart container
109.
smart contracting
110.
smart contracts
111.
smart data analytics
112.
smart devices
113.
smart distribution network
114.
smart drainage system
115.
smart droplet
116.
smart dust
117.
smart education
118.
smart elevator
119.
smart energy
120.
smart energy management system (SEMS)
121.
smart energy platform
122.
smart energy services
123.
smart environment
124.
smart factory
125.
smart farming systems
126.
smart governance
127.
smart government
128.
smart government (sGov)
129.
smart green cities
130.
smart green energy systems
131.
smart grid
132.
smart grid (SG)
133.
smart grids
134.
smart growth
135.
smart home
136.
smart homes
137.
Smart ID
138.
smart inverters
139.
Smart Labs
140.
smart learning
141.
smart learning environment
142.
smart living environments (SLE)
143.
smart logistics
144.
smart machines
145.
smart manufacturing
146.
smart materials
147.
smart materials with structural health monitoring capabilities
148.
smart meter
149.
smart meter data
150.
smart metering
151.
smart meters
152.
smart mobility
153.
smart orthosis
154.
Smart parking
155.
smart perimeter fence systems
156.
smart phones
157.
smart port
158.
smart power electronics
159.
smart power grids
160.
smart production
161.
smart rural areas
162.
smart rural development
163.
smart sensors
164.
smart service value (SSV)
165.
smart shipping
166.
smart solutions
167.
smart specialisation
168.
smart specialisation (RIS3)
169.
smart specialization
170.
Smart Specialization Approach
171.
smart specialization strategies (S3)
172.
Smart Specialization Strategy
173.
smart storage
174.
smart stormwater systems
175.
smart substation
176.
smart supply chains
177.
smart sustainable agrivoltaics
178.
smart sustainable cities
179.
smart sustainable city
180.
smart zero carbon city
181.
smart technologies
182.
smart technology
183.
smart thermal grids
184.
smart transformer
185.
smart transport development
186.
smart urban drainage systems
187.
smart urban water systems
188.
smart urbanism
189.
smart waste management system
190.
smart village
191.
smart window
192.
smart workplace solutions
193.
smart workstation
194.
smart-bike
195.
smart-bike sensors
196.
Smart-elevator
197.
smart-elevators
198.
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
TalTech department
1
1.
FinEst Centre for Smart Cities
×
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