According to our database1, Sebastian Kinder authored at least 6 papers between 2003 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Formal Aspects Comput., 2011
Modeling and proving functional completeness in formal verification of counting heads.
Int. J. Softw. Tools Technol. Transf., 2008
Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007
Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005
Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques.
Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003