Filippos Pantekis

Orcid: 0000-0001-7817-6450

According to our database1, Filippos Pantekis authored at least 5 papers between 2019 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
OnTrack: Reflecting on domain specific formal methods for railway designs.
Sci. Comput. Program., 2024

Optimized massively parallel solving of N-Queens on GPGPUs.
Concurr. Comput. Pract. Exp., 2024

2022
Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations.
Proceedings of the Tenth International Symposium on Computing and Networking, 2022

Towards Massively Parallel GPU Assisted SAT.
Proceedings of the 2022 Tenth International Symposium on Computing and Networking, CANDAR 2022, 2022

2019
Visualising Railway Safety Verification.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019


  Loading...