Publications of Zeki Bayram

Published or accepted for publication:

Introducing Speedy Pay: A new Mobile Payment Scheme. 2017 7th International Conference on Economics, Trade and Development (ICETD 2017), March 10-12, 2017, Paris, France. (With Mahmoud Obaid and Murad Saleh).
Web site: (full text)

A critical evaluation of Web Service Modeling Ontology and Web Service Modeling Language. 31. International Symposium on Computer and Information Sciences. October 27-28 2016, Krakow, Poland. (With Omid Sharifi). (full text) (springer link)

A Novel Rubric and Feature-Based Appraisal and Comparison Framework for the Evaluation of Semantic Web Services Composition Approaches. Indian Journal of Science and Technology.  October 2015.  (With Samira Ghayekhloo)  (full text) (

Pre-Filtering Strategy to Improve Performance of Semantic Web Service Discovery.  Scientific Progamming (Hindawi Publishing). September 2015.  (With Samira Ghayekhloo) (Hindawi link)

A Novel Concise Specification and Efficient F-Logic Based Matching of Semantic Web Services in Flora-2. 30th International Symposium on Computer and Information Sciences. ISCIS 2015, September 21-25 2015, Imperial College, London, UK. (With Shahin Mehdipour Ataee).  (springer link , full text)

Unifying F-Logic Molecules: A Rectification to the Original Unification Algorithm. (With Omid Sharifi) Journal of Logic and Computation, September  2014. (abstract , full text)

Semantic Web Services for University Course Registration. Third Joint International Conference, JIST 2013, Seoul, South Korea, November 28--30, 2013Lecture Notes in Computer Science, Vol. 8388, pp. 3-16, Kim, Wooju, Ding, Ying, Kim, Hong-Gee (Eds.) (With Sengul Cobanoglu) (JIST 2013 paper)

Specifying Banking Transactions using Web Services Modeling Language (WSML). Proceedings of the fourth International Conference on Information and Communication Systems (ICICS 2013), pp. 138-143, April 23-25 2013, Irbid, Jordan.  (With Omid Sharifi) (ICICS 2013 paper)

Database Modelling Using WSML in the Specification of a Banking Application. Proceedings of WASET 2013 ZURICH, SWITZERLAND, pp. 263-267, January 14-15, 2013  (With Omid Sharifi) (sharifi_bayram_database_modelling.pdf)

XLambda: A Functional Programming Language with XML Syntax. Proceedings of the 24th International Symposium on Computer and Information Sciences (ISCIS 2009), pp. 663-668, September 14-16 2009,  METU North Cyprus Campus, T.R.N.C. (With Ruhsan Onder) (iscis_2009_paper_134.pdf )

Agent Coordination Using Enterprise Java Beans and XML Web Services in a Battlefield Environment. Proceedings of the EECS'08 5th International Symposium on Electrical and Computer Systems, Gemikonağı, TRNC (Nov. 27-28, 2008) (With Bijan Zamanian) (agent_coordination)

A Proposal for Ontology Security Standards. Proceedings of the 2008 International Conference on Semantic Web and Web Services, Monte Carlo Resort, Las Vegas, Nevada, USA (July 14-17, 2008), pp. 183-186. (With Muhammad Reza Fatemi and Atilla Alci) ( ontology paper)

XSL Transformations: A delivery medium for executable content over the Internet. Dr. Dobbs Journal 32 (5): 48 - 53 , May 2007. (With Ruhsan Onder) ( (Extended version)

A Constraint Logic Programming Solution to the Teacher Relocation Problem. Proceedings of the 2nd International Computer Engineering Conference Engineering the Information Society (ICENCO 2006), December 26-28, 2006, Cairo, Egypt. (With Nagehan İlhan) (CLP_teacher, presentation)

Two Different Approaches of Modeling the Teacher Relocation Problem in a Constraint Logic Programming System and their Comparison. Proceedings  of the International Conference on Systems, Computing Sciences and Software Engineering (SCS2 06), organized as part of the International Joint Conferenceson Computer, Information, and Systems Sciences, and Engineering (CIS2E 06), December 4 - 14, 2006. Presented electronically over the Internet (With Nagehan İlhan) (two_approaches_CLP, presentation)

XSLT Version 2.0 is Turing-Complete: A Purely Transformation Based Proof. Proceedings of the 11th International Conference on Implementation and Applications of Automata. Aug. 21~23, 2006 (CIAA 2006), Taipei, Taiwan. (With Ruhsan Onder) published as Lecture Notes in Computer Science LNCS 4094, pp 275-276. ( (Extended version)

Implementation Strategies for  “Equation Guru,” A User Friendly Intelligent Algebra Tutor. Proceedings of  ICEIS 2006, International Conference on Enterprise Information Systems. 23-27 May 2006, Paphos, Cyprus. (With Senay Kafkas, Huseyin Yaratan) (EG_ICEIS_4.pdf)

A User Friendly Intelligent Algebra Tutor. Proceedings of the V. International Educational Technologies Conference,  pages 23-29, 21 - 23 September 2005, Sakarya - Turkey. (With Senay Kafkas, Huseyin Yaratan)  (user_friendly_intelligent_algebra_tutor.pdf)

An Investigation of the Course-Section assignment problem. Proceedings of the 20th International Symposium on Computer and Information Sciences (ISCIS 2005) published as Lecture Notes in Computer Science LNCS 3733, pages 874-883, October 26-28, 2005 - Istanbul, Turkey (courseScheduing.pdf  powerpoint presentation)

Interpreting Imperative Programming Languages In Extensible Stylesheet Language Transformations (XSLT). Proceedings of the  IASTED International Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2005), Grindelwald, Switzerland,  February 21-23, 2005. pp. 131-136  (With Ruhsan Onder) ( , powerpoint presentation)

A  Scalable Application Architecture for Composing News Portals on the Internet. Proceedings of the  1st International Computer Engineering Conference, New Technologies for the Information Society (ICENCO'2004), Cairo, EGYPT, December 27-30, 2004. pp. 779-783 (With Serpil Tok) (tok_bayram_icenco2004.pdf, powerpoint presentation)

Distance Education Using XML Technology.  5th International Conference on Information Technology Based Higher Education and Training (ITHET '04), 31 May - 2 June 2004, Istanbul, Turkey. (With Senay Kafkas) (, de.pdf)

Forward-Chained Rules for Specifying Algorithms. In: Proceedings of the Eleventh International Symposium on Computer and Information Sciences, (1999)  (forwardChainedRules.pdf)

Business Object-Oriented Analysis and Design Methodology. In: Journal of Object-Oriented Programming, March/April 1999, Vol. 12, No. 1, pp. 59-67. (   booad.pdf)

Implementing Constructor Calls with parameters in ADA'95. In: Journal of Object-Oriented Programming, May 1998, Vol. 11, No. 2, pp. 43-46. (    ada_constructor_with_parameter.pdf)

SSST (State-Space Search Tool): A Probabilistic Forward-Chained Expert System Shell with Full Backtracking. In: Proceedings of the Eleventh International Symposium on Computer and Information Sciences, pp. 395-404 (1996) (  ssst.pdf)

A Deductive Declarative Object-Oriented Data Model and Query Language based on Narrowing. In: Proceedings of the Eleventh International Symposium on Computer and Information Sciences, pp. 235-244 (1996) (   ddoodm.pdf)

ROSE: A Practical Higher-Order Functional/Logic Language. In: Proceedings of the Eleventh International Symposium on Computer and Information Sciences, pp. 713-721 (1996) (  rose.pdf)

C++ Programming Guide, in Turkish,  software quality manual produced at TUBITAK. (1995) (       standard.pdf)

Functional-Logic programming for Smalltalkers: the FLOOP System. In: Proceedings of the Tenth International Symposium on Computer and Information Sciences, pp. 651-658 (1995) (   floop2.pdf)

Integrating Functional, Logic and Object-Oriented Programming Programming Language Paradigms with Application to Deductive Databases. Ph.D. Dissertation, UAB Computer and Information Sciences Department. (1993) (  dissertation.pdf)

Integrating Functional, Logic and Object-Oriented Programming Programming  Paradigms (Abstract). In: The Journal of the Alabama Academy of Science, Vol. 64, No. 2, page 161 (April 1993)

Conditional Term Rewriting as a Deductive Database Language . In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, Deductive Databases Workshop, pp. 126-135 (1992) (condTermRewriting_jicslpwdd92.pdf)

An Integrated E-Unification/Narrowing Algorithm. Technical Report at the Department of Computer and Information Sciences, UAB. (1990)

Learn by Example , a tutorial on the Object-Oriented Features of ADA'95


Under review:

A Critical Evaluation of WSMO and WSML through an E-health Semantic Web Service Specification Case Study.  (With Omid Sharifi) (submitted) (link_to_be_provided)

Semantic Web Services for Banking Applications. (With Omid Sharifi) (Submitted)(link_to_be_provided).

Matching Goals and Semantic Web Services in FLORA-2: A Logical Inference Based Discovery Agent.  (Submitted). (With Omid Sharifi) (link_to_be_provided)


Work in progress:

Evolution of Choreography Languages. (In preparation) (With Shahin Mehdipour Ataee)(link_to_be_provided)

Orchestration for Web Services: A survey. (In preparation) (With samira Ghayekhloo)(link_to_be_provided)