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