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