Kai Kapp

According to our database, Kai Kapp authored at least 8 papers between 2001 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2005

Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen.

Kai Kapp

PhD thesis, 2005

Eine formale algorithmische Synthese digitaler Schaltungen.

Kai Kapp

Universitäts Verlag Karlsruhe, Germany, ISBN: 3-937300-90-2, 2005

2004

Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis.

Kai Kapp, Viktor K. Sabelfeld

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis.

Kai Kapp, Viktor K. Sabelfeld

Proceedings of the 41th Design Automation Conference, 2004

2003

Arithmetic in Formal Synthesis.

Viktor K. Sabelfeld, Kai Kapp

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Dead Code Elimination in Formal Synthesis.

Kai Kapp, Viktor K. Sabelfeld

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Numeric Types in Formal Synthesis.

Viktor K. Sabelfeld, Kai Kapp

Proceedings of the Perspectives of Systems Informatics, 2003

2001

Semantics and Transformations in Formal Synthesis at System Level.

Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp

Proceedings of the Perspectives of System Informatics, 2001