The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marcello M. Bonsangue: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue
    MoCha: A Middleware Based on Mobile Channels. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:667-673 [Conf]
  2. Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink
    Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:363-377 [Conf]
  3. Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Logical Interface Description Language for Components. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:249-266 [Conf]
  4. Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
    Comparing Software Architectures for Coordination Languages. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:150-165 [Conf]
  5. Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
    A Logical Viewpoint on Architectures. [Citation Graph (0, 0)][DBLP]
    EDOC, 2004, pp:73-83 [Conf]
  6. Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten
    Towards a Language for Coherent Enterprise Architecture Descriptions. [Citation Graph (0, 0)][DBLP]
    EDOC, 2003, pp:28-39 [Conf]
  7. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
    Observability, Connectivity, and Replay in a Sequential Calculus of Classes. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:296-316 [Conf]
  8. Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
    A Fully Abstract Semantics for UML Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:49-69 [Conf]
  9. Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
    Developing Object-based Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  10. Marcello M. Bonsangue, Alexander Kurz
    Duality for Logics of Transition Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:455-469 [Conf]
  11. Marcello M. Bonsangue, Alexander Kurz
    Presenting Functors by Operations and Equations. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:172-186 [Conf]
  12. Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
    Enterprise Architecture Analysis with XML. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  13. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
    Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:37-51 [Conf]
  14. Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre
    Change impact analysis of enterprise architectures. [Citation Graph (0, 0)][DBLP]
    IRI, 2005, pp:177-181 [Conf]
  15. Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre
    Using XML Transformations for Enterprise Architectures. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:42-56 [Conf]
  16. Frank S. de Boer, Marcello M. Bonsangue
    A Compositional Model for Confluent Dynamic Data-Flow Networks. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:212-221 [Conf]
  17. Marcello M. Bonsangue, Joost N. Kok
    Isomorphisms between Predicates and State Transformers. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:301-310 [Conf]
  18. Marcello M. Bonsangue, Joost N. Kok
    Specifying Computations Using Hyper Transition Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:169-178 [Conf]
  19. Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
    An Approach to Object-Orientation in Action Systems. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:68-95 [Conf]
  20. Marcello M. Bonsangue, Joost N. Kok
    Semantics, Orderings and Recursion in the Weakest Precondition Calculus. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:91-109 [Conf]
  21. Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer
    A Coordination Lanuage for Mobile Components. [Citation Graph (0, 0)][DBLP]
    SAC (1), 2000, pp:166-173 [Conf]
  22. Marcello M. Bonsangue, Joost N. Kok
    Comparing Coordination Models Based on Shared Distributed Replicated Data. [Citation Graph (0, 0)][DBLP]
    SAC, 1999, pp:156-165 [Conf]
  23. Marcello M. Bonsangue, Joost N. Kok, Maarten Boasson, Edwin D. de Jong
    A software architecture for distributed control systems and its transition system semantics. [Citation Graph (0, 0)][DBLP]
    SAC, 1998, pp:159-168 [Conf]
  24. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    MoCha-pi, an exogenous coordination calculus based on mobile channels. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:436-442 [Conf]
  25. Marcello M. Bonsangue, Joost N. Kok
    Infinite Intersection and Union Types for the Lazy Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:448-458 [Conf]
  26. Marcello M. Bonsangue, Joost N. Kok
    Relating Multifunctions and Predicate Transformers through Closure Operators. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:822-843 [Conf]
  27. Marcello M. Bonsangue, Joost N. Kok
    Infinitary Domain Logic for Finitary Transition Systems. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:213-232 [Conf]
  28. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:1-2 [Journal]
  29. Marcello M. Bonsangue
    Topological Duality in Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:8, n:, pp:- [Journal]
  30. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Channel-based Coordination Model for Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  31. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:121-138 [Journal]
  32. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    Mobile Channels, Implementation Within and Outside Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  33. Martijn J. Wiering, Marcello M. Bonsangue, René van Buuren, Luuk Groenewegen, Henk Jonkers, Marc M. Lankhorst
    Investigating the mapping of an Enterprise Description Language into UML 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:155-179 [Journal]
  34. Marcello M. Bonsangue, Joost N. Kok
    The Weakest Precondition Calculus: Recursion and Duality [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6A, pp:788-800 [Journal]
  35. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Component Coordination Model Based on Mobile Channels. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:561-582 [Journal]
  36. Marcello M. Bonsangue, Joost N. Kok
    Infinite intersection types. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:186, n:2, pp:285-318 [Journal]
  37. Marcello M. Bonsangue, Joost N. Kok
    Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:155, n:1-2, pp:170-201 [Journal]
  38. Henk Jonkers, Marc M. Lankhorst, René van Buuren, Stijn Hoppenbrouwers, Marcello M. Bonsangue, Leendert W. N. van der Torre
    Concepts For Modeling Enterprise Architectures. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2004, v:13, n:3, pp:257-287 [Journal]
  39. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:1-2 [Journal]
  40. Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
    Comparing coordination models and architectures using embeddings. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:46, n:1-2, pp:31-69 [Journal]
  41. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:283-284 [Journal]
  42. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:1- [Journal]
  43. Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
    A transition system semantics for the control-driven coordination language MANIFOLD. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:3-47 [Journal]
  44. Marcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten
    Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:193, n:1-2, pp:1-51 [Journal]
  45. Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok
    Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:79-124 [Journal]
  46. Marcello M. Bonsangue, Alexander Kurz
    Pi-Calculus in Logical Form. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:303-312 [Conf]

  47. Deriving Syntax and Axioms for Quantitative Regular Behaviours. [Citation Graph (, )][DBLP]


  48. Automata for Context-Dependent Connectors. [Citation Graph (, )][DBLP]


  49. Coalgebraic Logic and Synthesis of Mealy Machines. [Citation Graph (, )][DBLP]


  50. A Kleene Theorem for Polynomial Coalgebras. [Citation Graph (, )][DBLP]


  51. Recasting Constraint Automata into Büchi Automata. [Citation Graph (, )][DBLP]


  52. Using XML Transformations for Enterprise Architectures. [Citation Graph (, )][DBLP]


  53. An Algebra for Kripke Polynomial Coalgebras. [Citation Graph (, )][DBLP]


  54. Modeling Component Connectors: Synchronisation and Context-Dependency. [Citation Graph (, )][DBLP]


  55. Automata Based Model Checking for Reo Connectors. [Citation Graph (, )][DBLP]


  56. Non-Deterministic Kleene Coalgebras [Citation Graph (, )][DBLP]


  57. Java Test Driver Generation from Object-Oriented Interaction Traces. [Citation Graph (, )][DBLP]


Search in 2.045secs, Finished in 2.048secs
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