Nicolas David

Affiliations:

University of Nantes, LS2N, LINA, France (PhD 2017)

According to our database¹, Nicolas David authored at least 5 papers between 2015 and 2017.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2017

Discrete Parameters in Petri Nets. (Réseaux de Petri à Paramètres Discrets).

[BibT_eX]

[DOI]

Nicolas David

PhD thesis, 2017

Coverability Synthesis in Parametric Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2015

Discrete Parameters in Petri Nets (Informal Presentation).

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

Modelling Social-Technical Attacks with Timed Automata.

[BibT_eX]

[DOI]

Nicolas David

Alexandre David

René Rydhof Hansen

Kim Guldstrand Larsen

Axel Legay

Mads Chr. Olesen

Christian W. Probst

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

Discrete Parameters in Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

Nicolas David

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...