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 59  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
2019Combining Advantages from Parameters in Modeling and Control of Discrete Event SystemsMazzetto,M; Teixeira,M; Luís Soares Barbosa; Barbosa,MAC; Casanova,D; Southier,LFP; 5603
2015Completeness and Decidability Results for Hybrid(ised) LogicsRenato Jorge Neves; Martins,MA; Luís Soares Barbosa
2020A component-based framework for certification of components in a cloud of HPC servicesde Carvalho Junior,FH; de Oliveira Dantas,ABD; Luís Soares Barbosa; 5603
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
2020Data governance: Organizing data for trustworthy Artificial IntelligenceBrous,P; Janssen,M; Janowski,T; Luís Soares Barbosa; Estevez,E; 5603
2019Deep learning powered question-answering framework for organizations digital transformationCarvalho,NR; Luís Soares Barbosa; 5603
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