The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase NP-complete (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1944-1960 (18) 1961-1965 (16) 1966-1967 (16) 1968-1969 (16) 1970-1971 (16) 1972-1973 (26) 1974 (22) 1975 (29) 1976 (58) 1977 (54) 1978 (47) 1979 (55) 1980 (65) 1981 (71) 1982 (67) 1983 (67) 1984 (83) 1985 (98) 1986 (120) 1987 (145) 1988 (203) 1989 (236) 1990 (298) 1991 (267) 1992 (289) 1993 (295) 1994 (376) 1995 (431) 1996 (460) 1997 (540) 1998 (595) 1999 (737) 2000 (902) 2001 (998) 2002 (1202) 2003 (1396) 2004 (1827) 2005 (2162) 2006 (2327) 2007 (2546) 2008 (2583) 2009 (1851) 2010 (523) 2011 (333) 2012 (420) 2013 (418) 2014 (429) 2015 (520) 2016 (418) 2017 (445) 2018 (455) 2019 (492) 2020 (463) 2021 (569) 2022 (584) 2023 (580) 2024 (146)
Publication types (Num. hits)
article(10872) book(50) data(3) incollection(169) inproceedings(19235) phdthesis(74) proceedings(2)
Venues (Conferences, Journals, ...)
CoRR(1137) Discret. Math.(460) IEEE Trans. Comput. Aided Des....(221) MFCS(215) ICALP(208) Theor. Comput. Sci.(202) STACS(200) J. ACM(160) Discret. Appl. Math.(158) ICRA(147) Graphs Comb.(145) WG(145) DAC(138) LICS(137) IEEE Trans. Parallel Distribut...(133) CSL(132) More (+10 of total 3900)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22091 occurrences of 8614 keywords

Results
Found 30405 publication records. Showing 30405 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
15Mike J. Grannell, Martin Knor On the number of triangular embeddings of complete graphs and complete tripartite graphs. Search on Bibsonomy J. Graph Theory The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Maruthi Narayanan, Benjamin B. Kimia To complete or not to complete: Gap completion in real images. Search on Bibsonomy CVPR Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Edita Mácajová, Edita Rollová On the flow numbers of signed complete and complete bipartite graphs. Search on Bibsonomy Electron. Notes Discret. Math. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Anders Sune Pedersen Complete and Almost Complete Minors in Double-Critical 8-Chromatic Graphs. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Sebastian M. Cioaba, André Kündgen, Craig Timmons, Vladislav V. Vysotsky Covering Complete r-Graphs with Spanning Complete r-Partite r-Graphs. Search on Bibsonomy Comb. Probab. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Noam Livne All Natural NP-Complete Problems Have Average-Case Complete Versions. Search on Bibsonomy Comput. Complex. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15Dan McQuillan, R. Bruce Richter A Parity Theorem for Drawings of Complete and Complete Bipartite Graphs. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15R. S. Manikandan, P. Paulraja Hamilton cycle decompositions of the tensor products of complete bipartite graphs and complete multipartite graphs. Search on Bibsonomy Discret. Math. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15Stanislav Jendrol', Jozef Miskuf, Roman Soták Total edge irregularity strength of complete graphs and complete bipartite graphs. Search on Bibsonomy Discret. Math. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15Saïd Bettayeb, Quan T. Nguyen The genus of the complete multipartite graph and the complete multi-layered graph. Search on Bibsonomy AICCSA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15G. Sethuraman 0001, S. Venkatesh Decomposition Of Complete Graphs And Complete Bipartite Graphs Into α-Labelled Trees. Search on Bibsonomy Ars Comb. The full citation details ... 2009 DBLP  BibTeX  RDF
15Mike J. Grannell, Terry S. Griggs A lower bound for the number of triangular embeddings of some complete graphs and complete regular tripartite graphs. Search on Bibsonomy J. Comb. Theory, Ser. B The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Stanislav Jendrol', Jozef Miskuf, Roman Soták Total Edge Irregularity Strength of Complete Graphs and Complete Bipartite Graphs. Search on Bibsonomy Electron. Notes Discret. Math. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Sylwia Cichacz Decomposition of complete bipartite digraphs and even complete multigraphs into closed trails. Search on Bibsonomy Discuss. Math. Graph Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Hongliang Lai, Dexue Zhang Complete and directed complete Omega-categories. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Stefano Marcugini, Alfredo Milani, Fernanda Pambianco Complete arcs in PG(2, 25): The spectrum of the sizes and the classification of the smallest complete arcs. Search on Bibsonomy Discret. Math. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Erhard Aichinger, Jürgen Ecker Every (k+1)-affine Complete Nilpotent Group of Class K Is Affine Complete. Search on Bibsonomy Int. J. Algebra Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15V. V. Ovchinnikov Architecture of a semantic data integration system based on a semantically complete model and a semantically complete query language. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15R. S. Manikandan, P. Paulraja Hamiltonian decompositions of the tensor product of a complete graph and a complete bipartite graph. Search on Bibsonomy Ars Comb. The full citation details ... 2006 DBLP  BibTeX  RDF
15Floris Geerts, Sofie Haesevoets, Bart Kuijpers First-order Complete and Computationally Complete Query Languages for Spatio-Temporal Databases Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
15Alewyn P. Burger, Ernest J. Cockayne, Christina M. Mynhardt Altitude of small complete and complete bipartite graphs. Search on Bibsonomy Australas. J Comb. The full citation details ... 2005 DBLP  BibTeX  RDF
15Ruying Liu, Haixing Zhao, Chengfu Ye A complete solution to a conjecture on chromatic uniqueness of complete tripartite graphs. Search on Bibsonomy Discret. Math. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi A complete characterization of complete intersection-type preorders. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF lambda models, completeness, Lambda calculus, intersection types
15G. Sethuraman 0001, P. Selvaraju Decompositions of complete graphs and complete bipartite graphs into isomorphic supersubdivision graphs. Search on Bibsonomy Discret. Math. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Brian Jacobson, Andrew Niedermaier, Victor Reiner Critical groups for complete multipartite graphs and Cartesian products of complete graphs. Search on Bibsonomy J. Graph Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Nicholas Pippenger Enumeration of Matchings in the Incidence Graphs of Complete and Complete Bipartite Graphs. Search on Bibsonomy SIAM J. Discret. Math. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Mathew Cropper, Anthony J. W. Hilton Hall parameters of complete and complete bipartite graphs. Search on Bibsonomy J. Graph Theory The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Frank Harary, Michael S. Jacobson Destroying symmetry by orienting edges: Complete graphs and complete bigraphs. Search on Bibsonomy Discuss. Math. Graph Theory The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi A Complete Characterization of Complete Intersection-Type Theories Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
15James Harley Jan Boerman: The Complete Tape Music Dick Raaijmakers: The Complete Tape Music. Search on Bibsonomy Comput. Music. J. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi A Complete Characterization of the Complete Intersection-Type Theories. Search on Bibsonomy ICALP Satellite Workshops The full citation details ... 2000 DBLP  BibTeX  RDF
15Christian Laforest, Arthur L. Liestman, David Peleg, Thomas C. Shermer, Dominique Sotteau Edge-disjoint spanners of complete graphs and complete digraphs. Search on Bibsonomy Discret. Math. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Nigel Martin Complete bipartite factorisations by complete bipartite graphs. Search on Bibsonomy Discret. Math. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Dorit Dor, Michael Tarsi Graph Decomposition is NP-Complete: A Complete Proof of Holyer's Conjecture. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Christian Laforest, Arthur L. Liestman, Thomas C. Shermer, Dominique Sotteau Edge Disjoint Graph Spanners of Complete Graphs and Complete Digraphs. Search on Bibsonomy HICSS (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Qing-Xue Huang Complete m-partite decompositions of complete multigraphs. Search on Bibsonomy Ars Comb. The full citation details ... 1996 DBLP  BibTeX  RDF
15Jorge L. Ramírez Alfonsín Cycle decompositions of complete and complete multipartite graphs. Search on Bibsonomy Australas. J Comb. The full citation details ... 1995 DBLP  BibTeX  RDF
15Chiang Lin, Jenq-Jong Lin, Tay-Woei Shyu Complete Bipartite Decompositions of Crowns, with Applications to Complete Directed Graphs. Search on Bibsonomy Combinatorics and Computer Science The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
15Midori Kobayashi, Gisaku Nakamura On 4-semiregular 1-factorizations of complete graphs and complete bipartite graphs. Search on Bibsonomy Graphs Comb. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
15Ralph Freese, George Grätzer, E. Tamás Schmidt On Complete Congruence Lattices of Complete Modular Lattices. Search on Bibsonomy Int. J. Algebra Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
15Dominique de Caen, D. G. Hoffman Impossibility of Decomposing the Complete Graph on n Points into n-1 Isomorphic Complete Bipartite Graphs. Search on Bibsonomy SIAM J. Discret. Math. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
15Hans-Dietrich O. F. Gronau Coverings of the complete (di-)graph with n vertices by complete bipartite (di-)graphs with n vertices I. Search on Bibsonomy Discret. Math. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
15Nuel Belnap, Storrs McCall Every functionally complete m-valued logic has a Post-complete axiomatization. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1970 DBLP  DOI  BibTeX  RDF
15Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter Applying Modular Decomposition to Parameterized Cluster Editing Problems. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Edge modification problems, Bicluster graphs, NP-complete problems, Fixed-parameter tractability, Cluster graphs
15Foto N. Afrati, Phokion G. Kolaitis Repair checking in inconsistent databases: algorithms and complexity. Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs
15Anatolij Dvurecenskij, Flavia Ventriglia On two versions of the Loomis-Sikorski Theorem for algebraic structures. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Generalized pseudo effect algebra, Pseudo Vitali space, Monotone ?-complete algebra, Loomis-Sikorski Theorem, g-Effect-tribe, g-Vitali space, State
15Elena I. Ganzha, Valery M. Loginov, Sergey P. Tsarev Exact Solutions of Hyperbolic Systems of Kinetic Equations. Application to Verhulst Model with Random Perturbation. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complete non-stationary solutions, kinetic processes, Verhulst model, hyperbolic systems, Master equations
15Olivier Finkel Wadge Degrees of Infinitary Rational Relations. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF 2-tape Büchi automata, infinitary rational relations, Cantor topology, topological complexity, Wadge hierarchy, Wadge degrees, Wadge games, Borel hierarchy, complete sets
15Sun-Yuan Hsieh, Huang-Ming Gao On the partial terminal Steiner tree problem. Search on Bibsonomy J. Supercomput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF The Steiner tree problem, The partial terminal Steiner tree problem, Approximation algorithms, NP-complete, MAX SNP-hard
15Antonio Di Nola, Mirko Navara MV-Algebras with the Cantor-Bernstein Property. Search on Bibsonomy IFSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Cantor-Bernstein theorem, boolean element of an MV-algebra, partition of unity, direct product decomposition, ?-complete MV-algebra, multiplicative MV-algebra, MV-algebra
15Chun-Yuan Chiu, Yu-Liang Kuo, Hsiao-Kuang Wu, Gen-Huey Chen Bandwidth constrained routing problem in multi-hop wireless networks. Search on Bibsonomy MSWiM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF NP-complete, MAC, bandwidth, QoS routing, multi-hop wireless network
15Yen Hung Chen, Chuan Yi Tang The Bottleneck Tree Alignment Problems. Search on Bibsonomy ICCSA (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bottleneck tree alignment, metric, NP-complete, Edit distance, ultrametric
15Dieter Spreen Strong reducibility of partial numberings. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Partial numberings, Total numberings, Complete numberings, Degree structure, Reducibility
15Gang Zeng, Sylvain Paris, Long Quan, François X. Sillion Progressive Surface Reconstruction from Images Using a Local Prior. Search on Bibsonomy ICCV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Local Prior, Voxel Carving, Complete/Partial Reconstruction, Surface Reconstruction, Graph Cut
15Vincenzo Cutello, Giuseppe Narzisi, Giuseppe Nicosia, Mario Pavone Clonal Selection Algorithms: A Comparative Case Study Using Effective Mutation Potentials. Search on Bibsonomy ICARIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CLONALG, opt-IA, one- counting, trap functions, 2D HP Protein Structure Prediction, pattern recognition, NP-complete problems, numerical optimization, Clonal Selection Algorithms
15Dong-Joon Shin, P. Vijay Kumar, Tor Helleseth An Assmus-Mattson-Type Approach for Identifying 3-Designs from Linear Codes over Z4. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Z 4 codes, Assmus-Mattson, complete weight enumerator, t-designs
15Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick Existential second-order logic over graphs: Charting the tractability frontier. Search on Bibsonomy J. ACM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Existential second-order logic, graph constraints, prefix classes, graph coloring, NP-complete problems, finite model theory
15Laurent Perrinet Finding independent components using spikes: A natural result of hebbian learning in a sparse spike coding scheme. Search on Bibsonomy Nat. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF over-complete representation, parallel asynchronous processing, sparse spike coding, wavelet transform, emergence, vision, natural images statistics, hebbian learning
15Marcel Erné, Branimir Seselja, Andreja Tepavcevic Posets Generated by Irreducible Elements. Search on Bibsonomy Order The full citation details ... 2003 DBLP  DOI  BibTeX  RDF (completely) irreducible, join-dense, completion, poset, complete lattice
15Anthony T. C. Tam, Cho-Li Wang Contention-Aware Communication Schedule for High-Speed Communication. Search on Bibsonomy Clust. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF congestion control, hierarchical network, complete exchange, low-latency communication
15Chiuyuan Chen Any Maximal Planar Graph with Only One Separating Triangle is Hamiltonian. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF maximal planar graph, separating triangle, NP-complete, planar graph, hamiltonian cycle
15Victor Khomenko, Maciej Koutny, Alexandre Yakovlev Detecting State Coding Conflicts in STG Unfoldings Using SAT. Search on Bibsonomy ACSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF complete state coding, CSC, net unfoldings, Petri nets, asynchronous circuits, SAT, signal transition graphs, STG, automated synthesis
15Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier Graph-Modeled Data Clustering: Fixed-Parameter Algorithms for Clique Generation. Search on Bibsonomy CIAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF edge modification problems, data clustering, NP-complete problems, exact algorithms, fixed-parameter tractability
15Marek Golasinski Disconnected Equivariant Rational Homotopy Theory. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF closed model category, cofinite EI-category, equivariant KS-minimal model, Grothendieck construction, Hamiltonian group, linearly compact k-module, system of differential graded complete algebras and simplicial sets
15Susan Landau 0001, Neil Immerman Embedding Linkages on an Integer Lattice. Search on Bibsonomy Algorithmica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF NP-complete, Embedding, Lattice, Linkage
15Demetres D. Kouvatsos, Khalid Al-Begain, Irfan-Ullah Awan A Queueing Model for a Wireless GSM/GPRS Cell with Multiple Service Classes. Search on Bibsonomy NETWORKING The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Cellular mobile system, Global System for Mobile Telecommunication (GSM), wireless GSM/GPRS cell, complete partitioning scheme (CPS), maximum entropy (ME) principle, generalised exponential (GE) distribution, first-come-first-served (FCFS) rule, processor sharing (PS) rule, performance evaluation, General Packet Radio Service (GPRS)
15Pierre Soille Advances in the Analysis of Topographic Features on Discrete Images. Search on Bibsonomy DGCI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF minima imposition, plateau, lower complete transformation, grey scale hit-or-miss, crest lines, grey scale skeletonisation, Mathematical morphology, watersheds
15Zdenka Riecanová Sub-effect algebras and Boolean sub-effect algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Sub-effect algebra, Boolean sub-effect algebra, Complete effect algebra, Blocks, Effect algebra
15Joanna Bryson, Lynn Andrea Stein Modularity and Specialized Learning: Mapping between Agent Architectures and Brain Organization. Search on Bibsonomy Emergent Neural Computational Architectures Based on Neuroscience The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Structural and Temporal Modularity, Complete Autonomous Agents, Behavior-Based AI, Brain Organization, Action Selection and Synchronization, Perceptual, Episodic and Semantic Memory, Spatial
15Nicolas T. Courtois Efficient Zero-Knowledge Authentication Based on a Linear Algebra Problem MinRank. Search on Bibsonomy ASIACRYPT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF MinRank problem, rank-distance codes, syndrome decoding (SD), identification, NP-complete problems, group signatures, Zero-knowledge, ring signatures, multivariate cryptography, entity authentication
15Michael Buro Simple Amazons Endgames and Their Connection to Hamilton Circuits in Cubic Subgrid Graphs. Search on Bibsonomy Computers and Games The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Amazons endgame, planning, NP-complete, puzzle
15Jens Gramm, Rolf Niedermeier Faster Exact Solutions for MAX2SAT. Search on Bibsonomy CIAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF MAX2SAT, Maximum Cut, NP-complete problems, exact algorithms, parameterized complexity
15Tomoko Ninomiya, Masao Mukaidono Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF the Method of Indeterminate Coefficients, Independency of axioms, complete set of axioms, Boolean algebra
15Jan E. Jonker Knaster-Tarski Revisited. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Complete partial order, Generalization, Fixpoint
15Vincenzo Auletta, Amelia De Vivo, Vittorio Scarano Multiple Templates Access of Trees in Parallel Memory Systems. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF multiple template access, node mapping algorithms, subtree templates, root-to-leaf path templates, preprocessing phase, data structure, time complexity, tree data structures, load, complete binary trees, conflict-free access, parallel access, memory modules, parallel memory systems
15Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF completeness criteria, set-valued logic, Boolean completeness problems, r-valued set logic, logic of functions, n-tuples, set logic circuits, S-complete, U-maximal sets, completeness criterion, U functions, compositions, Boolean functions, Boolean functions, intersection, union
15Yu-Chee Tseng, Sandeep K. S. Gupta All-to-All Personalized Communication in a Wormhole-Routed Torus. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallel computing, wormhole routing, collective communication, torus, multicomputer network, complete exchange, All-to-all personalized communication
15Farokh B. Bastani, Bojan Cukic Impact of program transformation on software reliability assessment. Search on Bibsonomy HASE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
15Horst Herrlich CompactT0-spaces andT0-compactifications. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Extension closed and nearly closed subspaces ofT 0-spaces, compact spaces, compactifications, k-complete spaces, k-completions, Wallman compactifications, ech-Stone compactifications, extensions of mappings, C*-embeddings, E-compactifications, almost reflective and implicational subcategories ofTop
15Wenfei Fan, Floris Geerts Capturing missing tuples and missing values. Search on Bibsonomy PODS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF information completeness, master data, missing data
15Wojciech Jamroga, Jürgen Dix Model Checking Abilities of Agents: A Closer Look. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-agent systems, Model checking, Computational complexity
15Danny Harnik, Moni Naor, Omer Reingold, Alon Rosen Completeness in Two-Party Secure Computation: A Computational View. Search on Bibsonomy J. Cryptol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Danny Harnik, Moni Naor, Omer Reingold, Alon Rosen Completeness in two-party secure computation: a computational view. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF oblivious tansfer, completeness, secure computation
15David W. Juedes, Jack H. Lutz Completeness and Weak Completeness Under Polynomial-Size Circuits. Search on Bibsonomy STACS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
15Alan Mycroft Completeness and predicate-based abstract interpretation. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
15Dung T. Huynh, Lu Tian The complexity of readiness and failure equivalences for processes. Search on Bibsonomy SPDP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
14Benjamin Piwowarski, Andrew Trotman, Mounia Lalmas Sound and complete relevance assessment for XML retrieval. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML, evaluation, XML retrieval, passage retrieval, INEX, relevance assessment
14Luca Pulina, Armando Tacchella QuBIS: An (In)complete Solver for Quantified Boolean Formulas. Search on Bibsonomy MICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Dorothea Baumeister, Jörg Rothe The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions. Search on Bibsonomy LATA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Jian Xu 0004, Fucai Zhou, Xinyang Li, Muzhou Yang Hierarchical Data Processing Model and Complete Tree Key Management Mechanism. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Dario Fischbein, Sebastián Uchitel On correct and complete strong merging of partial behaviour models. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modal transition systems, partial behaviour models, merge, elaboration
14Peter Che Bor Lam, Wensong Lin, Jianzhuan Wu L ( j , k )- and circular L ( j , k )-labellings for the products of complete graphs. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ? j, k -number, ? j, k -number, Cartesian product, Direct product
14Peng Yu, B. T. Thomas Yeo, Patricia Ellen Grant, Bruce Fischl, Polina Golland Cortical Folding Development Study based on Over-Complete Spherical Wavelets. Search on Bibsonomy ICCV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Jiu-Tao Nie, Xu Cheng 0001 An Efficient SSA-Based Algorithm for Complete Global Value Numbering. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Ryan C. Harkins, John M. Hitchcock, Aduri Pavan Strong Reductions and Isomorphism of Complete Sets. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Representation of Partial Knowledge and Query Answering in Locally Complete Databases. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Haiyun Bian, Raj Bhatnagar Efficiently Mining Maximal 1-complete Regions from Dense Datasets. Search on Bibsonomy ICDM Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Grigore Rosu Complete Categorical Deduction for Satisfaction as Injectivity. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Javier Esparza, Petr Jancar, Alexander Miller On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Sunshin Kim, Kwang Su Jung, Keun Ho Ryu Automatic Orthologous-Protein-Clustering from Multiple Complete-Genomes by the Best Reciprocal BLAST Hits. Search on Bibsonomy BioDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #400 of 30405 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license