Jasmin Christian Blanchette

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electr. Notes Theor. Comput. Sci. 243: 89-103 (2009)

2 Jasmin Christian Blanchette: Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm. J. Autom. Reasoning 43(1): 1-18 (2009)

2008

1 Jasmin Christian Blanchette, Olaf Owe: An Open System Operational Semantics for an Object-Oriented and Component-Based Language. Electr. Notes Theor. Comput. Sci. 215: 151-169 (2008)

	2009
3		Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electr. Notes Theor. Comput. Sci. 243: 89-103 (2009)
2		Jasmin Christian Blanchette: Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm. J. Autom. Reasoning 43(1): 1-18 (2009)
	2008
1		Jasmin Christian Blanchette, Olaf Owe: An Open System Operational Semantics for an Object-Oriented and Component-Based Language. Electr. Notes Theor. Comput. Sci. 215: 151-169 (2008)

Coauthor Index