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