Rayhana Amjad

According to our database1, Rayhana Amjad authored at least 3 papers between 2022 and 2024.

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

Timeline

2022
2023
2024
0
1
2
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Semantics for Linear-time Temporal Logic with Finite Observations.
Proceedings of the Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, 2024

Definitive Set Semantics for LTL3.
Arch. Formal Proofs, 2024

2022
Holbert: Reading, Writing, Proving and Learning in the Browser.
CoRR, 2022


  Loading...