71
TITLE: Shacc: A Functional Prototyper for a Component Calculus
AUTHORS: André Martins; Luís Soares Barbosa ; Nuno F Rodrigues ;
PUBLISHED: 2011, SOURCE: CALCO, VOLUME: 6859 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
72
TITLE: The Role of Coordination Analysis in Software Integration Projects
AUTHORS: Rodrigues, NF ; Oliveira, N; Barbosa, LS ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
73
TITLE: Type Checking Cryptography Implementations
AUTHORS: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLISHED: 2011, SOURCE: FSEN, VOLUME: 7141 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
74
TITLE: Virtual simulation of the postsurgical cosmetic outcome in patients with Pectus Excavatum
AUTHORS: Vilaca, JL ; Moreira, AHJ; L Rodrigues, P; Rodrigues, N ; Fonseca, JC ; Pinho, ACM ; Correia Pinto, J ;
PUBLISHED: 2011, SOURCE: Conference on Medical Imaging 2011 - Visualization, Image-Guided Procedures, and Modeling in MEDICAL IMAGING 2011: VISUALIZATION, IMAGE-GUIDED PROCEDURES, AND MODELING, VOLUME: 7964
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
75
TITLE: A digital game development education project
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
76
TITLE: Discovering Coordination Patterns
AUTHORS: Rodrigues, NF ;
PUBLISHED: 2010, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 260
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
77
TITLE: Identifying Clones in Functional Programs for Refactoring
AUTHORS: Nuno Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
78
TITLE: Slicing for architectural analysis  Full Text
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2010, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 75, ISSUE: 10
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
79
TITLE: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2008, SOURCE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
80
TITLE: On The Discovery of Business Processes Orchestration Patterns
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2008, SOURCE: IEEE Congress on Services in IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, VOLUME: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 8 of 9. Total results: 86.