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