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 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/186)
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
181
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 energy systems
120.
smart grid
121.
smart grid (SG)
122.
smart grids
123.
smart growth
124.
smart home
125.
smart homes
126.
Smart ID
127.
smart inverters
128.
Smart Labs
129.
smart learning
130.
smart learning environment
131.
smart living environments (SLE)
132.
smart logistics
133.
smart machines
134.
smart manufacturing
135.
smart materials
136.
smart materials with structural health monitoring capabilities
137.
smart meter
138.
smart meter data
139.
smart metering
140.
smart meters
141.
smart mobility
142.
smart orthosis
143.
Smart parking
144.
smart perimeter fence systems
145.
smart phones
146.
smart port
147.
smart power electronics
148.
smart power grids
149.
smart production
150.
smart rural areas
151.
smart rural development
152.
smart sensors
153.
smart shipping
154.
smart solutions
155.
smart specialisation
156.
smart specialisation (RIS3)
157.
smart specialization
158.
Smart Specialization Approach
159.
smart specialization strategies (S3)
160.
Smart Specialization Strategy
161.
smart storage
162.
smart substation
163.
smart supply chains
164.
smart sustainable agrivoltaics
165.
smart sustainable cities
166.
smart sustainable city
167.
smart zero carbon city
168.
smart technology
169.
smart thermal grids
170.
smart transformer
171.
smart transport development
172.
smart urban drainage systems
173.
smart urban water systems
174.
smart urbanism
175.
smart waste management system
176.
smart village
177.
smart window
178.
smart workstation
179.
smart-bike sensors
180.
Smart-elevator
181.
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