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/202)
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
196
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 appliances
92.
smart applications
93.
smart autonomous devices
94.
Smart Bike
95.
smart bin
96.
smart building
97.
smart buildings
98.
smart cities
99.
Smart Cities Governance
100.
smart city
101.
smart city development
102.
Smart city policies
103.
smart city projects
104.
smart city suburb
105.
smart city transitions
106.
smart classroom
107.
smart container
108.
smart contracting
109.
smart contracts
110.
smart data analytics
111.
smart devices
112.
smart distribution network
113.
smart drainage system
114.
smart droplet
115.
smart dust
116.
smart education
117.
smart elevator
118.
smart energy
119.
smart energy management system (SEMS)
120.
smart energy platform
121.
smart energy services
122.
smart environment
123.
smart factory
124.
smart farming systems
125.
smart governance
126.
smart government
127.
smart government (sGov)
128.
smart green cities
129.
smart green energy systems
130.
smart grid
131.
smart grid (SG)
132.
smart grids
133.
smart growth
134.
smart home
135.
smart homes
136.
Smart ID
137.
smart inverters
138.
Smart Labs
139.
smart learning
140.
smart learning environment
141.
smart living environments (SLE)
142.
smart logistics
143.
smart machines
144.
smart manufacturing
145.
smart materials
146.
smart materials with structural health monitoring capabilities
147.
smart meter
148.
smart meter data
149.
smart metering
150.
smart meters
151.
smart mobility
152.
smart orthosis
153.
Smart parking
154.
smart perimeter fence systems
155.
smart phones
156.
smart port
157.
smart power electronics
158.
smart power grids
159.
smart production
160.
smart rural areas
161.
smart rural development
162.
smart sensors
163.
smart service value (SSV)
164.
smart shipping
165.
smart solutions
166.
smart specialisation
167.
smart specialisation (RIS3)
168.
smart specialization
169.
Smart Specialization Approach
170.
smart specialization strategies (S3)
171.
Smart Specialization Strategy
172.
smart storage
173.
smart stormwater systems
174.
smart substation
175.
smart supply chains
176.
smart sustainable agrivoltaics
177.
smart sustainable cities
178.
smart sustainable city
179.
smart zero carbon city
180.
smart technology
181.
smart thermal grids
182.
smart transformer
183.
smart transport development
184.
smart urban drainage systems
185.
smart urban water systems
186.
smart urbanism
187.
smart waste management system
188.
smart village
189.
smart window
190.
smart workplace solutions
191.
smart workstation
192.
smart-bike
193.
smart-bike sensors
194.
Smart-elevator
195.
smart-elevators
196.
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