João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 169



141
TITLE: From spreadsheets to relational databases and back
AUTHORS: Cunha, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 43
IN MY: ORCID | DBLP | CIÊNCIAVITAE
142
TITLE: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
143
TITLE: Disentangling Denotational Semantics Definitions  Full Text
AUTHORS: Fabio Tirelo; Roberto S Bigonha; Joao Saraiva ;
PUBLISHED: 2008, SOURCE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, ISSUE: 21
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
144
145
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Lammel, R; Visser, J; Saraiva, J ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
146
TITLE: The Objects and Arrows of Computational Design
AUTHORS: Don Batory; Maider Azanza; Joao Saraiva ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID | DBLP | CIÊNCIAVITAE
147
TITLE: A Shortcut Fusion Rule for Circular Program Calculation
AUTHORS: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | DBLP | CIÊNCIAVITAE
148
TITLE: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTHORS: Silva, JC ; Jose Creissac Campos ; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
149
TITLE: Integration of RE and MDE paradigms: the projectIT approach and tools  Full Text
AUTHORS: da Silva, AR ; Saraiva, J ; Ferreira, D; Silva, R; Videira, C;
PUBLISHED: 2007, SOURCE: IET SOFTWARE, VOLUME: 1, ISSUE: 6
INDEXED IN: WOS
IN MY: ORCID | CIÊNCIAVITAE
150
TITLE: Report on selected papers from LDTA 2003  Full Text
AUTHORS: Barrett R Bryant; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 68, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 15 of 17. Total results: 169.

footer slogan

Useful Links

Get Help

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