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
TTÜ subject term
TTÜ 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)
starts with
containes
exact match
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
TTÜ subject term
TTÜ 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)
starts with
containes
exact match
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
TTÜ subject term
TTÜ 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)
starts with
containes
exact match
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
TTÜ subject term
TTÜ 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)
starts with
containes
exact match
—
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
TTÜ subject term
TTÜ 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)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(3/190)
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
Seotud publikatsioonid
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
Seotud publikatsioonid
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
185
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.
C++ programming language
19.
choreography language
20.
computer assisted language learning
21.
computer-assisted language learning (CALL)
22.
controlled natural language
23.
cross-language analysis
24.
design language
25.
developmental language disorder
26.
diagrammatic language
27.
domain specific language
28.
English language
29.
Estonian language
30.
foreign language
31.
formal language theory
32.
geography mark-up language (CityGML)
33.
Graph Modeling Language (GML)
34.
lab description language
35.
language
36.
language derivatives
37.
language identification
38.
language intelligence
39.
language modeling
40.
language of driving
41.
language of technology
42.
language processing
43.
language proficiency
44.
Language reform
45.
language returns
46.
language skills
47.
language technology
48.
modeling language
49.
modelling language
50.
multidomain language model
51.
native language
52.
natural language processing
53.
natural language processing (NLP)
54.
natural language understanding
55.
ontology web language
56.
pattern language
57.
Property Specification Language (PSL)
58.
recurrent neural network language model
59.
regular language
60.
Russian language
61.
Russian language minority
62.
Rust language
63.
second language
64.
second language acquisition
65.
semanting parsing the natural language
66.
spoken language recognition
67.
statistical language modeling
68.
structured query language (SQL)
69.
SWRL (Semantic Web Rule Language)
70.
test scenario description language
71.
the Estonian language
72.
unified modelling language (UML)
73.
adoption of smart services
74.
age-friendly smart living environment
75.
disaster resilient smart city
76.
Finest Smart Mobility
77.
mobile smart contracts
78.
regional innovation strategies on smart specialization (RIS3)
79.
security and privacy in smart grids
80.
smart
81.
Smart agriculture
82.
smart and sustainable governance
83.
smart appliances
84.
smart applications
85.
smart autonomous devices
86.
Smart Bike
87.
smart bin
88.
smart building
89.
smart buildings
90.
smart cities
91.
Smart Cities Governance
92.
smart city
93.
smart city development
94.
Smart city policies
95.
smart city projects
96.
smart city transitions
97.
smart classroom
98.
smart container
99.
smart contracting
100.
smart contracts
101.
smart data analytics
102.
smart devices
103.
smart distribution network
104.
smart drainage system
105.
smart droplet
106.
smart dust
107.
smart education
108.
smart elevator
109.
smart energy
110.
smart energy management system (SEMS)
111.
smart energy platform
112.
smart energy services
113.
smart environment
114.
smart factory
115.
smart farming systems
116.
smart governance
117.
smart government
118.
smart government (sGov)
119.
smart green cities
120.
smart green energy systems
121.
smart grid
122.
smart grid (SG)
123.
smart grids
124.
smart growth
125.
smart home
126.
smart homes
127.
Smart ID
128.
smart inverters
129.
Smart Labs
130.
smart learning
131.
smart learning environment
132.
smart living environments (SLE)
133.
smart logistics
134.
smart machines
135.
smart manufacturing
136.
smart materials
137.
smart materials with structural health monitoring capabilities
138.
smart meter
139.
smart meter data
140.
smart metering
141.
smart meters
142.
smart mobility
143.
smart orthosis
144.
Smart parking
145.
smart perimeter fence systems
146.
smart phones
147.
smart port
148.
smart power electronics
149.
smart power grids
150.
smart production
151.
smart rural areas
152.
smart rural development
153.
smart sensors
154.
smart service value (SSV)
155.
smart shipping
156.
smart solutions
157.
smart specialisation
158.
smart specialisation (RIS3)
159.
smart specialization
160.
Smart Specialization Approach
161.
smart specialization strategies (S3)
162.
Smart Specialization Strategy
163.
smart storage
164.
smart stormwater systems
165.
smart substation
166.
smart supply chains
167.
smart sustainable agrivoltaics
168.
smart sustainable cities
169.
smart sustainable city
170.
smart zero carbon city
171.
smart technology
172.
smart thermal grids
173.
smart transformer
174.
smart transport development
175.
smart urban drainage systems
176.
smart urban water systems
177.
smart urbanism
178.
smart waste management system
179.
smart village
180.
smart window
181.
smart workstation
182.
smart-bike
183.
smart-bike sensors
184.
Smart-elevator
185.
smart-grid
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
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT