Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 186



121
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Alcino Cunha ; Carlos Baquero ; Paulo Silva ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
122
TITLE: Preface
AUTHORS: Luís Soares Barbosa ; Dimitrios Settas;
PUBLISHED: 2011, SOURCE: ECEASST, VOLUME: 48
INDEXED IN: DBLP
IN MY: DBLP
123
TITLE: Refinement by interpretation in π-institutions  Full Text
AUTHORS: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: 15th International Refinement Workshop, Refine 2011 in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011., VOLUME: 55
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
124
TITLE: Revisiting context-aware component interconnection
AUTHORS: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLISHED: 2011, SOURCE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
125
TITLE: Shacc: A functional prototyper for a component calculus
AUTHORS: Martins, A; Barbosa, LS ; Rodrigues, NF ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6859 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
126
TITLE: The Role of Coordination Analysis in Software Integration Projects
AUTHORS: Nuno F Rodrigues ; Nuno Oliveira; Luis S Barbosa ;
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 | DBLP
127
TITLE: A Coordination Model for Interactive Components
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
128
TITLE: Bringing class diagrams to life  Full Text
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
129
TITLE: Certification of open-source software: A role for formal methods?
AUTHORS: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
130
TITLE: Open source certification
AUTHORS: Ernesto Damiani; Luis Barbosa ; Peter T Breuer; Claudio A Ardagna;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
Página 13 de 19. Total de resultados: 186.

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

Useful Links

Get Help

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