We stand with Ukraine  

Isaque Lima

Affiliations:
  • Federal University of Rio de Janeiro, Brazil


According to our database1, Isaque Lima authored at least 4 papers between 2013 and 2018.

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

2018
Dynamic Epistemic Logic with Communication Actions.
[BibTeX]
[DOI]
Mario Roberto Folhadela Benevides
,
Isaque Macalam Saab Lima
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

On Diagrams and General Model Checkers.
[BibTeX]
[DOI]
Sheila R. M. Veloso
,
Paulo A. S. Veloso
,
Mario R. F. Benevides
,
Isaque M. S. Lima
Proceedings of the Diagrammatic Representation and Inference, 2018

2017
Action Models with Postconditions.
[BibTeX]
[DOI]
Mario R. F. Benevides
,
Isaque Lima
Computación y Sistemas, 2017

2013
Using HMM in Strategic Games.
[BibTeX]
[DOI]
Mario R. F. Benevides
,
Isaque Lima
,
Rafael Nader
,
Pedro Rougemont
Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013


  Loading...