We stand with Ukraine  

Salih Ates

Orcid: 0009-0001-2331-0955

According to our database1, Salih Ates authored at least 4 papers in 2024.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2024
MoXIchecker Release 0.2.
[BibTeX]
[DOI]
Salih Ates
,
Dirk Beyer
,
Po-Chun Chien
,
Nian-Ze Lee
Dataset, October, 2024

Btor2-Cert (HWMCC 2024 Submission).
[BibTeX]
[DOI]
Zsófia Ádám
,
Salih Ates
,
Dirk Beyer
,
Po-Chun Chien
,
Nian-Ze Lee
Dataset, September, 2024

MoXIchecker Release 0.1.
[BibTeX]
[DOI]
Salih Ates
,
Dirk Beyer
,
Po-Chun Chien
,
Nian-Ze Lee
Dataset, July, 2024

MoXIchecker: An Extensible Model Checker for MoXI.
[BibTeX]
[DOI]
Salih Ates
,
Dirk Beyer
,
Po-Chun Chien
,
Nian-Ze Lee
Proceedings of the Verified Software. Theories, Tools and Experiments, 2024


  Loading...