Kristofer Johannisson

According to our database, Kristofer Johannisson authored at least 4 papers between 2000 and 2007.

Collaborative distances:

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

2007

Natural Language Specifications.

Kristofer Johannisson

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

2005

Translating Formal Software Specifications to Natural Language.

David A. Burke, Kristofer Johannisson

Proceedings of the Logical Aspects of Computational Linguistics, 2005

2002

An Authoring Tool for Informal and Formal Requirements Specifications.

Reiner Hähnle, Kristofer Johannisson, Aarne Ranta

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2000

Formalizing the Halting Problem in a Constructive Type Theory.

Kristofer Johannisson

Proceedings of the Types for Proofs and Programs, International Workshop, 2000