ProfileOfResearchers

131

TITLE: A language for behavioural modelling of architectural patterns
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2011, SOURCE: 3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 in ACM International Conference Proceeding Series

INDEXED IN:

Scopus

DBLP

CrossRef: 5

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

132

TITLE: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTHORS: Alexandre Madeira ; Jose M Faria; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 8

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

133

TITLE: Hybridization of Institutions
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, VOLUME: 6859

INDEXED IN:

Scopus

DBLP

CrossRef: 36

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

134

TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; 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: 7

Handle

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

135

TITLE: Preface
AUTHORS: Luís Soares Barbosa ; Dimitrios Settas;
PUBLISHED: 2011, SOURCE: ECEASST, VOLUME: 48

INDEXED IN:

DBLP

IN MY:

DBLP |

CIÊNCIAVITAE

136

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 |

CIÊNCIAVITAE

137

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 |

CIÊNCIAVITAE

138

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 |

CIÊNCIAVITAE

139

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 |

CIÊNCIAVITAE

140

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 |

CIÊNCIAVITAE