The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Luís Soares Barbosa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luís Soares Barbosa
    Prototyping Processes. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:513-528 [Conf]
  2. José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira
    CAMILA: Prototyping and Refinement of Constructive Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:554-559 [Conf]
  3. Sun Meng, Luís Soares Barbosa
    On Refinement of Generic State-Based Software Components. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:506-520 [Conf]
  4. Luís Soares Barbosa, José Nuno Oliveira
    Coinductive Interpreters for Process Calculi. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:183-197 [Conf]
  5. Luís Soares Barbosa
    A Perspective on Component Refinement. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:23-48 [Conf]
  6. Luís Soares Barbosa
    Components as Processes: An Exercise in Coalgebraic Modeling. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:397-0 [Conf]
  7. Sun Meng, Luís Soares Barbosa, Zhang Naixiao
    On Refinement of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:469-484 [Conf]
  8. Marco Antonio Barbosa, Luís Soares Barbosa
    Specifying Software Connectors. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:52-67 [Conf]
  9. Sun Meng, Zhang Naixiao, Luís Soares Barbosa
    On Semantics and Refinement of UML Statecharts: A Coalgebraic View. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:164-173 [Conf]
  10. Luís Soares Barbosa
    Process Calculià la Bird-Meertens. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  11. Luís Soares Barbosa, José Nuno Oliveira
    State-based Components Made Generic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  12. Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao
    A Coalgebraic Semantic Framework for Component-based Development in UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:229-245 [Journal]
  13. Nuno F. Rodrigues, Luís Soares Barbosa
    Architectural Prototyping: From CCS to .Net. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:151-167 [Journal]
  14. Zhiming Liu, Luís Soares Barbosa
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:1-2 [Journal]
  15. Nuno F. Rodrigues, Luís Soares Barbosa
    Component Identification Through Program Slicing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:291-304 [Journal]
  16. Luís Soares Barbosa
    Towards a Calculus of State-based Software Components. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:8, pp:891-909 [Journal]
  17. Marco Antonio Barbosa, Luís Soares Barbosa
    A Relational Model for Component Interconnection. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:7, pp:808-823 [Journal]
  18. A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira
    From Algebras to Objects: Generation and Composition. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:10, pp:1580-1612 [Journal]
  19. Nuno F. Rodrigues, Luís Soares Barbosa
    Program Slicing by Calculation. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:7, pp:828-848 [Journal]
  20. Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa
    Generic Process Algebra: A Programming Challenge. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:7, pp:922-937 [Journal]
  21. Luís Soares Barbosa, José Nuno Oliveira
    Transposing partial components - An exercise on coalgebraic refinement. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:2-22 [Journal]
  22. Sun Meng, Luís Soares Barbosa
    Components as coalgebras: The refinement dimension. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:276-294 [Journal]
  23. Marco Antonio Barbosa, Luís Soares Barbosa
    Configurations of Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:39-57 [Journal]
  24. Marco Antonio Barbosa, Luís Soares Barbosa
    An Orchestrator for Dynamic Interconnection of Software Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:49-61 [Journal]
  25. Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos
    Towards a Coordination Model for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:89-103 [Journal]

  26. Calculating Invariants as Coreflexive Bisimulations. [Citation Graph (, )][DBLP]


  27. Slicing Functional Programs by Calculation. [Citation Graph (, )][DBLP]


  28. A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. [Citation Graph (, )][DBLP]


  29. Towards the introduction of QoS information in a component model. [Citation Graph (, )][DBLP]


  30. CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. [Citation Graph (, )][DBLP]


  31. Refinement via Interpretation. [Citation Graph (, )][DBLP]


  32. UML Model Refactoring as Refinement: A Coalgebraic Perspective. [Citation Graph (, )][DBLP]


  33. A Relational Model for Confined Separation Logic. [Citation Graph (, )][DBLP]


  34. A Coordination Model for Interactive Components. [Citation Graph (, )][DBLP]


  35. QoS-aware Component Composition. [Citation Graph (, )][DBLP]


  36. On the Discovery of Business Processes Orchestration Patterns. [Citation Graph (, )][DBLP]


  37. An Exercise on Transition Systems. [Citation Graph (, )][DBLP]


  38. Implementation of an Orchestration Language as a Haskell Domain Specific Language. [Citation Graph (, )][DBLP]


  39. Refinement by Interpretation in a General Setting. [Citation Graph (, )][DBLP]


  40. A Single Complete Relational Rule for Coalgebraic Refinement. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.306secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002