Statements (62)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:advocatesFor |
Formal Verification
Code Efficiency Code Readability Mathematical Proofs in Programming Structured Programming Principles |
| gptkbp:affiliatedWith |
gptkb:University_of_Amsterdam
gptkb:University_of_Texas_at_Austin gptkb:Eindhoven_University_of_Technology |
| gptkbp:awardedBy |
gptkb:Knuth_Prize
Honorary Doctorate Turing Award IEEE Medal of Honor Royal_Netherlands_Academy_of_Arts_and_Sciences_membership Fellow_of_the_ACM |
| gptkbp:bornIn |
gptkb:Netherlands
|
| gptkbp:contributedTo |
Operating Systems
Programming Languages Software Engineering Concurrency Graph Theory |
| gptkbp:developedBy |
gptkb:Dynamic_Programming
Priority Queues Semaphores Guarded Commands The_Dijkstra's_Algorithm_for_Deadlock_Detection The_Dijkstra's_Algorithm_for_Graph_Traversal The_Dijkstra's_Algorithm_for_Minimum_Spanning_Tree The_Dijkstra's_Algorithm_for_Resource_Allocation The_Dijkstra's_Algorithm_for_Route_Planning The_Dijkstra's_Shortest_Path_Algorithm |
| gptkbp:diedIn |
2012
|
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
M. A. H. Dijkstra
|
| gptkbp:influenced |
Artificial Intelligence
Cloud Computing Computer Networking Data Structures Database Systems Computational Complexity Distributed Systems Computational Geometry Software Testing Software Development Practices Computer_Graphics Structured_Programming Human-Computer_Interaction Computer_Programming Algorithm_Design Computer_Science_Education |
| gptkbp:knownFor |
gptkb:Dijkstra's_algorithm
|
| gptkbp:publishedBy |
gptkb:The_Art_of_Computer_Programming
Letters to the Editor The Humble Programmer The_Dijkstra's_Algorithm_for_Network_Flow The_Dijkstra's_Algorithm_for_Pathfinding The_Dijkstra's_Algorithm_for_Scheduling The_Dijkstra's_Algorithm_for_Shortest_Paths |
| gptkbp:wrote |
A Discipline of Programming
Notes on Structured Programming The Structure of the 'THE' Multiprogramming System On_the_Cruelty_of_Really_Teaching_Computing_Science |