1
TITLE: A Net-Based Formal Framework for Causal Loop Diagrams
AUTHORS: Guillermina Cledou ; Shin Nakajima;
SOURCE: 3rd International Asia-Pacific Conference on Complex Systems Design and Management (CSD and M Asia) in COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART TRANSPORTATION, CSD&M ASIA 2018, VOLUME: 878, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Coordination of tasks on a real-time OS
AUTHORS: Cledou, G ; Proença, J; Sputh, BHC; Verhulst, E;
SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11533 LNCS, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: A taxonomy for planning and designing smart mobility services
AUTHORS: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1, PUBLISHED: 2018
INDEXED IN: WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
4
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
6
TITLE: Modeling Families of Public Licensing Services: A Case Study
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
7
TITLE: An Ontology for Licensing Public Transport Services
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
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, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
8
TITLE: A virtual factory for Smart City Service Integration
AUTHORS: Cledou, G ;
SOURCE: 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014 in ACM International Conference Proceeding Series, VOLUME: 2014-January, PUBLISHED: 2014
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Understanding students' mobility habits towards the implementation of an adaptive ubiquitous platform
AUTHORS: Joao Casal; Guillermina Cledou ;
SOURCE: International Conference on Information Systems and Design of Communication (ISDOC) in PROCEEDINGS OF INTERNATIONAL CONFERENCE INFORMATION SYSTEMS AND DESIGN OF COMMUNICATION (ISDOC2014), PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: WeLEaD: collaborative toolkit for learning, engaging and deciding
AUTHORS: Maria Guillermina Cledou ; Sara Fernandes; Elsa Estevez;
SOURCE: 7th International Conference on Theory and Practice of Electronic Governance, ICEGOV '13, Seoul, Republic of Korea, October 22-25, 2013, PUBLISHED: 2013
INDEXED IN: DBLP
IN MY: ORCID | DBLP