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/225)
Export
export all inquiry results
(2)
Save TXT 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
218
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.
body language cues
19.
C++ programming language
20.
choreography language
21.
computer aided language translation
22.
computer assisted language learning
23.
computer-assisted language learning (CALL)
24.
controlled natural language
25.
cross-language analysis
26.
design language
27.
developmental language disorder
28.
diagrammatic language
29.
domain specific language
30.
English language
31.
Estonian language
32.
FHIR mapping language (FML) editor
33.
foreign language
34.
formal language theory
35.
geography mark-up language (CityGML)
36.
Graph Modeling Language (GML)
37.
lab description language
38.
language
39.
language derivatives
40.
language diarization
41.
language identification
42.
language intelligence
43.
language learning
44.
language modeling
45.
language models
46.
language of driving
47.
language of technology
48.
language processing
49.
language proficiency
50.
Language reform
51.
language returns
52.
language skills
53.
language technology
54.
language theory
55.
large language model (LLM)
56.
Large Language Models
57.
large language models (LLMs)
58.
modeling language
59.
modelling language
60.
multidomain language model
61.
native language
62.
natural language
63.
natural language processing
64.
natural language processing (NLP)
65.
natural language to database interface
66.
natural language understanding
67.
ontology web language
68.
pattern language
69.
Property Specification Language (PSL)
70.
recurrent neural network language model
71.
regular language
72.
Russian language
73.
Russian language minority
74.
Rust language
75.
second language
76.
second language acquisition
77.
semanting parsing the natural language
78.
spoken language recognition
79.
statistical language modeling
80.
structured query language (SQL)
81.
SWRL (Semantic Web Rule Language)
82.
test scenario description language
83.
the Estonian language
84.
unified modelling language (UML)
85.
adoption of smart services
86.
age-friendly smart living environment
87.
disaster resilient smart city
88.
Finest Smart Mobility
89.
mobile smart contracts
90.
precision smart agriculture
91.
regional innovation strategies on smart specialization (RIS3)
92.
security and privacy in smart grids
93.
smart
94.
Smart agriculture
95.
smart and sustainable governance
96.
smart and sustainable mobility
97.
smart appliances
98.
smart applications
99.
smart autonomous devices
100.
Smart Bike
101.
smart bin
102.
smart building
103.
smart buildings
104.
smart cities
105.
smart cities applications
106.
Smart Cities Governance
107.
smart cities standards
108.
smart city
109.
smart city development
110.
smart city governance
111.
smart city initiatives
112.
Smart city policies
113.
smart city projects
114.
smart city suburb
115.
smart city transitions
116.
smart classroom
117.
smart communities
118.
smart container
119.
smart containers
120.
smart contracting
121.
smart contracts
122.
smart control
123.
smart data analytics
124.
smart devices
125.
smart distribution network
126.
smart drainage system
127.
smart droplet
128.
smart dust
129.
smart education
130.
smart elevator
131.
smart energy
132.
smart energy management system (SEMS)
133.
smart energy platform
134.
smart energy services
135.
smart environment
136.
smart factory
137.
smart farming systems
138.
smart functions
139.
smart governance
140.
smart government
141.
smart government (sGov)
142.
smart green cities
143.
smart green energy systems
144.
smart grid
145.
smart grids
146.
smart grids (SG)
147.
smart growth
148.
smart healthcare systems
149.
smart home
150.
smart homes
151.
Smart ID
152.
smart inverters
153.
Smart Labs
154.
smart learning
155.
smart learning environment
156.
smart living environments (SLE)
157.
smart logistics
158.
smart machines
159.
smart manufacturing
160.
smart manufacturing systems
161.
smart materials
162.
smart materials with structural health monitoring capabilities
163.
smart meter
164.
smart meter data
165.
smart metering
166.
smart meters
167.
smart mobility
168.
smart monitoring
169.
smart orthosis
170.
Smart parking
171.
smart perimeter fence systems
172.
smart phones
173.
smart port
174.
smart ports
175.
smart power electronics
176.
smart power grids
177.
smart production
178.
smart readiness indicator
179.
smart rural areas
180.
smart rural development
181.
smart sensors
182.
smart service value (SSV)
183.
smart shipping
184.
smart solutions
185.
smart specialisation
186.
smart specialisation (RIS3)
187.
smart specialization
188.
Smart Specialization Approach
189.
smart specialization strategies (S3)
190.
Smart Specialization Strategy
191.
smart storage
192.
smart stormwater systems
193.
smart substation
194.
smart supply chains
195.
smart sustainable agrivoltaics
196.
smart sustainable cities
197.
smart sustainable city
198.
smart zero carbon city
199.
smart technologies
200.
smart technology
201.
smart thermal grids
202.
smart transformer
203.
smart transport development
204.
smart urban drainage systems
205.
smart urban water systems
206.
smart urbanism
207.
smart waste management system
208.
smart watch
209.
smart village
210.
smart window
211.
smart workplace solutions
212.
smart workstation
213.
smart-bike
214.
smart-bike sensors
215.
Smart-elevator
216.
smart-elevators
217.
smart-grid
218.
'Smart House' System
subject term
4
1.
FinEst Center for Smart Cities
2.
FinEst Smart City
3.
Netexplo Smart Cities, 2020
4.
Smart Load Solutions
author
2
1.
Tallinna Polytechnic Institute, Chair of Foreign Language
2.
Smart Buildings, Loads, and Customer Systems Committee
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