Thanh Binh Nguyen

Affiliations:

Johannes Kepler University, Institute of Networks and Security, Linz, Austria
ETH Zurich, Department of Computer Science, Switzerland (PhD)

According to our database¹, Thanh Binh Nguyen authored at least 8 papers between 2011 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2018

Abstractions for security protocol verification.

[BibT_eX]

[DOI]

Thanh Binh Nguyen

Christoph Sprenger

Cas Cremers

J. Comput. Secur., 2018

2016

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2016

2015

Abstractions for Security Protocol Verification.

[BibT_eX]

[DOI]

Thanh Binh Nguyen

Christoph Sprenger

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

2013

Sound Security Protocol Transformations.

[BibT_eX]

[DOI]

Thanh Binh Nguyen

Christoph Sprenger

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

2011

Computing Local Unifiers in the Description Logic EL without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the 25th International Workshop on Unification, 2011

Decidability of Unification in EL without Top Constructor.

[BibT_eX]

[DOI]

Thanh Binh Nguyen

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Unification in the Description Logic EL without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Unification in the Description Logic <i>EL</i> without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

Thanh Binh Nguyen

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...