We stand with Ukraine  

Xavier Hannotin

According to our database1, Xavier Hannotin authored at least 2 papers in 2001.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study.
[BibTeX]
Xavier Hannotin
,
Paolo Maggi
,
Riccardo Sisto
Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study.
[BibTeX]
[DOI]
Xavier Hannotin
,
Paolo Maggi
,
Riccardo Sisto
Proceedings of the Mobile Agents, 5th International Conference, 2001


  Loading...