Conference Partner » Investigadores: Jian Liu
Información Básica
Nombre: Jian Liu
Institución: Institute of Software, Chinese Academy of Sciences
Registro: 2015-09-07
Puntuación: 1207
CV
Conferencias Seguidas
Total 20 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
aa*a2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
cab2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
ab1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
bba1DATEDesign, Automation and Test in Europe2025-09-152025-11-192026-04-20
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112025-11-212026-07-05
cISVCInternational Symposium on Visual Computing2025-08-202025-09-222025-11-17
aa*a1AAAIAAAI Conference on Artificial Intelligence2025-07-252025-11-032026-01-20
cbAPSECAsia-Pacific Software Engineering Conference2025-07-062025-09-132025-12-02
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
cb1ICFEMInternational Conference on Formal Engineering Methods2025-05-252025-08-012025-11-10
cbb3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2025-05-092025-06-272025-09-09
cb1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
aa*a1CAVInternational Conference on Computer Aided Verification2025-01-312025-04-022025-07-21
aa2ESOPEuropean Symposium on Programming2024-10-102024-12-192025-05-03
ba*b1IJCARInternational Joint Conference on Automated Reasoning2024-01-292024-03-282024-07-01
aa*a2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
cSPINInternational SPIN Symposium on Model Checking of Software2025-05-07
Total 20 elementos.
Nombre CompletoEntregaConferencia
International Joint Conference on Artificial Intelligence2026-01-312026-08-15
IEEE Symposium on Logic in Computer Science2026-01-152026-07-20
International Conference on Software Testing, Verification and Validation2025-12-152026-05-18
International Symposium on Formal Methods2025-11-252026-05-18
International Symposium on Theoretical Aspects of Computer Science2025-09-252026-03-10
Design, Automation and Test in Europe2025-09-152026-04-20
ACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112026-07-05
International Symposium on Visual Computing2025-08-202025-11-17
AAAI Conference on Artificial Intelligence2025-07-252026-01-20
Asia-Pacific Software Engineering Conference2025-07-062025-12-02
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-12-17
International Conference on Formal Engineering Methods2025-05-252025-11-10
International Symposium on Logic-Based Program Synthesis and Transformation2025-05-092025-09-09
Formal Methods in Computer-Aided Design2025-04-202025-10-06
International Symposium on Theoretical Aspects of Software Engineering2025-03-012025-07-14
International Conference on Computer Aided Verification2025-01-312025-07-21
European Symposium on Programming2024-10-102025-05-03
International Joint Conference on Automated Reasoning2024-01-292024-07-01
European Software Engineering Conference2022-03-102022-11-14
International SPIN Symposium on Model Checking of Software2025-05-07
Conferencias Asistidas
Total 1 elemento.
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2017-09-13Nice, France
Total 1 elemento.
Nombre CompletoConferenciaUbicación
International Symposium on Theoretical Aspects of Software Engineering2017-09-13Nice, France
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.
Investigadores Seguidos
NombreInstituciónRegistroScore
No se encontraron resultados.
NombreInstituciónScore
No se encontraron resultados.

Seguidores
No se encontraron resultados.
Publicidad