We stand with Ukraine  

Filip Kliber

According to our database1, Filip Kliber authored at least 2 papers in 2023.

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

2023
The Java Pathfinder Workshop 2022.
[BibTeX]
[DOI]
Elena Sherman
,
Yannic Noller
,
Cyrille Artho
,
Franck van Breugel
,
Anto Nanah Ji
,
John Kellerman
,
Parssa Khazra
,
Filip Kliber
,
Gaurang Kudale
,
Pavel Parízek
,
Corina S. Pasareanu
,
Ron Pressler
,
Matt Walker
,
Hongru Wang
,
Qiuchen Yan
ACM SIGSOFT Softw. Eng. Notes, January, 2023

Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs.
[BibTeX]
[DOI]
Pavel Parízek
,
Filip Kliber
ACM SIGSOFT Softw. Eng. Notes, January, 2023


  Loading...