Basic Information		
	Name: Frank Xu
Institution: School of Computer Science and Engineering
Registration: 2017-10-15
Score: 2123
			 CV
		
	
			 Tracked Conferences		
	Showing 11-20 of 53 items.
Showing 11-20 of 53 items.
| Full Name | Submission | Conference | 
|---|---|---|
| International Joint Conference on Autonomous Agents and Multi-agent Systems | 2025-10-01 | 2026-05-25 | 
| ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2025-09-11 | 2026-07-05 | 
| ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2025-09-01 | 2026-01-31 | 
| International Conference on Software Engineering | 2025-07-11 | 2026-04-12 | 
| ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2025-07-10 | 2026-01-11 | 
| Asia-Pacific Software Engineering Conference | 2025-07-06 | 2025-12-02 | 
| International Conference on Dependable, Autonomic and Secure Computing | 2025-06-10 | 2025-10-21 | 
| International Conference on Automated Software Engineering | 2025-05-30 | 2025-11-16 | 
| International Conference on Formal Engineering Methods | 2025-05-25 | 2025-11-10 | 
| Euromicro Conference on Software Engineering and Advanced Applications | 2025-05-25 | 2025-09-10 | 
			 Attend Conferences		
	Showing 1-2 of 2 items.
| CCF | CORE | QUALIS | Short | Full Name | Conference | Location | 
|---|---|---|---|---|---|---|
| c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2020-07-15 | Hangzhou, China | 
| a | b1 | FM | International Symposium on Formal Methods | 2018-07-15 | Oxford, UK | 
Showing 1-2 of 2 items.
| Full Name | Conference | Location | 
|---|---|---|
| International Symposium on Theoretical Aspects of Software Engineering | 2020-07-15 | Hangzhou, China | 
| International Symposium on Formal Methods | 2018-07-15 | Oxford, UK | 
			 Tracked Journals		
	Showing 1-10 of 24 items.
| CCF | Full Name | Impact Factor | Publisher | ISSN | 
|---|---|---|---|---|
| b | Journal of Parallel and Distributed Computing | 3.400 | Elsevier | 0743-7315 | 
| a | IEEE Transactions on Services Computing | 5.500 | IEEE | 1939-1374 | 
| a | Artificial Intelligence | 5.100 | Elsevier | 0004-3702 | 
| c | Future Generation Computer Systems | 6.2 | Elsevier | 0167-739X | 
| b | Knowledge and Information Systems | 2.500 | Springer | 0219-1377 | 
| c | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 | 
| b | Data Mining and Knowledge Discovery | 2.800 | Springer | 1384-5810 | 
| b | Requirements Engineering | 2.100 | Springer | 0947-3602 | 
| b | IET Software | 1.500 | IET | 1751-8806 | 
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 | 
Showing 1-10 of 24 items.
| Full Name | Impact Factor | Publisher | 
|---|---|---|
| Journal of Parallel and Distributed Computing | 3.400 | Elsevier | 
| IEEE Transactions on Services Computing | 5.500 | IEEE | 
| Artificial Intelligence | 5.100 | Elsevier | 
| Future Generation Computer Systems | 6.2 | Elsevier | 
| Knowledge and Information Systems | 2.500 | Springer | 
| Knowledge-Based Systems | 7.2 | Elsevier | 
| Data Mining and Knowledge Discovery | 2.800 | Springer | 
| Requirements Engineering | 2.100 | Springer | 
| IET Software | 1.500 | IET | 
| Formal Methods in System Design | 0.700 | Springer | 
			 Followed Researchers		
	| Name | Institution | Registration | Score | 
|---|---|---|---|
| No results found. | |||
| Name | Institution | Score | 
|---|---|---|
| No results found. | ||