Peter Wegner

Affiliations:
  • Brown University, Providence, USA


According to our database1, Peter Wegner authored at least 97 papers between 1960 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
The Evolution of Computation.
Comput. J., 2012

Introduction to What is Computation.
Comput. J., 2012

Computational Completeness of Interaction Machines and Turing Machines.
Proceedings of the Turing-100, 2012

2010
Ubiquity symposium 'What is Computation?': The evolution of computation.
Ubiquity, 2010

2008
The Interactive Nature of Computing: Refuting the Strong Church-Turing Thesis.
Minds Mach., 2008

2006
Principles of problem solving.
Commun. ACM, 2006

2005
The Role of Agent Interaction in Models of Computing: Panelist Reviews.
Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

The Church-Turing Thesis: Breaking the Myth.
Proceedings of the New Computational Paradigms, 2005

2004
New Models of Computation.
Comput. J., 2004

2003
Beyond Turing Machines.
Bull. EATCS, 2003

Computation beyond turing machines.
Commun. ACM, 2003

2002
Paraconsistency of Interactive Computation.
Proceedings of the Paraconsistent Computational Logic, 2002

2001
Turing Machines, Transition Systems, and Interaction.
Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

An Interactive Viewpoint on the Role of UML.
Proceedings of the Unified Modeling Language: Systems Analysis, 2001

1999
Coinductive Models of Finite Computing Agents.
Proceedings of the Coalgebraic Methods in Computer Science, 1999

Computing Surveys' Electronic Symposium on the Theory of Computation.
ACM Comput. Surv., 1999

1998
Interactive Foundations of Computing.
Theor. Comput. Sci., 1998

Editorial.
ACM Comput. Surv., 1998

1997
Why Interaction Is More Powerful Than Algorithms.
Commun. ACM, 1997

Globalizing Business, Education, Culture Through the Internet.
Commun. ACM, 1997

Strategic directions in computer science education (panel).
Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, 1997

Interaction as a Framework for Modeling.
Proceedings of the Conceptual Modeling, 1997

Interactive Software Technology.
Proceedings of the Computer Science and Engineering Handbook, 1997

Computer Science and Engineering: The Discipline and Its Impact.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
Editorial: Strategic Directions in Computing Research.
ACM Comput. Surv., 1996

Interoperability.
ACM Comput. Surv., 1996

Coordination as Comstrainted Interaction (Extended Abstract).
Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995
A Perspective on Object-Oriented Research.
Theory Pract. Object Syst., 1995

Interaction as a Basis for Empirical Computer Science.
ACM Comput. Surv., 1995

Object Technology: A Virtual Roundtable.
Computer, 1995

The Role of ACM's Computing Surveys.
Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28, 1995

1994
New directions in the introductory computer science curriculum.
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

How could object-oriented concepts and parallelism cohabit?
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

Beyond Computable Functions or Escape from the Turing Tarpit.
Proceedings of the Specification of Parallel Algorithms, 1994

1993
Reasoning, Modeling, and Component-Based Technology.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Models and Paradigms of Interaction.
Proceedings of the Object-Based Distributed Programming, 1993

1992
Dimensiona of Object-Oriented Modeling.
Computer, 1992

Toward Megaprogramming.
Commun. ACM, 1992

Object-Oriented Megaprogramming (Panel).
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Object-Based Versus Logic Programming - Panel Position Paper.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991
Desgin Issues for Object-Based Concurrency.
Proceedings of the Object-Based Concurrent Computing, 1991

1990
Concepts and paradigms of object-oriented programming.
OOPS Messenger, 1990

OOPSLA panel on object-based concurrent programming.
Proceedings of the Workshop on Object-based Concurrent Programming, 1990

Foundations of Concurrent Object-Oriented Programming (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Foundations of object-based concurrent programming (panel session).
Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, 1990

1989
Guest Editor's Introduction to Special Issue of Computing Surveys on Programming Language Paradigms.
ACM Comput. Surv., 1989

Models of Inheritance.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988
Granularity of modules in object-based concurrent systems.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

Workshop on object-oriented programming ECOOP 1987, Paris, June 18, 1987.
ACM SIGPLAN Notices, 1988

Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like.
Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

1987
Panel on inheritance.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1987

Dimensions of Object-Based Language Design.
Proceedings of the Conference on Object-Oriented Programming Systems, 1987

An Algebraic Model of Subtype and Inheritance.
Proceedings of the Advances in Database Programming Languages, 1987

The Object-Oriented Classification Paradigm.
Proceedings of the Research Directions in Object-Oriented Programming, 1987

1986
Introduction to the special issue of the SIGPLAN Notices on the Object-Oriented Programming Workshop.
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

Classification as a paradigm for computing (abstract only).
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

Classification in object-oriented systems.
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

An algebraic model of sybtypes in object-oriented languages (draft).
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

An algebraic model of subtype in object-oriented languages (abstract only).
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

VDM From Research to Practice - Response.
Proceedings of the Information Processing 86, 1986

1985
On Understanding Types, Data Abstraction, and Polymorphism.
ACM Comput. Surv., 1985

Viewing Ada from a process model perspective.
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

A Database Approach to Languages, Libraries and Environments.
Proceedings of the Data Types and Persistence, 1985

Language and Methodology for Object-Oriented Database Environments.
Proceedings of the Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985

1984
Author's Reply.
IEEE Softw., 1984

Capital-Intensive Software Technology.
IEEE Softw., 1984

1983
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives.
IEEE Trans. Software Eng., 1983

On the Unification of Data and Program Abstraction in Ada.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1982
Reflections on capital-intensive software technology.
ACM SIGSOFT Softw. Eng. Notes, 1982

The educational issues confronting Ada (Panel Discussion).
Proceedings of the13th SIGCSE Technical Symposium on Computer Science Education, 1982

1981
Self-Assessment Procedure VIII: A Self-Assessment Procedure Dealing with the Programming Language Ada.
Commun. ACM, 1981

1980
The Ada language and environment.
ACM SIGSOFT Softw. Eng. Notes, 1980

1978
Supporting a flourishing language culture.
ACM SIGPLAN Notices, 1978

Research Directions in Software Technology.
Proceedings of the 3rd International Conference on Software Engineering, 1978

1976
Programming Languages - The First 25 Years.
IEEE Trans. Computers, 1976

Research Pradigms in Computer Science.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1974
Modification of Aho and Ullman's correctness proof of Warshall's algorithm.
SIGACT News, 1974

A nucleus of a theorem-prover described inAlgol -68.
Int. J. Parallel Program., 1974

1972
The Vienna Definition Language.
ACM Comput. Surv., 1972

Operational semantics of programming languages.
Proceedings of ACM Conference on Proving Assertions About Programs, 1972

1971
Data structure models for programming languages.
ACM SIGPLAN Notices, 1971

The equivalence of sequential and associate information structure models.
ACM SIGPLAN Notices, 1971

Problem of computer science education in small colleges.
ACM SIGCSE Bull., 1971

A View of Computer Science Education.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 2, 1971

1970
Some thoughts on graduate education in computer science.
ACM SIGCSE Bull., 1970

Three Computer Cultures: Computer Technology, Computer Mathematics, and Computer Science.
Adv. Comput., 1970

1969
Panel on the concept of extensibility.
ACM SIGPLAN Notices, 1969

A LISP interpreter in Snobol4.
ACM SIGPLAN Notices, 1969

Translation Networks and Function Composition.
J. ACM, 1969

1967
Machine organization for multiprogramming.
Proceedings of the 22nd national conference, 1967

1966
Undergraduate programs in computer science.
Proceedings of the fourth SIGCPR conference on Computer personnel research, 1966

1962
Zero-Address Computers.
Comput. J., 1962

Communications between independently translated blocks.
Commun. ACM, 1962

Priority assignment in a time-shared computer installation.
Commun. ACM, 1962

1961
ACM conference paper the MUSP statistical system.
Proceedings of the 16th ACM national meeting, 1961

ACM conference paper quadratic programming with bounded variable restrictions.
Proceedings of the 16th ACM national meeting, 1961

1960
A technique for counting ones in a binary computer.
Commun. ACM, 1960


  Loading...