Publications of Harvey J. Greenberg
I have listed my publications in reverse chronological order in each of
the following categories:
[Refereed Articles] [
Unrefereed Articles and Book Chapters] [
Books]
Refereed Articles
- Quadratic Binary Programming Models in Computational Biology, Algorithmic
Operations Research 3 (2008), 110-129 (with Richard J. Forrester).
(Available as pdf file.)
- Robust Optimization of Contaminant Sensor Placement for Community
Water Systems, Mathematical Programming, Series B 107 (2006),
337-356 (with R.D. Carr, W.E. Hart, G.Konjevod, E. Lauer, H. Lin, T.
Morrison, and C.A. Phillips). (Available as pdf file.)
- Reconstruction and Functional Characterization of the Human
Mitochondrial Metabolic Network Based on Proteomic and Biochemical
Data, Journal of Biological Chemistry 279:38 (2004),
39532-39540 (with T.D. Vo and B.Ø. Palsson). (Available as pdf file.)
- Monte Carlo Sampling Can Be Used to Determine the Size and Shape
of the Steady State Flux Space, Journal of Theoretical Biology
228:4 (2004) 437-47 (with S.J. Wiback, I. Famila, and B.Ø.
Palsson). (Available as pdf file.)
- Opportunities for Combinatorial Optimization in Computational
Biology, INFORMS Journal on Computing 16:3 (2004), 211-231
(with W.E. Hart and G. Lancia). (Available as pdf file.)
- A Multiple-Objective Analysis of Sensor Placement Optimization
in Water Networks, in G. Sehlke, D.F. Hayes, and D.K. Stevens (Eds.), Proceedings
of the World Water and Environment Resources Conference, Salt Lake
City, UT, 2004, American Association of Civil Engineers (with W.E. Hart
and J-P. Watson). (Available as pdf
file.)
- Addressing Modelling Uncertainties in Sensor Placement for
Community Water Systems, in G. Sehlke, D.F. Hayes, and D.K. Stevens
(Eds.), Proceedings of the World Water and Environment Resources
Conference, Salt Lake City, UT, 2004, American Association of Civil
Engineers (with R. Carr, W.E. Hart, and C.A. Phillips). (Available as pdf file.)
- Analytic Centers and Repelling Inequalities, European
Journal of Operational Research 143:2 (2002), 268-290 (with R.J.
Caron and A.G. Holder). (Available as pdf file.)
- Simultaneous Primal-Dual Right-Hand-Side Sensitivity Analysis
from a Strictly Complementary Solution of a Linear Program, SIAM
Journal of Optimization 10:2 (2000) 427-442. (Available as pdf file.)
- Matrix Sensitivity Analysis from an Interior Solution of a
Linear Program, INFORMS Journal on Computing 11:3 (1999)
316-327. (Available as pdf file.)
- On the Dimension of the Set of Rim Perturbations for Optimal
Partition Invariance, SIAM Journal of Optimization 9:1 (1998),
207-216 (with A.G. Holder, C. Roos and T. Terlaky). (Available as pdf file.)
- An Annotated Bibliography for Post-solution Analysis in Mixed
Integer Programming and Combinatorial Optimization, in Advances in
Computational and Stochastic Optimization, Logic Programming, and
Heuristic Search, D.L. Woodruff (ed.), Kluwer Academic Publishers,
Boston, MA, 1998, 97-148. (Available as pdf
file; 1999 update... bibtex file
- Possibilities of logically equivalent expressions, International
Journal for Fuzzy Sets and Systems 86:2 (1997), 249-250. (Available
as pdf file.)
- Consistency, redundancy and implied equalities in linear
systems, Annals of Mathematics and Artificial Intelligence 17
(1996), 37-83. (Available here as pdf
file.)
- The ANALYZE rulebase for supporting LP analysis, Annals of
Operations Research 65 (1996), 91-126. (Available as pdf file.)
- A bibliography for the development of an intelligent
mathematical programming system, Annals of Operations Research
65 (1996), 55-90. (Available here as pdf file.)
- A bibliography for the development of an intelligent
mathematical programming system, ITORMS 1:1 (1996).
(This is a descendant of the above printed copy.)
- Mathematical programming models for environmental quality
control, Operations Research 43:4 (1995), 578-622. (Available
as pdf file.)
- Analyzing the pooling problem, ORSA Journal on Computing
7:2 (1995), 205-217. (Available as pdf file.)
- Views of mathematical programming models and their instances, Decision
Support Systems 13:1 (1995), 3-34 (with F.H. Murphy). (Available as
pdf file.)
- The use of the optimal partition in a linear programming
solution for postoptimal analysis, Operations Research Letters
15:4 (1994), 179-185. (Available as pdf file.)
- Syntax-directed report writing in linear programming, European
Journal of Operational Research 72:2 (1994), 300-311. (Available as
pdf file.)
- How to analyze results of linear programs, Part 4: Forcing
substructures, Interfaces 24:1 (1994), 121-130. (Available as pdf file.)
- How to analyze results of linear programs, Part 3: Infeasibility
diagnosis, Interfaces 23:6 (1993), 120-139. (Available as pdf file.)
- How to analyze results of linear programs, Part 2: Price
interpretation, Interfaces 23:5 (1993), 97-114. (Available as pdf file.)
- How to analyze results of linear programs, Part 1:
Preliminaries, Interfaces 23:4 (1993), 56-67. (Available as pdf file.)
- Enhancements of ANALYZE: a computer-assisted analysis system for
mathematical programming models and solutions, ACM Transactions On
Mathematical Software 19:2 (1993), 233-256. (Available as pdf file.)
- Rule-based intelligence to support linear programming analysis, Decision
Support Systems 9:4 (1993), 425-448. (Available as pdf file.)
- MODLER: Modeling by Object-Driven Linear Elemental Relations, Annals
of Operations Research 38 (1992), 239-280. (Available as pdf file.)
- A comparison of mathematical programming modeling systems, Annals
of Operations Research 38 (1992), 177-238 (with F.H. Murphy).
(Available as pdf file.)
- Intelligent analysis support for linear programs, Computers
& Chemical Engineering 16:7 (1992), 659-674. (Available as pdf file.)
- An empirical analysis of diagnosing infeasible instances of
linear programming blending models, IMA Journal of Mathematics
Applied in Business & Industry 4 (1992), 163-210. (Available as
pdf file.)
- Approaches to diagnosing infeasible linear programs, ORSA
Journal on Computing 3:3 (1991), 253-261 (with F.H. Murphy).
(Available as pdf file.)
- RANDMOD: A system for randomizing modifications to an instance
of a linear program, ORSA Journal on Computing 3:2 (1991), 173-
175. (Available as pdf file.)
- Neural networks and heuristic search, Annals of Mathematics
and Artificial Intelligence 1 (1990), 75-95. (Available as pdf file.)
- Neural networks for an intelligent mathematical programming
system, Proceedings of CSTS Symposium: Impacts of Recent Computer
Advances on Operations Research, R. Sharda, B.L. Golden, E. Wasil,
O. Balci and W. Stewart (eds.), Elsevier Science, 1989, 313-320.
(Available as pdf file.)
- New approaches for heuristic search: bilateral linkage with
operations research, European Journal of Operations Research
39:2 (1989), 119-130 (with F. Glover). (Available as pdf file.)
- Extensions of graph inversion to support an artificially
intelligent modeling environment, Annals of Operations Research
21 (1989), 127-142 (with J.R. Lundgren and J.S. Maybee). (Available as pdf file.)
- Equilibria of the brain-state-in-a-box (BSB) neural model, Journal
of Neural Networks 1:4 (1988), 323-324. (Available as pdf file.)
- Validation of decision support systems, Proceedings of NATO ASI:
Mathematical Models for Decision Support, Springer-Verlag,
Berlin, 1988, 641-657. (Available as pdf file.)
- ANALYZE Rulebase, Proceedings of NATO ASI: Mathematical
Models for Decision Support, Springer-Verlag, Berlin, 1988,
229-238. (Available as pdf
file.)
- Logical testing for rule-base management, Annals of
Operations Research 12 (1988), 199-215 (with F. Glover). (Available
as pdf file.)
- Diagnosing infeasibility for min cost network flow models, Part
II: primal infeasibility, IMA Journal of Mathematics in Applied
Business and Industry 2 (1988), 39-50. (Available as pdf file.)
- Netforms provide powerful tools for enhancing the operations of
expert systems, Proceedings of the Rocky Mountain Conference on
Artificial Intelligence, Golden, CO, 1987, 259-265 (with F.
Glover). (Available as pdf file.)
- The development of an intelligent mathematical programming
system, WORMSC Proceedings, Washington, D.C., November 1987.
- A natural language discourse model to explain linear programs, Decision
Support Systems 33 (1987), 333-342. (Available as pdf file.)
- ANALYZE: A computer-assisted analysis system for linear
programming models, Operations Research Letters 6:5(1987), 249-
255. (Available as pdf file.)
- Computer-assisted modeling and analysis of linear programming
problems: towards a unified framework, IMA Journal of Mathematics
in Management 2 (1987), 1-16 (with C. Lucas and G. Mitra).
(Available as pdf file.)
- Diagnosing infeasibility for min cost network flow models, Part
I: dual infeasibility, IMA Journal of Mathematics in Management
1 (1987), 99-110. (Available as pdf file.)
- Computer-assisted analysis for diagnosing infeasible or
unbounded linear programs, Mathematical Programming Studies 31
(1987), 79-97. (Available as pdf
file.)
- An analysis of degeneracy, Naval Logistics Research Quarterly
33 (1986), 635-655. (Available as pdf file.)
- Advanced basis construction for linear programs, Annals of
Operations Research 5 (1985/6), 413-424. (Available as pdf file.)
- Computing market equilibria with price regulations using
mathematical programming, Operations Research 33:5 (1985),
935-954 (with F.H. Murphy). (Available as pdf file.)
- Signed graphs of netforms, Congressus Numerantium 44
(1984), 105- 115 (with J.R. Lundgren and J.S. Maybee). (Available as pdf file.)
- Inverting signed graphs, SIAM Journal of Algebraic and
Discrete Methods 5 (1984), 216-223 (with J.R. Lundgren and J.S.
Maybee). (Available as pdf file.)
- Inverting graphs of rectangular matrices, Discrete Applied
Mathematics 8 (1984), 255-265 (with J.R. Lundgren and J.S. Maybee).
(Available as pdf file.)
- MIP tactics, in Mixed Integer Programming in Mathematical
Programming Systems, NBS Special Joint Issue of ORSA/CSTS and
MPS/COAL, 1984, 3-11.
- The inversion of 2-step graphs, Journal of Combinatorics, Information
& System Sciences 8 (1983), 33-43 (with J.R. Lundgren and J.S.
Maybee). (Available as pdf
file.)
- Rectangular matrices and signed graphs, SIAM Journal on
Algebraic and Discrete Methods 4 (1983), 50-61 (with J.R. Lundgren
and J.S. Maybee). (Available as pdf file.)
- A functional description of ANALYZE: a computer-assisted
analysis system for linear programming models, ACM Transactions On
Mathematical Software 9 (1983), 18-56. (Available as pdf file.)
- A tutorial on computer-assisted analysis, in Advanced
Techniques in the Practice of Operations Research, 1982,
North-Holland, 212- 249.
- Representing supersparse matrices with perturbed values, Communications
of ACM 24:6 (1981), 451-456 (with R.P. O'Neill). (Available as pdf file.)
- Graph-theoretic methods for the qualitative analysis of
rectangular matrices, SIAM Journal on Algebraic and Discrete Methods
2 (1981), 227-239 (with J.R. Lundgren and J.S. Maybee). (Available as pdf file.)
- Implementation aspects of model management: a focus on computer-
assisted analysis, in Energy Policy Planning, Plenum Press,
1981, 443-459. (Available as pdf file.)
- Measuring complementarity and qualitative determinacy, in Computer-Assisted
Analysis and Model Simplification, Academic Press, 1981, 497-522.
(Available as pdf file.)
- Graph-theoretic foundations of computer-assisted analysis, in Computer-Assisted
Analysis and Model Simplification, Academic Press, 1981, 481-495
(with J.L. Lundgren and J.S. Maybee). (Available as pdf file.)
- Implementation aspects of model management: A focus on computer-
assisted analysis, in Computer-Assisted Analysis and Model
Simplification, Academic Press, 1981, 455-479. (Available as pdf file.)
- The scope of computer-assisted analysis and model
simplification, in Computer-Assisted Analysis and Model
Simplification, Academic Press, 1981, 17-26. (Available as pdf file.)
- Modeling the national energy plan, Journal of the
Operational Research Society 31 (1980), 965-973 (with F.H. Murphy).
(Available as pdf file.)
- Analyzing Alaskan gas distribution options, Energy Policy
Modeling: United States and Canadian Experiences, vol. II (W.T.
Ziemba and S.L. Schwartz, eds.), Nijhoff, 1980, 318-329. (Available as pdf file.)
- Enhancing Fortran to aid manipulation of large, structured
matrices, NBS Journal of Research, series B 84 (1979), 21-50
(with J.E. Kalan). (Available as pdf
file.)
- Validity as a measure of goodness, NBS Pub. 569: Energy
Models Validation and Assessment, 1979 (S.I. Gass, ed.), 255-266
(with F.H. Murphy). (Available as pdf file.)
- A new approach to analyze information contained in a model, NBS
Pub. 569: Energy Models Validation and Assessment, 1979 (S.I.
Gass, ed.), 517-524. (Available as pdf file.)
- A computational perspective of PIES, SHARE Proceedings,
August 1977, Washington, DC, 2063-2078 (with R.P. O'Neill). (Available
as pdf file.)
- On computing a buy/copy policy using the Pitt-Kraft model, Information
Processing and Management 13 (1977), 125-134 (with D.H. Kraft).
(Available as pdf file.)
- The one dimensional generalized Lagrange multiplier problem, Operations
Research 25:2 (1977), 338-345. (Available as pdf file.)
- Representations of networks, National Computer Conference
Proceedings, 1976, 939-943 (with J.E. Kalan). (Available as pdf file.)
- An exact update for Harris' tread, Mathematical Programming
Study 4 (1976), 26-29 (with J.E. Kalan). (Available as pdf file.)
- Stability theorems for infinitely constrained mathematical
programs, Journal of Optimization Theory and Applications 16
(1975), 409-428 (with W.P. Pierskalla). (Available as pdf file.)
- Determining GUB sets via an invert agenda algorithm, Mathematical
Programming 7 (1975), 240-244 (with D.C. Rarick). (Available as pdf file.)
- Interpreting rate analysis, SIGMAP Bulletin 17 (1974),
33-37. (Available as pdf file.)
- An analysis of cut-off rules for optimization algorithms, IEEE
Transactions: Systems, Man and Cybernetics 4 (1974), 108-112 (with
L.W.T. Loh).
- A Lagrangian property of homogeneous programs, Journal of
Optimization Theory and Applications 12 (1973), 99-102. (Available
as pdf file.)
- Optimal weapons allocation with overlapping area defenses, Operations
Research 21:6 (1973), 1291-1308 (with G.G. Furman). (Available as pdf file.)
- Quasi-conjugate functions and surrogate duality, Cahiers
Centre Etudes de Recherche Operationelle 15 (1973), 437-448 (with
W.P. Pierskalla).
- New tactics in solving catalyst regeneration problems and
general resource allocation by dynamic programming, IEEE
Transactions: Systems, Man and Cybernetics 3 (1973), 161-165.
(Available as pdf file.)
- Bounding nonconvex programs by conjugates, Operations
Research 21 (1973), 346-347. (Available as pdf file.)
- The generalized penalty-function/surrogate model, Operations
Research 21:1 (1973), 162-178. (Available as pdf file.)
- Extensions of the Evans-Gould stability theorems for
mathematical programs, Operations Research 20:1 (1972), 143-153
(with W.P. Pierskalla).
(Available as pdf
file.)
- A review of quasi-convex functions, Operations Research
19:7 (1971), 1553-1570 (with W.P. Pierskalla).
(Available as pdf
file.)
- The minimum number of subproblems to cover all problems, NBS
Journal of Research, Series B: Mathematical Sciences 74 (1971),
245-249.
- Surrogate mathematical programming, Operations Research
18:5 (1970), 924-939 (with W.P. Pierskalla). (Available as pdf file.)
- Symmetric mathematical programs, Management Science 16:5
(1970), 309-312 (with W.P. Pierskalla). (Available as pdf file.)
- Generalized penalty function concepts in mathematical
programming, Operations Research 18:2 (1970), 229-252 (with M.
Bellmore and J.J. Jarvis).
(Available as pdf
file.)
- Multi-commodity disconnecting sets, Management Science
16:6 (1970), 427-433 (with M. Bellmore and J.J. Jarvis).
(Available as pdf
file.)
- An application of a Lagrangian penalty function to obtain
optimal redundancy, Technometrics 12:3 (1970), 545-552.
(Available as pdf file.)
- Dynamic programming with linear uncertainties, Operations
Research 16 (1968), 675-678. (Available as pdf file.)
- The use of branching in dynamic programming for parametric
analysis, Operations Research 15:5 (1967), 976-977. (Available
as pdf file.)
Unrefereed Articles and Book Chapters
- Computational Biology, Encyclopedia of Operations Research and
Management Science, S. Gass and Michael Fu (eds.), 3rd ed., Springer, to appear
2012 (with Allen Holder).
- Pathway Signatures, ERCIM News,
July 2010, 12-13 (Available as pdf. file.)
- Computational Biology and Medical Applications, OR/MS Today,
June 2009, 34-39 (with Allen Holder, Ming-Ying Leung and Russell Schwartz).
(Available as pdf. file .)
- Preparing for the Democratic National Convention, OR/MS Today,
February 2008. (Available as pdf.)
- Robust Optimization, Chapter 14 in Operations Research and
Management Science Handbook, A.R. Ravindran (Ed.), CRC Press, Boca
Raton, FL, 2008 (with T. Morrison). (Available as pdf file)
- Representing Uncertainty in Decision Support, OR/MS Today,
June 2007, 14-16. (Available as pdf file and reprint.)
- A Personal History of ICS, OR/MS Today 33:5 (October
2006), 38-42. (Available as pdf file.)
- The Role of Software in Optimization and Operations Research,
Chapter 6.5 in Encyclopedia of Life Support Systems (EOLSS),
Oxford, UK, 2002. (Available as pdf
file.)
- A Prospective on Mathematics and Artificial Intelligence: Problem
solving = Modeling + Theorem proving, Annals of Mathematics and
Artificial Intelligence 28 (2000), 17-20. (Available as pdf file.)
- Intelligent Mathematical Programming Software: Past, Present,
and Future, Canadian
Operational Research Society Bulletin 33:2 (1999), 14-28
(English and French), and INFORMS
Computing Society Newsletter 20:1 (1999), 1-9 (with J.W.
Chinneck).
- Linear Programming 1: Basic Principles, Chapter 3 in Advances
in Sensitivity Analysis and Parametric Programming, T. Gal and H.J.
Greenberg (eds), Kluwer Academic Press, 1997. (Available as pdf file.)
- Artificial Intelligence, Encyclopedia of Operations Research
and Management Science, S.I. Gass and C.M. Harris (eds), Kluwer
Academic Publishers, Boston, MA (1996), 25-28. (Available as pdf file.)
- The Promise of OR is Helping to Solve Problems, ORSA Journal
on Computing 6:3 (1994), 270-272 (with F.H. Murphy). (Available as pdf file.)
- A Bibliography for the Development of An Intelligent
Mathematical Programming System, ORSA CSTS Newsletter 15:1
(1994), 21-38.
- Operations Research, The Encyclopedia of Computer Science,
A. Ralston and E.D. Reilly (eds), van Nostrand Reinhold, 1992, 989-993
(with R.E. Nance).
- Promise Kept: A Research Partnership Between Academia and
Industry Pays Dividends, OR/MS Today 19:2 (1992), 42-44
(reprinted in Operations Management Association Newsletter
6:2).
- An Industrial Consortium to Sponsor the Development of An
Intelligent Mathematical Programming System, Interfaces 20:6
(1991), 88-93. (Available as pdf file.)
- The ORSA Journal on Computing, OR/MS Today 17:3 (1990),
54-55.
- Computational Testing: Why, How and How Much, ORSA Journal
on Computing 2:1 (1990), 94-97. (Available as pdf file.)
- Intelligent user interfaces for mathematical programming,
Proceedings of Shell Conference: Logistics: Where Ends have to Meet,
C. Van Rijgn (ed.), Pergamon Press, 1989, 198-223.
- Interfaces Between Operations Research and Computer Science, OR/MS
Today 15:5 (1988), 18-21. (Available as pdf file.)
- Pivot selection tactics, NATO ASI: Design and Implementation
of Optimization Software, 1979, 143-174. (Available as pdf file.)
- A tutorial on matricial packing, NATO ASI: Design and
Implementation of Optimization Software, 1979, 109-142. (Available
as pdf file.)
Books
- Tutorials on Emerging Methodologies and Applications in
Operations Research (ed.),
Springer, 2004. (Table of
Contents)
- A Simplified Introduction to LATEX,
CTAN and Samizdat Press (Last version)
- Advances in Sensitivity Analysis and Parametric Programming
(co-ed., with T. Gal) Kluwer Academic Press, 1997. (Table of Contents) This is now
distributed by Springer.
- Mathematical
Programming Glossary, INFORMS Computing Society, 1996-2006.
(Current editor: Allen G. Holder.)
- Modeling by Object-Driven Linear Elemental Relations: A
User's Guide for MODLER, Kluwer, 1993. (Table of Contents) This is now
distributed by Springer.
- A Computer-Assisted Analysis System for Mathematical
Programming Models and Solutions: A User's Guide for ANALYZE,
Kluwer, 1993. (Table of Contents)
This is now distributed by Springer.
- Mathematical Models for Decision Support (co-ed., with
G. Mitra, F.A. Lootsma, M.J. Rijckaert and H-J. Zimmermann),
Springer-Verlag, Berlin, 1988.
- Impacts of Microcomputers on Operations Research
(co-ed.), American Elsevier (with S. Gass, K. Hoffman and W. Langley),
1986. (Table of Contents)
- Advanced Techniques in the Practice of Operations Research
(co-ed.), North-Holland (with F.H. Murphy and S.H. Shaw), 1982. (Table of Contents)
- Computer-Assisted Analysis and Model Simplification
(co-ed.), Academic Press (with J.S. Maybee), 1981. (Table of Contents)
- Design and Implementation of Optimization Software
(ed.), Sijthoff & Noordhof, 1978. (Table
of Contents)