Teaching first year programming: a proposal
ACM SIGCSE Bulletin
An alternate design for Fortran 8X
ACM SIGPLAN Fortran Forum
Electronics Technology and Computer Science, 1940-1975: A Coevolution
IEEE Annals of the History of Computing
Token Systems That Self-Stabilize
IEEE Transactions on Computers
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A formal approach to program inversion
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Objects concepts and bibliography
ACM SIGPLAN Notices
Comparing techniques by means of encapsulation and connascence
Communications of the ACM - Special issue on analysis and modeling in software development
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Self-stabilizing token circulation on asynchronous uniform unidirectional rings
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Recursion As an Effective Step in Program Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-Stabilizing Strong Fairness under Weak Fairness
IEEE Transactions on Parallel and Distributed Systems
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Synthesis of Large Concurrent Programs via Pairwise Composition
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Joyce: a programming language for distributed systems
The origin of concurrent programming
A powerful strategy for deriving efficient programs by transformation
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Inhibiting factors, market structure and the industrial uptake of formal methods
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set
IEEE Transactions on Parallel and Distributed Systems
A software reverse engineering experience
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
PyNSol: Objects as Scaffolding
Computing in Science and Engineering
Convergence of iteration systems
Distributed Computing - Special issue: Self-stabilization
Concurrent program design in the extended theory of Owicki and Gries
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Practice what you preach: full separation of concerns in CS1/CS2
Proceedings of the 37th SIGCSE technical symposium on Computer science education
FUNCTIONAL PEARL: Enumerating the rationals
Journal of Functional Programming
Queue - Component Technologies
Information and Software Technology
Local spreading algorithms for autonomous robot systems
Theoretical Computer Science
Self-deployment of mobile sensors on a ring
Theoretical Computer Science
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
GSpace: an architectural approach for self-managing extra-functional concerns
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Software Reuse beyond Components with XVCL (Tutorial)
Generative and Transformational Techniques in Software Engineering II
ESCAPE: A Component-Based Policy Framework for Sense and React Applications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Exploratory Study for Identifying and Implementing Concerns in Integer Programming
Transactions on Aspect-Oriented Software Development V
An agent-based approach for component management in service-oriented architectures
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
The function block model in embedded control and automation from IEC61131 to IEC61499
WSEAS Transactions on Computers
Simplified infrastructure for the transformation of XML models
Cybernetics and Systems Analysis
Supporting agile change management by scenario-based regression simulation
IEEE Transactions on Intelligent Transportation Systems
Information and Computation
A software reverse engineering experience
CASCON First Decade High Impact Papers
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
A policy-based publish/subscribe middleware for sense-and-react applications
Journal of Systems and Software
Proceedings of the 4th International Workshop on Cooperative and Human Aspects of Software Engineering
Parsing with derivatives: a functional pearl
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Local algorithms for autonomous robot systems
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
The price of coordination in resource management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Soundness of resource-constrained workflow nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
The structure of authority: why security is not a separable concern
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Teaching: people to people - about people a plea for the historic and human view
ISSEP'05 Proceedings of the 2005 Informatics in Secondary Schools - Evolution and Perspectives international conference on From Computer Literacy to Informatics Fundamentals
Separating concerns in requirements analysis: an example
Rigorous Development of Complex Fault-Tolerant Systems
Self-deployment algorithms for mobile sensors on a ring
ALGOSENSORS'06 Proceedings of the Second international conference on Algorithmic Aspects of Wireless Sensor Networks
Derivation of distributed programs in the theory of owicki and gries: an example
IWFM'03 Proceedings of the 6th international conference on Formal Methods
An MDE approach to address synchronization needs in component-based real-time systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
A strategy language for graph rewriting
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Position discovery for a system of bouncing robots
DISC'12 Proceedings of the 26th international conference on Distributed Computing
Seven pitfalls in modeling and simulation research
Proceedings of the Winter Simulation Conference
Dynamic Reconfiguration of Middleware for Ubiquitous Computing
International Journal of Adaptive, Resilient and Autonomic Systems
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
Hi-index | 0.02 |
Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a week and was most of the time that is, when not travelling!-- alone in my study. In my solitude, mail and the written word in general became more and more important. The circumstance that my employer and I had the Atlantic Ocean between us was a further incentive to keep a fairly complete record of what I was doing. The public part of that output found its place in what became known as "the EWD series", which can be viewed as a form of scientific correspondence, possible since the advent of the copier. (That same copier makes it hard to estimate its actual distribution: I myself made about two dozen copies of my texts, but their recipients were welcome to act as further nodes of the distribution tree.) The decision to publish a selection from the EWD series in book form was at first highly embarrassing, but as the months went by I got used to the idea. As soon as some guiding principles had been adopted -- preferably not published elsewhere, as varied and as representative as possible, etc.-- the actual selection process was much easier than I had feared. Harder to decide was the question to how much editing the selected texts should be subjected. When the texts are viewed as historical documents, their editing should be minimal. When David Gries went through the texts with his fine-toothed comb he revealed so many opportunities for improvement that, eventually, the editing became quite extensive. As a result, the texts as published are not representative of my mastery of the English language. A major obstacle to publication was my insistence that selected trip reports be included. Having decided that the selection should be representative, I had no choice, since the period in question covers years during which I was on the road a third of the time. Furthermore, few of my texts reflect my feelings and attitudes more clearly than the trip reports. (It has been remarked that my trip reports are more revealing about their author than about the people and places visited.) There was only one snag: there is no tradition of publishing such comments. While performing artists are quite used to being judged publicly by their peers, performing scientists are not. (Reviews of published books and articles are the closest approximation.)