Christian Rinderknecht

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Engineering Education

Learning Platform

Enhancing Learning

Introductory Computer Science

Top Venues

Informatics Educ.

Publications

Christian Rinderknecht
A Survey on Teaching and Learning Recursive Programming. Informatics Educ. 13 (1) (2014)
Christian Rinderknecht
A didactic analysis of functional queues. Informatics Educ. 10 (1) (2011)
Christian Rinderknecht, Nic Volanschi
Theory and practice of unparsed patterns for metacompilation. Sci. Comput. Program. 75 (3) (2010)
Nic Volanschi, Christian Rinderknecht
Unparsed patterns: easy user-extensibility of program manipulation tools. PEPM (2008)
Christian Rinderknecht
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. SAM (2004)
Christian Rinderknecht
An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints. Comput. J. 46 (4) (2003)
Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zaïdi
A Service-Component Testing Method and a Suitable CORBA Architecture. ISCC (2001)
Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
Hit-or-Jump: An algorithm for embedded testing with applications to IN services. FORTE (1999)