Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Tan Duong

Nhat Tan Duong – Duong Nhat Tan

> Home > Persons

Person information

affiliation: Hanoi University of Science and Technology, Hanoi, Vietnam

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaDL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaDL21
Rocco De Nicola, Tan Duong, Michele Loreti:
Provably correct implementation of the AbC calculus. Sci. Comput. Program. 202: 102567 (2021)
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaDIT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaDIT18
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. 168: 71-93 (2018)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/NicolaDI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/NicolaDI20
Rocco De Nicola, Tan Duong, Omar Inverso:
Verifying AbC Specifications via Emulation. ISoLA (2) 2020: 261-279
2019
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaDIM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaDIM19
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 377-396
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaDL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaDL19
Rocco De Nicola, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION 2019: 111-128
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaDIM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaDIM17
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd 2017: 169-190
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaDIT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaDIT17
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION 2017: 21-39
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/NicolaDIT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/NicolaDIT17
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang at Work. SOFSEM 2017: 485-497
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/soict/DuongNNN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soict/DuongNNN12
Nhat Tan Duong, Quang Anh Pham Nguyen, Anh Tu Nguyen, Huu-Duc Nguyen:
Parallel PageRank computation using GPUs. SoICT 2012: 223-230
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/soict/PhongDTDT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soict/PhongDTDT10
Pham Hong Phong, Phan Duc Dung, Duong Nhat Tan, Nguyen Huu Duc, Nguyen Thanh Thuy:
Password recovery for encrypted ZIP archives using GPUs. SoICT 2010: 28-33

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.