cs-conference-ranking.org Search 971 venues

Torben . Mogensen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

8

Active years

1990–2013

Best venue rank

C

Where they publish

Papers

15 indexed papers, newest first.

Year	Venue	Title	Authors
2013	RC	Garbage-Free Reversible Constant Multipliers for Arbitrary Integers.	Torben . Mogensen
2011	PEPM	Partial evaluation of the reversible language janus.	Torben . Mogensen
2009	SAC	Troll, a language for specifying dice-rolls.	Torben . Mogensen
2008	PEPM	Semi-inversion of functional parameters.	Torben . Mogensen
2005	GPCE	Semi-inversion of Guarded Equations.	Torben . Mogensen
2003	PADL	Roll : A Language for Specifying Die-Rolls.	Torben . Mogensen
1999	PEPM	Gdelization in the Untyped lambda-Calculus.	Torben . Mogensen
1998	PEPM	Partial Evaluation: Concepts and Applications.	Torben . Mogensen
1998	PEPM	Inherited Limits.	Torben . Mogensen
1996	SAS	Tractable Constraints in Finite Semilattices.	Jakob Rehof, Torben . Mogensen
1995	PEPM	Self-applicable Online Partial Evaluation of Pure Lambda Calculus.	Torben . Mogensen
1993	PEPM	Constructor Spezialization.	Torben . Mogensen
1992	LOPSTR	Logimix: A Self-Applicable Partial Evaluator for Prolog.	Torben . Mogensen, Anders Bondorf
1992	PEPM	Self-applicable Partial Evaluation for Pure Lambda Calculus.	Torben . Mogensen
1990	ESOP	A Backwards Analysis for Compile-time Garbage Collection.	Thomas P. Jensen, Torben . Mogensen