Maria Guillermina Cledou


AuthID: R-00F-KAZ

Publicações Confirmadas: 18



11
TÍTULO: A Refinement Relation for Families of Timed Automata
AUTORES: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXADO EM: Scopus WOS DBLP CrossRef
12
TÍTULO: Composing Families of Timed Automata
AUTORES: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
13
TÍTULO: Modeling Families of Public Licensing Services: A Case Study
AUTORES: Cledou, G ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
14
TÍTULO: An Ontology for Licensing Public Transport Services
AUTORES: Cledou, G ; Barbosa, LS ;
PUBLICAÇÃO: 2016, FONTE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
15
TÍTULO: A virtual factory for Smart City Service Integration
AUTORES: Cledou, G ;
PUBLICAÇÃO: 2014, FONTE: 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014 in ACM International Conference Proceeding Series, VOLUME: 2014-January
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
16
TÍTULO: Understanding students' mobility habits towards the implementation of an adaptive ubiquitous platform
AUTORES: Casal, J; Cledou, G ;
PUBLICAÇÃO: 2014, FONTE: International Conference on Information Systems and Design of Communication (ISDOC) in PROCEEDINGS OF INTERNATIONAL CONFERENCE INFORMATION SYSTEMS AND DESIGN OF COMMUNICATION (ISDOC2014)
INDEXADO EM: Scopus WOS DBLP CrossRef
17
TÍTULO: WeLEaD. collaborative toolkit for learning, engaging and deciding
AUTORES: Maria Guillermina Cledou ; Sara Fernandes; Elsa Estevez;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance - ICEGOV '13
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
18
TÍTULO: WeLEaD: collaborative toolkit for learning, engaging and deciding
AUTORES: Maria Guillermina Cledou ; Sara Fernandes; Elsa Estevez;
PUBLICAÇÃO: 2013, FONTE: ICEGOV
INDEXADO EM: DBLP
Página 2 de 2. Total de resultados: 18.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service