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
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
Add criteria
Advanced 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/231)
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
224
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 infrastructure
117.
smart city initiatives
118.
Smart city policies
119.
smart city projects
120.
smart city suburb
121.
smart city transitions
122.
smart classroom
123.
smart communities
124.
smart container
125.
smart containers
126.
smart contracting
127.
smart contracts
128.
smart control
129.
smart data analytics
130.
smart devices
131.
smart distribution network
132.
smart drainage system
133.
smart droplet
134.
smart dust
135.
smart education
136.
smart elevator
137.
smart energy
138.
smart energy management system (SEMS)
139.
smart energy platform
140.
smart energy services
141.
smart environment
142.
smart factory
143.
smart farming systems
144.
smart functions
145.
smart governance
146.
smart government
147.
smart government (sGov)
148.
smart green cities
149.
smart green energy systems
150.
smart grid
151.
smart grids
152.
smart grids (SG)
153.
smart growth
154.
smart healthcare systems
155.
smart home
156.
smart homes
157.
Smart ID
158.
smart inverters
159.
Smart Labs
160.
smart learning
161.
smart learning environment
162.
smart living environments (SLE)
163.
smart logistics
164.
smart machines
165.
smart manufacturing
166.
smart manufacturing systems
167.
smart materials
168.
smart materials with structural health monitoring capabilities
169.
smart meter
170.
smart meter data
171.
smart metering
172.
smart meters
173.
smart mobility
174.
smart monitoring
175.
smart orthosis
176.
Smart parking
177.
smart perimeter fence systems
178.
smart phones
179.
smart port
180.
smart ports
181.
smart power electronics
182.
smart power grids
183.
smart production
184.
smart readiness indicator
185.
smart rural areas
186.
smart rural development
187.
smart sensors
188.
smart service value (SSV)
189.
smart shipping
190.
smart solutions
191.
smart specialisation
192.
smart specialisation (RIS3)
193.
smart specialization
194.
Smart Specialization Approach
195.
smart specialization strategies (S3)
196.
Smart Specialization Strategy
197.
smart storage
198.
smart stormwater systems
199.
smart substation
200.
smart supply chains
201.
smart sustainable agrivoltaics
202.
smart sustainable cities
203.
smart sustainable city
204.
smart zero carbon city
205.
smart technologies
206.
smart technology
207.
smart thermal grids
208.
smart transformer
209.
smart transport development
210.
smart urban drainage systems
211.
smart urban water systems
212.
smart urbanism
213.
smart waste management system
214.
smart watch
215.
smart village
216.
smart window
217.
smart workplace solutions
218.
smart workstation
219.
smart-bike
220.
smart-bike sensors
221.
Smart-elevator
222.
smart-elevators
223.
smart-grid
224.
'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