Edit Profile (opens in new tab) Barbosa, Luís Soares Compute Distance To: Compute Author ID: barbosa.luis-soares Published as: Barbosa, Luís S.; Barbosa, Luis S.; Barbosa, Luís Soares; Barbosa, L. S.; Barbosa, Luis Soares; Soares Barbosa, Luís; Barbosa, Luis Documents Indexed: 42 Publications since 2000 4 Contributions as Editor Co-Authors: 30 Co-Authors with 42 Joint Publications 429 Co-Co-Authors all top 5 Co-Authors 4 single-authored 18 Martins, Manuel António 16 Madeira, Alexandre 8 Neves, Renato 5 Meng, Sun 5 Oliveira, José Nuno 3 Barbosa, Marco Antonio 3 Hennicker, Rolf 2 Silva, Alexandra 1 Abam, Mohammad Ali 1 Aichernig, Bernhard K. 1 Baltag, Alexandru 1 Bove, Ana 1 Campos, José C. T. 1 Carreteiro, Marta 1 Cunha, Alcino 1 Diaconescu, Răzvan 1 Faria, José M. 1 Figueiredo, Daniel Ratton 1 Gomes, Leandro G. 1 Hofmann, Dirk 1 Lumpe, Markus 1 Naixiao, Zhang 1 Pardo, Alberto 1 Pinto, Jorge Sousa 1 Ribeiro, Paula R. 1 Rodrigues, César J. 1 Rodrigues, Nuno F. 1 Sánchez, Alejandro D. 1 Wang, Shuling 1 Zhang, Naixiao all top 5 Serials 4 Theoretical Computer Science 4 Lecture Notes in Computer Science 2 Science of Computer Programming 2 Journal of Logical and Algebraic Methods in Programming 1 Studia Logica 1 Formal Aspects of Computing 1 Journal of Logic, Language and Information 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science 1 Logical Methods in Computer Science Fields 40 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 4 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 93 times in 52 Documents Cited by ▼ Year ▼ Hybridization of institutions. Zbl 1343.03052Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. 13 2011 Components as coalgebras: the refinement dimension. Zbl 1086.68031Meng, Sun; Barbosa, Luís S. 7 2006 Transposing partial components–an exercise on coalgebraic refinement. Zbl 1118.68047Barbosa, Luís S.; Oliveira, José N. 7 2006 Refinement in hybridised institutions. Zbl 1331.68149Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf 5 2015 Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. 5 2016 A dynamic logic for every season. Zbl 1335.03030Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. 5 2015 State-based components made generic. Zbl 1270.68185Barbosa, L. S.; Oliveira, J. N. 4 2003 Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S. 4 2011 Continuity as a computational effect. Zbl 1355.68059Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 4 2016 On refinement of generic state-based software components. Zbl 1108.68400Meng, Sun; Barbosa, Luís S. 3 2004 Components as processes: An exercise in coalgebraic modeling. Zbl 0968.68103Barbosa, L. S. 3 2000 Calculating invariants as coreflexive bisimulations. Zbl 1170.68426Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra 3 2008 Refinement by interpretation in a general setting. Zbl 1342.68091Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S. 3 2009 A logic for the stepwise development of reactive systems. Zbl 1400.68125Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. 2 2018 Languages and models for hybrid automata: a coalgebraic perspective. Zbl 1400.68112Neves, Renato; Barbosa, Luís S. 2 2018 Hybrid automata as coalgebras. Zbl 1400.68111Neves, Renato; Barbosa, Luis S. 2 2016 Coinductive interpreters for process calculi. Zbl 1019.68519Barbosa, Luís Soares; Oliveira, José Nuno 2 2002 A coalgebraic semantic framework for component-based development in UML. Zbl 1272.68105Meng, Sun; Aichernig, Bernhard K.; Barbosa, Luís S.; Naixiao, Zhang 2 2005 Hybridisation at work. Zbl 1396.68113Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S. 2 2013 An exercise on transition systems. Zbl 1279.68265Ribeiro, Paula R.; Barbosa, L. S.; Wang, Shuling 2 2008 Specifying software connectors. Zbl 1108.68489Barbosa, Marco Antonio; Barbosa, Luís Soares 2 2005 On refinement of software architectures. Zbl 1169.68367Meng, Sun; Barbosa, Luís S.; Zhang, Naixiao 2 2005 A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta 1 2014 A coalgebraic perspective on logical interpretations. Zbl 1353.68185Martins, M. A.; Madeira, A.; Barbosa, L. S. 1 2013 The role of logical interpretations in program development. Zbl 1314.68190Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. 1 2014 Process calculi à la Bird-Meertens. Zbl 1260.68257Barbosa, Luís S. 1 2001 A perspective on service orchestration. Zbl 1167.68361Barbosa, Marco A.; Barbosa, Luis S. 1 2009 A coordination model for interactive components. Zbl 1274.68063Barbosa, Marco A.; Barbosa, Luis S.; Campos, José C. 1 2010 Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Zbl 1430.03006 1 2020 Asymmetric combination of logics is functorial: a survey. Zbl 07152401Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. 1 2017 On the verification of architectural reconfigurations. Zbl 1387.68071Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. 1 2015 Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Zbl 1430.03006 1 2020 A logic for the stepwise development of reactive systems. Zbl 1400.68125Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. 2 2018 Languages and models for hybrid automata: a coalgebraic perspective. Zbl 1400.68112Neves, Renato; Barbosa, Luís S. 2 2018 Asymmetric combination of logics is functorial: a survey. Zbl 07152401Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. 1 2017 Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. 5 2016 Continuity as a computational effect. Zbl 1355.68059Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 4 2016 Hybrid automata as coalgebras. Zbl 1400.68111Neves, Renato; Barbosa, Luis S. 2 2016 Refinement in hybridised institutions. Zbl 1331.68149Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf 5 2015 A dynamic logic for every season. Zbl 1335.03030Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. 5 2015 On the verification of architectural reconfigurations. Zbl 1387.68071Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. 1 2015 A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta 1 2014 The role of logical interpretations in program development. Zbl 1314.68190Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. 1 2014 Hybridisation at work. Zbl 1396.68113Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S. 2 2013 A coalgebraic perspective on logical interpretations. Zbl 1353.68185Martins, M. A.; Madeira, A.; Barbosa, L. S. 1 2013 Hybridization of institutions. Zbl 1343.03052Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. 13 2011 Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S. 4 2011 A coordination model for interactive components. Zbl 1274.68063Barbosa, Marco A.; Barbosa, Luis S.; Campos, José C. 1 2010 Refinement by interpretation in a general setting. Zbl 1342.68091Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S. 3 2009 A perspective on service orchestration. Zbl 1167.68361Barbosa, Marco A.; Barbosa, Luis S. 1 2009 Calculating invariants as coreflexive bisimulations. Zbl 1170.68426Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra 3 2008 An exercise on transition systems. Zbl 1279.68265Ribeiro, Paula R.; Barbosa, L. S.; Wang, Shuling 2 2008 Components as coalgebras: the refinement dimension. Zbl 1086.68031Meng, Sun; Barbosa, Luís S. 7 2006 Transposing partial components–an exercise on coalgebraic refinement. Zbl 1118.68047Barbosa, Luís S.; Oliveira, José N. 7 2006 A coalgebraic semantic framework for component-based development in UML. Zbl 1272.68105Meng, Sun; Aichernig, Bernhard K.; Barbosa, Luís S.; Naixiao, Zhang 2 2005 Specifying software connectors. Zbl 1108.68489Barbosa, Marco Antonio; Barbosa, Luís Soares 2 2005 On refinement of software architectures. Zbl 1169.68367Meng, Sun; Barbosa, Luís S.; Zhang, Naixiao 2 2005 On refinement of generic state-based software components. Zbl 1108.68400Meng, Sun; Barbosa, Luís S. 3 2004 State-based components made generic. Zbl 1270.68185Barbosa, L. S.; Oliveira, J. N. 4 2003 Coinductive interpreters for process calculi. Zbl 1019.68519Barbosa, Luís Soares; Oliveira, José Nuno 2 2002 Process calculi à la Bird-Meertens. Zbl 1260.68257Barbosa, Luís S. 1 2001 Components as processes: An exercise in coalgebraic modeling. Zbl 0968.68103Barbosa, L. S. 3 2000 all cited Publications top 5 cited Publications all top 5 Cited by 67 Authors 18 Barbosa, Luís Soares 17 Madeira, Alexandre 15 Martins, Manuel António 7 Neves, Renato 6 Hennicker, Rolf 4 Benevides, Mario R. F. 4 Oliveira, José Nuno 3 Diaconescu, Răzvan 3 Knapp, Alexander 2 Gaĭnă, Daniel 2 Hofmann, Dirk 2 Meng, Sun 2 Sun, Meng 1 Aiguier, Marc 1 Babenyshev, Sergey 1 Barbosa, Marco Antonio 1 Bensalem, Saddek 1 Bonsangue, Marcello Maria 1 Boulanger, Frédéric 1 Bruni, Roberto 1 Cabrera, Inma P. 1 Caleiro, Carlos 1 Carreteiro, Marta 1 Ciobâcă, Ştefan 1 Clarke, Dave 1 Cordero, Pablo 1 de Vink, Erik P. 1 Faria, José M. 1 Fiadeiro, José Luiz 1 Gidey, Habtom Kashay 1 Goncharov, Sergeĭ Savost’yanovich 1 Gutiérrez, Gloria 1 Huertas, Antonia 1 Jain, Manisha 1 Jakob, Julian 1 Kanso, Bilal 1 Kokash, Natallia 1 Krause, Christian 1 Lopes, Antónia 1 Manzano, María 1 Marmsoler, Diego 1 Martínez del Castillo, Javier 1 Melgratti, Hernán 1 Mereuta, Radu 1 Miraldo, Victor Cacciari 1 Montanari, Ugo G. 1 Moore, Brandon M. 1 Nora, Pedro 1 Ojeda-Aciego, Manuel 1 Pavlović, Duško 1 Rasga, João 1 Ribeiro, Paula R. 1 Rodrigues, César J. 1 Roggenbach, Markus 1 Rosenberger, Tobias 1 Roşu, Grigore 1 Sánchez, Alejandro D. 1 Şerbănuţă, Traian Florin 1 Sernadas, Amilcar C. 1 Sernadas, Cristina S. 1 Silva, Alexandra 1 Sobociński, Paweł 1 Ştefănescu, Andrei 1 Ţuţu, Ionuţ 1 Viganò, Luca 1 Wang, Shuling 1 Wirsing, Martin all top 5 Cited in 14 Serials 7 Theoretical Computer Science 7 Journal of Logical and Algebraic Methods in Programming 5 Formal Aspects of Computing 3 Studia Logica 2 Science of Computer Programming 2 MSCS. Mathematical Structures in Computer Science 2 Logica Universalis 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Logic, Language and Information 1 Computer Languages, Systems & Structures 1 Journal of Applied Logic 1 Mathematics in Computer Science 1 Logical Methods in Computer Science all top 5 Cited in 6 Fields 43 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 9 Category theory; homological algebra (18-XX) 2 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) Citations by Year