|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 553 occurrences of 384 keywords
|
|
|
Results
Found 1258 publication records. Showing 1180 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
108 | Brian Randell |
Edsger Dijkstra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS Fall ![In: 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 1-3 October 2003, Anacapri (Capri Island), Italy, pp. 3-, 2003, IEEE Computer Society, 0-7695-2054-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
80 | K. Subramani 0001, Kamesh Madduri |
Two-Level Heaps: A New Priority Queue Structure with Applications to the Single Source Shortest Path Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications, Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings, pp. 186-196, 2009, Springer, 978-3-642-02025-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
The Humble Programmer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 5-18, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens |
On-the-Fly Garbage Collection: An Exercise in Cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 339-358, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
On the Reliability of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 359-370, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
Recursive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 291-300, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
The Structure of the "THE"-Multiprogramming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 319-332, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
A Note on Two Problems in Connexion with Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 287-290, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
Self-stabilizing Systems in Spite of Distributed Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 333-338, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
Go To Statement Considered Harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 315-318, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
Solution of a Problem in Concurrent Programming Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 311-314, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
68 | Edsger W. Dijkstra |
Some Meditations on Advanced Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 301-310, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
67 | Rolf H. Möhring, Heiko Schilling, Birk Schütz, Dorothea Wagner, Thomas Willhalm |
Partitioning graphs to speedup Dijkstra's algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 11, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
acceleration method, Shortest path, road network, Dijkstra's algorithm |
64 | Hamilton Richards |
The Edsger W. Dijkstra Archive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 511-520, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Krzysztof R. Apt |
Edsger W. Dijkstra: Biographical Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 521-530, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Christian Lengauer |
A Personal View of Edsger W. Dijkstra and His Stance on Software Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 205-214, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Brian Randell |
Edsger Dijkstra - Some Reminiscences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 423-444, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Robert A. van de Geijn, Maggie E. Myers |
Applying Dijkstra's Vision to Numerical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 215-230, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | E. Allen Emerson |
Memories of Edsger W. Dijkstra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 399-404, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Mikkel Thorup |
Dijkstra's Single Source Shortest Path Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 21-26, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | |
Edsger W. Dijkstra in the Eyes of His Friends, Colleagues, and Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 455-490, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Krzysztof R. Apt |
Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 373-398, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Manfred Broy |
Edsger W. Dijkstra as a Lecturer in Marktoberdorf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 493-510, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
64 | Reiner Hähnle |
Dijkstra's Legacy on Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 105-140, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
48 | Nuno M. Garcia, Przemyslaw Lenkiewicz, Mário M. Freire, Paulo P. Monteiro |
On the Performance of Shortest Path Routing Algorithms for Modeling and Simulation of Static Source Routed Networks -- an Extension to the Dijkstra Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSNC ![In: Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 60, 2007, IEEE Computer Society, 0-7695-2938-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Shlomi Dolev, Ted Herman |
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 67-81, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Patrick Doherty 0001, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
Computing MPMA Updates Using Dijkstra's Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 11th International Symposium, ISMIS '99, Warsaw, Poland, June 8-11, 1999, Proceedings, pp. 271-281, 1999, Springer, 3-540-65965-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Frank Schulz 0001, Dorothea Wagner, Karsten Weihe |
Dijkstra's Algorithm On-Line: An Empirical Case Study from Public Railroad Transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAE ![In: Algorithm Engineering, 3rd International Workshop, WAE '99, London, UK, July 19-21, 1999, Proceedings, pp. 110-123, 1999, Springer, 3-540-66427-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
47 | Hannah Bast, Kurt Mehlhorn, Guido Schäfer |
A Heuristic for Dijkstra's Algorithm with Many Targets and Its Use in Weighted Matching Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 36(1), pp. 75-88, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Single-source shortest-path problem, Weighted bipartite matching problem, Assignment problem, Dijkstra's algorithm |
47 | Frank Ng, Gregory Butler, Judy Kay |
An Intelligent Tutoring System for the Dijkstra-Gries Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(5), pp. 415-428, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Dijkstra-Gries, symbolic algebra, user modeling, inheritance, intelligent tutoring systems, unification, object-oriented systems, programming methodology, teaching programming, re-use |
46 | Fred B. Schneider |
Evoking Whitehead's Dictum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 445-454, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Vladimir Lifschitz |
Calculational Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 231-246, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Tony Hoare |
Forty Years with Edsger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 411-422, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Butler W. Lampson |
Programming Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 27-46, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | |
Photo Credits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | David Gries |
Reflections on Edsger and His Influence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 405-410, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
Nondeterminism and Guarded Commands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 169-204, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | |
Authors' Biographies/Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 531-550, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | David Gries |
Development of Correct Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 141-168, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Jayadev Misra |
An Homage to the Beautiful Mathematical EWDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 247-282, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Ted Herman |
Origin of Self-Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 81-104, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Leslie Lamport |
Concurrent Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edsger Wybe Dijkstra ![In: Edsger Wybe Dijkstra: His Life, Work, and Legacy, pp. 47-80, 2022, ACM / Morgan & Claypool, 978-1-4503-9773-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
45 | Klaas Dijkstra, Maya Aghaei, Femke Jaarsma, Martin Dijkstra, Rudy Folkersma, Jan Jager, Jaap van de Loosdrecht |
On the Effect of Pre-Processing and Model Complexity for Plastic Analysis Using Short-Wave-Infrared Hyper-Spectral Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.11209, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
45 | Guillem Martinez, Maya Aghaei, Martin Dijkstra, Bhalaji Nagarajan, Femke Jaarsma, Jaap van de Loosdrecht, Petia Radeva, Klaas Dijkstra |
Hyper-Spectral Imaging for Overlapping Plastic Flakes Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.12350, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
45 | Guillem Martinez, Maya Aghaei, Martin Dijkstra, Bhalaji Nagarajan, Femke Jaarsma, Jaap van de Loosdrecht, Petia Radeva, Klaas Dijkstra |
Hyper-Spectral Imaging for Overlapping Plastic Flakes Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 2022 IEEE International Conference on Image Processing, ICIP 2022, Bordeaux, France, 16-19 October 2022., pp. 2331-2335, 2022, IEEE, 978-1-6654-9621-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Kanchana Silawarawet, Natawut Nupairoj |
Minimizing Multicast Communication Latency in WAN-Based Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Seventh International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2006), 19-20 June 2006, Las Vegas, Nevada, USA, pp. 145-150, 2006, IEEE Computer Society, 0-7695-2611-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | João L. Sobrinho |
Algebra and algorithms for QoS path computation and hop-by-hop routing in the internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(4), pp. 541-550, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
quality of service, internet, Internet, routing, algebra |
39 | Hitoshi Kanoh, Kenta Hara |
Hybrid genetic algorithm for dynamic multi-objective route planning with predicted traffic in a real-world road network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 657-664, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithm, route, prediction, planning, multi-objective optimization, dynamic, hybrid, transportation, road network, traffic, real-world, dijkstra algorithm |
39 | Martin Holzer 0001, Frank Schulz 0001, Dorothea Wagner, Thomas Willhalm |
Combining speed-up techniques for shortest-path computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 10, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Shortest path, combination, speed-up, Dijkstra's algorithm |
39 | Mikkel Thorup |
Undirected Single Source Shortest Path in Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 12-21, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
single source shortest paths problem, algorithmic graph theory, deterministic linear time, hierarchical bucketing, deterministic algorithms, linear time, weighted graph, Dijkstra's algorithm, linear space |
39 | Gerth Stølting Brodal, Jesper Larsson Träff, Christos D. Zaroliagis |
A Parallel Priority Data Structure with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 689-693, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallel priority data structure, algorithm running time, data structures, time complexity, iteration, parallel implementation, Dijkstra's algorithm, CREW PRAM |
38 | Nikos Anastopoulos, Konstantinos Nikas, Georgios I. Goumas, Nectarios Koziris |
Early experiences on accelerating Dijkstra's algorithm using transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Reinhard Bauer, Daniel Delling, Peter Sanders 0001, Dennis Schieferdecker, Dominik Schultes, Dorothea Wagner |
Combining Hierarchical and Goal-Directed Speed-Up Techniques for Dijkstra's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental Algorithms, 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30-June 1, 2008, Proceedings, pp. 303-318, 2008, Springer, 978-3-540-68548-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Victor Teixeira de Almeida, Ralf Hartmut Güting |
Using Dijkstra's algorithm to incrementally find the k-Nearest Neighbors in spatial network databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 58-62, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
location-based services, spatial databases, nearest neighbors, index structures |
38 | Svetlana O. Shilova, Nikolay V. Shilov 0002 |
Addendum to Etude on theme of Dijkstra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 35(4), pp. 118, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Svetlana O. Shilova, Nikolay V. Shilov 0002 |
Etude on theme of Dijkstra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 35(3), pp. 102-108, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Lex Bijlsma 0001, Rob Nederpelt |
Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(12), pp. 1007-1036, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Hwan Il Kang, Byunghee Lee, Kabil Kim |
Path Planning Algorithm Using the Particle Swarm Optimization and the Improved Dijkstra Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (2) ![In: PACIIA 2008, Volume 2, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 1002-1004, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
path planning algorithm, the particle swarm optimization, improved Dijkstra algorithm |
36 | |
E. W. Dijkstra Archive: The manuscripts of Edsger W. Dijkstra 1930-2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
36 | Ariel Felner |
Position Paper: Dijkstra's Algorithm versus Uniform Cost Search or a Case Against Dijkstra's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Proceedings of the Fourth Annual Symposium on Combinatorial Search, SOCS 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011, pp. 47-51, 2011, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Vishal Verma, Jack Snoeyink |
Reducing the memory required to find a geodesic shortest path on a large mesh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2009, November 4-6, 2009, Seattle, Washington, USA, Proceedings, pp. 227-235, 2009, ACM, 978-1-60558-649-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks |
A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings, pp. 63-77, 2008, Springer, 978-3-540-87778-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Dan He |
BMA*: An Efficient Algorithm for the One-to-Some Shortest Path Problem on Road Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIM ![In: Algorithmic Aspects in Information and Management, Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings, pp. 346-357, 2007, Springer, 978-3-540-72868-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Marco Schneider |
Self-Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 25(1), pp. 45-67, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
fault tolerance, stabilization, convergence, self-stabilization, transient errors, self-stabilizing systems, transient failures |
29 | Yuming Liang, Lihong Xu |
Global path planning for mobile robot based genetic algorithm and modified simulated annealing algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 303-308, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
global optimal path planning, modified simulated annealing algorithm, genetic algorithm, mobile robot, dijkstra algorithm |
29 | Leonid Khachiyan, Endre Boros, Konrad Borys, Khaled M. Elbassioni, Vladimir Gurvich, Gábor Rudolf, Jihui Zhao |
On Short Paths Interdiction Problems: Total and Node-Wise Limited Interdiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(2), pp. 204-233, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Dijkstra’s algorithm, Most vital arcs problem, Cyclic game, Maxmin mean cycle, Minimal vertex cover, Network inhibition, Network interdiction, Approximation algorithm |
29 | Yevgeny Schreiber, Micha Sharir |
An Optimal-Time Algorithm for Shortest Paths on a Convex Polytope in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(1-3), pp. 500-579, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Continuous Dijkstra, Polytope surface, Shortest path, Unfolding, Geodesics, Wavefront, Shortest path map |
29 | Dongming Zhou, Rencan Nie, Dongfeng Zhao |
A New Algorithm for Finding the Shortest Path Tree Using Competitive Pulse Coupled Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 9-18, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Competitive PCNN, shortest path tree, Dijkstra algorithm |
29 | Jiangqing Wang, Xiao-nian Tong, Zimao Li |
An Improved Evolutionary Algorithm for Dynamic Vehicle Routing Problem with Time Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV, pp. 1147-1154, 2007, Springer, 978-3-540-72589-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dynamic Vehicle Routing Problem, Evolutionary Algorithm, Combinatorial Optimization, Dijkstra Algorithm |
29 | Lingyu Sun, Xuemei Liu, Ming Leng |
An Effective Algorithm of Shortest Path Planning in a Static Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 257-262, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
path planning, greedy algorithm, Dijkstra algorithm |
29 | Yevgeny Schreiber, Micha Sharir |
An optimal-time algorithm for shortest paths on a convex polytope in three dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 22nd ACM Symposium on Computational Geometry, Sedona, Arizona, USA, June 5-7, 2006, pp. 30-39, 2006, ACM, 1-59593-340-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
continuous Dijkstra, polytope surface, shortest path, unfolding, geodesics, wavefront, shortest path map |
29 | Richard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald |
Frontier search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(5), pp. 715-748, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bidirectional search, sliding-tile puzzles, heuristic search, sequence alignment, Dijkstra's algorithm, breadth-first search, best-first search, A* algorithm, Towers of Hanoi |
29 | Alexandre X. Falcão, Jorge Stolfi, Roberto de Alencar Lotufo |
The Image Foresting Transform: Theory, Algorithms, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(1), pp. 19-29, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
regional minima, boundary tracking, distance transforms and multiscale skeletonization, image segmentation, image analysis, shortest-path problems, Dijkstra's algorithm, watershed transform, morphological reconstruction |
29 | Michael Gerharz, Christian de Waal, Peter Martini |
How to Discover Optimal Routes in Wireless Multihop Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWCN ![In: Mobile and Wireless Communication Networks, IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France, pp. 323-334, 2004, Kluwer/Springer, 0-387-23148-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Dijkstra, Quality-of-Service, Routing, Ad hoc networks |
29 | Deok-Soo Kim, Kwangseok Yu, Youngsong Cho, Donguk Kim 0001, Chee-Keng Yap |
Shortest Paths for Disc Obstacles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III, pp. 62-70, 2004, Springer, 3-540-22057-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
disc obstacles, Dijkstra, Voronoi diagram, convex hull, Geodesic, ellipse |
29 | Takashi Kanai, Hiromasa Suzuki |
Approximate Shortest Path on Polyhedral Surface Based on Selective Refinement of the Discrete Graph and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Geometric Modeling and Processing 2000, Hong Kong, China, April 10-12, 2000, pp. 241-250, 2000, IEEE Computer Society, 0-7695-0562-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
computational geometry, geometric modeling, shortest path, Dijkstra's algorithm, polyhedral surface |
29 | Joseph S. B. Mitchell, Christos H. Papadimitriou |
The Weighted Region Problem: Finding Shortest Paths Through a Weighted Planar Subdivision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 38(1), pp. 18-73, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
terrain navigation, weighted distance functions, shortest paths, Voronoi diagrams, Dijkstra's algorithm |
28 | Lorenzo Alvisi, Rachid Guerraoui, Prasad Jayanti, Idit Keidar, Shay Kutten, Jennifer L. Welch |
The 2009 Edsger W. Dijkstra Prize in Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 1-2, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Wolfgang Reisig |
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 589-595, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Wen-Chih Chang, Yan-Da Chiu, Mao-Fan Li |
Learning Kruskal's Algorithm, Prim's Algorithm and Dijkstra's Algorithm by Board Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2008, 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings, pp. 275-284, 2008, Springer, 978-3-540-85032-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal |
Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(4), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks |
On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 114-123, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Leonid Khachiyan, Vladimir Gurvich, Jihui Zhao |
Extending Dijkstra's Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 221-234, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | J Strother Moore, Qiang Zhang |
Proof Pearl: Dijkstra's Shortest Path Algorithm Verified with ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, pp. 373-384, 2005, Springer, 3-540-28372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay |
Adding the leads-to operator to Dijkstra's calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(2), pp. 12-17, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
guarded process, non-deterministic selection, weakest cooperation, distributed systems, protocol, correctness, weakest precondition |
28 | Enrique Mérida Casermeiro, José Muñoz-Pérez, Rafaela Benítez-Rochel |
Neural Implementation of Dijkstra's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I, pp. 342-349, 2003, Springer, 3-540-40210-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Krzysztof R. Apt |
Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(2), pp. 92-98, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Kurt Mehlhorn, Guido Schäfer |
A Heuristic for Dijkstra's Algorithm with Many Targets and Its Use in Weighted Matching Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2001, 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings, pp. 242-253, 2001, Springer, 3-540-42493-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Matti Tommiska, Jorma Skyttä |
Dijkstra's Shortest Path Routing Algorithm in Reconfigurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001, Proceedings, pp. 653-657, 2001, Springer, 3-540-42499-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Klaus-Dieter Schewe, Bernhard Thalheim |
A Generalization of Dijkstra's Calculus to Typed Program Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, pp. 463-474, 1999, Springer, 3-540-66412-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | John Harrison 0001 |
Formalizing Dijkstra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, pp. 171-188, 1998, Springer, 3-540-64987-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Crauser, Kurt Mehlhorn, Ulrich Meyer 0001, Peter Sanders 0001 |
A Parallelization of Dijkstra's Shortest Path Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 722-731, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | A. S. Nepomniaschaya |
An Associative Version of the Prim-Dijkstra Algorithm and Its Application to Some Graph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 203-213, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Peter W. Eklund, S. D. Kirkby, Simon Pollitt |
A dynamic multi-source Dijkstra's algorithm for vehicle routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANZIIS ![In: Proceedings of the Australian New Zealand Conference on Intelligent Information Systems, ANZIIS 96, Adelaide, South Australia, 18-20 November 1996, pp. 329-333, 1996, IEEE, 0-7803-3667-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Charles J. Alpert, T. C. Hu, Dennis J.-H. Huang, Andrew B. Kahng, David R. Karger |
Prim-Dijkstra tradeoffs for improved performance-driven routing tree design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(7), pp. 890-896, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Manfred Broy, Greg Nelson |
Adding Fair Choice to Dijkstra's Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 924-938, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
dovetail, law of the excluded miracle, partial commands, semantics, fairness, nondeterminism, guarded commands |
28 | Willem P. de Roever |
Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings, pp. 472-481, 1976, Springer, 0-387-07854-1. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
28 | Donald B. Johnson 0001 |
A Note on Dijkstra's Shortest Path Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(3), pp. 385-388, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
22 | Chris Jacobs-Crisioni, Ana I. Moreno-Monroy, Mert Kompil, Lewis Dijkstra |
Estimating school provision, access and costs from local pupil counts under decentralised governance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 26(1), pp. 7-46, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1180 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|