Michael V. Mannino's Vita

Associate Professor, University of Colorado at Denver

[ Home Page ]

ADDRESS

Business School
University of Colorado at Denver and Health Sciences Center
(303) 556-6615 (office), (303) 556-5899 (fax)
Michael dot Mannino at cudenver dot edu
http://carbon.cudenver.edu/~mmannino (World Wide Web)

Address for the USPS

Business School
Campus Box 165, P.O. Box 173364
University of Colorado at Denver and Health Sciences Center
Denver, CO 80217-3364

Address for the UPS and other carriers besides the USPS

Business School
1250 14th Street, Suite 200
University of Colorado at Denver and Health Sciences Center
Denver, CO 80202

RESEARCH INTERESTS

Expert Systems: development and evaluation of inductive reasoning, deductive reasoning, and sequential decision making models for business problems

Management of Information Technology: evaluating operational and strategic uses of information technology

Automated Reasoning: application of automated reasoning in
database management, model management, software engineering, and office systems

Return to top of page

EDUCATION

University of Arizona
Ph.D. in Business Administration (August 1983).

Major: Management Information Systems. Minor: Accounting.
Dissertation title: A Methodology for Global Schema Design.
Advisor: Wolfgang Effelsberg.

M.S. in Management Information Systems (May 1981).

Master's Report: A Survey and Proposal for Logical Database Design.
Advisor: Benn Konsynski.

University of Cincinnati

B.B.A. with honors (May 1978).

Double major in Quantitative Analysis and Accounting.

Return to top of page

PROFESSIONAL EXPERIENCE

Co-Director of the CSIS Ph.D. Program (8/2002 - present).

Associate Professor, University of Colorado at Denver, (8/97 - present).

Taught: Database Management Systems (ISMG6080): online and traditional formats, Website Development Practice and Technologies (ISMG6240): online and traditional formats, Advanced Database Systems (ISMG6480), Database Management and Technologies (ISMG4500): online and traditional formats, and Analytical Research in Information Systems (ISMG7210)

Assistant Professor, University of Washington, (9/91 - 7/97).

Taught: Introduction to Application Programming (IS320),
Data and File Structures (IS520), Multimedia Information Systems (IS590b), Object Oriented Modeling of Business Systems (IS579a), Introduction to Database Management (IS480), Seminar in Information Systems Research (IS590), and Advanced Database Research (IS585)

Assistant Professor, University of Texas at Austin, (9/85 - 8/91).

Taught: Introduction to Database Management (MIS 381.1), Design and Implementation of Information Systems (BA 390F), Seminar in Database Management (MIS 381.3), and Object-Oriented and Multimedia Databases (MIS 373.5).

Consultant to Unify Corporation, Sacramento, CA (July 1985, 1986).

Directed a project to design and implement an SQL compiler.

Assistant Professor, Univ. of Florida, (8/83 - 5/85)

Taught and researched database management.

Systems Programmer, Computer Automation, Inc. (1/82 - 6/83).

Designed and implemented the MARATHON Information System.

Research Assistant, University of Arizona (6/80 - 6/81).

Studied dictionary systems, distributed database management, and heterogeneous database management.

Consultant in database design and software (4/80 - 12/81).

Graduate Assistant, University of Arizona (8/78 - 6/80).

Principal instructor for two semesters of Data Structures and File Organizations (MIS 431) and two semesters of Business Programming (MIS 121). Assistant instructor for one semester of Accounting Information Systems (ACCT 461).

Analyst-Programmer, Regional Computer Center (1975 - 1978).

Employed in a co-operative education program with rotating terms of school and work.

Jr. Accountant, Gibson Greeting Cards, Inc. (1974 - 1975).

Balanced checking accounts, tracked conditional sales program.

Return to top of page

PROFESSIONAL ASSOCIATION MEMBERSHIPS

Association for Computing Machinery (ACM)
Institute of Electrical and Electronics Engineers (IEEE)
Delta Sigma Pi, Professional Business Fraternity

Return to top of page

AWARDS AND ACADEMIC HONORS

College of Business Outstanding Research Award (2000)

Dorothy R. Graddison Scholarship (1977)
Beta Gamma Sigma, National Business Honorary (1977)
Dean's List 11 out of 12 quarters (1973 - 1978)

Return to top of page

ACADEMIC SERVICE

Chair of the Ph.D. Directors Committee, 2005 to present

Co-Director of the CSIS Ph.D. program, 2002 to present

Interim Director of the Center for Information Technology Innovation, 1998, 2000
Member of the Dean Search Committee, 1999
Member of the Multimedia Classroom Design Committee, 1998
Computer Policy Committee (chair), 1995-1996 academic year
Taskforce on Review of BA Computer Services (chair), 1995
Faculty Senate, 1994 -1996
Computer Policy Committee (member), 1992-1993
Taskforce on Review of BA Computer Services (member), 1992-1993
IS Graduate Admissions Chairman 1988 - 1990
Co-coordinator of the Informations Systems Lecture Series, 1989-1990.
Graduate Admissions Committee, 1987-1988
Steering Committee on the Computing Environment, 1987-1988
Computer Resources Committee Chairman, 1986-1987
Social Committee Chairman, 1984-1985
Faculty Search and Screening Committee, 1984-1985
Graduate Studies Committee, 1983-1984

Return to top of page

THESIS AND DISSERTATION ADVISEMENT

Robert Gilson, Minimizing Input Acquisition Costs in Bayesian Belief Network-based Expert Systems, Ph. D. Dissertation, chair, July 1997.

Chul Jung, Framework for Computer-Supported Interpretation Systems, Ph. D. Dissertation, May 1992, co-chair with Andrew B. Whinston.

Sa Neung Hong, A Formal, Unified Modeling Framework: Knowledge Representation and Automated Reasoning, Ph. D. Dissertation, July 1991, chair.

In Jun Choi, Semantics and Reasoning in Object-Oriented Systems, Ph. D. Dissertation, February 1991, chair.

Veronica Tseng, Inferring Database Requirements from Examples in Forms,

Ph. D. Dissertation, Spring 1988, chair.

Angel Rivera, An Extensible Model of Selectivity Estimation, Master's Thesis, May 1987, chair.

Bernice Buntaran, A Procedure to Merge Hierarchically Structured Entity Families, Master's Thesis, July 1985, chair.

Celestine Blanton, A Schema Definition Tool, Master's Thesis, May 1985, chair.

Michael I. Hsu, An Approach to Code Generation for Data Languages, Master's Thesis, May 1985, co-chair with George Logothetis.

Cynthia Karle, A Global View Definition Language, Master's Thesis, Aug. 1984, chair.

Dissertation committee member for Yong Kim (MS), Young Ryu (MSIS), Wen Chyuan Chiang (Management), Kyung-Chang Kim (Computer Sciences), Sortiris Pagadis (Construction Engineering), Ranjit Bose (MSIS), Hyoung-Joo Kim (Computer Sciences), Yeng Horng Per ng (Construction Management), P.C. Chu (MSIS), Rammaya Krishnan (MSIS).

Return to top of page

PROFESSIONAL SERVICE

Program Committee Member, Workshop on Information Technologies and Systems, December 1999 to 2005

Editorial Board Member, Information Technology and Management, Baltzer Science Publishers, January 1998 -2000.

Co-Chair, Minitrack on Data Mining and Knowledge Discovery, Hawaii International Conference on System Sciences (HICSS), January 1998, 1999.

Program Committee Member, International Conference on the Entity Relationship Approach, November 1997.

Program Committee Member, Informs Conference on Information Technologies and Systems, May 1997.

Program Committee Member, Third International Conference on Object-Oriented Information Systems, May 1996.

Program Committee Member, Informs Conference on Information Systems, May 1995.

Program Committee Member, International Conference on the Entity Relationship Approach, December 1994.

Program Committee Member, Workshop on Information Technologies and Systems, December 1994, Vancouver, BC, Canada.

Program Committee Member, 15th Annual International Conference on Information Systems, December 1994, Vancouver, BC, Canada.

Program Committee Member, Workshop on Information Technologies and Systems, December 1993, Orlando, FL.

Program Committee Member, 5th Conference on Advanced Information Systems Engineering, June 1993, Paris, Frnce

Program Committee Member, Workshop on Information Technologies and Systems, December 1992, Dallas, TX.

Program Committee Member, 4th Conference on Advanced Information Systems Engineering, May 1992, Manchester, UK.

Program Committee Member, Workshop on Information Technologies and Systems, December 1991, Boston, MA.

Program Committee Member, International Conference on the Entity Relationship Approach, Oct. 1990.

Panel chairperson for the 1985 SIGMOD Conference.

Referee for various journals, conferences and funding agencies including Intl. Journal of Intelligent and Cooperative Information Systems, 1995, Annals of Operations Research, 1995, International Conference on Information Systems, 1993 - 1994, Decision Sciences Institute (1990), Hawaii International Systems Science Conference (1986-1994), Information Sciences (1988), IEEE Transactions on Software Engineering (1987 - 1992), IEEE Transactions on Knowle dge and Data Engineering (1990 - 1995), ACM Transactions on Database Systems (1987-1992), ACM Computing Surveys (1987-1994), Journal of Management Information Systems (1989 - 1995), Decision Support Systems (1988-1995), Management Science (1992 - 1996) ORSA Journal on Computing (1990-1994), and National Science Foundation (1988-1990)

Return to top of page

WORK IN PROGRESS

“Effect of Outlier Detection on Classifier Training and Performance” submitted to Workshop on Information Technologies and Systems (WITS2005), experiment implementation in progress, August 2005.

“Terminability and Compensatibilty of Cycles in Business Processes with a Process-Oriented Trigger,” full paper in final stages, October 2005.

“Efficiency Models for Data Warehouse Operations,” submitted to Workshop on Information Technologies and Systems (WITS2005), data collection in progress.

Return to top of page

PUBLICATIONS

“A Field Study and Framework about Data Warehouse Refresh Policies,” Decision Support System (in press), December 2004, with Ping Walter. Available through the CSIS Ph.D. website (http://www.csisphd.cudenver.edu/).; “Optimal Incentive-Compatible Pricing for M/G/1 Queues,” Operations Research Letters 31, 6 (November 2003), 459-461, with Yong Kim.; "Probability Bounds for Goal Directed Queries in Bayesian Belief Networks," IEEE Transactions on Knowledge and Data Engineering, 14, 5 (September/October 2002), 1196-1200 with Vijay Mookerjee.; "The Cost Minimizing Inverse Classification Problem: A Genetic Algorithm Approach," Decision Support Systems 29, 3 (October 2000), 283-300, with Murlidhar Koushik.
: "Mean-Risk Tradeoffs in Inductive Expert Systems," Information Systems Research 11, 2 (June 2000), 137-158, with Vijay Mookerjee.
: "Optimizing Expert Systems: Heuristics for Efficiently Generating Low Cost Information Acquisition Strategies," INFORMS Journal on Computing 11, 3 (Summer 1999), 278-291, with Vijay Mookerjee.
: "Sequential Decision Models for Expert System Design," IEEE Transactions on Knowledge and Data Engineering 9, 5 (September-October 1997), 675-687, with Vijay Mookerjee.
: "Redesigning Case Retrieval to Reduce Information Acquisition Costs," Information Systems Research 8, 1 (March 1997), 51-68, with Vijay Mookerjee.
: "Improving the Performance Stability of Inductive Expert Systems Under Input Noise," Information Systems Research 6, 4 (December 1995), 328-356, with Vijay Mookerjee and Robert Gilson.
: "Formal Semantics of the Unified Modeling Language," Decision Support Systems, 13 (1995), 263-293, with Sa Neung Hong.
: "Tools for Building the Human-Computer Interface of a Decision Support System," Decision Support Systems, 13 (1995), 35-59, with Sukumar Rathnam.
: "Formal Modeling of Complex Commands in Industrial Software Specifications," Information Systems Research 5, 3 (September 1994), 249-274, with Sukumar Rathnam, In Jun Choi, and Veronica Tseng.
: "Measurement Theoretic Representation of Large, Diverse Model Bases," Decision Support Systems, 10 (1993), North-Holland, 319-340, with Sa Neung Hong and Betsy S. Greenberg.
: "A Form-Based Approach for Database Analysis and Design," Communications of the ACM, 35, 2 (February 1992), 108-120, with Joobin Choobineh and Veronica Tseng.
: "The Object-Oriented Functional Data Language," IEEE Trans. on Software Engineering16, 11 (November 1990), 1258-1272, with In Jun Choi and Don Batory.
: "Model Libraries: Knowledge Representation and Reasoning," ORSA Journal on Computing 2, 3 (Summer 1990), 287-301 with Betsy Greenberg and Sa Neung Hong.
: "Extensions to Query Languages for Graph Traversal Problems," IEEE Transactions on Knowledge and Data Engineering 2, 3 (September 1990), 353-363, with Leonard Shapiro.
: "A Method for Database Requirements Collection," Journal of Management Information Systems 6, 2 (Fall 1989), 51-75, with Veronica Tseng.
: "An Extensible Model of Selectivity Estimation," Information Sciences - An International Journal 49, (1989), Special Issue on Database Systems, 225-247, with Angel Rivera.
: "Educating Information Systems Managers: A New Approach," Journal of Information Systems 3, 2 (Spring 1989), 145-154, with Richard Dietrich, Darwin Klingman, John Mote, Nancy Phillips, and David Schkade.
: "Statistical Profile Estimation in Database Systems," ACM Computing Surveys 20, 3 (September 1988), 191-221, with P.C. Chu and Thomas Sager.
: "A Rule-Based Approach for Merging Generalization Hierarchies," Information Systems 13, 3 (September 1988), 257-272, with Wolfgang Effelsberg and Shamkant Navathe.
: "An Expert Database Design System Based on Analysis of Forms," IEEE Trans. Software Engineering 14, 2 (February 1988), 242-253, with Joobin Choobineh, Jay F. Nunamaker, and Benn R. Konsynski.
: "An Extension of the General Entity Manipulator for Global View Definition," Data & Knowledge Engineering 4 (1985), 305-326, with Cynthia R. Karle.
: "Attribute Equivalence in Global Schema Design for Heterogeneous Distributed Databases," Information Systems 9, 3 (Sept. 1984), 237-240, with Wolfgang Effelsberg.
: "The Data Dictionary: An Evaluation from the EDP Audit Perspective," MIS Quarterly 7, 1 (March 1983), 15-28, with Michael T. Vanecek and Ira Solomon.
: "The Integrated Dictionary/Directory System," ACM Computing Surveys, 14, 2 (June 1982), 245-286, with Frank Allen and Mary Loomis.
: "Fundamentals of Integrated Dictionary/Directory Systems," Information & Management, 4, 6 (Feb. 1982), 287-302, with Mary Loomis and Frank Allen.

Return to top of page

REFEREED CONFERENCE PROCEEDINGS

“A Backward Recovery Mechanism for Workflow Management: Extended Abstract,” in Proceedings of the Workshop on Information Technologies and Systems, December 2004, Arlington, VA, with Jisoo Jung, In Jun Choi, Minseok Song, and Chulsoon Park.; “A Field Study and Framework about Data Warehouse Refresh Policies: Extended Abstract,” in Proceedings of the Workshop on Information Technologies and Systems, December 2003, Seattle, WA, with Ping Walter.; "Generating Rules from Bayesian Belief Networks (Extended Abstract)," Workshop on Information Technologies and Systems, December 1997, Atlanta, GA, pp. 277-284, with Vijay Mookerjee and Robert Gilson.
: "A Method for Reducing the Cost of Operating a Bayesian Network-Based Expert System," in Proceedings of the Second Informs Conference on Information Systems and Technology, May 1996, San Diego, CA, pp. 41-43, with Vijay Mookerjee and Robert Gilson.
: "Designing Value Based Expert Systems with Mean Variance Tradeoffs," in Workshop on Information Technologies and Systems, December 1996, Cleveland, OH, with Vijay Mookerjee.
: "A Genetic Algorithm Approach to Cost Minimization in the Inverse Classification Problem," in Proceedings of the First Informs Conference on Information Systems and Technology, May 1996, Washington, D.C., pp. 172-174, with Murlidhar Koushik.
: "Redesigning Expert Systems with Dependent Information Acquisition Costs and Varying Information Availability," in Proceedings Workshop on Information Technologies and Systems, December 1994, Vancouver, BC, pp. 127-135, with Vijay Mookerjee, Radha Mookerjee, and Kerry Meyer.
: "Developing Inductive Expert Systems Using Noisy Data: Economic and Information Theoretic Design Considerations (Extended Abstract)," in Proceedings Workshop on Information Technologies and Systems, December 1993, pp. 127-135, with Vijay Mookerjee and Robert Gilson.
: "Learning and Classification in the Extensional Object Model (Extended Abstract)," in Proceedings Workshop on Information Technologies and Systems, December 1993, pp. 236-243, with Yong Kim, Chul Jung, and Andrew Whinston.
: "Redesigning Case Based Reasoning Algorithms to Reduce Information Acquisition Costs (Extended Abstract)," in Proceedings Workshop on Information Technologies and Systems, December 1992, with Vijay Mookerjee.
: "An Extensional Model of Objects," in the Proc. of the 3rd International Conference on Data and Knowledge Systems for Manufacturing and Engineering, Lyon, France, March 1992, with Chul Jung and Andrew Whinston.
: "The Formal Semantics of the Unified Modeling Language (Extended Abstract)," in Proceedings of the Workshop on Information Technologies and Systems, Boston, MA, December 1991, pp. 9-21, with Sa Neung Hong.
: "Extensional Reasoning in Object-Oriented Databases (Extended Abstract)," in Proceedings of the Workshop on Information Technologies and Systems, Boston, MA, December 1991, pp. 274-284, with Chul Jung and Andrew Whinston.
: "Formal Specification and Command Modeling in Software Systems with a Complex Command Structure," in Proc. 12th International Conference on Information Systems, Dec. 1991, New York, NY, pp.111-126, with In Jun Choi, Sukumar Rathnam, and Veronic a Tseng.
: "User Interface Management Systems: Themes and Variations - A Review of the Literature" in the 24rd Hawaii International Conference on System Sciences, January 1991, with Sukumar Rathnam, pp. 489-498.
: "Panel on Extensional/Intensional Database Systems," in Proc. 9th Intl. Conf. on the Entity-Relationship Approach, Oct. 1990, Lausanne, Switzerland.
: "Tutorial on Object-Oriented Modeling and Reasoning (Extended Abstract)," in Proc. 9th Intl. Conf. on the Entity-Relationship Approach, Oct. 1990, Lausanne, Switzerland, with In Jun Choi.
: "Type Restrictions and Method Interfaces in Object-Oriented Database Programming," in Proc. IFIP 4th TC2 Working Conference on Database Semantics: Object-Oriented Databases, Windermere, U.K., July 1990, with In Jun Choi and Veronica Tseng.
: "Inheritance and Instantiation in Model Management," in Proc. 23rd Hawaii International Conference on System Sciences, January 1990, pp. 424-432, with Betsy Greenberg and Sa Neung Hong.
: "An Overview of the Object-Oriented Functional Data Language," in the Proc. of the Intl. Conference on Data Engineering (COMPDEC), IEEE, Feb. 1989, Los Angeles, CA, with In Jun Choi and Don Batory.
: "Inferring Database Requirements from Examples in Forms," in Proc. 7th International Conference on the Entity-Relationship Approach, Nov. 1988, Rome, Italy, pp. 255-266, with Veronica Tseng.
: "Knowledge Representation for Model Libraries," in Proc. 21st Hawaii Intl. Conf. on System Sciences, Kailua-Kona, Hawaii, January 1988, with Betsy Greenberg and Sa Neung Hong,
: "Acquisition and Use of Contextual Knowledge in a Form-Driven Database Design Methodology," in Proc. 5th Intl. Entity Relationship Conference, Dijon, France, Nov. 1986, with Joobin Choobineh and Jing Jang Hwang.
: "Panel on Extensible Database Systems," extended abstract in Proc. ACM SIGMOD Conf, Washington, D.C., May 1986, pp. 187-190, with Don Batory.
: "The Architecture of a Rule-Based System for Database Design Based on Forms," in Proc. 19th International Conference on System Sciences, Jan. 1986, with Joobin Choobineh, Jay F. Nunamaker, and Benn R. Konsynski.
: "Matching Techniques in Global Schema Design," in Proc. IEEE COMPDEC, Los Angeles, CA, April 1984, pp. 418-426, with Wolfgang Effelsberg.
: "Requirements Specification in Global Schema Design," in Proc. Databases for Business and Office Applications, E. Carlson (ed.), May 1983, pp. 150-157, with Wolfgang Effelsberg and Benn Konsynski.
: "Information Resource Specification and Design Language," in Proc. Intl. Conf. Entity-Relationship Approach to Systems Analysis and Design, Dec. 1979, pp. 346-358, with Benn Konsynski.

Return to top of page

OTHER PUBLISHED WORK

Database Design, Application Development, and Admiinistration, Irwin McGraw-Hill, third edition, 2006.
: Database Design, Application Development, and Admiinistration, Irwin McGraw-Hill, second edition, 2003.
: Integrated Access Labs for Database Design, Application Development, and Administration, Irwin McGraw-Hill, 2003, ISBN 0-07-244556-4.
: Database Application Development and Design, Irwin McGraw-Hill, first edition, 2001, ISBN 0-07-246367-8.
: Integrated Access Labs for Database Application Development and Design, Irwin McGraw-Hill, 2001, ISBN 0-07-244556-4.
: Integrated Visio Professional Labs for Database Application Development and Design, Irwin McGraw-Hill, 2001, (available through the McGraw Online Learning Center).; "The Role of Form Analysis in Computer-Aided Software Engineering," in Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development, P. Loucopoulos and R. Zicari (eds.), John Wiley, 1992.
: "Graph Interpretation of Methods: A Unifying Framework for Polymorphism in Object-Oriented Programming," OOPS Messenger, ACM SIGPLAN, 1991.
: "Research on Form Driven Database Design and Global View Design," Database Engineering 7, 4 (Dec. 1984), 58-63, with Joobin Choobineh.
: "Management Reporting for PCB Production," Test and Measurement World 3, 2 (Feb. 1983), 28-31.
: "Information Systems for Circuit Board Monitoring," in Proc. ATE West Conf., Anaheim California, Jan. 1983, pp. V1-V14.

Return to top of page

FUNDED PROPOSALS

Sensitivity Analysis and Bayesian Belief Networks, Summer Research Proposal, University of Washington, School of Business, January 1996.
: Incorporating Variance as a Design Objective in Value-Based Inductive; Expert Systems, Summer Research Proposal, University of Washington, School of Business, January 1995.
: One month summer support through the grant Advanced Care of Older Adults, School of Nursing, University of Washington, 1994.
: Proposal about Research on Sensitivity Analysis and Inductive Expert Systems, Summer Research Proposal, University of Washington, School of Business, January 1994.
: Formal Specification and Reasoning about Extended Method Interfaces in Object-Oriented Programming, IBM Corporation, Shared University Research Program, June 1, 1989 - July 31, 1991 ($92,320).
: Application of Machine Learning to the Design of Office Information Systems, Research Grant, University Research Institute, The University of Texas at Austin, June 1 - August 31, 1986 ($2,000).
: Research on a Unifying Model of Query Optimization, Summer Research Grant, College of Business, The University of Texas at Austin, June 1 - August 31, 1986 ($2,094).
: Development of a Prototype SQL Compiler, funded by Unify Corporation ($20,806), principal investigator, Sept. 1985 - Jan. 1986, extension of contract from Jan. - June 1986 ($19,034).
: A Project to Improve the Instruction of Physical Database Design, a proposal for the 1984-1985 Mini-Sabatical Program, June 1984, funded by the Office of Instructional Resources, Univ. of Florida, 1/4 quarter time release for the Spring semeste r 1985.
: Design and Analysis of Compiled Unify SQL, funded by Unify Corporation ($61,378), principal investigator, with George Logothetis as co-principal investigator, May 1984 - Dec. 1984, extension of contract from Jan. 1985 - May 1985 ($10,277).

Return to top of page

INVITED LECTURES

A Field Study and Framework about Data Warehouse Refresh Policies, lecture for the CSIS Ph.D. program seminar series, October 2003.; Data Warehouse Challenges for Data Warehouse Development, panel moderator at the Advisory Board Meeting of the Center for Information Technology Innovation, September 1999.
: Sequential Decision Models for Expert System Optimization, presented to the School of Business, University of Colorado at Denver, January, 1997, University of Colorado at Boulder, October, 1999.
: Redesiging Expert Systems: Heuristics for Efficiently Generating Low Cost Information Acquisition Strategies, presented to the Department of Management Science, University of Washington, April 1996.
: The Change Minimizing Inverse Classification Problem: A Genetic Algorithm Approach, presented to the Department of Management Science, University of Washington, May 1995.
: Developing Inductive Expert Systems Using Noisy Input Data: Explicit versus Implicit Measurement, presented to the Department of Management Science, University of Washington, November 1993 and the Department of Management Information Systems, University of British Columbia, November 1993.
: Learning and Classification in the Extensional Object Model, presented to the Department of Management Science, University of Washington, May 1993.
: The Extensional Object Model, presented to the Department of Management Science, University of Washington, November 1991 and presented at the Universite' Pierre and Marie Curie, Laboratoire MASI, Versailles, France, March 1992.
: Formal Specification and Automated Reasoning in the Distributed Data Management Architecture, presented at IBM, Rochester, MN, August 1991.
: A Formal Unified Framework for Model Management, presented at the NATO Advanced Study Institute on Decision Support Systems, Castelvecchio Pascoli, Italy, June 1991.
: Measurement Theoretic Representation of Large, Diverse Model Bases, presented at the Consiglio Nazionale delle Ricerche (CNR), October 1990, Rome, Italy.
: Semantics of Modeling Languages: Logic and Mathematical Modeling, presented at the 1990 ISDSS Conference, September 1990, Austin, TX.
: Graph Interpretation of Methods: A Unifying Framework of Polymorphism in Object Oriented Programming, presented at the Conference on Technology of Object-Oriented Languages and Systems, Paris, France, June 1990.
: Semantics and Reasoning in Object-Oriented Systems: Results in Programming Languages, Model Management, and Office Systems, presented at the Information Systems Seminar Series, the University of Texas at Austin, March 1990.
: Method Subtyping in Object-Oriented Systems, presented at Texas A&M University, November 1989.; Model Libraries: Knowledge Representation and Reasoning, presented at the University of Jean-Moulin III (Lyon, France) and The Swiss Federal Polytechnical University (Lausanne, Switzerland), November 1988.
: The Object-Oriented Functional Data Language, presented at the University of Pierre and Marie Currie (VI), Paris, France, July 1988.
: Knowledge Representation for Model Libraries, presented at the ORSA-TIMS Joint Meeting, Washington, D.C., May 1988.
: Research on a Form-Driven Approach to Database Design, presented at the University of Pierre and Marie Currie (VI), Paris, France, July 1987.
: Profile Estimation in Database Systems, presented at IBM Scientific Center, Heidelberg, F.R.G., November 1986 and at North Dakota State University, March 1987.
: Path Problems in Database Systems: A Survey and Proposal, presented at the University of Florida, January 1986.

Return to top of page

Questions or Comments? Michael dot Mannino at cudenver dot edu