11
TÍTULO: An Ontology based Task Oriented Dialogue
AUTORES: Silva, Joao Quirino; Melo, Dora; Rodrigues, Irene Pimenta ; Seco, Joao Costa; Ferreira, Carla ; Parreira, Joana;
PUBLICAÇÃO: 2021, FONTE: 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) / 13th International Conference on Knowledge Engineering and Ontology Development (KEOD) in PROCEEDINGS OF THE 13TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT (KEOD), VOL 2, VOLUME: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
12
TÍTULO: ECROs: building global scale systems from sequential code
AUTORES: Kevin De Porre; Carla Ferreira ; Nuno M Preguiça ; Elisa Gonzalez Boix;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: OOPSLA
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
13
TÍTULO: ECROs: Building Global Scale Systems from Sequential Code
AUTORES: De Porre, K; Ferreira, C ; Preguica, N ; Boix, EG;
PUBLICAÇÃO: 2021, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5, NÚMERO: OOPSLA
INDEXADO EM: WOS CrossRef: 7
NO MEU: ORCID
14
TÍTULO: OSTRICH - A Type-safe Template Language for Low-code Development
AUTORES: Lourenco, H; Ferreira, C ; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2021)
INDEXADO EM: Scopus WOS CrossRef: 9
NO MEU: ORCID
15
TÍTULO: Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems
AUTORES: Lopes, B; Amorim, S; Ferreira, C ;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021)
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID
16
TÍTULO: Understanding the Linkage Between Social Innovation and Sustainable Development Goals: Some Insights of Field Research
AUTORES: Cunha, J.; Ferreira, C. ; Araujo, M.; Nunes, M. L.; Ferreira, P.;
PUBLICAÇÃO: 2021, FONTE: IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) in 2021 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEE IEEM21)
INDEXADO EM: Scopus WOS CrossRef: 2
17
TÍTULO: Preface
AUTORES: Ulidowski, I; Lanese, I; Schultz, UP; Ferreira, C ;
PUBLICAÇÃO: 2020, FONTE: 12th International Conference on Reversible Computation, RC 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12070 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
18
TÍTULO: Reversible Computation: Extending Horizons of Computing. Selected Results of the COST Action IC1405
AUTORES: Irek Ulidowski; Ivan Lanese; Ulrik Pagh Schultz; Carla Ferreira ;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 9
NO MEU: ORCID
19
TÍTULO: Robust Contract Evolution in a TypeSafe MicroServices Architecture
AUTORES: João Costa Seco; Paulo Ferreira; Hugo Lourenço; Carla Ferreira ; Lúcio Ferrão;
PUBLICAÇÃO: 2020, FONTE: Programming Journal, VOLUME: 4, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
20
TÍTULO: Teaching practical realistic verification of distributed algorithms in Erlang with TLA+
AUTORES: Zeller, P; Bieniusa, A; Ferreira, C ;
PUBLICAÇÃO: 2020, FONTE: 19th ACM SIGPLAN International Workshop on Erlang, Erlang 2020, co-located with the Annual International Conference on Functional Programming, ICFP 2020 in Erlang 2020 - Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2020
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
Página 2 de 7. Total de resultados: 62.