Browsing by Author Luís Soares Barbosa

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 47  next >
Issue DateTitleAuthor(s)
2012Analysis of FLOSS communities as learning contextsLuís Soares Barbosa; António Cerone; Sara Santos Fernandes
2016Applying the 3C Model to FLOSS CommunitiesFernandes,S; Luís Soares Barbosa
2016Asymmetric Combination of Logics is Functorial: A SurveyRenato Jorge Neves; Alexandre Castro Madeira; Luís Soares Barbosa; Martins,MA
2013Bisimilarity and refinement for hybrid(ised) logicsAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2013Boilerplates for Reconfigurable Systems: A Language and Its SemanticsAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2012A Calculus for Generic, QoS-Aware Component CompositionLuís Soares Barbosa; Sun Meng
2013A Coalgebraic Perspective on Logical InterpretationsMartins,MA; Alexandre Castro Madeira; Luís Soares Barbosa
2016Collaborative Environments in Software Engineering Teaching: A FLOSS ApproachFernandesand,S; Luís Soares Barbosa
2015Completeness and Decidability Results for Hybrid(ised) LogicsRenato Jorge Neves; Martins,MA; Luís Soares Barbosa
2017Composing Families of Timed AutomataGuillermina Cledou; José Paiva Proença; Luís Soares Barbosa
2015Continuity as a computational effectRenato Jorge Neves; Martins,ManuelA.; Luís Soares Barbosa; Hofmann,Dirk
2016Digital Government and Administrative Burden ReductionVeiga,L; Janowski,T; Luís Soares Barbosa
2015A Dynamic Logic for Every SeasonAlexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa
2016Dynamic Logic with Binders and Its Application to the Development of Reactive SystemsAlexandre Castro Madeira; Luís Soares Barbosa; Hennicker,R; Martins,MA
2016Electronic governance in Portugal: a silent pioneerFernandes,Sara; Luís Soares Barbosa
2016An Enhanced Model for Stochastic CoordinationOliveira,N; Luís Soares Barbosa
2013Giving Alloy a familyRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2014A Hilbert-Style Axiomatisation for Equational Hybrid LogicLuís Soares Barbosa; Martins,MA; Carreteiro,M
2016Hybrid Automata as CoalgebrasRenato Jorge Neves; Luís Soares Barbosa
2013Hybridisation at workRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa