Maria Guillermina Cledou


AuthID: R-00F-KAZ

Confirmed Publications: 18



11
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXED IN: Scopus WOS DBLP CrossRef
12
TITLE: Composing Families of Timed Automata
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXED IN: Scopus WOS DBLP CrossRef: 4
13
TITLE: Modeling Families of Public Licensing Services: A Case Study
AUTHORS: Cledou, G ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
14
TITLE: An Ontology for Licensing Public Transport Services
AUTHORS: Cledou, G ; Barbosa, LS ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
15
TITLE: A virtual factory for Smart City Service Integration
AUTHORS: Cledou, G ;
PUBLISHED: 2014, SOURCE: 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014 in ACM International Conference Proceeding Series, VOLUME: 2014-January
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
16
TITLE: Understanding students' mobility habits towards the implementation of an adaptive ubiquitous platform
AUTHORS: Casal, J; Cledou, G ;
PUBLISHED: 2014, SOURCE: International Conference on Information Systems and Design of Communication (ISDOC) in PROCEEDINGS OF INTERNATIONAL CONFERENCE INFORMATION SYSTEMS AND DESIGN OF COMMUNICATION (ISDOC2014)
INDEXED IN: Scopus WOS DBLP CrossRef
17
TITLE: WeLEaD. collaborative toolkit for learning, engaging and deciding
AUTHORS: Maria Guillermina Cledou ; Sara Fernandes; Elsa Estevez;
PUBLISHED: 2013, SOURCE: Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance - ICEGOV '13
INDEXED IN: CrossRef: 1
IN MY: ORCID
18
TITLE: WeLEaD: collaborative toolkit for learning, engaging and deciding
AUTHORS: Maria Guillermina Cledou ; Sara Fernandes; Elsa Estevez;
PUBLISHED: 2013, SOURCE: ICEGOV
INDEXED IN: DBLP
Page 2 of 2. Total results: 18.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service