The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José Luiz Fiadeiro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. José Luiz Fiadeiro, Amílcar Sernadas
    Specification and Verification of Database Dynamics. [Citation Graph (6, 0)][DBLP]
    Acta Inf., 1988, v:25, n:6, pp:625-661 [Journal]
  2. José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake
    Proof-Theoretic Semantics of Object-Oriented Specification Constructs. [Citation Graph (5, 0)][DBLP]
    DS-4, 1990, pp:243-284 [Conf]
  3. José Luiz Fiadeiro, Amílcar Sernadas
    The INFOLOG linear tense propositional logic of events and transactions. [Citation Graph (3, 0)][DBLP]
    Inf. Syst., 1986, v:11, n:1, pp:61-85 [Journal]
  4. José Luiz Fiadeiro, T. S. E. Maibaum
    Temporal reasoning over deontic specifications. [Citation Graph (2, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:3, pp:357-395 [Journal]
  5. José Luiz Fiadeiro, T. S. E. Maibaum
    Describing, Structuring and Implementing Objects. [Citation Graph (1, 0)][DBLP]
    REX Workshop, 1990, pp:274-310 [Conf]
  6. José Luiz Fiadeiro, Amílcar Sernadas
    Behavioural Aspects of Intelligent Knowledge-Based Information Systems. [Citation Graph (1, 0)][DBLP]
    Temporal Aspects in Information Systems, 1987, pp:77-92 [Conf]
  7. Cristina Sernadas, José Luiz Fiadeiro
    Towards object-oriented conceptual modeling. [Citation Graph (1, 0)][DBLP]
    Data Knowl. Eng., 1991, v:6, n:, pp:479-508 [Journal]
  8. José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
    A Mathematical Semantics for Architectural Connectors. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 2003, pp:178-221 [Conf]
  9. José Luiz Fiadeiro, Amílcar Sernadas
    Structuring Theories on Consequence. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:44-72 [Conf]
  10. Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro
    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  11. José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
    Synthesising interconnections. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:240-264 [Conf]
  12. José Luiz Fiadeiro
    Algebraic Support for Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:75-82 [Conf]
  13. José Luiz Fiadeiro
    On the Emergence of Properties in Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:421-443 [Conf]
  14. José Luiz Fiadeiro, Antónia Lopes
    Algebraic Semantics of Coordination or What Is in a Signature. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:293-307 [Conf]
  15. Antónia Lopes, José Luiz Fiadeiro
    Revisiting the Categorical Approach to Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:426-440 [Conf]
  16. Antónia Lopes, José Luiz Fiadeiro
    Preservation and Reflection in Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:380-394 [Conf]
  17. Luis Filipe Andrade, José Luiz Fiadeiro
    Coordination Technologies for Managing Information System Evolution. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2001, pp:374-387 [Conf]
  18. Luis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
    Coordination for Distributed Business Systems. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops, 2003, pp:- [Conf]
  19. Ana M. D. Moreira, José Luiz Fiadeiro, Luis Filipe Andrade
    Evolving Requirements through Coordination Contracts. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2003, pp:633-646 [Conf]
  20. M. Arrais, José Luiz Fiadeiro
    Unifying Theories in Different Institutions. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:81-101 [Conf]
  21. José Luiz Fiadeiro, José Félix Costa
    Institutions for Behaviour Specification. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:273-289 [Conf]
  22. José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
    Process Semantics of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:236-253 [Conf]
  23. Georg Reichwein, José Luiz Fiadeiro, Mechthild Rohen
    Declarative Semantics of Interoperable Data and Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    CoopIS, 1993, pp:291-299 [Conf]
  24. Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger
    Coordination for Orchestration. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:5-13 [Conf]
  25. Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger
    Patterns for Coordination. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:317-322 [Conf]
  26. Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh
    Problem Frames: A Case for Coordination. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:5-19 [Conf]
  27. I. Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski
    Coordination Durative Actions. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:115-130 [Conf]
  28. José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
    05081 Abstracts Collection - Foundations of Global Computing. [Citation Graph (0, 0)][DBLP]
    Foundations of Global Computing, 2005, pp:- [Conf]
  29. Georgios Koutsoukos, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro
    Managing Evolution in Telecommunication Systems. [Citation Graph (0, 0)][DBLP]
    DAIS, 2001, pp:133-140 [Conf]
  30. Rogério Carapuça, José Luiz Fiadeiro
    Varying Representation Schemata vs Fact Updating in KB Management. [Citation Graph (0, 0)][DBLP]
    DS-2, 1986, pp:71-87 [Conf]
  31. Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
    Object-Oriented Conceptual Modeling from Law. [Citation Graph (0, 0)][DBLP]
    DS-3, 1988, pp:305-327 [Conf]
  32. José Luiz Fiadeiro
    An Architectural Approach to Fault Treatment in Critical Infrastructures. [Citation Graph (0, 0)][DBLP]
    EDCC, 2002, pp:86-87 [Conf]
  33. Georg Reichwein, José Luiz Fiadeiro
    Semantics of Interworking Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:93-104 [Conf]
  34. Michel Wermelinger, José Luiz Fiadeiro
    Algebraic Software Architecture Reconfiguration. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:393-409 [Conf]
  35. Antónia Lopes, José Luiz Fiadeiro
    Context-Awareness in Software Architectures. [Citation Graph (0, 0)][DBLP]
    EWSA, 2005, pp:146-161 [Conf]
  36. José Luiz Fiadeiro, Antónia Lopes
    A Formal Approach to Event-Based Architectures. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:18-32 [Conf]
  37. João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro
    The Coordination Development Environment. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:323-326 [Conf]
  38. Antónia Lopes, José Luiz Fiadeiro
    Using Explicit State to Describe Architechtures. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:144-160 [Conf]
  39. Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes
    Specification of Required Non-determinism. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:298-317 [Conf]
  40. José Luiz Fiadeiro, Antónia Lopes
    CommUnity on the Move: Architectures for Distribution and Mobility. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:177-196 [Conf]
  41. José Luiz Fiadeiro
    Separating Distribution from Coordination and Computation as Architectural Dimensions. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:17- [Conf]
  42. José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas
    Knowledgebases as Structured Theories. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:469-486 [Conf]
  43. Luis Filipe Andrade, José Luiz Fiadeiro
    An Architectural Approach to Auto-Adaptive Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2002, pp:439-444 [Conf]
  44. Luis Filipe Andrade, José Luiz Fiadeiro
    Coordination Architecture for Evolvable Event-Based Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2002, pp:571-572 [Conf]
  45. João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro
    Coordination contracts for Java applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:714- [Conf]
  46. Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro
    Enhancing Dependability Through Flexible Adaptation to Changing Requirements. [Citation Graph (0, 0)][DBLP]
    WADS, 2003, pp:3-24 [Conf]
  47. José Luiz Fiadeiro
    Software Services: Scientific Challenge or Industrial Hype?. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:1-13 [Conf]
  48. José Luiz Fiadeiro, T. S. E. Maibaum
    Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:48-66 [Conf]
  49. Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
    New Insights on Architectural Connectors. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:367-380 [Conf]
  50. José Luiz Fiadeiro, T. S. E. Maibaum
    Generalising Interpretations between Theories in the context of (pi-) Institutions. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:126-147 [Conf]
  51. Michel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro
    Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2003, pp:115-120 [Conf]
  52. Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
    Superposing Connectors. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:87-94 [Conf]
  53. Luis Filipe Andrade, José Luiz Fiadeiro, Michel Wermelinger
    Enforcing Business Policies Through Automated Reconfiguration. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:426-0 [Conf]
  54. Leendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan
    The Role of Diagnosis and Decision Theory in Normative Reasoning. [Citation Graph (0, 0)][DBLP]
    ModelAge Workshop, 1997, pp:216-239 [Conf]
  55. Luis Filipe Andrade, José Luiz Fiadeiro
    Architecture Based Evolution of Software Systems. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:148-181 [Conf]
  56. José Luiz Fiadeiro, T. S. E. Maibaum
    Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:72-80 [Conf]
  57. Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger
    Architectural primitives for distribution and mobility. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:41-50 [Conf]
  58. Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
    A graph based architectural (Re)configuration language. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:21-32 [Conf]
  59. Carlos Paredes, José Luiz Fiadeiro
    Reuse of Requirements and Specifications: A Formal Framework. [Citation Graph (0, 0)][DBLP]
    SSR, 1995, pp:263-266 [Conf]
  60. Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum
    Sharing Actions and Attributes in Modal Action Logic. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:569-593 [Conf]
  61. José Luiz Fiadeiro, Antónia Lopes
    Semantics of Architectural Connectors. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:505-519 [Conf]
  62. Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
    Abstract Object Types: A Temporal Perspective. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:324-350 [Conf]
  63. Luis Filipe Andrade, José Luiz Fiadeiro
    Interconnecting Objects Via Contracts. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:566-583 [Conf]
  64. José Luiz Fiadeiro
    Coordination Technologies for Just-in-Time Integration. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:308-321 [Conf]
  65. Ahmed Al-Ghamdi, José Luiz Fiadeiro
    Architectural Handling of Management Concerns in Service-Driven Business Processes. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:111-120 [Conf]
  66. Antónia Lopes, José Luiz Fiadeiro
    Algebraic Semantics of Design Abstractions for Context-Awareness. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:79-93 [Conf]
  67. Antónia Lopes, José Luiz Fiadeiro
    On How Distribution and Mobility Interfere with Coordination. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:343-358 [Conf]
  68. Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
    A Compositional Approach to Connector Construction. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:201-220 [Conf]
  69. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  70. José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
    Towards a Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:438-458 [Conf]
  71. Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira
    Towards an Architectural Approach to Location-Aware Business Processes. [Citation Graph (0, 0)][DBLP]
    WETICE, 2004, pp:147-152 [Conf]
  72. Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
    An Architectural Approach to Mobility - The Handover Case Study. [Citation Graph (0, 0)][DBLP]
    WICSA, 2004, pp:305-310 [Conf]
  73. Rogério de Lemos, José Luiz Fiadeiro
    An architectural support for self-adaptive software for treating faults. [Citation Graph (0, 0)][DBLP]
    WOSS, 2002, pp:39-42 [Conf]
  74. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
    A Formal Approach to Service Component Architecture. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:193-213 [Conf]
  75. José Luiz Fiadeiro, Luis Filipe Andrade
    Interconnecting Objects via Contracts. [Citation Graph (0, 0)][DBLP]
    TOOLS (38), 2001, pp:182-183 [Conf]
  76. Luis Filipe Andrade, José Luiz Fiadeiro
    Coordination: The Evolutionary Dimension. [Citation Graph (0, 0)][DBLP]
    TOOLS (38), 2001, pp:136-147 [Conf]
  77. João Gouveia, Georgios Koutsoukos, Luis Filipe Andrade, José Luiz Fiadeiro
    Tool Support for Coordination-Based Software Evolution. [Citation Graph (0, 0)][DBLP]
    TOOLS (38), 2001, pp:184-196 [Conf]
  78. Antónia Lopes, José Luiz Fiadeiro
    Superposition: Composition vs refinement of non-deterministic action-based systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  79. Antónia Lopes, José Luiz Fiadeiro
    Adding Mobility to Software Architectures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:241-258 [Journal]
  80. Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
    Modelling the GSM Handover Protocol in CommUnity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:3-25 [Journal]
  81. José Luiz Fiadeiro, T. S. E. Maibaum
    Temporal Theories as Modularisation Units for Concurrent System Specification. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:3, pp:239-272 [Journal]
  82. Antónia Lopes, José Luiz Fiadeiro
    Superposition: composition vs refinement of non-deterministic, action-based systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:1, pp:5-18 [Journal]
  83. Pedro Ramos, José Luiz Fiadeiro
    A computational tool that supports formal diagnosis of process design. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1998, v:40, n:10, pp:555-565 [Journal]
  84. José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki
    Foreword. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:88, n:1-2, pp:1-2 [Journal]
  85. Georg Reichwein, José Luiz Fiadeiro
    Models for the Substitution Axiom of UNITY Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:48, n:4, pp:171-176 [Journal]
  86. Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso
    On local modularity and interpolation in entailment systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:82, n:4, pp:203-211 [Journal]
  87. Luis Filipe Andrade, José Luiz Fiadeiro
    Agility through coordination. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2002, v:27, n:6, pp:411-424 [Journal]
  88. Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
    Modular construction of logic knowledge bases: an algebraic approach. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1990, v:15, n:1, pp:37-59 [Journal]
  89. Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro
    Labeled Families in Modular Software Development. [Citation Graph (0, 0)][DBLP]
    J. Braz. Comp. Soc., 1998, v:5, n:1, pp:- [Journal]
  90. Luis Filipe Andrade, José Luiz Fiadeiro
    Composition Contracts for Service Interaction. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:4, pp:375-390 [Journal]
  91. José Luiz Fiadeiro, Amílcar Sernadas
    Logics of Modal Terms for Systems Specification. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1990, v:1, n:2, pp:187-227 [Journal]
  92. Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
    A Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:3, pp:317-352 [Journal]
  93. Jean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche
    Foreword. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:225-226 [Journal]
  94. José Luiz Fiadeiro, José Félix Costa
    Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:4, pp:353-373 [Journal]
  95. José Luiz Fiadeiro, T. S. E. Maibaum
    Categorical Semantics of Parallel Program Design. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:28, n:2-3, pp:111-138 [Journal]
  96. Antónia Lopes, José Luiz Fiadeiro
    Adding mobility to software architectures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:2, pp:114-135 [Journal]
  97. Michel Wermelinger, José Luiz Fiadeiro
    A graph transformation approach to software architecture reconfiguration. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:44, n:2, pp:133-155 [Journal]
  98. Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos
    Separating computation, coordination and configuration. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 2002, v:14, n:5, pp:353-369 [Journal]
  99. José Luiz Fiadeiro
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:151- [Journal]
  100. José Luiz Fiadeiro, Jan J. M. M. Rutten
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:1-2 [Journal]
  101. Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
    High-order architectural connectors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:1, pp:64-104 [Journal]
  102. Michel Wermelinger, José Luiz Fiadeiro
    Connectors for Mobile Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:5, pp:331-341 [Journal]
  103. José Luiz Fiadeiro, Vincent Schmitt
    Structured Co-spans: An Algebra of Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:194-208 [Conf]
  104. João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
    Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:358-373 [Conf]
  105. José Luiz Fiadeiro
    Physiological vs. Social Complexity in Software Design. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:3- [Conf]
  106. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
    Algebraic Semantics of Service Component Modules. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:37-55 [Conf]
  107. Osama El-Hassan, José Luiz Fiadeiro
    Role-based Architectural Modelling of Socio-Technical Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:5-17 [Journal]

  108. What Do Semantics Matter When the Meat Is Overcooked?. [Citation Graph (, )][DBLP]


  109. Managing Socio-technical Interactions in Healthcare Systems. [Citation Graph (, )][DBLP]


  110. Service-Oriented Modelling of Automotive Systems. [Citation Graph (, )][DBLP]


  111. A Coordination Model for Service-Oriented Interactions. [Citation Graph (, )][DBLP]


  112. Feature Modeling and Composition with Coordination Contracts. [Citation Graph (, )][DBLP]


  113. A Model-Checking Approach for Service Component Architectures. [Citation Graph (, )][DBLP]


  114. A Use-Case Driven Approach to Formal Service-Oriented Modelling. [Citation Graph (, )][DBLP]


  115. From BPEL to SRML: A Formal Transformational Approach. [Citation Graph (, )][DBLP]


  116. A Model for Dynamic Reconfiguration in Service-Oriented Architectures. [Citation Graph (, )][DBLP]


  117. Designing for Software's Social Complexity. [Citation Graph (, )][DBLP]


  118. Guest Editors' Introduction: Evolving Critical Systems. [Citation Graph (, )][DBLP]


  119. Structure and Behaviour of Virtual Organisation Breeding Environments [Citation Graph (, )][DBLP]


  120. Business process management. [Citation Graph (, )][DBLP]


  121. From Architectural to Behavioural Specification of Services. [Citation Graph (, )][DBLP]


Search in 0.134secs, Finished in 0.137secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002