The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

M. P. A. Sellink: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jan Friso Groote, M. P. A. Sellink
    Confluence for Process Verification. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:204-218 [Conf]
  2. M. P. A. Sellink, Chris Verhoef
    Development, Assessment, and Reengineering of Language Descriptions. [Citation Graph (0, 0)][DBLP]
    CSMR, 2000, pp:151-160 [Conf]
  3. M. P. A. Sellink, Chris Verhoef
    Scaffolding for Software Renovation. [Citation Graph (0, 0)][DBLP]
    CSMR, 2000, pp:161-172 [Conf]
  4. René L. Krikhaar, André Postma, M. P. A. Sellink, M. Stroucken, Chris Verhoef
    A Two-Phase Process for Software Architecture Improvement. [Citation Graph (0, 0)][DBLP]
    ICSM, 1999, pp:371-380 [Conf]
  5. M. P. A. Sellink, Chris Verhoef
    Generation of Software Renovation Factories from Compilers. [Citation Graph (0, 0)][DBLP]
    ICSM, 1999, pp:245-255 [Conf]
  6. Mark van den Brand, M. P. A. Sellink, Chris Verhoef
    Current Parsing Techniques in Software Renovation Considered Harmful. [Citation Graph (0, 0)][DBLP]
    IWPC, 1998, pp:108-0 [Conf]
  7. M. P. A. Sellink, Chris Verhoef
    An Architecture for Automated Software Maintenance. [Citation Graph (0, 0)][DBLP]
    IWPC, 1999, pp:38-48 [Conf]
  8. M. P. A. Sellink, Chris Verhoef
    Development, Assessment, and Reengineering of Language Descriptions. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:314-317 [Conf]
  9. M. P. A. Sellink
    Verifying Process Algebra Proofs in Type Theory. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:315-339 [Conf]
  10. Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager
    Proof-Checking a Data Link Protocol. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:127-165 [Conf]
  11. Mark van den Brand, M. P. A. Sellink, Chris Verhoef
    Generation of Components for Software Renovation Factories from Context-Free Grammars. [Citation Graph (0, 0)][DBLP]
    WCRE, 1997, pp:144-0 [Conf]
  12. M. P. A. Sellink, Chris Verhoef
    Native Patterns. [Citation Graph (0, 0)][DBLP]
    WCRE, 1998, pp:89-103 [Conf]
  13. Henri Korver, M. P. A. Sellink
    A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:1, pp:30-42 [Journal]
  14. Henri Korver, M. P. A. Sellink
    Example Verifications Using Alphabet Axioms. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:1, pp:43-58 [Journal]
  15. M. P. A. Sellink
    On the Conservativity of Leibniz Equality. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1998, v:9, n:4, pp:431-0 [Journal]
  16. Mark van den Brand, M. P. A. Sellink, Chris Verhoef
    Generation of components for software renovation factories from context-free grammars. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:36, n:2-3, pp:209-266 [Journal]
  17. Jan Friso Groote, M. P. A. Sellink
    Confluence for Process Verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:47-81 [Journal]

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