BibSonomy :: author  ::

bookmarks

publications

(5)

• Legacy Migration to Service-Oriented Computing with Mashups.
  Semih Cetin and N. Ilker Altintas and Halit Oguztuzun and Ali H. Dogru and Ozgur Tufekci and Selma Suloglu ICSEA 21 (2007)
  to dblp by dblp on 2008-02-26 00:00:00
  | URL | BibTeX  
• An ontology for trajectory simulation.
  Umut Durak and Halit Oguztuzun and S. Kemal Ider Winter Simulation Conference 1160-1167 (2006)
  to dblp by dblp on 2007-02-23 00:00:00
  | URL | BibTeX  
• Analysis of Dead Reckoning Procedures by Using Hybrid Automata.
  Bahadir Kaan Ozutam and Halit Oguztuzun DIS-RT 22- (1999)
  to dblp by dblp on 2005-04-19 00:00:00
  | URL | BibTeX  
• Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL.
  Baris Sertkaya and Halit Oguztüzün ISCIS 976-985 (2004)
  to dblp by dblp on 2004-11-03 00:00:00
  | URL | BibTeX  
• A Fragment of First Order Logic Adequate for Observation Equivalence.
  Halit Oguztüzün CSL 278-292 (1991)
  to dblp by dblp on 2002-02-12 00:00:00
  | URL | BibTeX