Showing 1 - 3 results of 3 for search 'Alcino Cunha', query time: 0.11s Refine Results
  1. 1
    An ORCID based synchronization framework for a national CRIS ecosystem [v1; ref status: indexed, http://f1000r.es/5dr]
    by João Mendes Moreira, Alcino Cunha, Nuno Macedo
    Published 2015-07-01
    Get full text
    Article
  2. 2
    Simulation under Arbitrary Temporal Logic Constraints
    Get full text
    Article
  3. 3
    Improving the Visualization of Alloy Instances
    by Rui Couto, José C. Campos, Nuno Macedo, Alcino Cunha
    Published 2018-11-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search