Search the dblp DataBase
M. P. A. Sellink :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jan Friso Groote , M. P. A. Sellink Confluence for Process Verification. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:204-218 [Conf ] M. P. A. Sellink , Chris Verhoef Development, Assessment, and Reengineering of Language Descriptions. [Citation Graph (0, 0)][DBLP ] CSMR, 2000, pp:151-160 [Conf ] M. P. A. Sellink , Chris Verhoef Scaffolding for Software Renovation. [Citation Graph (0, 0)][DBLP ] CSMR, 2000, pp:161-172 [Conf ] 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 ] M. P. A. Sellink , Chris Verhoef Generation of Software Renovation Factories from Compilers. [Citation Graph (0, 0)][DBLP ] ICSM, 1999, pp:245-255 [Conf ] 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 ] M. P. A. Sellink , Chris Verhoef An Architecture for Automated Software Maintenance. [Citation Graph (0, 0)][DBLP ] IWPC, 1999, pp:38-48 [Conf ] M. P. A. Sellink , Chris Verhoef Development, Assessment, and Reengineering of Language Descriptions. [Citation Graph (0, 0)][DBLP ] ASE, 1998, pp:314-317 [Conf ] 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 ] 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 ] 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 ] M. P. A. Sellink , Chris Verhoef Native Patterns. [Citation Graph (0, 0)][DBLP ] WCRE, 1998, pp:89-103 [Conf ] 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 ] 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 ] 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 ] 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 ] 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.002secs, Finished in 0.002secs