|
|
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 |
18 | Tae-Hwan Kim, In-Cheol Park |
Implementation of a High-Throughput and Area-Efficient MIMO Detector Based on Modified Dijkstra's Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November - 4 December 2009, pp. 1-6, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Fuhao Zhang, Jiping Liu |
An Algorithm of Shortest Path Based on Dijkstra for Huge Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 244-247, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Konstantinos Nikas, Nikos Anastopoulos, Georgios I. Goumas, Nectarios Koziris |
Employing Transactional Memory and Helper Threads to Speedup Dijkstra's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: ICPP 2009, International Conference on Parallel Processing, Vienna, Austria, 22-25 September 2009, pp. 388-395, 2009, IEEE Computer Society, 978-0-7695-3802-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | M. Gloria Sánchez-Torrubia, Carmen Torres-Blanc, M. A. López-Martínez |
PathFinder: A Visualization eMathTeacher for Actively Learning Dijkstra's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVW ![In: Proceedings of the Fifth Program Visualization Workshop, PVW 2008, Madrid, Spain, July 3-4, 2008, pp. 151-158, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jaime Bohórquez V. |
Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 49(4), pp. 361-384, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Alvaro H. Salas |
Acerca del Algoritmo de Dijkstra ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0810.0075, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Atsushi Okawado, Ryutaroh Matsumoto, Tomohiko Uyematsu |
Near ML detection using Dijkstra's algorithm with bounded list size over MIMO channels ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0802.1785, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Atsushi Okawado, Ryutaroh Matsumoto, Tomohiko Uyematsu |
Near ML detection using Dijkstra's algorithm with bounded list size over MIMO channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: 2008 IEEE International Symposium on Information Theory, ISIT 2008, Toronto, ON, Canada, July 6-11, 2008, pp. 2022-2025, 2008, IEEE, 978-1-4244-2256-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Youming Li, Ardian N. Greca, James Harris |
On Dijkstra's Algorithm for Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS (2) ![In: Advanced Techniques in Computing Sciences and Software Engineering, Volume II of the proceedings of the 2008 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2008, Bridgeport, Connecticut, USA, pp. 385-387, 2008, Springer, 978-90-481-3659-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Hatem, Amin Nassar |
Modified Dijkstra-like search algorithm for English to Arabic machine translation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT ![In: Proceedings of the 12th Annual conference of the European Association for Machine Translation, EAMT 2008, Hamburg, Germany, September 22-23, 2008, pp. 66-71, 2008, European Association for Machine Translation, 978-3-00-025770-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal |
Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 42(5), pp. 10-15, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
weakest precondition, program specification, deadlock freedom, program correctness |
18 | M. H. Xu, Y. Q. Liu, Q. L. Huang, Y. X. Zhang, G. F. Luan |
An improved Dijkstra's shortest path algorithm for sparse network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 185(1), pp. 247-254, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Camilo Rocha, José Meseguer 0001 |
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Colomb. de Computación ![In: Rev. Colomb. de Computación 8(2), pp. 101-130, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Markus Myllylä, Markku J. Juntti, Joseph R. Cavallaro |
A List Sphere Detector based on Dijkstra's Algorithm for MIMO-OFDM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece, pp. 1-5, 2007, IEEE, 978-1-4244-1144-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Hugh Gibbons |
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCSIT ![In: Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006, pp. 83-98, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Daniel C. Lee 0001 |
Proof of a modified Dijkstra's algorithm for computing shortest bundle delay in networks with deterministically time-varying links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 10(10), pp. 734-736, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006, pp. 182-191, 2006, Technische Universität Wien, Austria. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Rolf H. Möhring, Heiko Schilling, Birk Schütz, Dorothea Wagner, Thomas Willhalm |
Partitioning Graphs to Speed Up Dijkstra's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental and Efficient Algorithms, 4th InternationalWorkshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings, pp. 189-202, 2005, Springer, 3-540-25920-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Domenico Cantone, Simone Faro |
Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 17, pp. 81-86, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Domenico Cantone, Simone Faro |
Two-Levels-Greedy: A Generalized of Dijkstra's Shortest Path Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTW ![In: CTW04 Workshop on Graphs and Combinatorial Optimization, Scientific Program, Villa Vigoni, Menaggio (CO), Italy, 31st May to 2nd June 2004, pp. 75-80, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
18 | Friedrich L. Bauer, Manfred Broy |
Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(3), pp. 141-142, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Yusuke Fujita, Yoshihiko Nakamura, Zvi Shiller |
Dual Dijkstra search for paths with different topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2003 IEEE International Conference on Robotics and Automation, ICRA 2003, September 14-19, 2003, Taipei, Taiwan, pp. 3359-3364, 2003, IEEE. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | G. Alan Creak |
Edsger W. Dijkstra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 37(12), pp. 14-16, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | |
Obituary for Ole-Johan Dahl (1931-2002), Edsger Wybe Dijkstra (1930-2002), and Kristen Nygaard (1926-2002). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(10), pp. 1008, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Krzysztof R. Apt |
Edsger Wybe Dijkstra (1930 - 2002): A Portrait of a Genius ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.GL/0210001, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
18 | Amir R. Soltani, Hissam Tawfik, John Yannis Goulermas, Terrence Fernando |
Path planning in construction sites: performance evaluation of the Dijkstra, A*, and GA search algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 16(4), pp. 291-303, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | George M. Adelson-Velsky, Eugene Levner |
Project Scheduling in AND-OR Graphs: A Generalization of Dijkstra's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 27(3), pp. 504-517, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Peter P. Chen |
From Goto-less to Structured Programming: The Legacy of Edsger W. Dijkstra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 19(5), pp. 21, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards |
In memoriam: Edsger W. Dijkstra 1930-2002. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 45(10), pp. 21-22, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Broy |
Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 25(5), pp. 367-369, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | |
In memoriam: Edsgar Dijkstra (1930-2002). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ubiquity ![In: Ubiquity 2002(August), pp. 3, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Jayadev Misra |
A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 77(2-4), pp. 197-200, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Shlomi Dolev, Ted Herman |
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DC/0105013, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
18 | A. S. Nepomniaschaya, Maria A. Dvoskina |
A Simple Implementation of Dijkstra's Shortest Path Algorithm on Associative Parallel Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 43(1-4), pp. 227-243, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | 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) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 5, pp. 12, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Masato Noto, Hiroaki Sato |
A method for the shortest path search by extended Dijkstra algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: `Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions`, Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000, pp. 2316-2320, 2000, IEEE, 0-7803-6583-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jerzy Brzezinski, Dariusz Wawrzyniak |
Consistency Requirements of Distributed Shared Memory for Dijkstra's Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 618-625, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed shared memory, mutual exclusion, consistency models |
18 | Rudolf Berghammer |
Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 119(3-4), pp. 155-171, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Michael Barbehenn |
A Note on the Complexity of Dijkstra's Algorithm for Graphs with Weighted Vertices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(2), pp. 263, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
data structures, Analysis of algorithms, combinatorial problems |
18 | Andrea Borella, Franco Chiaraluce |
Multicast routing in BMSNs through greedy, weighted greedy, and Dijkstra algorithms: a comparative analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYBEN ![In: Broadband European Networks and Multimedia Services, SYBEN 1998, Zurich, Switzerland, May 19-20, 1998., pp. 444-454, 1998, SPIE, 0-8194-2860-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ewa Madalinska-Bugaj |
How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings, pp. 381-392, 1997, Springer, 3-540-63576-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | A. S. Nepomniaschaya |
Representations of the Prim-Dijkstra Algorithm on Associative Parallel Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parcella ![In: Parcella 1996, VII. International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, Germany, September 16-20, 1996, Proceedings, pp. 184-194, 1996, Akademie Verlag, Berlin, 3-05-501750-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
18 | Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl |
Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 146(1&2), pp. 185-197, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Jeffrey L. Solka, James C. Perry, Brian R. Poellinger, George W. Rogers |
Fast computation of optimal paths using a parallel Dijkstra algorithm with embedded constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 8(2), pp. 195-212, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Wim H. Hesselink |
Angelic Termination in Dijkstra's Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings, pp. 322-334, 1995, Springer, 3-540-60117-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 1950-1955, 1995, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Richard V. Helgason, Jeffery L. Kennington, B. Douglas Stewart |
The one-to-one shortest-path problem: An empirical analysis with the two-tree Dijkstra algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Optim. Appl. ![In: Comput. Optim. Appl. 2(1), pp. 47-75, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Robert B. Terwilliger |
An Example of Process Verification: The Gries/Dijkstra Design Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 18(3), pp. A:26-A:35, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Robert B. Terwilliger |
Toward tools to support the Gries/Dijkstra design process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 18(2), pp. 50-59, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Frank Ng, Gregory Butler |
Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Computing and Information - ICCI'93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings, pp. 294-298, 1993, IEEE Computer Society, 0-8186-4212-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Charles J. Alpert, T. C. Hu, Jen-Hsin Huang, Andrew B. Kahng |
A Direct Combination of the Prim and Dijkstra Constructions for Improved Performance-driven Global Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: 1993 IEEE International Symposium on Circuits and Systems, ISCAS 1993, Chicago, Illinois, USA, May 3-6, 1993, pp. 1869-1872, 1993, IEEE, 0-7803-1281-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | D. Ince |
Beauty is our business - a birthday salute to Edsger Dijkstra (Springer-Verlag texts and monographs in Computer Science) : W H J Feijen, A J M van Gasteren, D Gries and J Misra (eds) Springer-Verlag (1990) 453 pp £35.00 ISBN 0 994 40520 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 34(8), pp. 554, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Antonio Cau, Ruurd Kuiper 0001, Willem-Paul de Roever |
Formalising Dijkstra's Development Strategy within Stark's Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 4-42, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Robert B. Terwilliger |
Simulating the Gries/Dijkstra design process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 144-153, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | J. A. Rose |
A Method of Programming, by Edger W. Dijkstra & W.H.J. Feijen Addison-Wesley Publishing Company, Wokingham, England, 188 pages including index, 1988 (£15.95). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 7(4), pp. 366, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Greg Nelson |
A Generalization of Dijkstra's Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 11(4), pp. 517-561, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Fred B. Schneider, Leslie Lamport |
On E. W. Dijkstra's position paper on "fairness: ". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 13(3), pp. 18-19, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Paul A. Bailes |
Static Checking of Variable Handling in Dijkstra's Guarded Commands Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 11(3/4), pp. 123-142, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Jean Bovet |
Une amelioration de la methode de Dijkstra pour la recherche d'un plus court chemin dans un reseau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 13(1), pp. 93-96, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Ulrich Derigs |
An Efficient Dijkstra-like Labeling Method for Computing Shortest Odd/Even Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 21(5), pp. 253-258, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Kohei Noshita |
A Theorem on the Expected Complexity of Dijkstra's Shortest Path Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 6(3), pp. 400-408, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Edward Reid |
Fighting the disease: more comments after Dijkstra and Tompking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 18(10), pp. 16-21, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
18 | Robert B. K. Dewar, Susan M. Merritt, Micha Sharir |
Some Modified Algorithms for Dijkstra's Longest Upsequence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 18, pp. 1-15, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
18 | Neil D. Jones, Steven S. Muchnick |
Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 21st Annual Symposium on Foundations of Computer Science, Syracuse, New York, USA, 13-15 October 1980, pp. 185-190, 1980, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
18 | Haim Kilov |
Letter on Parnas' view of Dijkstra vs. deMillo, Lipton and Perlis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 4(1), pp. 19, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
18 | Kohei Noshita, Etsuo Masuda, Hajime Machida |
On the Expected Behaviors of the Dijkstra's Shortest Path Algorithm for Complete Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 7(5), pp. 237-243, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
18 | H. J. Jeffrey |
On Dijkstra's position paper on software reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 3(2), pp. 18, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
18 | David Lorge Parnas |
Another view of the Dijkstra-dMLP controversy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 3(4), pp. 20-21, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
18 | Roger Van Ghent |
Letter on real software, regarding the commentary by Dijkstra and the reply by DeMillo, Lipton and Perlis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 3(3), pp. 20-21, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
18 | Donald E. Knuth |
A Generalization of Dijkstra's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 6(1), pp. 1-5, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
18 | Leslie Lamport |
A New Solution of Dijkstra's Concurrent Programming Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 17(8), pp. 453-455, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
18 | F. R. A. Hopgood |
"Structured Programming, " by O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare (Book Review). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Man Mach. Stud. ![In: Int. J. Man Mach. Stud. 6(3), pp. 377, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
18 | S. Rao Kosaraju |
Limitations of Dijkstra's Semaphore Primitives and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fourth Symposium on Operating System Principles, SOSP 1973, Thomas J. Watson, Research Center, Yorktown Heights, New York, USA, October 15-17, 1973, pp. 122-136, 1973, ACM. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
18 | Hendrik Vantilborgh, Axel van Lamsweerde |
On an Extension of Dijkstra's Semaphore Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 1(5), pp. 181-186, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
18 | Robert J. Du Works, Stephen W. Smoliar |
The arrogant programmer: Dijkstra and Wegner considered harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 4(4), pp. 19-21, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
18 | Murray A. Eisenberg, Michael R. McGuire |
Further Comments on Dijkstra's Concurrent Programming Control Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 15(11), pp. 999, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
18 | H. James Gawlik |
MIRFAC: a reply to Professor Dijkstra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 7(10), pp. 571, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
|
10 | Stéphanie Vanhove, Veerle Fack |
Applications of graph algorithms in GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSPATIAL Special ![In: ACM SIGSPATIAL Special 2(3), pp. 31-36, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Vogels, Bart Jacobs 0002, Frank Piessens |
A machine-checked soundness proof for an efficient verification condition generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2517-2522, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
soundness proof, verification conditions |
10 | Yi-Ju Ho, Jing-Sin Liu |
Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1277-1281, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
curvature constraint, smooth path planning, optimization, simulated annealing, shortest path, Voronoi diagram, Bezier curve |
10 | Abderrahmane Lakas, Moumena Chaqfeh |
A novel method for reducing road traffic congestion using vehicular communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 16-20, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
geocast protocol, road traffic congestion, VANET, IVC |
10 | Moshe Babaioff, Robert D. Kleinberg, Aleksandrs Slivkins |
Truthful mechanisms with implicit payment computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 11th ACM Conference on Electronic Commerce (EC-2010), Cambridge, Massachusetts, USA, June 7-11, 2010, pp. 43-52, 2010, ACM, 978-1-60558-822-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
single-parameter mechanism design, truthful auctions, multi-armed bandits |
10 | Sashka Davis, Russell Impagliazzo |
Models of Greedy Algorithms for Graph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 54(3), pp. 269-317, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Graph optimization problems, Greedy algorithms, Priority algorithms |
10 | Edward P. F. Chan, Yaya Yang |
Shortest Path Tree Computation in Dynamic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(4), pp. 541-557, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Anup Kumar Bandyopadhyay |
Fairness and conspiracy concepts in concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 34(2), pp. 1-8, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conspiracy, fairness, concurrent systems, starvation |
10 | Christoph Lenzen 0001, Jukka Suomela, Roger Wattenhofer |
Local Algorithms: Self-stabilization on Speed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 17-34, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | K. Rustan M. Leino, Rosemary Monahan |
Reasoning about comprehensions with first-order SMT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 615-622, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Spec#, matching triggers, quantifiers, SMT solvers |
10 | Matthias Kirschner, Philipp Schengbier, Tobias Tscheuschner |
Speed-Up Techniques for the Selfish Step Algorithm in Network Congestion Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEA ![In: Experimental Algorithms, 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings, pp. 173-184, 2009, Springer, 978-3-642-02010-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
selfish step algorithm, network congestion games, game theory, shortest paths, Nash equilibria, speed-up techniques |
10 | Daniel Delling, Dorothea Wagner |
Pareto Paths with SHARC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEA ![In: Experimental Algorithms, 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings, pp. 125-136, 2009, Springer, 978-3-642-02010-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Quansheng Guan, Quanlong Ding, Shengming Jiang |
A minimum energy path topology control algorithm for wireless multihop networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 557-561, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
minimum energy path, topology control, energy-saving |
10 | Andrew Tsui, Zoë J. Wood |
Energetic Path Finding across Massive Terrain Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part II, pp. 879-888, 2009, Springer, 978-3-642-10519-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Dagmar Kainmueller, Hans Lamecker, Heiko Seim, Max Zinser, Stefan Zachow |
Automatic Extraction of Mandibular Nerve and Bone from Cone-Beam CT Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II, pp. 76-83, 2009, Springer, 978-3-642-04270-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Delling, Peter Sanders 0001, Dominik Schultes, Dorothea Wagner |
Engineering Route Planning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmics of Large and Complex Networks ![In: Algorithmics of Large and Complex Networks - Design, Analysis, and Simulation [DFG priority program 1126], pp. 117-139, 2009, Springer, 978-3-642-02093-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ugur Demiryurek, Farnoush Banaei Kashani, Cyrus Shahabi |
Efficient Continuous Nearest Neighbor Query in Spatial Networks Using Euclidean Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSTD ![In: Advances in Spatial and Temporal Databases, 11th International Symposium, SSTD 2009, Aalborg, Denmark, July 8-10, 2009, Proceedings, pp. 25-43, 2009, Springer, 978-3-642-02981-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delling, Dorothea Wagner |
The Shortcut Problem - Complexity and Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 105-116, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jason J. Holdsworth, Siu Man Lui |
GPS-enabled mobiles for learning shortest paths: a pilot study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDG ![In: Proceedings of the 4th International Conference on Foundations of Digital Games, FDG 2009, Orlando, Florida, USA, April 26-30, 2009, pp. 86-90, 2009, ACM, 978-1-60558-437-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
GPS-enabled mobile phones, mobile learning, problem-based learning, shortest paths algorithm |
10 | Anand Rangarajan 0001, Karthik S. Gurumoorthy |
A Schrödinger Wave Equation Approach to the Eikonal Equation: Application to Image Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMCVPR ![In: Energy Minimization Methods in Computer Vision and Pattern Recognition, 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings, pp. 140-153, 2009, Springer, 978-3-642-03640-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jason MacGregor, Steve Leung |
Pathfinding Strategy for Multiple Non-Playing Characters in 2.5 D Game Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Learning by Playing. Game-based Education System Design and Development, 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings, pp. 351-362, 2009, Springer, 978-3-642-03363-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Pathfinding Algorithms, Game AI |
10 | Eliécer Gutiérrez, Andrés L. Medaglia |
Labeling algorithm for the shortest path problem with turn prohibitions with application to large-scale road networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 157(1), pp. 169-182, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Turn prohibitions, Geographic information systems (GIS), Combinatorial optimization, Road networks, Shortest path problem |
10 | Haim Kaplan, Robert Endre Tarjan |
Thin heaps, thick heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 4(1), pp. 3:1-3:14, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
binomial queue, decrease key operation, fibonacci heap, melding, thick heap, thin heap, Data structure, priority queue, heap |
Displaying result #801 - #900 of 1180 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|