| A taxonomy for planning and designing smart mobility services G Cledou, E Estevez, LS Barbosa Government Information Quarterly 35 (1), 61-76, 2018 | 120 | 2018 |
| API generation for multiparty session types, revisited and revised using scala 3 G Cledou, L Edixhoven, SS Jongmans, J Proença 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 20 | 2022 |
| Composing families of timed automata G Cledou, J Proença, L Soares Barbosa Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017 | 16 | 2017 |
| Branching pomsets for choreographies L Edixhoven, SS Jongmans, J Proença, G Cledou arXiv preprint arXiv:2208.04632, 2022 | 8 | 2022 |
| Portugal: Leapfrogging digital transformation E Estevez, P Fillottrani, S Linares Lejarraga, MG Cledou CAF, 2021 | 6 | 2021 |
| Modeling families of public licensing services: A case study G Cledou, LS Barbosa 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017 | 6 | 2017 |
| Can we communicate? using dynamic logic to verify team automata MH ter Beek, G Cledou, R Hennicker, J Proença International Symposium on Formal Methods, 122-141, 2023 | 5 | 2023 |
| Featured team automata MH ter Beek, G Cledou, R Hennicker, J Proença Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 5 | 2021 |
| Hubs for VirtuosoNext: Online verification of real-time coordinators G Cledou, J Proença, BHC Sputh, E Verhulst Science of Computer Programming 203, 102566, 2021 | 4 | 2021 |
| An ontology for licensing public transport services G Cledou, LS Barbosa Proceedings of the 9th International Conference on Theory and Practice of …, 2016 | 4 | 2016 |
| A virtual factory for smart city service integration G Cledou Proceedings of the 8th International Conference on Theory and Practice of …, 2014 | 4 | 2014 |
| Branching pomsets for choreographies (technical report) L Edixhoven, SS Jongmans, G Cledou, J Proença Open Universiteit Nederland, 2022 | 3 | 2022 |
| A refinement relation for families of timed automata G Cledou, J Proença, LS Barbosa Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017 | 3 | 2017 |
| Knowledge Societies Policy Handbook R Baguma, JÁ Carvalho, G Cledou, E Estevez, S Finquelievich, ... UNESCO and UNU-EGOV, 2016 | 3 | 2016 |
| Coordination of tasks on a Real-Time OS G Cledou, J Proença, BHC Sputh, E Verhulst Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019 | 2 | 2019 |
| Api generation for multiparty session types, revisited and revised using scala 3 (full version) G Cledou, LJ Edixhoven, SS Jongmans, J Proença Open Universiteit Nederland, 2022 | 1 | 2022 |
| Portugal: El salto a la transformación digital E Estevez, P Fillottrani, S Linares Lejarraga, MG Cledou CAF, 2021 | 1 | 2021 |
| Verification of Real-Time Coordination in VirtuosoNext (extended version) G Cledou, J Proença, BHC Sputh, E Verhulst CISTER-Research Centre in Realtime and Embedded Computing Systems, 2020 | 1 | 2020 |
| WeLEaD: collaborative toolkit for learning, engaging and deciding MG Cledou, S Fernandes, E Estevez Proceedings of the 7th International Conference on Theory and Practice of …, 2013 | 1 | 2013 |
| API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact) G Cledou, L Edixhoven, SS Jongmans, J Proença Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022 | | 2022 |
Jose ProencaCISTER - ISEPVerified email at proenca.org
