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