Publications

Vorbach, J., A database project methodology for real design experiences, Proc. of the 15th Annual Eastern Small College Computing Conference, St. Bonaventure, NY, Oct. 15-16, 1999, 155-160.

Brawner, J. and J. Vorbach, An algorithmic logic approach to formalizing database update semantics, J. of Applied Non-Classical Logics, 8(3), 1998, 199-220.

Vorbach, J. A design-oriented database course, Proc. of the 13th Annual Eastern Small College Computing Conference (ESCCC ' 97), October 24-25, 1997, The Richard Stockton College of New Jersey, Pomona, NJ.

Brawner, J., B. MacKellar, J. Peckham, and J. Vorbach, Automatic generation of update rules to enforce consistency constraints in design databases, Proc. 7th IFIP 2.6 Working Conf. on Database Semantics (DS-7), October 7-10, 1997, Leyson, Switz.

Peckham, J., B. MacKellar, and J. Vorbach, A Unified Approach to the Design and Generation of Complex Database Schemata, J. of Database Management, 8(3), 1997, 16-25.

Ochs, R., A. Qureschi, A. Sycz, and J. Vorbach, A computerized metabolic map II - relational structure, extended modeling and a graphical interface, J. Chemical Information and Computer Sciences, 36(3) (1996) 594-601.

Vorbach J. and J. Ryan, Information technology model for evaluating emergency medicine teaching, Healthcare Information Infrastructure, SPIE Proceedings Series v.2618 (1995) 63-71.

Brawner, J. and J. Vorbach, A formal basis for schema analysis of semantic database update semantics, Proc. of the 23rd Annual ACM Computer Science Conference (CSC '95), February 28 - March 2, 1995, Nashville, TN, 142-149.

Chudziak, J., H. Rybinski, and J. Vorbach, On unification of formalisms for
semantic data models, Proc. Intelligent Information Management Systems Conf. (IASTED/ISMM), June 7-9, 1995, Washington, D. C.

Chudziak, J. and J. Vorbach, SDM-CASE - a Verification and Validation Tool for Semantic Database Schemata, Proc. of the 25th Annual Meeting Decision Sciences Institute (DSI'94), November 20 - 22, 1994, Honolulu, Hawaii, 952 - 955.

Vorbach, J., The Medical Center 'Med' Information System Project, Proc. of the 25th Annual Meeting Decision Sciences Institute (DSI'94), November 20 - 22, 1994, Honolulu, Hawaii, 870 - 873.

Chudziak, J., H. Rybinski, and J. Vorbach, Towards a unifying logic formalism
for semantic data models, in The 12th Int'l Conf. on the Entity-Relationship
Approach (ERA'93), Lecture Notes in Computer Science Series v. 823, New York: Springer-Verlag, (1994) 492-507.

Vorbach, J., SDM-Logic - An approach for analyzing semantic data models,
Bulletin of the Polish Academy of Science, 40(1) (1992) 85-98.

Vorbach, J. and J. Kowalski, A unifying logic-based formalism for semantic data models, Proc. of the 19th Annual Computer Science Conf. (CSC '91), March 5-7, 1991, San Antonio, Texas, 343-349.