default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert Balzer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
[c72]Mark H. Burstein, Robert P. Goldman, Paul Robertson, Robert Laddaga, Robert Balzer, Neil M. Goldman, Christopher W. Geib, Ugur Kuter, David D. McDonald, John Maraist, Peter Keller, David S. Wile:
STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems. SASO Workshops 2012: 47-54- 2010
- [j21]Marcelo Tallis, Robert M. Balzer:
A Deductive Spreadsheet System for End Users. IEEE Trans. Knowl. Data Eng. 22(11): 1563-1576 (2010) - [c71]David S. Wile, Robert Balzer, Neil M. Goldman, Marcelo Tallis, Alexander Egyed, Tim Hollebeek:
Adapting COTS products. ICSM 2010: 1-9 - [c70]Robert Balzer:
Why haven't we automated programming. FoSER 2010: 13-16
2000 – 2009
- 2008
- [c69]Marcelo Tallis, Robert Balzer:
A Functional Spreadsheet Framework for Authoring Logic Implication Rules. RuleML 2008: 219-226 - 2007
- [j20]Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed:
AWDRAT: A Cognitive Middleware System for Information Survivability. AI Mag. 28(3): 73-91 (2007) - [j19]Marcelo Tallis, Rand Waltzman, Robert Balzer:
Adding deductive logic to a COTS spreadsheet. Knowl. Eng. Rev. 22(3): 255-268 (2007) - [c68]Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed:
Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT. SASO 2007: 332-335 - 2006
- [j18]Alexander Egyed, Robert Balzer:
Integrating COTS Software into Systems through Instrumentation and Reasoning. Autom. Softw. Eng. 13(1): 41-64 (2006) - [c67]Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed:
AWDRAT: A Cognitive Middleware System for Information Survivability. AAAI 2006: 1836-1843 - 2005
- [j17]Robert Balzer:
Reflections on the First AAAI Conference. AI Mag. 26(4): 21-23 (2005) - 2004
- [c66]Robert Balzer, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong:
4th International Workshop on Adoption-Centric Software Engineering. ICSE 2004: 748-74 - 2003
- [c65]Robert Balzer:
Safe Email, Safe Office, and Safe Web Browser. DISCEX (2) 2003: 116 - [c64]Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr:
Modularity in the New Millenium: A Panel Summary. ICSE 2003: 723-725 - [c63]Robert Balzer, Jens H. Jahnke, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Ken Wong:
3rd International Workshop on Adoption-centric Software Engineering ACSE 2003. ICSE 2003: 789-790 - [c62]Robert Balzer:
Evolution Stability through COTS Integration. IWPSE 2003: 57-58 - 2002
- [j16]Marcelo Tallis, Neil M. Goldman, Robert Balzer:
The Briefing Associate: Easing Authors into the Semantic Web. IEEE Intell. Syst. 17(1): 26-32 (2002) - [c61]Robert Balzer:
Living with COTS. ICSE 2002: 5 - 2001
- [c60]Robert Balzer:
"Tolerating Inconsistency" Revisited. ICSE 2001: 665 - [c59]Robert Balzer, Volker Gruhn:
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives. ICSE 2001: 671-672 - [c58]Alexander Egyed, Robert Balzer:
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability. ASE 2001: 223-231 - [c57]Marcelo Tallis, Neil M. Goldman, Robert Balzer:
The Briefing Associate: A Role for COTS applications in the Semantic Web. SWWS 2001: 463-475 - 2000
- [c56]Robert Balzer:
Keynote on "Current State and Future Perspectives of Software Process Technology". EWSPT 2000: 220
1990 – 1999
- 1999
- [c55]Neil M. Goldman, Robert Balzer:
The ISI Visual Design Editor Generator. VL 1999: 20- - 1998
- [c54]Robert Balzer:
An Architectural Infrastructure for Product Families. ESPRIT ARES Workshop 1998: 158-160 - 1996
- [c53]Robert Balzer:
Supporting product line development. ISPW 1996: 29-31 - [c52]Robert Balzer:
Enforcing architecture constraints. ISAW/Viewpoints@FSE 1996: 80-82 - 1994
- [c51]Robert Balzer:
Process definition formalism maturity levels. ISPW 1994: 132-133 - 1993
- [j15]Mark Stefik, Janice S. Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti:
Retrospective on "The Organization of Expert Systems, a Tutorial". Artif. Intell. 59(1-2): 221-224 (1993) - [c50]Robert Balzer:
Generic Process Support. ISPW 1993: 28-29 - [c49]W. Lewis Johnson, K. Narayanaswamy, Robert Balzer:
Interactive elaboration of generic designs. KBSE 1993: 96-103 - [c48]Robert Balzer, K. Narayanaswamy:
Mechanisms for Generic Process Support. SIGSOFT FSE 1993: 21-32 - 1992
- [c47]Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor:
The OO Software Development Process (Panel). OOPSLA 1992: 484-489 - 1991
- [c46]Robert Balzer:
Tolerating Inconsistency. ICSE 1991: 158-165 - [c45]Robert Balzer:
Process virtual machine. ISPW 1991: 37-40 - 1990
- [c44]Robert Balzer:
AI and Software Engineering: Will the Twain Ever Meet? AAAI 1990: 1123-1125 - [c43]Robert Balzer:
What we do and don't know about the software process. ISPW 1990: 61-64
1980 – 1989
- 1989
- [c42]Robert Balzer, Michael L. Begeman, Pankaj K. Garg, Mayer D. Schwartz, Ben Shneiderman:
Hypertext and Software Engineering. Hypertext 1989: 395-396 - [c41]Robert Balzer:
Software Engineering in the Year 2001. ICSE 1989: 256 - [c40]Robert Balzer:
Tolerating inconsistency. ISPW 1989: 41-42 - [c39]Robert Balzer:
Experiencing the Next Generation Computing Environment. SEE 1989: 211-217 - 1988
- [c38]Robert Balzer:
Process programming: passing into new phase. ISPW 1988: 43-45 - 1987
- [j14]Robert M. Balzer:
Living in the Next-Generation Operating System. IEEE Softw. 4(6): 77-85 (1987) - [e2]William E. Riddle, Robert M. Balzer, Kouichi Kishida:
Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30 - April 2, 1987. ACM Press 1987, ISBN 0-89791-216-0 [contents] - 1986
- [c37]Robert Balzer:
Living in the Next Generation Operating System (Invited Paper). IFIP Congress 1986: 283-292 - 1985
- [j13]Robert Balzer:
A 15 Year Perspective on Automatic Programming. IEEE Trans. Software Eng. 11(11): 1257-1268 (1985) - [c36]Robert Balzer:
Panel Description: The Role of Logic and AI in the Software Enterprise. ICSE 1985: 394 - [c35]Robert Balzer:
Automated Enhancement of Knowledge Representations. IJCAI 1985: 203-207 - [c34]Robert Balzer:
Program enhancement. ISPW 1985: 125-129 - 1984
- [c33]Michael L. Brodie, Robert Balzer, Gio Wiederhold, Ronald J. Brachman, John Mylopoulos:
Knowledge Base Management Systems: Discussions from the Working Group. Expert Database Workshop 1984: 19-33 - [c32]Robert Balzer, Neil M. Goldman, Robert Neches:
Specification-Based Computing Environments for Information Management. ICDE 1984: 454-458 - [c31]Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green:
Software technology in the 1990's: using a new paradigm. ISPW 1984: 3-9 - 1983
- [j12]Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green:
Software Technology in the 1990's: Using a New Paradigm. Computer 16(11): 39-45 (1983) - [c30]Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches:
Specification-Based Computing Environments. AAAI 1983: 12-16 - [c29]Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout
, Pamela Zave:
Knowledge-based debugging: session summary. SIGSOFT 1983: 23-24 - 1982
- [j11]Mark Stefik, Jan Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti:
The Organization of Expert Systems, A Tutorial. Artif. Intell. 18(2): 135-173 (1982) - [j10]William R. Swartout, Robert Balzer:
On the Inevitable Interwining of Specification and Implementation. Commun. ACM 25(7): 438-440 (1982) - [c28]Les Belady, Susan S. Owicki, Robert Balzer, Bill Curtis:
Panel Discussion. COMPCON 1982: 235-236 - [c27]Robert M. Balzer, Neil M. Goldman, David S. Wile:
Operational specification as the basis for rapid prototyping. Rapid Prototyping 1982: 3-16 - [c26]Donald Cohen, William R. Swartout, Robert Balzer:
Using symbolic execution to characterize behavior. Rapid Prototyping 1982: 25-32 - [c25]Robert Balzer, David Dyer, M. Fehling, S. Saunders:
Specification-Based Computing Environments. VLDB 1982: 273-279 - 1981
- [j9]Thomas A. Standish, Robert Balzer, David R. Barstow, Meera Blattner, Martha A. Branstad, John N. Buxton, Adele Goldberg, Robert Morris, Stephen L. Squires:
Advanced development support systems. ACM SIGSOFT Softw. Eng. Notes 6(4): 25-35 (1981) - [j8]Robert Balzer, Thomas E. Cheatham Jr.:
Editorial: Program Transformations. IEEE Trans. Software Eng. 7(1): 1-2 (1981) - [j7]Robert Balzer:
Transformational Implementation: An Example. IEEE Trans. Software Eng. 7(1): 3-14 (1981) - [c24]Robert Balzer, Neil M. Goldman:
Principles of good software specification and their implications for specification languages. AFIPS National Computer Conference 1981: 393-400 - [c23]Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile:
Application Downloading. ICSE 1981: 450-459 - 1980
- [c22]Robert Balzer, Lee D. Erman, Philip London, Chuck Williams:
HEARSAY-II: A Domain-Independent Framework for Expert Systems. AAAI 1980: 108-110 - [c21]Robert Balzer:
What Should Be Modelled? (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 40-42 - [c20]Robert Balzer:
Dynamic System Specification. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 95-97 - [e1]Robert Balzer:
Proceedings of the 1st Annual National Conference on Artificial Intelligence, Stanford University, CA, USA, August 18-21, 1980. AAAI Press/MIT Press 1980, ISBN 0-262-51050-2 [contents]
1970 – 1979
- 1979
- [c19]Robert Balzer:
An Implementation Methodology for Semantic Data Base Models. ER 1979: 433-444 - 1978
- [j6]Robert Balzer, Neil M. Goldman, David S. Wile:
Informality in Program Specifications. IEEE Trans. Software Eng. 4(2): 94-103 (1978) - [c18]Robert Balzer:
Artifical intelligence overview. AFIPS National Computer Conference 1978: 225-226 - [c17]Robert Balzer:
Automatic programming overview. AFIPS National Computer Conference 1978: 669-670 - [c16]Robert Balzer, Neil M. Goldman, David Wile:
Informality in program specifications. AFIPS National Computer Conference 1978: 671-672 - [c15]David Wile, Robert Balzer:
Transformational implementation. AFIPS National Computer Conference 1978: 705-706 - 1977
- [j5]Robert Balzer, Neil M. Goldman, David Wile:
On the use of programming knowledge to understand informal process descriptions. SIGART Newsl. 63: 72-75 (1977) - [j4]Neil M. Goldman, Robert Balzer, David Wile:
The inference of domain structure from informal process descriptions. SIGART Newsl. 63: 75-76 (1977) - [c14]Robert Balzer, Neil M. Goldman, David S. Wile:
Informality in Program Specifications. IJCAI 1977: 389-397 - [c13]Robert Balzer, Neil M. Goldman, David S. Wile:
Meta-Evaluation as a Tool for Program Understanding. IJCAI 1977: 398-403 - [c12]Neil M. Goldman, Robert Balzer, David S. Wile:
The Use of a Domain Model in Understanding Informal Process Descriptions. IJCAI 1977: 404 - [c11]David S. Wile, Robert Balzer, Neil M. Goldman:
Automated derivation of program control structure from natural language program descriptions. Artificial Intelligence and Programming Languages 1977: 77-84 - 1976
- [c10]Robert Balzer, Neil M. Goldman, David S. Wile:
On the Transformational Implementation Approach to Programming. ICSE 1976: 337-344 - 1974
- [c9]Robert M. Balzer:
A language-independent programmer's interface. AFIPS National Computer Conference 1974: 365-370 - [c8]Robert Balzer, Norton Greenfeld, Martin Kay, William Mann, Walter Ryder, David Wilczynski, Albert L. Zobrist:
Domain-Independent Automatic Programming. IFIP Congress 1974: 326-330 - 1973
- [j3]Robert Balzer:
An Overview of the ISPL Computer System Design. Commun. ACM 16(2): 117-122 (1973) - [c7]Robert Balzer:
A Gobal View of Automatic Programming. IJCAI 1973: 494-499 - [c6]Robert Balzer:
CASAP: A Testbed for Program Flexibility. IJCAI 1973: 601-605 - 1971
- [c5]Robert M. Balzer:
PORTS: a method for dynamic interprogram communication and job control. AFIPS Spring Joint Computing Conference 1971: 485-489
1960 – 1969
- 1969
- [j2]Robert Balzer, David J. Farber:
APAREL - A parse-request language. Commun. ACM 12(11): 624-631 (1969) - [c4]Robert M. Balzer:
EXDAMS: extendable debugging and monitoring system. AFIPS Spring Joint Computing Conference 1969: 567-580 - [c3]Robert Balzer:
Search for a Solution: A Case Study. IJCAI 1969: 21-32 - 1968
- [c2]Robert M. Balzer, R. W. Shirey:
The on-line firing squad simulator. AFIPS Fall Joint Computing Conference (1) 1968: 233-241 - 1967
- [j1]Robert Balzer:
An 8-state Minimal Time Solution to the Firing Squad Synchronization Problem. Inf. Control. 10(1): 22-42 (1967) - [c1]Robert M. Balzer:
Dataless programming. AFIPS Fall Joint Computing Conference 1967: 535-544
Coauthor Index
aka: David Wile
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 19:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
