Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 62



11
TITLE: An Ontology based Task Oriented Dialogue
AUTHORS: Silva, Joao Quirino; Melo, Dora; Rodrigues, Irene Pimenta ; Seco, Joao Costa; Ferreira, Carla ; Parreira, Joana;
PUBLISHED: 2021, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
12
TITLE: ECROs: building global scale systems from sequential code
AUTHORS: Kevin De Porre; Carla Ferreira ; Nuno M Preguiça ; Elisa Gonzalez Boix;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: OOPSLA
INDEXED IN: Scopus DBLP
IN MY: ORCID
13
TITLE: ECROs: Building Global Scale Systems from Sequential Code
AUTHORS: De Porre, K; Ferreira, C ; Preguica, N ; Boix, EG;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5, ISSUE: OOPSLA
INDEXED IN: WOS CrossRef: 7
IN MY: ORCID
14
TITLE: OSTRICH - A Type-safe Template Language for Low-code Development
AUTHORS: Lourenco, H; Ferreira, C ; Seco, JC;
PUBLISHED: 2021, SOURCE: 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)
INDEXED IN: Scopus WOS CrossRef: 9
IN MY: ORCID
15
TITLE: Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems
AUTHORS: Lopes, B; Amorim, S; Ferreira, C ;
PUBLISHED: 2021, SOURCE: 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)
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
16
TITLE: Understanding the Linkage Between Social Innovation and Sustainable Development Goals: Some Insights of Field Research
AUTHORS: Cunha, J.; Ferreira, C. ; Araujo, M.; Nunes, M. L.; Ferreira, P.;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) in 2021 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEE IEEM21)
INDEXED IN: Scopus WOS CrossRef: 2
17
TITLE: Preface
AUTHORS: Ulidowski, I; Lanese, I; Schultz, UP; Ferreira, C ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
18
TITLE: Reversible Computation: Extending Horizons of Computing. Selected Results of the COST Action IC1405
AUTHORS: Irek Ulidowski; Ivan Lanese; Ulrik Pagh Schultz; Carla Ferreira ;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 9
IN MY: ORCID
19
TITLE: Robust Contract Evolution in a TypeSafe MicroServices Architecture
AUTHORS: João Costa Seco; Paulo Ferreira; Hugo Lourenço; Carla Ferreira ; Lúcio Ferrão;
PUBLISHED: 2020, SOURCE: Programming Journal, VOLUME: 4, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
20
TITLE: Teaching practical realistic verification of distributed algorithms in Erlang with TLA+
AUTHORS: Zeller, P; Bieniusa, A; Ferreira, C ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
Page 2 of 7. Total results: 62.

footer slogan

Useful Links

Get Help

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