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