Luís Soares Barbosa

	2012
56		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 Springer 2012
	2011
55		Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa: Hybridization of Institutions. CALCO 2011: 283-297
54		André Martins, Luís Soares Barbosa, Nuno F. Rodrigues: Shacc: A Functional Prototyper for a Component Calculus. CALCO 2011: 413-419
53		Nuno F. Rodrigues, Nuno Oliveira, Luís Soares Barbosa: The Role of Coordination Analysis in Software Integration Projects. OTM Workshops 2011: 83-92
52		César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by interpretation in π-institutions Refine 2011: 53-64
51		Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa: Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285
50		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
	2010
49		Luís Soares Barbosa, Sun Meng: QoS-aware Component Composition. CISIS 2010: 1008-1013
48		Sun Meng, Luís Soares Barbosa: Towards the introduction of QoS information in a component model. SAC 2010: 2045-2046
47		Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues: Revisiting Context-Aware Component Interconnection. SYNASC 2010: 377-384
46		Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh: Preface. ECEASST 33: (2010)
45		Luís Soares Barbosa, Sun Meng: Bringing class diagrams to life. ISSE 6(1-2): 91-98 (2010)
44		Nuno F. Rodrigues, Luís Soares Barbosa: Slicing for architectural analysis. Sci. Comput. Program. 75(10): 828-847 (2010)
	2009
43		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 Springer 2009
42		Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos: A Coordination Model for Interactive Components. FSEN 2009: 416-430
41		Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement via Interpretation. SEFM 2009: 250-259
40		João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa: Which Mathematics for the Information Society? TFM 2009: 39-56
39		Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh: Preface. ECEASST 20: (2009)
38		Marco Devesas Campos, Luís Soares Barbosa: Implementation of an Orchestration Language as a Haskell Domain Specific Language. Electr. Notes Theor. Comput. Sci. 255: 45-64 (2009)
37		Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by Interpretation in a General Setting. Electr. Notes Theor. Comput. Sci. 259: 105-121 (2009)
36		César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa: A Single Complete Relational Rule for Coalgebraic Refinement. Electr. Notes Theor. Comput. Sci. 259: 3-19 (2009)
35		Marco Antonio Barbosa, Luís Soares Barbosa: A perspective on service orchestration. Sci. Comput. Program. 74(9): 671-687 (2009)
	2008
34		Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva: Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99
33		Sun Meng, Luís Soares Barbosa: A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. QSIC 2008: 17-26
32		Nuno F. Rodrigues, Luís Soares Barbosa: CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. SCAM 2008: 265-266
31		Nuno F. Rodrigues, Luís Soares Barbosa: On the Discovery of Business Processes Orchestration Patterns. SERVICES I 2008: 391-398
30		Luís Soares Barbosa, Sun Meng: UML Model Refactoring as Refinement: A Coalgebraic Perspective. SYNASC 2008: 340-347
29		Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira: A Relational Model for Confined Separation Logic. TASE 2008: 263-270
28		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		Marco Antonio Barbosa, Luís Soares Barbosa: Configurations of Web Services. Electr. Notes Theor. Comput. Sci. 175(2): 39-57 (2007)
26		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		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		Nuno F. Rodrigues, Luís Soares Barbosa: Higher-Order Lazy Functional Slicing. J. UCS 13(6): 854-873 (2007)
	2006
23		Zhiming Liu, Luís Soares Barbosa: Preface. Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006)
22		Nuno F. Rodrigues, Luís Soares Barbosa: Component Identification Through Program Slicing. Electr. Notes Theor. Comput. Sci. 160: 291-304 (2006)
21		Nuno F. Rodrigues, Luís Soares Barbosa: Program Slicing by Calculation. J. UCS 12(7): 828-848 (2006)
20		Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa: Generic Process Algebra: A Programming Challenge. J. UCS 12(7): 922-937 (2006)
19		Sun Meng, Luís Soares Barbosa: Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006)
18		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		Nuno F. Rodrigues, Luís Soares Barbosa: Slicing Functional Programs by Calculation. Beyond Program Slicing 2005
16		Sun Meng, Luís Soares Barbosa, Zhang Naixiao: On Refinement of Software Architectures. ICTAC 2005: 469-484
15		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		Nuno F. Rodrigues, Luís Soares Barbosa: Architectural Prototyping: From CCS to .Net. Electr. Notes Theor. Comput. Sci. 130: 151-167 (2005)
13		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		Sun Meng, Luís Soares Barbosa: On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520
11		Luís Soares Barbosa: A Perspective on Component Refinement. FMCO 2004: 23-48
10		Marco Antonio Barbosa, Luís Soares Barbosa: Specifying Software Connectors. ICTAC 2004: 52-67
9		Sun Meng, Zhang Naixiao, Luís Soares Barbosa: On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173
8		Marco Antonio Barbosa, Luís Soares Barbosa: A Relational Model for Component Interconnection. J. UCS 10(7): 808-823 (2004)
	2003
7		Luís Soares Barbosa, José Nuno Oliveira: State-based Components Made Generic. Electr. Notes Theor. Comput. Sci. 82(1): 39-56 (2003)
6		Luís Soares Barbosa: Towards a Calculus of State-based Software Components. J. UCS 9(8): 891-909 (2003)
	2002
5		Luís Soares Barbosa, José Nuno Oliveira: Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197
	2001
4		Luís Soares Barbosa: Process Calculià la Bird-Meertens. Electr. Notes Theor. Comput. Sci. 44(1): 47-66 (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

1	Bernhard K. Aichernig	[15]
2	José João Almeida	[1]
3	Roland Carl Backhouse	[40]
4	Carlos Baquero	[50]
5	Marco Antonio Barbosa	[8] [10] [20] [25] [26] [27] [35] [42] [47]
6	Ana Bove	[43]
7	José Creissac Campos	[25] [42]
8	Marco Devesas Campos	[38]
9	Antonio Cerone	[39] [46]
10	António Miguel Rosado da Cruz (A. Miguel Cruz)	[13]
11	Alcino Cunha	[50]
12	Razvan Diaconescu	[55]
13	José M. Faria	[51]
14	João Fernando Ferreira (João F. Ferreira)	[40] [50]
15	Zhiming Liu	[23]
16	Markus Lumpe	[56]
17	Alexandre Madeira	[37] [41] [51] [52] [55]
18	André Martins	[54]
19	Manuel A. Martins (Manuel António Martins)	[37] [41] [51] [52] [55]
20	Alexandra Mendes	[40] [50]
21	Sun Meng	[9] [12] [15] [16] [19] [30] [33] [45] [48] [49]
22	Zhang Naixiao	[9] [15] [16]
23	F. L. Neves	[1]
24	José Nuno Oliveira	[1] [5] [7] [13] [18] [29] [34] [36] [50]
25	Nuno Oliveira	[53]
26	Alberto Pardo	[43]
27	Jorge Sousa Pinto	[43]
28	Paula R. Ribeiro	[20] [28]
29	César Jesus Rodrigues	[36] [47] [52]
30	Nuno F. Rodrigues	[14] [17] [21] [22] [24] [31] [32] [44] [53] [54]
31	Siraj Ahmed Shaikh (Siraj A. Shaikh)	[39] [46]
32	Alexandra Silva	[34]
33	Paulo F. Silva	[50]
34	Shuling Wang	[28] [29]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page