João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 163



141
TÍTULO: A Shortcut Fusion Rule for Circular Program Calculation
AUTORES: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLICAÇÃO: 2007, FONTE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
142
TÍTULO: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTORES: Silva, JC ; Jose Creissac Campos ; Joao Saraiva ;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
143
TÍTULO: Integration of RE and MDE paradigms: the projectIT approach and tools  Full Text
AUTORES: da Silva, AR ; Saraiva, J ; Ferreira, D; Silva, R; Videira, C;
PUBLICAÇÃO: 2007, FONTE: IET SOFTWARE, VOLUME: 1, NÚMERO: 6
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
144
TÍTULO: Report on selected papers from LDTA 2003  Full Text
AUTORES: Barrett R Bryant; Joao Saraiva ;
PUBLICAÇÃO: 2007, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 68, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
145
TÍTULO: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTORES: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; Labra, J; Fiadeiro, JL; Figueiredo, L; Barbosa, LS ; Menezes, LC; Maia, M; De Valente, MTO; Bigonha, MAS; Benton, N; Rodriguez, N; Borba, P; Mosses, PD; Lins, RD; Cerqueira, R; Lima, RM; Ierusalimschy, R; Rigo, S; De Schneider, SM; Soares, S; Dascalu, S; Thompson, S; Vene, V; Costa, V ; Iorio, VD; ...Mais
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
146
TÍTULO: Tools and libraries to model and manipulate circular programs  Full Text
AUTORES: Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2007, FONTE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
147
TÍTULO: XIS-UML Profile for eXtreme Modeling Interactive Systems
AUTORES: Alberto Rodrigues da Silva ; João de Sousa Saraiva ; Rui Silva; Carlos Martins;
PUBLICAÇÃO: 2007, FONTE: 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007 in Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
148
TÍTULO: Lecture Note in Computer Science (including subseries Lecture Note in Artificial Intelligence and Lecture Note in Bioinformatics): Preface
AUTORES: Lammel, R; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2006, FONTE: Generative and Transformational Techniques in Software Engineering - International Summer School, GTTSE 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4143 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
149
TÍTULO: Editorial: Programming languages track
AUTORES: Jo, CH; Mernik, M; Bryant, BR; Ancona, M; Auguston, M; Cheung, SC; Debray, SK; Doh, KG; Gabbrielli, M; Harris, T; Heering, J; Jeffery, C; Johnstone, A; Leung, HF; Lins, RD; Logozzo, F; Martinez Lopez, PE; Meijer, E; Michaelson, G; Pareja Flores, C; Saraiva, J ; Sloane, T; Wile, D; Winkler, J; ...Mais
PUBLICAÇÃO: 2005, FONTE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
150
TÍTULO: Electronic Notes in Theoretical Computer Science: Preface
AUTORES: Bryant, B; Saraiva, J ;
PUBLICAÇÃO: 2003, FONTE: LDTA'2003 - Language Descriptions, Tools and Applications in Electronic Notes in Theoretical Computer Science, VOLUME: 82, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
Página 15 de 17. Total de resultados: 163.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service