| |
| 2008 | ||
|---|---|---|
| 4 | EE | Okan Topçu, Mehmet Adak, Halit Oguztüzün: A metamodel for federation architectures. ACM Trans. Model. Comput. Simul. 18(3): (2008) |
| 3 | EE | 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 | EE | 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 | |
| 1 | Mehmet Adak | [4] |
| 2 | Baris Sertkaya | [2] |
| 3 | Aziz Sözer | [3] |
| 4 | Osman Tas | [3] |
| 5 | Okan Topçu | [4] |
| 6 | Adnan Yazici | [3] |