Robert M. Balzer
#203,404
Most Influential Person Across History
Robert M. Balzer's AcademicInfluence.com Rankings
Robert M. Balzercomputer-science Degrees
Computer Science
#9335
Historical Rank
Programming
#93
Historical Rank
Robert M. Balzermathematics Degrees
Mathematics
#9910
Historical Rank
Measure Theory
#2433
Historical Rank
Download Badge
Computer Science Mathematics
Why Is Robert M. Balzer Influential?
(Suggest an Edit or Addition)Robert M. Balzer's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A 15 Year Perspective on Automatic Programming (1985) (401)
- On the inevitable intertwining of specification and implementation (1982) (400)
- Software Technology in the 1990's: Using a New Paradigm (1983) (388)
- Tolerating Inconsistency (1991) (302)
- The Organization of Expert Systems, A Tutorial (1982) (264)
- An 8-state Minimal Time Solution to the Firing Squad Synchronization Problem (1967) (204)
- EXDAMS: extendable debugging and monitoring system (1969) (182)
- Transformational Implementation: An Example (1981) (174)
- Report on a knowledge-based software assistant (1986) (167)
- Principles of good software specification and their implications for specification languages (1981) (139)
- Informality in Program Specifications (1899) (138)
- Operational specification as the basis for rapid prototyping (1982) (136)
- On the Transformational Implementation approach to programming (1976) (86)
- Mediating connectors (1999) (86)
- HEARSAY-II: A Domain-Independent Framework for Expert Systems (1980) (85)
- Tolerating inconsistency (software development) (1991) (71)
- Mediating connectors: a non-bypassable process wrapping technology (2000) (49)
- The organization of expert systems: A prescriptive tutorial (1982) (43)
- A Gobal View of Automatic Programming (1973) (42)
- PORTS: a method for dynamic interprogram communication and job control (1971) (41)
- Dataless programming (1967) (41)
- The ISI visual design editor generator (1999) (34)
- Automated Enhancement of Knowledge Representations (1985) (34)
- Kestrel Institute: REPORT ON A KNOWLEDGE-BASED SOFTWARE ASSISTANT (1986) (34)
- Integrating COTS Software into Systems through Instrumentation and Reasoning (2006) (33)
- AWDRAT: A Cognitive Middleware System for Information Survivability (2006) (29)
- A fifteen-year perspective on automatic programming (1989) (27)
- Unfriendly COTS integration - instrumentation and interfaces for improved plugability (2001) (27)
- Using symbolic execution to characterize behavior (1982) (21)
- Specification-Based Computing Environments (1982) (20)
- Imprecise Program Specification (1975) (20)
- Assuring the safety of opening email attachments (2001) (19)
- Living with COTS (2002) (18)
- Mechanisms for generic process support (1993) (18)
- Process Virtual Machine (1991) (17)
- Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT (2007) (16)
- 4th international workshop on adoption-centric software engineering (2004) (15)
- The Briefing Associate: Easing Authors into the Semantic Web (2002) (15)
- The Briefing Associate: A Role for COTS applications in the Semantic Web (2001) (15)
- An overview of the ISPL computer systems design (1973) (14)
- An Architectural Infrastructure for Product Families (1998) (14)
- Instrumenting, Monitoring, & Debugging Software Architectures (1998) (14)
- Process programming: passing into a new phase (1988) (13)
- Domain-Independent Automatic Programming (1974) (13)
- Document integrity through mediated interfaces (2001) (13)
- Process-centered software engineering environments: academic and industrial perspectives (2001) (13)
- Knowledge Base Management Systems: Discussions from the Working Group (1984) (12)
- The inference of domain structure from informal process descriptions (1977) (11)
- Enforcing architecture constraints (1996) (11)
- Specification-based computing environments for information management (1984) (11)
- Living in the Next-Generation Operating System (1987) (10)
- Modularity in the new millenium: a panel summary (2003) (10)
- APAREL—A parse-request language (1969) (10)
- What We Do and Don't Know about Software Process (1990) (10)
- STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems (2012) (9)
- AI and Software Engineering: Will the Twain Ever Meet? (1990) (8)
- Editorial: Program Transformations (1981) (7)
- Visualization and Debugging Tools (2003) (6)
- Adapting COTS products (2010) (6)
- An Implementation Methodology for Semantic Data Base Models (1979) (5)
- "Tolerating inconsistency" revisited (2001) (5)
- An automatic programming approach to high level program monitoring and measuring (1992) (5)
- Automated derivation of program control structure from natural language program descriptions (1977) (5)
- The Use of a Domain Model in Understanding Informal Process Descriptions (1977) (5)
- HEARSAY-III: A Domain-Independent Framework for Ex (1980) (5)
- On the use of programming knowledge to understand informal process descriptions (1977) (4)
- Adding deductive logic to a COTS spreadsheet (2007) (4)
- Keynote on "Current State and Future Perspectives of Software Process Technology" (2000) (4)
- Living in the Next Generation Operating System (Invited Paper) (1986) (4)
- Program enhancement: a position paper (1986) (4)
- Hypertext and software engineering (1989) (3)
- The ISPL Machine: Principles of Operations (1971) (3)
- A mathematical model for performing a complex task in a card game. (1966) (3)
- 3rd international workshop on Adoption-Centric Software Engineering ACSE 2003 (2003) (3)
- Human Use of World Knowledge (1974) (3)
- Software Engineering In The Year 2001 (1989) (2)
- 3/sup rd/ international workshop on adoption-centric software engineering ACSE 2003 (2003) (2)
- Experiencing the Next Generation Computing Environment (1990) (2)
- Meta-Evaluation as a Tool for Program Understanding (1977) (2)
- Dynamic system specification (1980) (2)
- On the Future of Computer Program Specification and Organization (1971) (2)
- Automatic programming overview (1978) (2)
- A Functional Spreadsheet Framework for Authoring Logic Implication Rules (2008) (2)
- Safe email, safe office, and safe web browser demo description (2003) (2)
- A language-independent programmer's interface (1974) (2)
- 3 Rd International Workshop on Adoption-centric Software Engineering 3 Rd International Workshop on Adoption-centric Software Engineering for the Commander Acse 2003 3rd International Workshop on Adoption-centric Software Engineering Acse 2003 Proceedings 3 Rd International Workshop on Adoption-cent (2003) (2)
- Process definition formalism maturity levels (1994) (2)
- Adapting COTS Products The Fine Line between Development and Maintenance (2010) (2)
- Adapting COTS Applications: an Experience Report (2007) (2)
- AWDRAT: Architectural Differencing, Wrappers, Diagnosis, Recovery, Adaptivity and Trust Management (2006) (2)
- En-Gauging Architectures (2004) (2)
- CASAP: A Testbed for Program Flexibility (1973) (1)
- What should be modelled? (1980) (1)
- The OO software development process (panel) (1992) (1)
- The ISPL Language Specifications (1971) (1)
- Research in Progress at the Information Sciences Institute, University of Southern California (2017) (1)
- The on-line firing squad simulator (1899) (1)
- Retrospective on "The Organization of Expert Systems, a Tutorial" (1993) (1)
- The role of logic and AI in the software enterprise (panel session): panel description (1985) (1)
- Tools for Specification Validation and Understanding. (1983) (1)
- Multi-Targeted Program Generators (2004) (1)
- Reflections on the First AAAI Conference (2005) (0)
- Software engineering in the year 2001 (panel session) (1989) (0)
- O CD THE ON-LINE FIRING SQUAD SIMULATOR (2013) (0)
- SEARCH FOR A SOLUTION OF THE FIRING SQUAD SYNCHRONIZATION PROBLEM (1969) (0)
- USER'S MANUAL FOR APAREL: A PARSE-REQUEST LANGUAGE (1970) (0)
- Application downloading (1981) (0)
- Selected reports on PL/1 programming languages. Series 1 (1972) (0)
- Evolution stability through COTS integration (2003) (0)
- Preventing Misuse of Operator Privilege (PMOP) (2006) (0)
- Knowledge-based debugging (Session Summary) (1983) (0)
- Generic Process Support (1993) (0)
- Semantically Grounded Briefings (2005) (0)
- RADC (Rome Air Development Center) System/Software Requirements Engineering Testbed Research and Development Program (1988) (0)
- Transformational implementation (1978) (0)
- Advanced development support systems (1981) (0)
- Session 2A: Presentation—software development paradigm (1984) (0)
- Knowledge-based debugging: session summary (1983) (0)
- Dressing AI in COTS Clothing (2003) (0)
- What Should Be Modelled? (discussion) (1980) (0)
- Session 3A: Debate—software development paradigms (1984) (0)
- Process programming: passing into new phase (1988) (0)
- Panel Description: The Role of Logic and AI in the Software Enterprise (1985) (0)
- Evolution Stability Through COTS Integration (Position Paper) (2002) (0)
- Why haven't we automated programming (2010) (0)
- Supporting product line development (1996) (0)
- Search for a Solution: A Case Study (1969) (0)
- A Deductive Spreadsheet System for End Users (2010) (0)
- Integrity Through Mediated Interfaces (2004) (0)
- Interactive elaboration of generic designs (1993) (0)
- A Common Prototyping Language. Phase 1 (1993) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Robert M. Balzer?
Robert M. Balzer is affiliated with the following schools:
