Filippos Pantekis

Orcid: 0000-0001-7817-6450

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ 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.

[BibT_eX]

[DOI]

Phillip James

Faron Moller

Filippos Pantekis

Sci. Comput. Program., 2024

Optimized massively parallel solving of N-Queens on GPGPUs.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2024

2022

Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations.

[BibT_eX]

[DOI]

Filippos Pantekis

Phillip James

Oliver Kullmann

Proceedings of the Tenth International Symposium on Computing and Networking, 2022

Towards Massively Parallel GPU Assisted SAT.

[BibT_eX]

[DOI]

Filippos Pantekis

Phillip James

Proceedings of the 2022 Tenth International Symposium on Computing and Networking, CANDAR 2022, 2022

2019

Visualising Railway Safety Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

Filippos Pantekis

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...