João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 169



141
TÍTULO: From spreadsheets to relational databases and back
AUTORES: Cunha, J ; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
INDEXADO EM: Scopus DBLP CrossRef: 43
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
142
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
143
TÍTULO: Disentangling Denotational Semantics Definitions  Full Text
AUTORES: Fabio Tirelo; Roberto S Bigonha; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 21
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
144
145
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lammel, R; Visser, J; Saraiva, J ;
PUBLICAÇÃO: 2008, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5235 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
146
TÍTULO: The Objects and Arrows of Computational Design
AUTORES: Don Batory; Maider Azanza; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
147
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: 16
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
148
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
149
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
150
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
Página 15 de 17. Total de resultados: 169.

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

Links Úteis

Ajuda

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