Byeongjee Kang

According to our database1, Byeongjee Kang authored at least 3 papers between 2022 and 2024.

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

Timeline

2022
2023
2024
0
1
2
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems.
Sci. Comput. Program., 2024

GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

2022
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022


  Loading...