Alex Sellink

M. P. A. Sellink

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

Coauthor Index

1	Mark van den Brand (M. G. J. van den Brand)	[5] [10] [11] [17]
2	Jan Friso Groote	[3] [4]
3	Leen Helmink	[1]
4	Henri Korver	[7] [8]
5	René L. Krikhaar	[14]
6	André Postma	[14]
7	Harry M. Sneed	[16] [20]
8	M. Stroucken	[14]
9	Frits W. Vaandrager	[1]
10	Chris Verhoef	[5] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]

Colors in the list of coauthors