| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Edsger W. Dijkstra |
My recollections of operating system design.  |
Operating Systems Review  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
EWD1300: The Notational Conventions I Adopted, and Why. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Under the spell of Leibniz's dream. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
The end of computing science? |
Commun. ACM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
On the transitive closure of a wellfounded relation. |
The School of Niklaus Wirth |
2000 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
On two equations that have the same extreme solution. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
A bagatelle on Euclid's algorithm. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
The balance and the coins. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
An alternative of the ETAC to EWD1163. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Fibonacci and the greatest common divisor. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
A prime is in at most 1 way the sum of 2 squares. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Bulterman's theorem on shortest trees. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
The argument about the arithmetic mean and the geometric mean, heuristics included. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Heuristics for a Calculational Proof. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
On the Economy of doing Mathematics. |
MPC |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Making a Fair Roulette From a Possibly Biased Coin. |
Inf. Process. Lett. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra, Carel S. Scholten |
Predicate calculus and program semantics. |
|
1990 |
RDF |
|
| 1 | Edsger W. Dijkstra, W. H. J. Feijen |
The Linear Search Revisited. |
Structured Programming |
1989 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
On Binary Operators and Their Derived Relations. |
BIT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra, W. H. J. Feijen |
A method of programming. |
|
1988 |
RDF |
|
| 1 | Edsger W. Dijkstra |
A Heuristic Explanation of Batcher's Baffler. |
Sci. Comput. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra, A. J. M. van Gasteren |
A Simple Fixpoint Argument Without the Restriction to Continuity. |
Acta Inf. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
A Belated Proof of Self-Stabilization. |
Distributed Computing |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren |
Derivation of a Termination Detection Algorithm for Distributed Computations. |
Inf. Process. Lett. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Solutions of a Problem in Concurrent Programming Control (Reprint). |
Commun. ACM |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
The Structure of "THE"-Multiprogramming System (Reprint). |
Commun. ACM |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
The fruits of misunderstanding. |
Elektronische Rechenanlagen |
1983 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra, A. J. M. van Gasteren |
An Introduction to Three Algorithms for Sorting in Situ. |
Inf. Process. Lett. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Smoothsort, an Alternative for Sorting In Situ. |
Sci. Comput. Program. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
How do we tell truths that might hurt? |
SIGPLAN Notices |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Selected writings on computing - a personal perspective. |
|
1982 |
RDF |
|
| 1 | Edsger W. Dijkstra |
A Word of Welcome. |
Sci. Comput. Program. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra, Carel S. Scholten |
Termination Detection for Diffusing Computations. |
Inf. Process. Lett. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Some Beautiful Arguments Using Mathematical Induction. |
Acta Inf. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Software Engineering : As It Should Be. |
ICSE |
1979 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens |
On-the-Fly Garbage Collection: An Exercise in Cooperation. |
Commun. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Finding the Correctness Proof of a Concurrent Program. |
MFCS |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Finding the Correctness Proof of a Concurrent Program. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
A More Formal Treatment of a Less Simple Example. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Program Inversion. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
On the Interplay between Mathematics and Programming. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
A Theorem about Odd Powers of Odd Integers. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
In Honour of Fibonacci. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
On the Foolishness of "Natural Language Programming". |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Stationary Behaviour of Some Ternary Networks. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Programming: From Craft to Scientific Discipline. |
International Computing Symposium |
1977 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
On a Gauntlet Thrown by David Gries. |
Acta Inf. |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
A Discipline of Programming. |
|
1976 |
RDF |
|
| 1 | Edsger W. Dijkstra |
The Effective Arrangement of Logical Systems. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Formal Techniques and Sizeable Programs. |
ECI |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Guarded Commands, Nondeterminacy and Formal Derivation of Programs. |
Commun. ACM |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Craftsman or Scientist. |
ACM Pacific |
1975 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
A time-wise hierarchy imposed upon the use of a two-level store. |
Language Hierarchies and Interfaces |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens |
On-the-fly garbage collection: an exercise in cooperation. |
Language Hierarchies and Interfaces |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Guarded commands, non-determinancy and a calculus for the derivation of programs. |
Language Hierarchies and Interfaces |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
On the teaching of programming, i. e. on the teaching of thinking. |
Language Hierarchies and Interfaces |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Self-stabilizing Systems in Spite of Distributed Control. |
Commun. ACM |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Information Streams Sharing a Finite Buffer. |
Inf. Process. Lett. |
1972 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
The Humble Programmer. |
Commun. ACM |
1972 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Hierarchical Ordering of Sequential Processes. |
Acta Inf. |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | John R. Rice, Edsger W. Dijkstra |
Letters to the editor: The go to statement reconsidered. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
algorithm progress, go to, jump instruction, program intelligibility, program sequencing, algorithm analysis, branch instruction |
| 1 | Edsger W. Dijkstra |
Letters to the editor: go to statement considered harmful. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
alternative clause, conditional clause, go to statement, jump instruction, program intelligibility, program sequencing, repetitive clause, branch instruction |
| 1 | Edsger W. Dijkstra |
The Structure of "THE"-Multiprogramming System. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
cooperating sequential processes, input-output buffering, multiprogramming system, real-time debugging, system hierarchy, operating system, program verification, multiprogramming, multiprocessing, processor sharing, system structure, synchronizing primitives, system levels |
| 1 | Edsger W. Dijkstra |
Solution of a problem in concurrent programming control. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Some comments on the aims of MIRFAC. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Some Meditations on Advanced Programming. |
IFIP Congress |
1962 |
DBLP BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Letter to the editor: defense of ALGOL 60. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsger W. Dijkstra |
Communication with an Automatic Computer |
|
1959 |
RDF |
|
| 1 | Edsger W. Dijkstra, W. Heise, Alan J. Perlis, Klaus Samelson |
ALGOL Sub-Committee Report - Extensions. |
Commun. ACM |
1959 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")