Ewaryst Schulz

	2010
3		Dominik Dietrich, Ewaryst Schulz: Crystal: Integrating Structured Queries into a Tactic Language. J. Autom. Reasoning 44(1-2): 79-110 (2010)
	2009
2		Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz: Formal Management of CAD/CAM Processes. FM 2009: 223-238
	2008
1		Dominik Dietrich, Ewaryst Schulz, Marc Wagner: Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. AISC/MKM/Calculemus 2008: 398-414

Coauthor Index

1	Dominik Dietrich	[1] [3]
2	Michael Kohlhase	[2]
3	Johannes Lemburg	[2]
4	Lutz Schröder	[2]
5	Marc Wagner	[1]

Colors in the list of coauthors