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
legal relevance (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 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
3
Look more..
(2/54)
Export
export all inquiry results
(3)
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
book article EST
/
book article ENG
Formal-verification of smart-contract languages : a survey
Dwivedi, Vimal Kumar
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
2019
/
p. 738-747
https://doi.org/10.1007/978-981-13-9942-8_68
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
2
book article EST
/
book article ENG
Preventing data-security breaches and patient-safety risks in cross-blockchain e-healthcare systems
Kormiltsõn, Aleksandr
;
Norta, Alex
;
Nisar, Sanam
;
Dwivedi, Vimal
Management of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023, Revised Selected Papers
2024
/
p. 41-54
https://doi.org/10.1007/978-3-031-51643-6_4
Conference proceedings at scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
3
journal article EST
/
journal article ENG
Towards user-centered and legally relevant smart-contract development : a systematic literature review
Dixit, Abhishek
;
Deval, Vipin
;
Dwivedi, Vimal Kumar
;
Draheim, Dirk
Journal of Industrial Information Integration
2022
/
art. 100314 ; 18 p
https://doi.org/10.1016/j.jii.2021.100314
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 3, displaying
1 - 3
keyword
52
1.
legal relevance
2.
research relevance
3.
automatization of legal professions
4.
commercial legal protection
5.
consumer centred legal drafting
6.
European legal system
7.
Georgian legal system
8.
grammar of legal text
9.
international legal responsibility
10.
international legal standards
11.
legal
12.
Legal acts
13.
legal agenthood
14.
legal algorithms
15.
legal aspects of computing
16.
legal certainty
17.
legal classification
18.
legal compensation
19.
legal decision-making
20.
legal decisions
21.
legal definition
22.
legal deposit
23.
legal design
24.
legal design standards
25.
legal disputes
26.
legal engineering
27.
legal environment
28.
legal equality
29.
legal father
30.
legal forms
31.
legal framework
32.
legal framework for e-Governance
33.
legal frameworks
34.
legal international organizations
35.
legal order
36.
legal personhood
37.
legal positivism
38.
legal professional privilege
39.
legal recognition
40.
Legal regulation
41.
legal representation
42.
legal status of capital city
43.
legal system
44.
legal technology
45.
legal text levels
46.
legal usability
47.
legal usability (UX)
48.
legal usability factors
49.
mutual legal assistance
50.
Scandinavian legal culture
51.
techno-legal methodology
52.
the EU’s legal profile
subject term
2
1.
Legal Design Summit
2.
TalTech Legal Lab
×
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