The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase P-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
40Songxin Liang, David J. Jeffrey An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. Search on Bibsonomy AISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Complete discrimination system, complete root classification, root classification, parametric polynomial
38Ming-Hway Huang, Chin-Mei Fu, Hung-Lin Fu Packing 5-cycles into balanced complete m -partite graphs for odd m. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Complete m-partite graph, Balanced complete m-partite graph, 5-cycle, Decomposition, Packing, Leave
37Yi Cao, Joseph C. Culberson, Lorna Stewart DP-Complete Problems Derived from Extremal NP-Complete Properties. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DP-complete, extremal problem, unfrozen, complexity, colorability, implicant
37Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou Inclusion Dependencies and Their Interaction with Functional Dependencies. Search on Bibsonomy PODS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF relational database, functional dependency, PSPACE-complete, inclusion dependency, complete axiomatization
35Mark von Rosing, August-Wilhelm Scheer, John A. Zachman, Daniel T. Jones, James P. Womack, Henrik von Scheel Phase 3: Process Concept Evolution. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Jonnro Erasmus Variation in Business Processes. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel Process Engineer Training. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Henrik von Scheel, Zakaria Maamar, Mona von Rosing Social Media and Business Process Management. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Wim Laurier, Simon M. Polovina The BPM Ontology. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Joshua von Scheel, Mark von Rosing, Marianne Fonseca, Ulrik Foldager The Need for a Standardized and Common Way of Process Training. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer The BPM Way of Implementation and Governance. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel, Adam D. M. Svendsen, Alex Kokkonen, Andrew M. Ross, Anette Falk Bøgebjerg, Anni Olsen, Antony Dicks, Asif Qumer Gill, Bas Bach, Bob J. Storms, Callie Smit, Cay Clemmensen, Christopher K. Swierczynski, Clemens Utschig-Utschig, Dan Moorcroft, Daniel T. Jones, David Coloma, Deb Boykin, Dickson Hunja Muhita, Duarte Gonçalves, Fabrizio Maria Maggi, Fan Zhao, Fatima Senghore, Fatma Dandashi, Fred Cummins, Freek Stoffel, Gabriel von Scheel, Gabriella von Rosing, Gary Doucet, Gert Meiling, Gert O. Jansson, Hans Scheruhn, Hendrik Bohn, Henk de Man, Henk Kuil, Henrik Naundrup Vester, Jacob Gammelgaard, James P. Womack, Jeanne W. Ross, Jeff Greer, Jens Theodor Nielsen, John A. Zachman, John Bertram, John Golden, John M. Rogers, Jonnro Erasmus, Joshua von Scheel, Joshua Waters Business Process Trends. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Henrik von Scheel, Gabriella von Rosing, Krzysztof Skurzak, Maria Hove BPM and Maturity Models. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mathias Kirchmer, Peter Franz, Mark von Rosing The Chief Process Officer: An Emerging Top Leadership Role. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Ulrik Foldager, Maria Hove, Joshua von Scheel, Anette Falk Bøgebjerg Working with the Business Process Management (BPM) Life Cycle. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Mathias Kirchmer Focusing Business Processes on Superior Value Creation: Value-oriented Process Modeling. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Joshua von Scheel, Asif Qumer Gill Applying Agile Principles to BPM. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Henrik von Scheel, Mark von Rosing, Maria Hove, Marianne Fonseca, Ulrik Foldager Phase 2: Process Concept Evolution. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Neil Kemp, Maxim Arzumanyan Understanding Business Process Management Roles. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Hans-Jürgen Scheruhn, Mark von Rosing, Richard L. Fallon Information Modeling and Process Modeling. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Marlon Dumas, Fabrizio Maria Maggi Evidence-Based Business Process Management. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Maria Hove, Henrik von Scheel, Ulrik Foldager Why Work with Process Templates. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Maria Hove, Gabriella von Rosing, Bob J. Storms Business Process Management Governance. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel Process Architect Training. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Nathaniel Palmer iBPM - Intelligent Business Process Management. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel Process Owner Training. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Gary Doucet, Gert O. Jansson, Gabriel von Scheel, Freek Stoffel, Bas Bach, Henk Kuil, Joshua Waters Business Process Outsourcing. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel Conclusion. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Gabriella von Rosing, David Coloma, Henrik von Scheel Sustainability Oriented Process Modeling. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Wim Laurier, Simon M. Polovina The Value of Ontology. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Hendrik Bohn, Gabriel von Scheel, Richard Conzo, Maria Hove Business Process Portfolio Management. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel Process Expert Training. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer The BPM Way of Modeling. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Keith D. Swenson, Mark von Rosing Phase 4: What Is Business Process Management? Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Maria Hove, Marianne Fonseca, Mona von Rosing, Joshua von Scheel, Dickson Hunja Muhita BPM Change Management. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Neil Kemp, Maria Hove, Jeanne W. Ross Process Tagging - A Process Classification and Categorization Concept. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Stephen White, Fred Cummins, Henk de Man Business Process Model and Notation - BPMN. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Henrik von Scheel, Mark von Rosing, Marianne Fonseca, Maria Hove, Ulrik Foldager Phase 1: Process Concept Evolution. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mona von Rosing, Henrik von Scheel, Justin Tomlinson, Victor Abele, Kenneth D. Teske, Michael D. Tisdel Business Process Management Alignment. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Maria Hove, Henrik von Scheel BPM Center of Excellence. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer The Business Process Management Way of Training and Coaching. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer The BPM Way of Thinking. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Henrik von Scheel, Mark von Rosing, August-Wilhelm Scheer The BPM Way of Working. Search on Bibsonomy The Complete Business Process Handbook, Vol. I The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
34Chiun-Chieh Hsu All-fault-tolerant embedding of a complete binary tree in a group of Cayley graphs. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF all-fault-tolerant embedding, n-dimensional complete transposition graph, bubblesort graph, fault-tolerant scheme, fault tolerant computing, multiprocessor interconnection networks, Cayley graphs, tree data structures, star graph, complete binary tree
33Yu-Chee Tseng, Ting-Hsien Lin, Sandeep K. S. Gupta, Dhabaleswar K. Panda 0001 Bandwidth-Optimal Complete Exchange on Wormhole-Routed 2D/3D Torus Networks: A Diagonal-Propagation Approach. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF parallel computing, wormhole routing, distributed memory systems, Collective communication, torus, interprocessor communication, complete exchange
32William Lloyd Bircher, Lizy K. John Complete System Power Estimation: A Trickle-Down Approach Based on Performance Events. Search on Bibsonomy ISPASS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF power sensing hardware, complete system power estimation, microprocessor performance event, microprocessor performance counter, online measurement, complete system power consumption, microprocessor power, on-chip performance event counter, system power consumption estimation, power model
32Alexander A. Davydov, Giorgio Faina, Fernanda Pambianco Constructions of Small Complete Caps in Binary Projective Spaces. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF binary caps, complete caps, small complete caps, projective space
32Robert B. Fisher, Andrew W. Fitzgibbon, David W. Eggert Extracting Surface Patches from Complete Range Descriptions. Search on Bibsonomy 3DIM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF surface patch extraction, complete range descriptions, feature descriptions, single view, partial patch fragments, complete part models, range data segmentation program, merged range datasets, CAD, CAD model, geometric primitives
32Mee Yee Chan, Shiang-Jen Lee Fault-Tolerant Embedding of Complete Binary Trees in Hypercubes. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF graph-theoretic question, simulation, computational complexity, NP-complete, hypercubes, hypercube networks, trees (mathematics), upper bound, complete binary trees, k-tree, fault tolerant embedding, fault tolerantcomputing
31Zemin Jin, Mikio Kano, Xueliang Li 0001, Bing Wei 0001 Partitioning 2-edge-colored complete multipartite graphs into monochromatic cycles, paths and trees. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Complete multipartite graphs, Monochromatic subgraphs, Complexity, Graph partitioning
31Hilary A. Priestley Ordered Sets and Complete Lattices. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Yuri Gurevich Matrix Decomposition Problem Is Complete for the Average Case Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF complete problem, algebraic average-case complete problem, matrix decomposition
30I. Farkas Certification of algorithm 165 [S21]: complete elliptic integrals. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF complete elliptic integral of the second kind, complete elliptic intergral of the first kind, special functions
29Hanmin Jung, Mikyoung Lee, Won-Kyung Sung, Beom-Jong You Auto-complete for Improving Reliability on Semantic Web Service Framework. Search on Bibsonomy HCI (9) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Semantic Web Framework, OntoFrame, Semantic Web, Reliability, Document Indexing, Auto-complete
29Yuan Yuan, Yan Tong, Huanguo Zhang Complete Mapping Polynomials over Finite Field F16. Search on Bibsonomy WAIFI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF complete mapping polynomials, unique factorization domain, permutation polynomials
29Matthias Fitzi, Juan A. Garay, Ueli M. Maurer, Rafail Ostrovsky Minimal Complete Primitives for Secure Multi-Party Computation. Search on Bibsonomy J. Cryptol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Complete functions, Oblivious cast, Unconditional security, Multi-party computation, Secure function evaluation
29Carsten Schürmann, Jatin Shah Representing reductions of NP-complete problems in logical frameworks: a case study. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF linear logic, NP-complete problems, logical frameworks
29Yu-Chee Tseng, Sandeep K. S. Gupta, Dhabaleswar K. Panda 0001 An efficient scheme for complete exchange in 2D tori. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF 2D tori, wormhole-routed tori, bisection bandwidth, parallel algorithms, parallel computing, multiprocessor interconnection networks, mesh networks, complete exchange, all-to-all personalized communication
29Christian Glaßer, Aduri Pavan, Alan L. Selman, Samik Sengupta Properties of NP-Complete Sets. Search on Bibsonomy CCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Harry Buhrman, Albrecht Hoene, Leen Torenvliet Splittings, Robustness and Structure of Complete Sets. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28O. Nouisser, Driss Sbibih, Paul Sablonnière Pairs of B-Splines with Small Support on the Four-Directional Mesh Generating a Partition of Unity. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF complete 1-splines, complete 1-splines, minimal degree, B-splines
28Joshua Berman, Arthur Drisko, François Lemieux, Cristopher Moore, Denis Thérien Circuits and Expressions with NOn-Associative Gates. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF non-associative gates, non-associative groupoid, polyabelian groupoids, arbitrary Boolean functions, NC/sup 1/-complete, CIRCUIT VALUE, Boolean functions, multiplication, P-complete, EXPRESSION EVALUATION
28Mohamed Tounsi 0002 A Genetic-Based Approach for Satisfiability Problems. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Genetic Algorithm, SAT, NP-complete Problem, Hamiltonian Circuit
27Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon McMillan's Complete Prefix for Contextual Nets. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF read arcs, complete finite prefix, verification, Petri nets, unfolding
27Chen Li 0001 Computing complete answers to queries in the presence of limited access patterns. Search on Bibsonomy VLDB J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Limited access patterns to relations, Complete answers to queries, Query stability
27Hideyuki Torii, Makoto Nakamura, Naoki Suehiro General Construction of Periodic Complete Complementary Codes Composed of Expanded Modulatable Orthogonal Sequences. Search on Bibsonomy ISCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF complete complementary code, orthogonal sequence
27Si-Gwan Kim, Seung Ryoul Maeng, Jung Wan Cho Complete Exchange Algorithms in Wormhole-Routed Torus Networks: A Divide-and-Conquer Strategy. Search on Bibsonomy ISPAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF collective communication, torus, wormhole, complete exchange
27John M. Hitchcock, Aduri Pavan Comparing Reductions to NP-Complete Sets. Search on Bibsonomy ICALP (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Juris Hartmanis, Neil Immerman On Complete Problems for NP$\cap$CoNP. Search on Bibsonomy ICALP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
26Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco Complete ( q 2 + q + 8)/2-caps in the spaces PG (3, q ), q = 2 (mod 3) an odd prime, and a complete 20-cap in PG (3, 5). Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 51E21, 94B05, 51E22
25John Harding kappa -Complete Uniquely Complemented Lattices. Search on Bibsonomy Order The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Uniquely complemented lattice, Complete
25Shung-Liang Wu, Hung-Lin Fu Maximum cyclic 4-cycle packings of the complete multipartite graph. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Complete multipartite graph, Cycle system, Cycle packing, 4-cycle, Cyclic
25Lauri Hella, Jose Maria Turull Torres Complete Problems for Higher Order Logics. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lindström Quantifiers, Complete Problems, Higher Order Logics
25Thomas Moor, Jörg Raisch, Siu O'Young Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF behavioral approach, l-complete approximations, hybrid systems, supervisory control
25Anatolij Dvurecenskij, Maria Gabriella Graziano Dedekind Complete Commutative BCK-algebras. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF atomic BCK-algebra, commutative BCK-algebra, Dedekind complete BCK-algebra, relative cancellation property, subdirect product, universal group
25Young-Joo Suh, Sudhakar Yalamanchili Configurable Algorithms for Complete Exchange in 2D Meshes. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF parallel algorithms, collective communication, Interprocessor communication, all-to-all communication, complete exchange, all-to-all personalized exchange
25Lars Albertsson, Peter S. Magnusson Using Complete System Simulation for Temporal Debugging of General Purpose Operating Systems and Workload. Search on Bibsonomy MASCOTS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Temporal Debugging, Simics, Complete System Simulation, Operating Systems, Linux, Soft Real Time Systems
25Young-Joo Suh, Kang G. Shin, Syungog An Configurable Complete Exchanges in 2D Torus-Connected Networks. Search on Bibsonomy ICPP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF parallel algorithms, collective communication, all-to-all communication, complete exchange, all-to-all personalized exchange, inter-processor communication
25Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli Compact and complete test set generation for multiple stuck-faults. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Multiple stuck faults, complete test set generation, irrepressible faults
25Juris Hartmanis, Lane A. Hemachandra Complexity Classes Without Machines: On Complete Languages for UP. Search on Bibsonomy ICALP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24Mirko Hornák, Stefan Pcola, Mariusz Wozniak On the Achromatic Index of for a Prime q. Search on Bibsonomy Graphs Comb. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Proper complete edge colouring, Achromatic index, Complete graph
24Costas Courcoubetis, Mihalis Yannakakis The Complexity of Probabilistic Verification. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF EXPTIME-complete, model checking, temporal logic, Markov chain, automata, probabilistic algorithm, PSPACE-complete
24Keijo Heljanko Model Checking with Finite Complete Prefixes Is PSPACE-Complete. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Vincenzo Auletta, Sajal K. Das 0001, Amelia De Vivo, Maria Cristina Pinotti, Vittorio Scarano Optimal Tree Access by Elementary and Composite Templates in Parallel Memory Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF complete trees, composite templates, elementary templates, mapping scheme, conflict-free access, parallel memory system
24Manindra Agrawal, Eric Allender An Isomorphism Theorem for Circuit Complexity. Search on Bibsonomy CCC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Complete Sets, Berman-Hartmanis Conjecture, NC1, AC0, NC0, projections, Circuit Complexity, uniformity, Isomorphisms
23Xin He, Heping Zhang Complete forcing numbers of complete and almost-complete multipartite graphs. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Takashi Horiyama, Takehiro Ito, Keita Nakatsuka, Akira Suzuki, Ryuhei Uehara Packing Trominoes is NP-Complete, #P-Complete and ASP-Complete. Search on Bibsonomy CCCG The full citation details ... 2012 DBLP  BibTeX  RDF
23Theo Härder, Andreas Bühmann Value complete, column complete, predicate complete. Search on Bibsonomy VLDB J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Cache constraints, Predicate completeness, Query processing, Database caching
23Zoltán Szabó 0001 Complete Blind Subspace Deconvolution. Search on Bibsonomy ICA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Complete blind subspace deconvolution, separation principle, independent subspace analysis, linear prediction
23Jeff Edmonds Embedding into linfinity2 Is Easy, Embedding into l infinity3 Is NP-Complete. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF l-infinity norm, Möbius, c q (k), Algorithm, NP-complete, Embedding, Metric space
23A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou 0002, Hilary Branske CMV: automatic verification of complete mediation for java virtual machines. Search on Bibsonomy AsiaCCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complete mediation, runtime monitoring
23Lior Malka How to Achieve Perfect Simulation and A Complete Problem for Non-interactive Perfect Zero-Knowledge. Search on Bibsonomy TCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-interactive, perfect zero-knowledge, error shifting, complete problems, cryptography, perfect simulation
23J. H. M. ten Thije Boonkkamp, M. J. H. Anthonissen The Complete Flux Scheme for Spherically Symmetric Conservation Laws. Search on Bibsonomy ICCS (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF advection diffusion equation, complete flux scheme, finite volumes
23Takako Nemoto Complete Determinacy and Subsystems of Second Order Arithmetic. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complete determinacy, Wadge class, second order arithmetic, reverse mathematics, infinite game, determinacy
23Songxin Liang, David J. Jeffrey, Marc Moreno Maza The complete root classification of a parametric polynomial on an interval. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complete root classification, parametric polynomial, real quantifier elimination, interval, real root
23Peiyi Tang Complete inlining of recursive calls: beyond tail-recursion elimination. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF complete inlining, full control flow graph, procedure inlining, tail-recursion elimination, call graph
23Mao Ye 0001, Zhang Yi 0001 Complete Convergence of Competitive Neural Networks with Different Time Scales. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF complete convergence, different time scales, unsaturated piecewise linear function, recurrent neural network
23Keijo Heljanko, Tommi A. Junttila, Timo Latvala Incremental and Complete Bounded Model Checking for Full PLTL. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PLTL, Complete, Bounded Model Checking, Incremental, NuSMV
23Jesús E. Villadangos, Alberto Córdoba, Federico Fariña, Manuel Prieto 0002 Efficient Leader Election in Complete Networks. Search on Bibsonomy PDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF distributed algorithms, leader election, I/O automata, complete networks
23Hiroyuki Iwata, Tomokazu Yoneda, Satoshi Ohtake, Hideo Fujiwara A DFT Method for RTL Data Paths Based on Partially Strong Testability to Guarantee Complete Fault Efficiency. Search on Bibsonomy Asian Test Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF strong testability, partially strong testability, complete fault efficiency, design-for-testability, data paths
Displaying result #1 - #100 of 30405 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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