We stand with Ukraine  

Grgur Petric Maretic

According to our database1, Grgur Petric Maretic authored at least 3 papers between 2014 and 2015.

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

Timeline

2014
2015
0
1
2
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Semantic Vacuity.
[BibTeX]
[DOI]
Grgur Petric Maretic
,
Muhammad Torabi Dashti
,
David A. Basin
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

2014
LTL is closed under topological closure.
[BibTeX]
[DOI]
Grgur Petric Maretic
,
Mohammad Torabi Dashti
,
David A. Basin
Inf. Process. Lett., 2014

Anchored LTL separation.
[BibTeX]
[DOI]
Grgur Petric Maretic
,
Mohammad Torabi Dashti
,
David A. Basin
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014


  Loading...