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