Jens P. Secher

2002
7	EE	Jens P. Secher, Morten Heine Sørensen: From checking to inference via driving and dag grammars. PEPM 2002: 41-51
6	EE	Morten Heine Sørensen, Jens P. Secher: From Type Inference to Configuration. The Essence of Computation 2002: 436-472
2001
5	EE	Jens P. Secher: Driving in the Jungle. PADO 2001: 198-217
2000
4	EE	Stephen Alstrup, Jens P. Secher, Mikkel Thorup: Word encoding tree connectivity works. SODA 2000: 498-499
1999
3	EE	Jens P. Secher, Morten Heine Sørensen: On Perfect Supercompilation. Ershov Memorial Conference 1999: 113-127
1998
2		Arne J. Glenstrup, Henning Makholm, Jens P. Secher: C-MIX: Specialization of C Programs. Partial Evaluation 1998: 108-154
1997
1	EE	Stephen Alstrup, Jens P. Secher, Maz Spork: Optimal On-Line Decremental Connectivity in Trees. Inf. Process. Lett. 64(4): 161-164 (1997)

Coauthor Index

1	Stephen Alstrup	[1] [4]
2	Arne J. Glenstrup	[2]
3	Henning Makholm	[2]
4	Morten Heine Sørensen	[3] [6] [7]
5	Maz Spork	[1]
6	Mikkel Thorup	[4]

Colors in the list of coauthors