|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 356 occurrences of 264 keywords
|
|
|
Results
Found 470 publication records. Showing 470 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Hector Ouilhet |
Google Sky Map: using your phone as an interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2010, Lisbon, Portugal, September 7-10, 2010, pp. 419-422, 2010, ACM, 978-1-60558-835-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
61 | Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain |
Snap-Stabilizing Depth-First Search on Arbitrary Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 267-282, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault-tolerance, Distributed systems, stabilization, depth-first search |
55 | Ming-Syan Chen, Kang G. Shin |
Depth-First Search Approach for Fault-Tolerant Routing in Hypercube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(2), pp. 152-159, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
obstructed node, performance evaluation, performance, fault tolerant computing, multiprocessor interconnection networks, multiprocessing systems, Hamming distance, fault-tolerant routing, depth-first search, hypercube multicomputers, destination node, component failures |
55 | Dragan Bosnacki |
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 65-80, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction |
50 | Lars Arge, Ulrich Meyer 0001, Laura Toma, Norbert Zeh |
On External-Memory Planar Depth First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001, Proceedings, pp. 471-482, 2001, Springer, 3-540-42423-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
50 | Zhenjiang Li, J. J. Garcia-Luna-Aceves |
Finding multi-constrained feasible paths by using depth-first search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 13(3), pp. 323-334, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multi-constrained path selection, Success ratio, Existence percentage, Competitive ratio, Depth-first search |
48 | Chee Fen Yu, Benjamin W. Wah |
Efficient Branch-and-Bound Algorithms on a Two-Level Memory System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(9), pp. 1342-1356, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
two-level memory system, storage management, virtual-memory, storage allocation, depth-first search, branch-and-bound algorithms, virtual storage, best-first search |
48 | Jop F. Sibeyn, James Abello, Ulrich Meyer 0001 |
Heuristics for semi-external depth first search on directed graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2002, Winnipeg, Manitoba, Canada, August 11-13, 2002, pp. 282-292, 2002, ACM, 1-58113-529-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
strong components, graph algorithms, depth first search, external memory |
48 | Chen-Hsing Peng, Biing-Feng Wang, Jia-Shung Wang |
Recognizing Unordered Depth-First Search Trees of an Undirected Graph in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(6), pp. 559-570, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Depth-first search trees, parallel algorithms, spanning trees, PRAM, the Euler-tour technique |
48 | Jia-Shung Wang, Biing-Feng Wang, Chen-Hsing Peng |
Recognizing depth-first-search trees in parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 101-105, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
depth-first-search trees, parallel algorithms, parallel algorithm, computational complexity, directed graphs, time complexity, spanning tree, search problems, undirected graph, tree searching, speed-up, EREW PRAM model |
39 | Neha Rungta, Eric G. Mercer |
Generating Counter-Examples Through Randomized Guided Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 39-57, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Roman Barták, Hana Rudová |
Limited assignments: a new cutoff strategy for incomplete depth-first search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 388-392, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
search, constraint satisfaction |
39 | Clifton Davis, Christoph F. Eick |
A heuristic search based factoring tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 298-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
heuristic search based factoring tool, RSA cryptography, state-based search, heuristic formula, pseudo-smooth integers, security, cryptography, heuristic programming, depth first search, tree searching |
38 | David Faragó, Peter H. Schmitt |
Improving Non-Progress Cycle Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 50-67, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks |
38 | Roland Ducournau, Michel Habib |
On Some Algorithms for Multiple Inheritance in Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings, pp. 243-252, 1987, Springer, 3-540-18353-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
inheritance with exceptions, Object oriented language, depth-first-search, partial ordered sets, multiple inheritance, linear extensions |
36 | Jeremy T. Engle, Edward L. Robertson |
Depth first algorithms and inferencing for AFD mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 54-65, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Lozenge Search, approximate functional dependencies, powerset lattices, data mining, depth first search |
36 | Pilar de la Torre, Clyde P. Kruskal |
Polynomially Improved Efficiency for Fast Parallel Single-Source Lexicographic Depth-First Search, Breadth-First Search, and Topological-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 34(4), pp. 275-298, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar 0001 |
DFS Based Partial Pathways in GA for Protein Structure Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIB ![In: Pattern Recognition in Bioinformatics, Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings, pp. 41-53, 2008, Springer, 978-3-540-88434-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithm, protein structure prediction, Depth-first search, lattice model |
34 | Mohamed Naimi |
Parallel assignment to distinct identities in arbitrary networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 475, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
sequential distributed algorithm, parallel assignment, distinct identities, parallel distributed algorithm, distributed system nodes, initiator channel, children channel, outgoing channels, upper bound time transmission, parallel algorithms, multiprocessor interconnection networks, time complexity, communication complexity, spanning tree, depth-first search, network diameter, rooted tree, arbitrary network, synchronous distributed systems |
34 | Yannis E. Ioannidis, Raghu Ramakrishnan 0001, Linda Winger |
Transitive Closure Algorithms Based on Graph Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 18(3), pp. 512-576, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
node reachability, transitive closure, depth-first search, path computations |
33 | William Yeoh 0001, Ariel Felner, Sven Koenig |
IDB-ADOPT: A Depth-First Search DCOP Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers, pp. 132-146, 2008, Springer, 978-3-642-03250-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributed Search Algorithms, ADOPT, Distributed Constraint Optimization, DCOP |
33 | Yonghong Chen, Xing Liu, Vaithianathan Mani Venkatasubramanian |
Fast Algorithms for Detecting Circular VAR Flows in Large Power-Flow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 170, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Loop flows, power-flow studies, Directed graphs, depth-first search, electric power system |
33 | Hiroki Arimura, Takeaki Uno, Shinichi Shimozono |
Time and Space Efficient Discovery of Maximal Geometric Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings, pp. 42-55, 2007, Springer, 978-3-540-75487-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
closed graph mining, rightmost expansion, polynomial delay polynomial space enumeration algorithms, depth-first search, geometric graphs |
33 | Mhand Hifi |
Dynamic Programming and Hill-Climbing Techniques for Constrained Two-Dimensional Cutting Stock Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 8(1), pp. 65-84, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dynamic programming, heuristics, hill-climbing, depth-first search, knapsacking, cutting stock |
32 | Raul H. C. Lopes, Mark Tarver |
Inducing Theorem Provers from Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 157-164, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
theorem prover induction, automatic theorem prover generation, proof examples, intuitionistic propositional calculus, depth-first search strategy, loop detection, inductive generalization, machine learning, theorem proving |
30 | Jens Clausen, Michael Perregaard |
On the best search strategy in parallel branch-and-bound: Best-First Search versus Lazy Depth-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 90, pp. 1-17, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Qiusun Ye |
Realization of Depth-first Search Based AI Properties of VCR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, WKDD 2009, Moscow, Russia, 23-25 January 2009, pp. 829-832, 2009, IEEE Computer Society, 978-0-7695-3543-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | David J. King, John Launchbury |
Structuring Depth-First Search Algorithms in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 344-354, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Haskell |
27 | Takashi Hirayama, Yasuaki Nishitani |
Efficient Search Methods for Obtaining Exact Minimum AND-EXOR Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2006), 17-19 January 2006, Kuala Lumpur, Malaysia, pp. 137-142, 2006, IEEE Computer Society, 0-7695-2500-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Emir Zunic, Almir Djedovic, B. Zunic |
Software solution for optimal planning of sales persons work based on Depth-First Search and Breadth-First Search algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 39th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2016, Opatija, Croatia, May 30 - June 3, 2016, pp. 1248-1253, 2016, IEEE, 978-953-233-086-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Wilhelmiina Hämäläinen |
Lift-based search for significant dependencies in dense data sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD Workshop on Statistical and Relational Learning in Bioinformatics ![In: Proceedings of the ACM SIGKDD Workshop on Statistical and Relational Learning in Bioinformatics, Paris, France, June 28, 2009, pp. 12-16, 2009, ACM, 978-1-60558-667-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
association rules, redundancy, dependency analysis, depth-first search, statistical significance |
26 | Maofu Liu, Wenjie Li 0002, Xiaolong Zhang, Ji Zhang |
Event-Based Summarization Using Critical Temporal Event Term Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPOL ![In: Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy, 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings, pp. 378-385, 2009, Springer, 978-3-642-00830-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Event-Based Summarization, Event Term Graph, Temporal Event Term Chain, Depth-First Search Algorithm |
26 | Renata Braga Araújo, Guilherme Henrique Trielli Ferreira, Gustavo Henrique Orair, Wagner Meira Jr., Renato Antônio Celso Ferreira, Dorgival Olavo Guedes Neto, Mohammed Javeed Zaki |
The ParTriCluster Algorithm for Gene Expression Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 36(2), pp. 226-249, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Clustering, Parallel programming, Bioinformatics, Depth-first search |
26 | Rajneesh Hegde |
Finding 3-shredders efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 2(1), pp. 14-43, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
four-connected, shredder, vertex cut, Depth-first search |
26 | Roderick Bloem, Harold N. Gabow, Fabio Somenzi |
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 28(1), pp. 37-56, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
language emptiness, Büchi automata, Streett automata, model checking, binary decision diagrams, depth-first search, breadth-first search, strongly connected components, symbolic algorithms |
26 | Thomas Erlebach, Torben Hagerup |
Routing Flow Through a Strongly Connected Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 32(3), pp. 467-473, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Feasible-flow problem, Strongly connected graph, Network flow, Analysis of algorithms, Depth-first search, Maximum-flow problem |
26 | Art Kazmierczak, Sridhar Radhakrishnan |
An Optimal Distributed Ear Decomposition Algorithm with Applications to Biconnectivity and Outerplanarity Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(2), pp. 110-118, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
biconnectivity testing, outerplanarity testing, Distributed algorithm, message complexity, depth first search, ear decomposition |
26 | Valery M. Chelnokov, Victoria L. Zephyrova |
Collective Phenomena in Hypertext Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: Hypertext 97, The Eigth ACM Conference on Hypertext, University of Southampton, UK, April 6-11, 1997, pp. 220-221, 1997, ACM, 0-89791-866-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SMIsC, cluster of meaning formed by hypertext nodes, coherent navigation, collective phenomena in populations of hypertext nodes, discourse macrostructure, discourse semantic coherence, hypertext statics and dynamics, hypertext-node macrostatus, spreading-activation search, Internet, Internet, depth-first search |
26 | Nader Bagherzadeh, Nayla Nassif, Shahram Latifi |
A Routing and Broadcasting Scheme on Faulty Star Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(11), pp. 1398-1403, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
faulty star graphs, backtracking technique, faulty links, performance analysis, distributed algorithms, fault tolerant computing, shortest path, depth first search, routing scheme, optimal path, broadcasting scheme |
26 | Michel Billaud |
Axiomatizations of Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 71-82, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages |
26 | Ming-Syan Chen, Kang G. Shin |
Adaptive Fault-Tolerant Routing in Hypercube Multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(12), pp. 1406-1416, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
adaptive fault tolerant routing, fault tolerant computing, multiprocessor interconnection networks, depth-first search, hypercube multicomputers |
26 | Philip N. Klein |
Efficient Parallel Algorithms for Chordal Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 150-161, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
elimination ordering, optimal coloring, breadth-first search tree, depth-first search tree, parallel algorithms, interval graphs, chordal graphs, isomorphism, maximum independent set, maximum clique |
26 | Andrew V. Goldberg, Serge A. Plotkin, Pravin M. Vaidya |
Sublinear-Time Parallel Algorithms for Matching and Related Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 174-185, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
sublinear-time parallel algorithms, maximal node-disjoint paths, zero-one networks, matching, depth-first search, node-disjoint paths, combinatorial structure |
26 | Sukhamay Kundu |
An O(V) algorithm M for computing transitive reduction of a planar acyclic digraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 20th Annual Southeast Regional Conference, 1982, Knoxville, Tennessee, USA, April 1-3, 1982, pp. 29, 1982, ACM, 0-89791-071-0. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
planar digraph, transitive reduction, algorithm, depth-first search |
26 | Ivan Stojmenovic, Mark Russell, Bosko Vukojevic |
Depth First Search and Location Based Localized Routing and QoS Routing in Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2000 International Conference on Parallel Processing, ICPP 2000, Toronto, Canada, August 21-24, 2000, pp. 173-180, 2000, IEEE Computer Society, 0-7695-0768-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Micah Adler, Brent Heeringa |
Search Space Reductions for Nearest-Neighbor Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings, pp. 554-567, 2008, Springer, 978-3-540-79227-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Zhenjiang Li, J. J. Garcia-Luna-Aceves |
Solving The Multi-Constrained Path Selection Problem By Using Depth First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2005), 22-24 August 2005, Lake Buena Vista, FL, USA, pp. 15, 2005, IEEE Computer Society, 0-7695-2423-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Peter J. Varman, Kshitij A. Doshi |
Improved parallel algorithms for the depth-first search and monotone circuit value problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 175-182, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Ziyu Chen, Chen He, Zhen He, Minyou Chen |
BD-ADOPT: a hybrid DCOP algorithm with best-first and depth-first search strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 50(2), pp. 161-199, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li |
Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2011 - 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings, pp. 178-185, 2011, Springer, 978-3-642-23877-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Andreas Auer, Hermann Kaindl |
A Case Study of Revisiting Best-First vs. Depth-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 141-145, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Martin E. Dyer, Alan M. Frieze |
Probabilistic Analysis of a Parallel Algorithm for Finding the Lexicographically First Depth First Search Tree in a Dense Random Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 2(2), pp. 233-240, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Hon Nin Cheung, Li-Minn Ang, Kamran Eshraghian |
Parallel Architecture for the Implementation of the Embedded Zerotree Wavelet Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAC ![In: 5th Australasian Computer Architecture Conference (ACAC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 3-8, 2000, IEEE Computer Society, 0-7695-0512-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
EZW, Parallel processing, image coding |
21 | Mark E. Stickel |
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 154-163, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Directed explicit-state model checking in the validation of communication protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(2-3), pp. 247-267, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Directed search, Protocol validation |
20 | Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen |
Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 14:1-14:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Laizhong Cui, Genghui Li, Qiuzhen Lin, Zhihua Du, Weifeng Gao, Jianyong Chen, Nan Lu |
A novel artificial bee colony algorithm with depth-first search framework and elite-guided search equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 367-368, pp. 1012-1044, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Christophe Duhamel, Philippe Lacomme, Caroline Prodhon |
A hybrid evolutionary local search with depth first search split procedure for the heterogeneous vehicle routing problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 25(2), pp. 345-358, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Blai Bonet, Hector Geffner |
Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006, pp. 142-151, 2006, AAAI, 978-1-57735-270-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Lon-Chan Chu, Benjamin W. Wah |
Band Search: An Efficient Alternative to Guided Depth-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Fourth International Conference on Tools with Artificial Intelligence, ICTAI '92, Arlington, Virginia, USA, November 10-13, 1992, pp. 154-161, 1992, IEEE Computer Society, 0-8186-2905-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Laurent Michel, Pascal Van Hentenryck |
A decomposition-based implementation of search strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 351-383, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
search, combinatorial optimization, Constraint programming |
19 | Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan |
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 126-140, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | V. Nageshwara Rao, Vipin Kumar 0001 |
Superlinear Speedup in Parallel State-Space Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 161-174, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Abusayeed M. Saifullah, Yung H. Tsin |
A Self-stabilizing Algorithm For 3-Edge-Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings, pp. 6-19, 2007, Springer, 978-3-540-74741-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jian Wu, Sherif Abdelwahed |
Discrete-input receding horizon control applied to pneumatic hopping robot energy regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 1567-1572, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Brian C. Dean, Michel X. Goemans, Nicole Immorlica |
Finite Termination of "Augmenting Path" Algorithms in the Presence of Irrational Problem Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2006, 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings, pp. 268-279, 2006, Springer, 3-540-38875-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Vincent T'kindt, Federico Della Croce, Carl Esswein |
Revisiting Branch and Bound Search Strategies for Machine Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 7(6), pp. 429-440, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
search tree strategies, dominance properties, branch and bound |
17 | Hitomi Saito, Kazuhisa Miwa |
A Cognitive Study of Information Seeking Processes in the WWW: The Effects of Searcher's Knowledge and Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE (1) ![In: Proceedings of the 2nd International Conference on Web Information Systems Engineering, WISE'01, Organized by WISE Society and Kyoto University, Kyoto, Japan, 3-6 December 2001, Volume 1 (Main program), pp. 321-330, 2001, IEEE Computer Society, 0-7695-1393-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Problem solving, information seeking behavior, information literacy, information education |
16 | Stefan Edelkamp, Peter Sanders 0001, Pavel Simecek |
Semi-external LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 530-542, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Svante Janson |
On Knuth's conjecture for back and forward arcs in Depth First Search in a random digraph with geometric outdegree distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.04131, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Zhiwei Li, Jun Xu 0022, Lei Hu |
Signal Leakage Attack Meets Depth First Search: an Improved Approach on DXL Key Exchange Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1709, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
16 | Xiaofeng Lv, Deyun Zhou, Fuqiang Li |
Research on Optimization Technology for Sequential Diagnostic Strategy based on Improved Quasi-Depth First Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNIOT ![In: Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things, CNIOT 2023, Xiamen, China, May 26-28, 2023, pp. 684-692, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Santhosh B. Gandreti, P. S. Sastry |
Efficient Depth-First Search Approach for Mining Injective General Episodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMAD/CODS ![In: Proceedings of the 6th Joint International Conference on Data Science & Management of Data (10th ACM IKDD CODS and 28th COMAD), Mumbai, India, January 4-7, 2023, pp. 1-9, 2023, ACM, 978-1-4503-9797-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Sahar Diskin, Michael Krivelevich |
On the Performance of the Depth First Search Algorithm in Supercritical Random Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 29(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Xiaolong Wan, Hongzhi Wang 0001 |
Efficient semi-external depth-first search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 599, pp. 170-191, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Eric Allender, Archit Chauhan, Samir Datta |
Depth-first search in directed planar graphs, revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 59(4), pp. 289-319, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Surender Baswana, Shiv Kumar Gupta 0001, Ayush Tulsyan |
Fault Tolerant Depth First Search in Undirected Graphs: Simple Yet Efficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 84(7), pp. 2028-2049, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jie Yuan, Daniel Jones 0006, Gemma L. Nicholson |
Flexible Real-time Railway Crew Rescheduling using Depth-first Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Rail Transp. Plan. Manag. ![In: J. Rail Transp. Plan. Manag. 24, pp. 100353, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Jacquet, Svante Janson |
Depth-First Search performance in a random digraph with geometric outdegree distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.14865, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo |
Iterative Depth-First Search for Fully Observable Non-Deterministic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.04322, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Robert E. Tarjan, Uri Zwick |
Finding Strong Components Using Depth-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.07197, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Jie Wang, Yongfang Xie, Shiwen Xie, Xiaofang Chen |
Cooperative particle swarm optimizer with depth first search strategy for global optimization of multimodal functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 52(9), pp. 10161-10180, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Saidgani Musaev, Wan J. Fokkink |
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 467-471, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Jacquet, Svante Janson |
Depth-First Search Performance in a Random Digraph with Geometric Degree Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AofA ![In: 33rd International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2022, June 20-24, 2022, Philadelphia, PA, USA., pp. 11:1-11:15, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-230-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo |
Iterative Depth-First Search for FOND Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, pp. 90-99, 2022, AAAI Press, 978-1-57735-874-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Hanan Hussein, Mohamed Hanafy Radwan, Hussein A. Elsayed, Sherine M. Abd El-Kader |
Depth-first-search-tree based D2D power allocation algorithms for V2I/V2V shared 5G network resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 27(5), pp. 3179-3193, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Eric Allender, Archit Chauhan, Samir Datta |
Depth-First Search in Directed Planar Graphs, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., pp. 7:1-7:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-201-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Vasileios Trigonakis, Jean-Pierre Lozi, Tomás Faltín, Nicholas P. Roth, Iraklis Psaroudakis, Arnaud Delamare, Vlad Haprian, Calin Iorgulescu, Petr Koupy, Jinsoo Lee, Sungpack Hong, Hassan Chafi |
aDFS: An Almost Depth-First-Search Distributed Graph-Querying System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2021 USENIX Annual Technical Conference, USENIX ATC 2021, July 14-16, 2021., pp. 209-224, 2021, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Eric Allender, Archit Chauhan, Samir Datta |
Depth-First Search in Directed Graphs, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR20, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Xiaolong Wan, Hongzhi Wang 0001 |
Efficient Semi-External Depth-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.03198, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Nathanaël Enriquez, Gabriel Faraud, Laurent Ménard |
Limiting shape of the depth first search tree in an Erdős-Rényi graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 56(2), pp. 501-516, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Ying-Hsuan Chen, Chang-Ming Wu |
An Improved Algorithm for Searching Maze Based on Depth-First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE-TW ![In: IEEE International Conference on Consumer Electronics - Taiwan, ICCE-TW 2020, Taoyuan, Taiwan, September 28-30, 2020, pp. 1-2, 2020, IEEE, 978-1-7281-7399-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Taisuke Izumi, Yota Otachi |
Sublinear-Space Lexicographic Depth-First Search for Bounded Treewidth Graphs and Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference)., pp. 67:1-67:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-138-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Onur Ugurlu, Vahid Khalilpour Akram, Deniz Türsel Eliiyi |
A Distributed Depth First Search based Algorithm for Edge Connectivity Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSM ![In: 16th International Conference on Network and Service Management, CNSM 2020, Izmir, Turkey, November 2-6, 2020, pp. 1-6, 2020, IEEE, 978-3-903176-31-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Shahbaz Khan 0004, Shashank K. Mehta |
Depth First Search in the Semi-streaming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.03689, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Bohua Yang, Dong Wen 0001, Lu Qin 0001, Ying Zhang 0001, Xubo Wang, Xuemin Lin 0001 |
Fully Dynamic Depth-First Search in Directed Graphs. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 13(2), pp. 142-154, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | S. Janardhanaprabhu, Veluchamy Malathi |
Brain Tumor Detection Using Depth-First Search Tree Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Syst. ![In: J. Medical Syst. 43(8), pp. 254:1-254:12, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoyan Liao, Yang Li, Ningyun Lu, Bin Jiang 0001 |
Optimal Test Sequencing Method with Unreliable Tests based on Quasi-depth First Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAA SAFEPROCESS ![In: CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2019, Xiamen, China, July 5-7, 2019, pp. 794-798, 2019, IEEE, 978-1-7281-0681-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Daniele G. Spampinato, Upasana Sridhar, Tze Meng Low |
Linear algebraic depth-first search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARRAY@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY@PLDI 2019, Phoenix, AZ, USA, June 22, 2019., pp. 93-104, 2019, ACM, 978-1-4503-6717-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Shahbaz Khan 0004, Shashank K. Mehta |
Depth First Search in the Semi-streaming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019, March 13-16, 2019, Berlin, Germany, pp. 42:1-42:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-100-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 470 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|