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 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/209)
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
203
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 identification
41.
language intelligence
42.
language learning
43.
language modeling
44.
language models
45.
language of driving
46.
language of technology
47.
language processing
48.
language proficiency
49.
Language reform
50.
language returns
51.
language skills
52.
language technology
53.
language theory
54.
large language model (LLM)
55.
large language models
56.
large language models (LLM)
57.
modeling language
58.
modelling language
59.
multidomain language model
60.
native language
61.
natural language processing
62.
natural language processing (NLP)
63.
natural language understanding
64.
ontology web language
65.
pattern language
66.
Property Specification Language (PSL)
67.
recurrent neural network language model
68.
regular language
69.
Russian language
70.
Russian language minority
71.
Rust language
72.
second language
73.
second language acquisition
74.
semanting parsing the natural language
75.
spoken language recognition
76.
statistical language modeling
77.
structured query language (SQL)
78.
SWRL (Semantic Web Rule Language)
79.
test scenario description language
80.
the Estonian language
81.
unified modelling language (UML)
82.
adoption of smart services
83.
age-friendly smart living environment
84.
disaster resilient smart city
85.
Finest Smart Mobility
86.
mobile smart contracts
87.
precision smart agriculture
88.
regional innovation strategies on smart specialization (RIS3)
89.
security and privacy in smart grids
90.
smart
91.
Smart agriculture
92.
smart and sustainable governance
93.
smart and sustainable mobility
94.
smart appliances
95.
smart applications
96.
smart autonomous devices
97.
Smart Bike
98.
smart bin
99.
smart building
100.
smart buildings
101.
smart cities
102.
smart cities applications
103.
Smart Cities Governance
104.
smart cities standards
105.
smart city
106.
smart city development
107.
Smart city policies
108.
smart city projects
109.
smart city suburb
110.
smart city transitions
111.
smart classroom
112.
smart container
113.
smart contracting
114.
smart contracts
115.
smart data analytics
116.
smart devices
117.
smart distribution network
118.
smart drainage system
119.
smart droplet
120.
smart dust
121.
smart education
122.
smart elevator
123.
smart energy
124.
smart energy management system (SEMS)
125.
smart energy platform
126.
smart energy services
127.
smart environment
128.
smart factory
129.
smart farming systems
130.
smart governance
131.
smart government
132.
smart government (sGov)
133.
smart green cities
134.
smart green energy systems
135.
smart grid
136.
smart grid (SG)
137.
smart grids
138.
smart growth
139.
smart home
140.
smart homes
141.
Smart ID
142.
smart inverters
143.
Smart Labs
144.
smart learning
145.
smart learning environment
146.
smart living environments (SLE)
147.
smart logistics
148.
smart machines
149.
smart manufacturing
150.
smart materials
151.
smart materials with structural health monitoring capabilities
152.
smart meter
153.
smart meter data
154.
smart metering
155.
smart meters
156.
smart mobility
157.
smart orthosis
158.
Smart parking
159.
smart perimeter fence systems
160.
smart phones
161.
smart port
162.
smart power electronics
163.
smart power grids
164.
smart production
165.
smart rural areas
166.
smart rural development
167.
smart sensors
168.
smart service value (SSV)
169.
smart shipping
170.
smart solutions
171.
smart specialisation
172.
smart specialisation (RIS3)
173.
smart specialization
174.
Smart Specialization Approach
175.
smart specialization strategies (S3)
176.
Smart Specialization Strategy
177.
smart storage
178.
smart stormwater systems
179.
smart substation
180.
smart supply chains
181.
smart sustainable agrivoltaics
182.
smart sustainable cities
183.
smart sustainable city
184.
smart zero carbon city
185.
smart technologies
186.
smart technology
187.
smart thermal grids
188.
smart transformer
189.
smart transport development
190.
smart urban drainage systems
191.
smart urban water systems
192.
smart urbanism
193.
smart waste management system
194.
smart village
195.
smart window
196.
smart workplace solutions
197.
smart workstation
198.
smart-bike
199.
smart-bike sensors
200.
Smart-elevator
201.
smart-elevators
202.
smart-grid
203.
'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
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