Halit Oguztüzün

	2009
5		Okan Topçu, Mehmet Adak, Halit Oguztüzün: Metamodeling live sequence charts for code generation. Software and System Modeling 8(4): 567-583 (2009)
	2008
4		Okan Topçu, Mehmet Adak, Halit Oguztüzün: A metamodel for federation architectures. ACM Trans. Model. Comput. Simul. 18(3): (2008)
3		Aziz Sözer, Adnan Yazici, Halit Oguztüzün, Osman Tas: Modeling and querying fuzzy spatiotemporal databases. Inf. Sci. 178(19): 3665-3682 (2008)
	2004
2		Baris Sertkaya, Halit Oguztüzün: Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL. ISCIS 2004: 976-985
	1991
1		Halit Oguztüzün: A Fragment of First Order Logic Adequate for Observation Equivalence. CSL 1991: 278-292

Coauthor Index

1	Mehmet Adak	[4] [5]
2	Baris Sertkaya	[2]
3	Aziz Sözer	[3]
4	Osman Tas	[3]
5	Okan Topçu	[4] [5]
6	Adnan Yazici	[3]

Colors in the list of coauthors