WeLEaD: collaborative toolkit for learning, engaging and deciding. - Maria Guillermina Cledou; Sara Fernandes; Elsa Estevez (ICEGOV, 2013)

A virtual factory for smart city service integration. - Maria Guillermina Cledou (ICEGOV, 2014)

Understanding students' mobility habits towards the implementation of an adaptive ubiquitous platform. - João Casal; Maria Guillermina Cledou (ISDOC, 2014)

An Ontology for Licensing Public Transport Services. - Maria Guillermina Cledou; Luís Soares Barbosa (ICEGOV, 2016)

Composing Families of Timed Automata. - Guillermina Cledou; José Proença; Luís Soares Barbosa (FSEN, 2017)

Modeling Families of Public Licensing Services: A Case Study. - Guillermina Cledou; Luís Soares Barbosa (FormaliSE@ICSE, 2017)

A Refinement Relation for Families of Timed Automata. - Guillermina Cledou; José Proença; Luís Soares Barbosa (SBMF, 2017)

A Net-Based Formal Framework for Causal Loop Diagrams. - Guillermina Cledou; Shin Nakajima 001 (CSDM Asia, 2018)

A taxonomy for planning and designing smart mobility services. - Guillermina Cledou; Elsa Estevez; Luís Soares Barbosa (Gov. Inf. Q., 2018)

A virtual factory for smart city service integration - Guillermina Cledou (2018)

Coordination of Tasks on a Real-Time OS. - Guillermina Cledou; José Proença; Bernhard H. C. Sputh; Eric Verhulst (COORDINATION, 2019)

ARx: Reactive Programming for Synchronous Connectors. - José Proença; Guillermina Cledou (COORDINATION, 2020)

Featured Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (FM, 2021)

Hubs for VirtuosoNext: Online verification of real-time coordinators. - Guillermina Cledou; José Proença; Bernhard H. C. Sputh; Eric Verhulst (Sci. Comput. Program., 2021)

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. - Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença (ECOOP, 2022)

Branching Pomsets for Choreographies. - Luc Edixhoven; Sung-Shik Jongmans; José Proença; Guillermina Cledou (ICE, 2022)

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). - Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença (Dagstuhl Artifacts Ser., 2022)

Can we Communicate? Using Dynamic Logic to Verify Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (Zenodo, 2022)

Can We Communicate? Using Dynamic Logic to Verify Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (FM, 2023)