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