Nuno Miguel Feixa Rodrigues


AuthID: R-000-DSH

Confirmed Publications: 86



81
TITLE: Higher-order lazy functional slicing  Full Text
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2007, SOURCE: 11th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
82
TITLE: Component Identification Through Program Slicing
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID
83
TITLE: On the semantics of componentware: A coalgebraic persecutive
AUTHORS: Luís S Barbosa; Sun Meng; Bernhard K Aichernig; Nuno Rodrigues ;
PUBLISHED: 2006, SOURCE: Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
INDEXED IN: Scopus CrossRef
IN MY: ORCID
84
TITLE: Program slicing by calculation  Full Text
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
85
TITLE: Architectural prototyping: From CCS to. Net
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2005, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 130
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
86
TITLE: Slicing Functional Programs by Calculation
AUTHORS: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: Beyond Program Slicing 2005 in Beyond Program Slicing, 06.11. - 11.11.2005, VOLUME: 05451
INDEXED IN: Scopus DBLP
IN MY: ORCID
Page 9 of 9. Total results: 86.

A place for researchers and their institutions

Useful Links

Get Help

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