dblp.uni-trier.dewww.uni-trier.de

Luís Soares Barbosa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
32EELuís Soares Barbosa, José Nuno Oliveira, Alexandra Silva: Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99
31EESun Meng, Luís Soares Barbosa: A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. QSIC 2008: 17-26
30EENuno F. Rodrigues, Luís Soares Barbosa: CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. SCAM 2008: 265-266
29EEShuling Wang, Luís Soares Barbosa, José Nuno Oliveira: A Relational Model for Confined Separation Logic. TASE 2008: 263-270
28EEPaula R. Ribeiro, Luís Soares Barbosa, Shuling Wang: An Exercise on Transition Systems. Electr. Notes Theor. Comput. Sci. 207: 89-106 (2008)
2007
27EEMarco Antonio Barbosa, Luís Soares Barbosa: Configurations of Web Services. Electr. Notes Theor. Comput. Sci. 175(2): 39-57 (2007)
26EEMarco Antonio Barbosa, Luís Soares Barbosa: An Orchestrator for Dynamic Interconnection of Software Components. Electr. Notes Theor. Comput. Sci. 181: 49-61 (2007)
25EEMarco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos: Towards a Coordination Model for Interactive Systems. Electr. Notes Theor. Comput. Sci. 183: 89-103 (2007)
24EENuno F. Rodrigues, Luís Soares Barbosa: Higher-Order Lazy Functional Slicing. J. UCS 13(6): 854-873 (2007)
2006
23EEZhiming Liu, Luís Soares Barbosa: Preface. Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006)
22EENuno F. Rodrigues, Luís Soares Barbosa: Component Identification Through Program Slicing. Electr. Notes Theor. Comput. Sci. 160: 291-304 (2006)
21EENuno F. Rodrigues, Luís Soares Barbosa: Program Slicing by Calculation. J. UCS 12(7): 828-848 (2006)
20EEPaula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa: Generic Process Algebra: A Programming Challenge. J. UCS 12(7): 922-937 (2006)
19EESun Meng, Luís Soares Barbosa: Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006)
18EELuís Soares Barbosa, José Nuno Oliveira: Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006)
2005
17EENuno F. Rodrigues, Luís Soares Barbosa: Slicing Functional Programs by Calculation. Beyond Program Slicing 2005
16EESun Meng, Luís Soares Barbosa, Zhang Naixiao: On Refinement of Software Architectures. ICTAC 2005: 469-484
15EESun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao: A Coalgebraic Semantic Framework for Component-based Development in UML. Electr. Notes Theor. Comput. Sci. 122: 229-245 (2005)
14EENuno F. Rodrigues, Luís Soares Barbosa: Architectural Prototyping: From CCS to .Net. Electr. Notes Theor. Comput. Sci. 130: 151-167 (2005)
13EEA. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira: From Algebras to Objects: Generation and Composition. J. UCS 11(10): 1580-1612 (2005)
2004
12EESun Meng, Luís Soares Barbosa: On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520
11EELuís Soares Barbosa: A Perspective on Component Refinement. FMCO 2004: 23-48
10EEMarco Antonio Barbosa, Luís Soares Barbosa: Specifying Software Connectors. ICTAC 2004: 52-67
9EESun Meng, Zhang Naixiao, Luís Soares Barbosa: On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173
8EEMarco Antonio Barbosa, Luís Soares Barbosa: A Relational Model for Component Interconnection. J. UCS 10(7): 808-823 (2004)
2003
7EELuís Soares Barbosa, José Nuno Oliveira: State-based Components Made Generic. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
6EELuís Soares Barbosa: Towards a Calculus of State-based Software Components. J. UCS 9(8): 891-909 (2003)
2002
5EELuís Soares Barbosa, José Nuno Oliveira: Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197
2001
4EELuís Soares Barbosa: Process Calculià la Bird-Meertens. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
2000
3 Luís Soares Barbosa: Components as Processes: An Exercise in Coalgebraic Modeling. FMOODS 2000: 397-
1999
2 Luís Soares Barbosa: Prototyping Processes. APPIA-GULP-PRODE 1999: 513-528
1997
1 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

1Bernhard K. Aichernig [15]
2José João Almeida [1]
3Marco Antonio Barbosa [8] [10] [20] [25] [26] [27]
4José Creissac Campos [25]
5A. Miguel Cruz [13]
6Zhiming Liu [23]
7Sun Meng [9] [12] [15] [16] [19] [31]
8Zhang Naixiao [9] [15] [16]
9F. L. Neves [1]
10José Nuno Oliveira [1] [5] [7] [13] [18] [29] [32]
11Paula R. Ribeiro [20] [28]
12Nuno F. Rodrigues [14] [17] [21] [22] [24] [30]
13Alexandra Silva [32]
14Shuling Wang [28] [29]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)