Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarLuís Soares Barbosa
Person information
- affiliation: Universidade do Minho, Braga, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[e5]Luís Soares Barbosa
, Alexandru Baltag:
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 12005, Springer 2020, ISBN 978-3-030-38807-2 [contents]
2010 – 2019
- 2019
- [j48]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comp. Sci. 29(2): 141-184 (2019) - [c84]Luiz F. P. Southier, Muriel Mazzetto, Dalcimar Casanova, Marco A. C. Barbosa, Luís Soares Barbosa, Marcelo Teixeira:
Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. ETFA 2019: 370-377 - [c83]Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa:
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM 2019: 154-169 - [i4]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Generalising KAT to verify weighted computations. CoRR abs/1911.01146 (2019) - 2018
- [j47]Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa:
A taxonomy for planning and designing smart mobility services. Gov. Inf. Q. 35(1): 61-76 (2018) - [j46]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018) - [j45]Renato Neves, Luís Soares Barbosa:
Languages and models for hybrid automata: A coalgebraic perspective. Theor. Comput. Sci. 744: 113-142 (2018) - [c82]Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa:
A Note on Reactive Transitions and Reo Connectors. It's All About Coordination 2018: 57-67 - [c81]Nuno Ramos Carvalho, Luís Soares Barbosa:
Transforming Legal Documents for Visualization and Analysis. ICEGOV 2018: 23-26 - [c80]Luís Paulo Santos, Luís Nuno Barbosa, Diogo Aires Bessa, Lúcia Pereira Martins, Luís Soares Barbosa:
Communities of Practice as a tool to support the GCIO function. ICEGOV 2018: 118-126 - [c79]Daniel Figueiredo, Luís Soares Barbosa:
Reactive Models for Biological Regulatory Networks. MLCSB 2018: 74-88 - [i3]Luís Soares Barbosa, Alexandre Madeira:
A Research Agenda on Quantum Algoritmics. ERCIM News 2018(113) (2018) - 2017
- [c78]Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. CLOSER 2017: 201-212 - [c77]Luís Soares Barbosa, Luís Paulo Santos:
Networks of Universities as a Tool for GCIO Education. EGOV 2017: 117-127 - [c76]Allberson B. de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. FACS 2017: 198-215 - [c75]Guillermina Cledou, José Proença, Luís Soares Barbosa:
Composing Families of Timed Automata. FSEN 2017: 51-66 - [c74]Luís Soares Barbosa:
Digital Governance for Sustainable Development. I3E 2017: 85-93 - [c73]Morten Meyerhoff Nielsen, Nuno Ramos Carvalho, Linda Veiga, Luís Soares Barbosa:
Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. ICEGOV 2017: 140-148 - [c72]Guillermina Cledou, Luís Soares Barbosa:
Modeling Families of Public Licensing Services: A Case Study. FormaliSE@ICSE 2017: 37-43 - [c71]Guillermina Cledou, José Proença, Luís Soares Barbosa:
A Refinement Relation for Families of Timed Automata. SBMF 2017: 161-178 - [c70]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
On Kleene Algebras for Weighted Computation. SBMF 2017: 271-286 - [c69]Luís Soares Barbosa:
Layered Logics, Coalgebraically. DALI@TABLEAUX 2017: 55-63 - [c68]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Hierarchical Hybrid Logic. LSFA 2017: 167-184 - 2016
- [j44]Luís Soares Barbosa, Alcino Cunha, Alexandra Silva:
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebraic Methods Program. 85(5): 805 (2016) - [j43]Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85(5): 1057-1085 (2016) - [j42]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016) - [j41]Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins:
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016) - [c67]Sara Fernandes, Luís Soares Barbosa:
Applying the 3C Model to FLOSS Communities. CRIWG 2016: 139-150 - [c66]Sara Fernandes, Luís Soares Barbosa:
Electronic governance in Portugal: a silent pioneer. EGOSE 2016: 77-82 - [c65]Maria Guillermina Cledou, Luís Soares Barbosa:
An Ontology for Licensing Public Transport Services. ICEGOV 2016: 230-239 - [c64]Linda Veiga, Tomasz Janowski, Luís Soares Barbosa:
Digital Government and Administrative Burden Reduction. ICEGOV 2016: 323-326 - [c63]Renato Neves, Luís Soares Barbosa:
Hybrid Automata as Coalgebras. ICTAC 2016: 385-402 - [c62]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC 2016: 422-440 - [c61]Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins:
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55 - [c60]Nuno Oliveira, Luís Soares Barbosa:
An Enhanced Model for Stochastic Coordination. iFMCloud@IFM 2016: 35-45 - [p2]Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30 - 2015
- [j40]Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa:
On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44: 218-237 (2015) - [j39]Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
Towards an engine for coordination-based architectural reconfigurations. Comput. Sci. Inf. Syst. 12(2): 607-634 (2015) - [j38]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Asp. Comput. 27(2): 375-395 (2015) - [j37]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
IMCReo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5(1): 3-28 (2015) - [j36]Nuno Oliveira, Luís Soares Barbosa:
Self-adaptation by coordination-targeted reconfigurations. J. Software Eng. R&D 3: 6 (2015) - [j35]Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques:
A perspective on architectural re-engineering. Sci. Comput. Program. 98: 764-784 (2015) - [j34]Nuno Oliveira, Luís Soares Barbosa:
Reasoning about software reconfigurations: The behavioural and structural perspectives. Sci. Comput. Program. 110: 78-103 (2015) - [c59]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56 - [i2]Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015) - 2014
- [j33]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
The role of logical interpretations in program development. Logical Methods in Computer Science 10(1) (2014) - [j32]Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro:
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic, Language and Information 23(1): 31-52 (2014) - [j31]Luís Soares Barbosa, Siraj Ahmed Shaikh:
Selected contributions from the Open Source Software Certification (OpenCert) workshops. Sci. Comput. Program. 91: 139-140 (2014) - [j30]Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software (FACS 2010 selected and extended papers). Sci. Comput. Program. 94: 253-254 (2014) - [j29]Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. Sci. Comput. Program. 96: 175-176 (2014) - [c58]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves:
Paradigm integration in a specification course. IRI 2014: 492-499 - [c57]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
Quantitative analysis of Reo-based service coordination. SAC 2014: 1247-1254 - [c56]Nuno Oliveira, Luís Soares Barbosa:
A Self-Adaptation Strategy for Service-Based Architectures. SBCARS 2014: 1-10 - [c55]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145 - [c54]Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF 2014: 146-161 - [c53]Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira:
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops 2014: 147-163 - [c52]Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. SLATE 2014: 61-76 - [e4]Elsa Estevez, Marijn Janssen, Luís Soares Barbosa:
Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014. ACM 2014, ISBN 978-1-60558-611-3 [contents] - 2013
- [j28]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
A Coalgebraic Perspective on Logical Interpretations. Studia Logica 101(4): 783-825 (2013) - [c51]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345 - [c50]Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa:
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach. CRIWG 2013: 208-214 - [c49]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) 2013: 45-75 - [c48]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Giving Alloy a family. IRI 2013: 512-519 - [c47]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A pilot project on non-conventional learning. ITiCSE 2013: 346 - [c46]Nuno Oliveira, Luís Soares Barbosa:
On the reconfiguration of software connectors. SAC 2013: 1885-1892 - [c45]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89 - [c44]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Analysis of FLOSS Communities as Learning Contexts. SEFM Workshops 2013: 405-416 - [c43]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... TASE 2013: 79-82 - [c42]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Verifying Bigraphical Models of Architectural Reconfigurations. TASE 2013: 135-138 - [c41]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98 - 2012
- [j27]Luís Soares Barbosa, Sun Meng:
A Calculus for Generic, QoS-Aware Component Composition. Mathematics in Computer Science 6(4): 475-497 (2012) - [c40]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government. ICEGOV 2012: 475-476 - [c39]Luís Soares Barbosa:
Software Components as Invariant-Typed Arrows - (Keynote Talk). SBLP 2012: 1-5 - [c38]Luís Soares Barbosa, Maria Helena Martinho:
Mathematical Literacy as a Condition for Sustainable Development. SEFM Satellite Events 2012: 64-77 - [c37]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos:
FLOSS in Technology-Enhanced Learning. SEFM Satellite Events 2012: 121-132 - [c36]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A Preliminary Analysis of Learning Awareness in FLOSS Projects. SEFM Satellite Events 2012: 133-139 - [c35]Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco:
Analysing Tactics in Architectural Patterns. SEW 2012: 32-41 - [c34]Nuno Oliveira, Luís Soares Barbosa:
Reconfiguration Mechanisms for Service Coordination. WS-FM 2012: 134-149 - [e3]Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4 [contents] - [e2]Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7554, Springer 2012, ISBN 978-3-642-33181-7 [contents] - 2011
- [j26]Luís Soares Barbosa, Dimitrios Settas:
Preface. ECEASST 48 (2011) - [c33]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
A language for behavioural modelling of architectural patterns. BM-FA 2011: 17-24 - [c32]Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa:
Hybridization of Institutions. CALCO 2011: 283-297 - [c31]André Martins, Luís Soares Barbosa, Nuno F. Rodrigues:
Shacc: A Functional Prototyper for a Component Calculus. CALCO 2011: 413-419 - [c30]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Bigraphical Modelling of Architectural Patterns. FACS 2011: 313-330 - [c29]Nuno F. Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
The Role of Coordination Analysis in Software Integration Projects. OTM Workshops 2011: 83-92 - [c28]Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa:
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285 - [c27]João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira:
Logic Training through Algorithmic Problem Solving. TICTTL 2011: 62-69 - [c26]César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by interpretation in π-institutions. Refine@FM 2011: 53-64 - 2010
- [j25]Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh:
Certification of open-source software: A role for formal methods? Comput. Syst. Sci. Eng. 25(4) (2010) - [j24]Ernesto Damiani, Luís Soares Barbosa, Peter T. Breuer, Claudio Agostino Ardagna:
Special issue: Open Source Certification. Comput. Syst. Sci. Eng. 25(4) (2010) - [j23]Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh:
Preface. ECEASST 33 (2010) - [j22]Luís Soares Barbosa, Sun Meng:
Bringing class diagrams to life. ISSE 6(1-2): 91-98 (2010) - [j21]Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing for architectural analysis. Sci. Comput. Program. 75(10): 828-847 (2010) - [c25]Luís Soares Barbosa, Sun Meng:
QoS-aware Component Composition. CISIS 2010: 1008-1013 - [c24]Sun Meng, Luís Soares Barbosa:
Towards the introduction of QoS information in a component model. SAC 2010: 2045-2046 - [c23]Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues:
Revisiting Context-Aware Component Interconnection. SYNASC 2010: 377-384
2000 – 2009
- 2009
- [j20]Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh:
Preface. ECEASST 20 (2009) - [j19]Marco Devesas Campos, Luís Soares Barbosa:
Implementation of an Orchestration Language as a Haskell Domain Specific Language. Electron. Notes Theor. Comput. Sci. 255: 45-64 (2009) - [j18]César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa:
A Single Complete Relational Rule for Coalgebraic Refinement. Electron. Notes Theor. Comput. Sci. 259: 3-19 (2009) - [j17]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by Interpretation in a General Setting. Electron. Notes Theor. Comput. Sci. 259: 105-121 (2009) - [j16]Marco Antonio Barbosa, Luís Soares Barbosa:
A perspective on service orchestration. Sci. Comput. Program. 74(9): 671-687 (2009) - [c22]Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
A Coordination Model for Interactive Components. FSEN 2009: 416-430 - [c21]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement via Interpretation. SEFM 2009: 250-259 - [c20]João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa:
Which Mathematics for the Information Society? TFM 2009: 39-56 - [p1]Sun Meng, Luís Soares Barbosa:
Co-Algebraic Semantic Framework for Reasoning about Interaction Designs. UML 2 Semantics and Applications 2009: 249-280 - [e1]Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto:
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Lecture Notes in Computer Science 5520, Springer 2009, ISBN 978-3-642-03152-6 [contents] - 2008
- [j15]Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang:
An Exercise on Transition Systems. Electron. Notes Theor. Comput. Sci. 207: 89-106 (2008) - [c19]Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99 - [c18]Sun Meng, Luís Soares Barbosa:
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. QSIC 2008: 17-26 - [c17]Nuno F. Rodrigues, Luís Soares Barbosa:
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. SCAM 2008: 265-266 - [c16]Nuno F. Rodrigues, Luís Soares Barbosa:
On the Discovery of Business Processes Orchestration Patterns. SERVICES I 2008: 391-398 - [c15]Luís Soares Barbosa, Sun Meng:
UML Model Refactoring as Refinement: A Coalgebraic Perspective. SYNASC 2008: 340-347 - [c14]Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira:
A Relational Model for Confined Separation Logic. TASE 2008: 263-270 - 2007
- [j14]Marco Antonio Barbosa, Luís Soares Barbosa:
Configurations of Web Services. Electron. Notes Theor. Comput. Sci. 175(2): 39-57 (2007) - [j13]Marco Antonio Barbosa, Luís Soares Barbosa:
An Orchestrator for Dynamic Interconnection of Software Components. Electron. Notes Theor. Comput. Sci. 181: 49-61 (2007) - [j12]Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
Towards a Coordination Model for Interactive Systems. Electron. Notes Theor. Comput. Sci. 183: 89-103 (2007) - [j11]Nuno F. Rodrigues, Luís Soares Barbosa:
Higher-Order Lazy Functional Slicing. J. UCS 13(6): 854-873 (2007) - [c13]Luís Soares Barbosa, Jácome Cunha, Joost Visser:
A type-level approach to component prototyping. SYANCO 2007: 23-36 - 2006
- [j10]Zhiming Liu, Luís Soares Barbosa:
Preface. Electron. Notes Theor. Comput. Sci. 160: 1-2 (2006) - [j9]Nuno F. Rodrigues, Luís Soares Barbosa:
Component Identification Through Program Slicing. Electron. Notes Theor. Comput. Sci. 160: 291-304 (2006) - [j8]Nuno F. Rodrigues, Luís Soares Barbosa:
Program Slicing by Calculation. J. UCS 12(7): 828-848 (2006) - [j7]Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa:
Generic Process Algebra: A Programming Challenge. J. UCS 12(7): 922-937 (2006) - [j6]Sun Meng, Luís Soares Barbosa:
Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006) - [j5]Luís Soares Barbosa, José Nuno Oliveira:
Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006) - 2005
- [j4]Nuno F. Rodrigues, Luís Soares Barbosa:
Architectural Prototyping: From CCS to .Net. Electron. Notes Theor. Comput. Sci. 130: 151-167 (2005) - [j3]A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira:
From Algebras to Objects: Generation and Composition. J. UCS 11(10): 1580-1612 (2005) - [c12]Sun Meng, Luís Soares Barbosa, Zhang Naixiao:
On Refinement of Software Architectures. ICTAC 2005: 469-484 - [i1]Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing Functional Programs by Calculation. Beyond Program Slicing 2005 - 2004
- [j2]Marco Antonio Barbosa, Luís Soares Barbosa:
A Relational Model for Component Interconnection. J. UCS 10(7): 808-823 (2004) - [c11]Sun Meng, Luís Soares Barbosa:
On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520 - [c10]Luís Soares Barbosa:
A Perspective on Component Refinement. FMCO 2004: 23-48 - [c9]Marco Antonio Barbosa, Luís Soares Barbosa:
Specifying Software Connectors. ICTAC 2004: 52-67 - [c8]Sun Meng, Zhang Naixiao, Luís Soares Barbosa:
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173 - [c7]Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao:
A Coalgebraic Semantic Framework for Component-based Development in UML. CTCS 2004: 229-245 - 2003
- [j1]Luís Soares Barbosa:
Towards a Calculus of State-based Software Components. J. UCS 9(8): 891-909 (2003) - [c6]Luís Soares Barbosa, José Nuno Oliveira:
State-based Components Made Generic. CMCS 2003: 39-56 - 2002
- [c5]Luís Soares Barbosa, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197 - 2001
- [c4]Luís Soares Barbosa:
Process Calculià la Bird-Meertens. CMCS 2001: 47-66 - 2000
- [c3]Luís Soares Barbosa:
Components as Processes: An Exercise in Coalgebraic Modeling. FMOODS 2000: 397-417
1990 – 1999
- 1999
- [c2]Luís Soares Barbosa:
Prototyping Processes. APPIA-GULP-PRODE 1999: 513-528 - 1997
- [c1]José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira:
CAMILA: Prototyping and Refinement of Constructive Specifications. AMAST 1997: 554-559
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-02-26 01:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
