I agree that this site is using cookies. You can find further informations here.
X
Pantekis, Filippos
5  results:
Search for persons X
?
1

Optimized massively parallel solving of N‐Queens on GPGPUs:

Pantekis, Filippos ; James, Phillip ; Kullmann, Oliver.
Concurrency and Computation: Practice and Experience.  36 (2024)  10 - p. , 2024
Link: https://doi.org/10.1002/..
 
?
2

OnTrack: Reflecting on domain specific formal methods for r..:

James, Phillip ; Moller, Faron ; Pantekis, Filippos
Science of Computer Programming.  233 (2024)  - p. 103057 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Scalable N-Queens Solving on GPGPUs via Interwarp Collabora..:

, In: 2022 Tenth International Symposium on Computing and Networking (CANDAR),
Pantekis, Filippos ; James, Phillip ; Kullmann, Oliver - p. 158-164 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Towards Massively Parallel GPU Assisted SAT:

, In: 2022 Tenth International Symposium on Computing and Networking Workshops (CANDARW),
Pantekis, Filippos ; James, Phillip - p. 120-126 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Visualising Railway Safety Verification:

, In: Communications in Computer and Information Science; Formal Techniques for Safety-Critical Systems,
Pantekis, Filippos ; James, Phillip ; O'Reilly, Liam.. - p. 95-105 , 2020
Link: https://doi.org/10.1007/..
 
1-5