Sign in
Lixing Tan
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 6
Top Topics
Formal Methods
Abstract Argumentation
Hybrid Systems
Preferred Semantics
Top Venues
CoRR
Int. J. Approx. Reason.
Artif. Intell.
Int. J. Softw. Eng. Knowl. Eng.
</>
Publications
</>
Lixing Tan
,
Zhaohui Zhu
,
Jinjin Zhang
A general approach to extension-based semantics in abstract argumentation.
Artif. Intell.
315 (2023)
Lixing Tan
,
Zhaohui Zhu
,
Fujun Wang
,
Jinjin Zhang
Graded labellings for abstract argumentation.
Int. J. Approx. Reason.
152 (2023)
Fujun Wang
,
Zining Cao
,
Lixing Tan
,
Zhen Li
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach.
Int. J. Softw. Eng. Knowl. Eng.
32 (2) (2022)
Fujun Wang
,
Zining Cao
,
Lixing Tan
,
Zhen Li
Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach.
CoRR
(2020)
Fujun Wang
,
Zining Cao
,
Lixing Tan
,
Hui Zong
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions.
IEEE Access
8 (2020)
Lixing Tan
,
Zhaohui Zhu
,
Jinjin Zhang
On graded semantics of abstract argumentation: Extension-based case.
CoRR
(2020)