Luís Soares Barbosa

187 papers B 10C 9Misc 15Journal 64Unranked 79
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bridging resource theory and quantum key distribution: geometric analysis and statistical testing.
Quantum Inf. Process.
Andrea D'Urbano, Michael de Oliveira, Luís Soares Barbosa
2025 — conf
Exploring a Quantum Programming Language with Concurrency.
Programming
Manisha Jain, Vitor Fernandes, Alexandre Madeira, Luís Soares Barbosa
2025 J jnl
Hybrid quantum-classical algorithm for near-optimal planning in POMDPs.
CoRR
Gilberto Cunha, Alexandra Ramôa, André Sequeira, Michael de Oliveira, Luís Soares Barbosa
2025 J jnl
Paraconsistent transition structures: compositional principles and a modal logic.
Math. Struct. Comput. Sci.
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2025 J jnl
Specification of paraconsistent transition systems, revisited.
Sci. Comput. Program.
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2024 J jnl
Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials.
Quantum
José Diogo Guimarães, Mikhail I. Vasilevskiy, Luís Soares Barbosa
2024 J jnl
On Quantum Natural Policy Gradients.
CoRR
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
2024 B conf
Paraconsistency for the Working Software Engineer (Extended Abstract).
SEFM
Luís Soares Barbosa
2024 B conf
Paraconsistent Reactive Graphs.
SEFM
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2024 — conf
Paraconsistent Relations as a Variant of Kleene Algebras.
LSFA
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2024 — conf
Private Computation of Boolean Functions Using Single Qubits.
PPAM (2)
Zeinab Rahmani, Armando N. Pinto, Luís Soares Barbosa
2024 J jnl
Quantum advantage in temporally flat measurement-based quantum computation.
Quantum
Michael de Oliveira, Luís Soares Barbosa, Ernesto F. Galvão
2024 B conf
Reconfiguring Staggered Quantum Walks with ZX.
SEFM
Bruno Jardim, Jaime Santos, Luís Soares Barbosa
2024 J jnl
Secure two-party computation via measurement-based quantum computing.
Quantum Inf. Process.
Zeinab Rahmani, Armando Nolasco Pinto, Luís Soares Barbosa
2024 Misc conf
Trainability Issues in Quantum Policy Gradients with Softmax Activations.
QCE
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
2024 J jnl
Trainability issues in quantum policy gradients.
CoRR
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
2024 J jnl
Trainability issues in quantum policy gradients.
Mach. Learn. Sci. Technol.
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
2023 — conf
Capturing Qubit Decoherence through Paraconsistent Transition Systems.
Programming
Luís Soares Barbosa, Alexandre Madeira
2023 J jnl
Modelling and control of manufacturing systems subject to context recognition and switching.
Int. J. Prod. Res.
Luiz Fernando Puttow Southier, Dalcimar Casanova, Luís Soares Barbosa, Cesar Torrico, Marco A. C. Barbosa, Marcelo Teixeira
2023 J jnl
Policy gradients using variational quantum circuits.
Quantum Mach. Intell.
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
2023 J jnl
Quantum privacy-preserving service for secure lane change in vehicular networks.
IET Quantum Commun.
Zeinab Rahmani, Luís Soares Barbosa, Armando N. Pinto
2023 Misc conf
Stepwise Development of Paraconsistent Processes.
TASE
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2023 — conf
Structured Specification of Paraconsistent Transition Systems.
FSEN
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2022 — conf
A Logic for Paraconsistent Transition Systems.
NCL
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
2022 J jnl
A tribute to José Manuel Valença.
J. Log. Algebraic Methods Program.
José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques
2022 J jnl
Coalgebra for the working software engineer.
FLAP
Luís Soares Barbosa
2022 — conf
Paraconsistent Transition Systems.
LSFA
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
2022 J jnl
Variational Quantum Policy Gradients with an Application to Quantum Control.
CoRR
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
2022 J jnl
Weighted synchronous automata.
Math. Struct. Comput. Sci.
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2021 J jnl
A semantics and a logic for Fuzzy Arden Syntax.
Soft Comput.
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2021 — conf
Generalised Quantum Tree Search.
Q-SE@ICSE
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
2021 J jnl
Quantum Tree-Based Planning.
IEEE Access
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
2021 Misc conf
Towards a specification theory for fuzzy modal logic.
TASE
Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2020 J jnl
A component-based framework for certification of components in a cloud of HPC services.
Sci. Comput. Program.
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2020 J jnl
Data governance: Organizing data for trustworthy Artificial Intelligence.
Gov. Inf. Q.
Marijn Janssen, Paul Brous, Elsa Estevez, Luís Soares Barbosa, Tomasz Janowski
2020 — ed.
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
DaLí
Luís Soares Barbosa, Alexandru Baltag
2020 J jnl
Quantum Bayesian decision-making.
CoRR
Michael de Oliveira, Luís Soares Barbosa
2020 J jnl
Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer.
Complex.
José Diogo Guimarães, Carlos Tavares, Luís Soares Barbosa, Mikhail I. Vasilevskiy
2020 — conf
Software engineering for 'quantum advantage'.
ICSE (Workshops)
Luís Soares Barbosa
2020 — ed.
Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings
TTCS
Luís Soares Barbosa, Mohammad Ali Abam
2020 — conf
Towards a register-based census in Oman.
ICEGOV
Ali Hussain Al-Lawati, Luís Soares Barbosa
2019 C conf
Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems.
ETFA
Luiz Fernando Puttow Southier, Muriel Mazzetto, Dalcimar Casanova, Marco A. C. Barbosa, Luís Soares Barbosa, Marcelo Teixeira
2019 — conf
Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation.
ICEGOV
Nuno Ramos Carvalho, Luís Soares Barbosa
2019 J jnl
Generalising KAT to Verify Weighted Computations.
Sci. Ann. Comput. Sci.
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019 J jnl
Generalising KAT to verify weighted computations.
CoRR
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019 — conf
Introducing Synchrony in Fuzzy Automata.
LSFA
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019 C conf
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.
ICFEM
Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa
2018 — conf
A Note on Reactive Transitions and Reo Connectors.
It's All About Coordination
Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa
2018 J jnl
A Research Agenda on Quantum Algoritmics.
ERCIM News
Luís Soares Barbosa, Alexandre Madeira
2018 J jnl
A logic for the stepwise development of reactive systems.
Theor. Comput. Sci.
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
2018 J jnl
A taxonomy for planning and designing smart mobility services.
Gov. Inf. Q.
Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa
2018 — conf
Communities of Practice as a tool to support the GCIO function.
ICEGOV
Luís Paulo Santos, Luís Nuno Barbosa, Diogo Aires Bessa, Lúcia Pereira Martins, Luís Soares Barbosa
2018 J jnl
Languages and models for hybrid automata: A coalgebraic perspective.
Theor. Comput. Sci.
Renato Neves, Luís Soares Barbosa
2018 — conf
Reactive Models for Biological Regulatory Networks.
MLCSB
Daniel Figueiredo, Luís Soares Barbosa
2018 — conf
Transforming Legal Documents for Visualization and Analysis.
ICEGOV
Nuno Ramos Carvalho, Luís Soares Barbosa
2017 C conf
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services.
CLOSER
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2017 — conf
A Refinement Relation for Families of Timed Automata.
SBMF
Guillermina Cledou, José Proença, Luís Soares Barbosa
2017 — conf
Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis.
ICEGOV
Morten Meyerhoff Nielsen, Nuno Ramos Carvalho, Linda Veiga, Luís Soares Barbosa
2017 — conf
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.
FACS
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2017 — conf
Composing Families of Timed Automata.
FSEN
Guillermina Cledou, José Proença, Luís Soares Barbosa
2017 — conf
Digital Governance for Sustainable Development.
I3E
Luís Soares Barbosa
2017 — conf
Hierarchical Hybrid Logic.
LSFA
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2017 — conf
Layered Logics, Coalgebraically.
DALI@TABLEAUX
Luís Soares Barbosa
2017 — conf
Modeling Families of Public Licensing Services: A Case Study.
FormaliSE@ICSE
Guillermina Cledou, Luís Soares Barbosa
2017 — conf
Networks of Universities as a Tool for GCIO Education.
EGOV
Luís Soares Barbosa, Luís Paulo Santos
2017 — conf
On Kleene Algebras for Weighted Computation.
SBMF
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2016 J jnl
A method for rigorous design of reconfigurable systems.
Sci. Comput. Program.
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins
2016 — conf
An Enhanced Model for Stochastic Coordination.
iFMCloud@IFM
Nuno Oliveira, Luís Soares Barbosa
2016 — conf
An Ontology for Licensing Public Transport Services.
ICEGOV
Maria Guillermina Cledou, Luís Soares Barbosa
2016 — conf
Applying the 3C Model to FLOSS Communities.
CRIWG
Sara Fernandes, Luís Soares Barbosa
2016 — conf
Asymmetric Combination of Logics is Functorial: A Survey.
WADT
Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins
2016 J jnl
Continuity as a computational effect.
J. Log. Algebraic Methods Program.
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
2016 — conf
Digital Government and Administrative Burden Reduction.
ICEGOV
Linda Veiga, Tomasz Janowski, Luís Soares Barbosa
2016 C conf
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems.
ICTAC
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
2016 — conf
Electronic governance in Portugal: a silent pioneer.
EGOSE
Sara Fernandes, Luís Soares Barbosa
2016 C conf
Hybrid Automata as Coalgebras.
ICTAC
Renato Neves, Luís Soares Barbosa
2016 J jnl
Proof theory for hybrid(ised) logics.
Sci. Comput. Program.
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2016 J jnl
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira.
J. Log. Algebraic Methods Program.
Luís Soares Barbosa, Alcino Cunha, Alexandra Silva
2016 — ch.
Reuse and Integration of Specification Logics: The Hybridisation Perspective.
Theoretical Information Reuse and Integration
Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves
2015 — conf
A logic for n-dimensional hierarchical refinement.
Refine@FM
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2015 J jnl
A perspective on architectural re-engineering.
Sci. Comput. Program.
Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques
2015 J jnl
Continuity as a computational effect.
CoRR
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
2015 J jnl
IMC
J. Internet Serv. Inf. Secur.
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa
2015 J jnl
On the verification of architectural reconfigurations.
Comput. Lang. Syst. Struct.
Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa
2015 J jnl
Reasoning about software reconfigurations: The behavioural and structural perspectives.
Sci. Comput. Program.
Nuno Oliveira, Luís Soares Barbosa
2015 J jnl
Refinement in hybridised institutions.
Formal Aspects Comput.
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker
2015 J jnl
Self-adaptation by coordination-targeted reconfigurations.
J. Softw. Eng. Res. Dev.
Nuno Oliveira, Luís Soares Barbosa
2015 J jnl
Towards an engine for coordination-based architectural reconfigurations.
Comput. Sci. Inf. Syst.
Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa
2014 — conf
A Dynamic Logic for Every Season.
SBMF
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2014 J jnl
A Hilbert-Style Axiomatisation for Equational Hybrid Logic.
J. Log. Lang. Inf.
Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro
2014 — conf
A Self-Adaptation Strategy for Service-Based Architectures.
SBCARS
Nuno Oliveira, Luís Soares Barbosa
2014 — conf
Completeness and Decidability Results for Hybrid(ised) Logics.
SBMF
Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2014 J jnl
Formal Aspects of Component Software (FACS 2010 selected and extended papers).
Sci. Comput. Program.
Luís Soares Barbosa, Markus Lumpe
2014 — conf
Modelling and Verifying Smell-Free Architectures with the Archery Language.
SEFM Workshops
Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira
2014 Misc conf
Paradigm integration in a specification course.
IRI
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
2014 — ed.
Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014
ICEGOV
Elsa Estevez, Marijn Janssen, Luís Soares Barbosa
2014 Misc conf
Quantitative analysis of Reo-based service coordination.
SAC
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa
2014 — conf
ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures.
SLATE
Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa
2014 J jnl
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012.
Sci. Comput. Program.
Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2014 J jnl
Selected contributions from the Open Source Software Certification (OpenCert) workshops.
Sci. Comput. Program.
Luís Soares Barbosa, Siraj Ahmed Shaikh
2014 J jnl
The role of logical interpretations in program development.
Log. Methods Comput. Sci.
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2013 J jnl
A Coalgebraic Perspective on Logical Interpretations.
Stud Logica
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2013 B conf
A pilot project on non-conventional learning.
ITiCSE
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
2013 — conf
An Institution for Alloy and Its Translation to Second-Order Logic.
IRI (best papers)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013 — conf
Analysis of FLOSS Communities as Learning Contexts.
SEFM Workshops
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
2013 — conf
Bisimilarity and refinement for hybrid(ised) logics
Refine@IFM
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013 — conf
Boilerplates for Reconfigurable Systems: A Language and Its Semantics.
SBLP
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013 Misc conf
Giving Alloy a family.
IRI
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013 B conf
Hybridisation at Work.
CALCO
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013 — conf
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach.
CRIWG
Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa
2013 Misc conf
On the reconfiguration of software connectors.
SAC
Nuno Oliveira, Luís Soares Barbosa
2013 Misc conf
Verifying Bigraphical Models of Architectural Reconfigurations.
TASE
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco
2013 Misc conf
When Even the Interface Evolves...
TASE
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2012 J jnl
A Calculus for Generic, QoS-Aware Component Composition.
Math. Comput. Sci.
Luís Soares Barbosa, Meng Sun
2012 — conf
A Preliminary Analysis of Learning Awareness in FLOSS Projects.
SEFM Satellite Events
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
2012 C conf
Analysing Tactics in Architectural Patterns.
SEW
Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco
2012 — conf
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government.
ICEGOV
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
2012 — conf
FLOSS in Technology-Enhanced Learning.
SEFM Satellite Events
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos
2012 — ed.
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
FACS
Luís Soares Barbosa, Markus Lumpe
2012 — conf
Mathematical Literacy as a Condition for Sustainable Development.
SEFM Satellite Events
Luís Soares Barbosa, Maria Helena Martinho
2012 — ed.
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
SBLP
Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2012 — conf
Reconfiguration Mechanisms for Service Coordination.
WS-FM
Nuno Oliveira, Luís Soares Barbosa
2012 — conf
Software Components as Invariant-Typed Arrows - (Keynote Talk).
SBLP
Luís Soares Barbosa
2011 — conf
A language for behavioural modelling of architectural patterns.
BM-FA
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco
2011 — conf
Bigraphical Modelling of Architectural Patterns.
FACS
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco
2011 B conf
Hybrid Specification of Reactive Systems: An Institutional Approach.
SEFM
Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa
2011 B conf
Hybridization of Institutions.
CALCO
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa
2011 — conf
Logic Training through Algorithmic Problem Solving.
TICTTL
João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
2011 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Luís Soares Barbosa, Dimitrios Settas
2011 — conf
Refinement by interpretation in π-institutions
Refine@FM
César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2011 B conf
Shacc: A Functional Prototyper for a Component Calculus.
CALCO
André Martins, Luís Soares Barbosa, Nuno F. Rodrigues
2011 — conf
The Role of Coordination Analysis in Software Integration Projects.
OTM Workshops
Nuno F. Rodrigues, Nuno Oliveira, Luís Soares Barbosa
2010 J jnl
Bringing class diagrams to life.
Innov. Syst. Softw. Eng.
Luís Soares Barbosa, Sun Meng
2010 J jnl
Certification of open-source software: A role for formal methods?
Comput. Syst. Sci. Eng.
Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh
2010 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
2010 Misc conf
QoS-aware Component Composition.
CISIS
Luís Soares Barbosa, Sun Meng
2010 Misc conf
Revisiting Context-Aware Component Interconnection.
SYNASC
Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues
2010 J jnl
Slicing for architectural analysis.
Sci. Comput. Program.
Nuno F. Rodrigues, Luís Soares Barbosa
2010 J jnl
Special issue: Open Source Certification.
Comput. Syst. Sci. Eng.
Ernesto Damiani, Luís Soares Barbosa, Peter T. Breuer, Claudio A. Ardagna
2010 Misc conf
Towards the introduction of QoS information in a component model.
SAC
Sun Meng, Luís Soares Barbosa
2009 — conf
A Coordination Model for Interactive Components.
FSEN
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
2009 — conf
A Single Complete Relational Rule for Coalgebraic Refinement.
REFINE@FMWeek
César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa
2009 J jnl
A perspective on service orchestration.
Sci. Comput. Program.
Marco Antonio Barbosa, Luís Soares Barbosa
2009 — ch.
Co-Algebraic Semantic Framework for Reasoning about Interaction Designs.
UML 2 Semantics and Applications
Sun Meng, Luís Soares Barbosa
2009 — conf
Implementation of an Orchestration Language as a Haskell Domain Specific Language.
FOCLASA
Marco Devesas Campos, Luís Soares Barbosa
2009 — ed.
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
LerNet ALFA Summer School
Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
2009 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
2009 — conf
Refinement by Interpretation in a General Setting.
REFINE@FMWeek
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2009 B conf
Refinement via Interpretation.
SEFM
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2009 — conf
Which Mathematics for the Information Society?
TFM
João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa
2008 — conf
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.
QSIC
Sun Meng, Luís Soares Barbosa
2008 Misc conf
A Relational Model for Confined Separation Logic.
TASE
Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira
2008 — conf
Calculating Invariants as Coreflexive Bisimulations.
AMAST
Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva
2008 C conf
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code.
SCAM
Nuno F. Rodrigues, Luís Soares Barbosa
2008 — conf
On the Discovery of Business Processes Orchestration Patterns.
SERVICES I
Nuno F. Rodrigues, Luís Soares Barbosa
2008 Misc conf
UML Model Refactoring as Refinement: A Coalgebraic Perspective.
SYNASC
Luís Soares Barbosa, Sun Meng
2007 — conf
A type-level approach to component prototyping.
SYANCO
Luís Soares Barbosa, Jácome Cunha, Joost Visser
2007 — conf
An Exercise on Transition Systems.
TTSS
Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang
2007 J jnl
Higher-Order Lazy Functional Slicing.
J. Univers. Comput. Sci.
Nuno F. Rodrigues, Luís Soares Barbosa
2006 — conf
An Orchestrator for Dynamic Interconnection of Software Components.
CoOrg/MTCoord@COORDINATION
Marco Antonio Barbosa, Luís Soares Barbosa
2006 J jnl
Components as coalgebras: The refinement dimension.
Theor. Comput. Sci.
Sun Meng, Luís Soares Barbosa
2006 — conf
Configurations of Web Services.
FOCLASA
Marco Antonio Barbosa, Luís Soares Barbosa
2006 J jnl
Generic Process Algebra: A Programming Challenge.
J. Univers. Comput. Sci.
Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa
2006 — ed.
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005
FACS
Zhiming Liu, Luís Soares Barbosa
2006 J jnl
Program Slicing by Calculation.
J. Univers. Comput. Sci.
Nuno F. Rodrigues, Luís Soares Barbosa
2006 — conf
Towards a Coordination Model for Interactive Systems.
FMIS@ICFEM
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
2006 J jnl
Transposing partial components - An exercise on coalgebraic refinement.
Theor. Comput. Sci.
Luís Soares Barbosa, José Nuno Oliveira
2005 — conf
Component Identification Through Program Slicing.
FACS
Nuno F. Rodrigues, Luís Soares Barbosa
2005 J jnl
From Algebras to Objects: Generation and Composition.
J. Univers. Comput. Sci.
A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira
2005 C conf
On Refinement of Software Architectures.
ICTAC
Sun Meng, Luís Soares Barbosa, Zhang Naixiao
2005 — conf
Preface.
FACS
Zhiming Liu, Luís Soares Barbosa
2005 — conf
Slicing Functional Programs by Calculation.
Beyond Program Slicing
Nuno F. Rodrigues, Luís Soares Barbosa
2004 — conf
A Coalgebraic Semantic Framework for Component-based Development in UML.
CTCS
Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao
2004 — conf
A Perspective on Component Refinement.
FMCO
Luís Soares Barbosa
2004 J jnl
A Relational Model for Component Interconnection.
J. Univers. Comput. Sci.
Marco Antonio Barbosa, Luís Soares Barbosa
2004 — conf
Architectural Prototyping: From CCS to .Net.
SBMF
Nuno F. Rodrigues, Luís Soares Barbosa
2004 — conf
On Refinement of Generic State-Based Software Components.
AMAST
Sun Meng, Luís Soares Barbosa
2004 B conf
On Semantics and Refinement of UML Statecharts: A Coalgebraic View.
SEFM
Sun Meng, Zhang Naixiao, Luís Soares Barbosa
2004 C conf
Specifying Software Connectors.
ICTAC
Marco Antonio Barbosa, Luís Soares Barbosa
2003 — conf
State-based Components Made Generic.
CMCS
Luís Soares Barbosa, José Nuno Oliveira
2003 J jnl
Towards a Calculus of State-based Software Components.
J. Univers. Comput. Sci.
Luís Soares Barbosa
2002 Misc conf
Coinductive Interpreters for Process Calculi.
FLOPS
Luís Soares Barbosa, José Nuno Oliveira
2001 — —
Components as coalgebras
Luís Soares Barbosa
2001 — conf
Process Calculià la Bird-Meertens.
CMCS
Luís Soares Barbosa
2000 — conf
Components as Processes: An Exercise in Coalgebraic Modeling.
FMOODS
Luís Soares Barbosa
1999 — conf
Prototyping Processes.
APPIA-GULP-PRODE
Luís Soares Barbosa
1997 — conf
CAMILA: Prototyping and Refinement of Constructive Specifications.
AMAST
José João Almeida, Luís Soares Barbosa, F. Luis Neves, José Nuno Oliveira