Lixing Tan

Orcid: 0000-0002-2978-2697

According to our database1, Lixing Tan authored at least 5 papers between 2020 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Graded labellings for abstract argumentation.
Int. J. Approx. Reason., 2023

A general approach to extension-based semantics in abstract argumentation.
Artif. Intell., 2023

2022
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach.
Int. J. Softw. Eng. Knowl. Eng., 2022

2020
On graded semantics of abstract argumentation: Extension-based case.
CoRR, 2020

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions.
IEEE Access, 2020


  Loading...