Christian Rinderknecht

According to our database, Christian Rinderknecht authored at least 8 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Survey on Teaching and Learning Recursive Programming.

Christian Rinderknecht

Informatics Educ., 2014

2011

A didactic analysis of functional queues.

Christian Rinderknecht

Informatics Educ., 2011

2010

Theory and practice of unparsed patterns for metacompilation.

Christian Rinderknecht, Nic Volanschi

Sci. Comput. Program., 2010

2008

Unparsed patterns: easy user-extensibility of program manipulation tools.

Nic Volanschi, Christian Rinderknecht

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2004

Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules.

Christian Rinderknecht

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

2003

An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints.

Christian Rinderknecht

Comput. J., 2003

2001

A Service-Component Testing Method and a Suitable CORBA Architecture.

Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zaïdi

Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001

1999

Hit-or-Jump: An algorithm for embedded testing with applications to IN services.

Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999