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/180)
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
175
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 transitions
96.
smart classroom
97.
smart contracting
98.
smart contracts
99.
smart data analytics
100.
smart devices
101.
smart distribution network
102.
smart drainage system
103.
smart droplet
104.
smart dust
105.
smart education
106.
smart elevator
107.
smart energy
108.
smart energy management system (SEMS)
109.
smart energy platform
110.
smart energy services
111.
smart environment
112.
smart factory
113.
smart farming systems
114.
smart governance
115.
smart government (sGov)
116.
smart green energy systems
117.
smart grid
118.
smart grid (SG)
119.
smart grids
120.
smart growth
121.
smart home
122.
smart homes
123.
smart inverters
124.
Smart Labs
125.
smart learning
126.
smart learning environment
127.
smart living environments (SLE)
128.
smart logistics
129.
smart machines
130.
smart manufacturing
131.
smart materials
132.
smart materials with structural health monitoring capabilities
133.
smart meter
134.
smart meter data
135.
smart metering
136.
smart meters
137.
smart mobility
138.
smart orthosis
139.
Smart parking
140.
smart perimeter fence systems
141.
smart phones
142.
smart port
143.
smart power electronics
144.
smart production
145.
smart rural areas
146.
smart rural development
147.
smart sensors
148.
smart shipping
149.
smart solutions
150.
smart specialisation
151.
smart specialisation (RIS3)
152.
smart specialization
153.
Smart Specialization Approach
154.
smart specialization strategies (S3)
155.
Smart Specialization Strategy
156.
smart storage
157.
smart substation
158.
smart supply chains
159.
smart sustainable agrivoltaics
160.
smart sustainable cities
161.
smart sustainable city
162.
smart zero carbon city
163.
smart technology
164.
smart thermal grids
165.
smart transformer
166.
smart transport development
167.
smart urban drainage systems
168.
smart urban water systems
169.
smart urbanism
170.
smart waste management system
171.
smart village
172.
smart workstation
173.
smart-bike sensors
174.
Smart-elevator
175.
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