|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 148 occurrences of 95 keywords
|
|
|
Results
Found 888 publication records. Showing 888 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Hermann Buer, Rolf H. Möhring |
A Fast Algorithm for the Decomposition of Graphs and Posets. |
Math. Oper. Res. |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Uri Abraham, Saharon Shelah |
Forcing With Stable Posets. |
J. Symb. Log. |
1982 |
DBLP DOI BibTeX RDF |
|
15 | James B. Orlin |
Minimizing the Number of Vehicles to Meet a Fixed Periodic Schedule: An Application of Periodic Posets. |
Oper. Res. |
1982 |
DBLP DOI BibTeX RDF |
|
15 | David E. Dobbs |
Posets admitting a unique order-compatible topology. |
Discret. Math. |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Richard P. Stanley |
Some Aspects of Groups Acting on Finite Posets. |
J. Comb. Theory, Ser. A |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Sergey Yuzvinsky |
Linear Representations of Posets, their Cohomology and a Bilinear Form. |
Eur. J. Comb. |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Martin Aigner 0001 |
Producing posets. |
Discret. Math. |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Anders Björner |
Homotopy Type of Posets and Lattice Complementation. |
J. Comb. Theory, Ser. A |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Martin Bartusch |
An algorithm for generating all maximal independent subsets of posets. |
Computing |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Meinel |
About the by Codings of Environments Induced Posets [az, <=] and [Lz, <=]. |
FCT |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Jerrold R. Griggs |
On Chains and Sperner k-Families in Ranked Posets, II. |
J. Comb. Theory, Ser. A |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Jerrold R. Griggs |
On Chains and Sperner k-Families in Ranked Posets. |
J. Comb. Theory, Ser. A |
1980 |
DBLP DOI BibTeX RDF |
|
15 | J. Jay Zeman |
Normal implications, bounded posets, and the existence of meets. |
Notre Dame J. Formal Log. |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Jesse B. Wright, Eric G. Wagner, James W. Thatcher |
A Uniform Approach to Inductive Posets and Inductive Closure. |
Theor. Comput. Sci. |
1978 |
DBLP DOI BibTeX RDF |
|
15 | Heinz Adolf Jung |
On a class of posets and the corresponding comparability graphs. |
J. Comb. Theory, Ser. B |
1978 |
DBLP DOI BibTeX RDF |
|
15 | George Markowsky |
Categories of Chain-Complete Posets. |
Theor. Comput. Sci. |
1977 |
DBLP DOI BibTeX RDF |
|
15 | William T. Trotter, John I. Moore Jr. |
The dimension of planar posets. |
J. Comb. Theory, Ser. B |
1977 |
DBLP DOI BibTeX RDF |
|
15 | Jesse B. Wright, Eric G. Wagner, James W. Thatcher |
A Uniform Approach to Inductive Posets and Inductive Closure. |
MFCS |
1977 |
DBLP DOI BibTeX RDF |
|
15 | William T. Trotter, Kenneth P. Bogart |
On the complexity of posets. |
Discret. Math. |
1976 |
DBLP DOI BibTeX RDF |
|
15 | William T. Trotter, John I. Moore Jr. |
Some theorems on graphs and posets. |
Discret. Math. |
1976 |
DBLP DOI BibTeX RDF |
|
15 | Richard P. Stanley |
Binomial Posets, Möbius Inversion, and Permutation Enumeration. |
J. Comb. Theory, Ser. A |
1976 |
DBLP DOI BibTeX RDF |
|
15 | William T. Trotter |
A Generalization of Hiraguchi's: Inequality for Posets. |
J. Comb. Theory, Ser. A |
1976 |
DBLP DOI BibTeX RDF |
|
15 | William T. Trotter |
Embedding finite posets in cubes. |
Discret. Math. |
1975 |
DBLP DOI BibTeX RDF |
|
15 | George Markowsky, Barry K. Rosen |
Bases for Chain-Complete Posets |
FOCS |
1975 |
DBLP DOI BibTeX RDF |
|
15 | P. J. Gustav Meyer |
On the structure of orthomodular posets. |
Discret. Math. |
1974 |
DBLP DOI BibTeX RDF |
|
15 | William T. Trotter |
Irreducible Posets with Large Height Exist. |
J. Comb. Theory, Ser. A |
1974 |
DBLP DOI BibTeX RDF |
|
15 | Kenneth P. Bogart, William T. Trotter |
Maximal dimensional partially ordered sets II. characterization of 2n-element posets with dimension n. |
Discret. Math. |
1973 |
DBLP DOI BibTeX RDF |
|
15 | L. Haskins, Stanley P. Gudder |
Height on posets and graphs. |
Discret. Math. |
1972 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Fraigniaud |
Provenance for database transformations. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Roman Fric |
Extension of domains of states. |
Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
Lukasiewicz tribe, Field of sets, D-poset od fuzzy sets, Sequentially continuous D-homomorphism, Probability measure, Extension of states, Epireflection, Observable, Duality, MV-algebra, State, Fuzzy random variable, Measurable space |
13 | Rade T. Zivaljevic |
Combinatorial Groupoids, Cubical Complexes, and the Lovász Conjecture. |
Discret. Comput. Geom. |
2009 |
DBLP DOI BibTeX RDF |
Combinatorial groupoids, Lovász conjecture, Discrete differential geometry, Cubical complexes |
13 | Xinlu Zhang, Jun Guo 0004, Suogang Gao |
Two new error-correcting pooling designs from d -bounded distance-regular graphs. |
J. Comb. Optim. |
2009 |
DBLP DOI BibTeX RDF |
s e -disjunct matrix, Distance-regular graph, Strongly closed subgraphs, Pooling designs |
13 | András Sebö |
Path Partitions, Cycle Covers and Integer Decomposition. |
Graph Theory, Computational Intelligence and Thought |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Irith Ben-Arroyo Hartman |
On Path Partitions and Colourings in Digraphs. |
Graph Theory, Computational Intelligence and Thought |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Pedro Sánchez Terraf |
Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids. |
Order |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06A12, 20M10 |
13 | Martin Papco |
On effect algebras of fuzzy sets. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
D-poset, Convergence Sequentially continuous D-homomorphism, Convergence effect algebra, Sequentially continuous EA-homomorphism, D-poset of fuzzy sets, Pointwise convergence, ID-poset, Effect algebra of fuzzy sets, IE-algebra, Sober IE-algebra, Closed IE-algebra, IE-measurable space, Measurable map, Natural equivalence, Monocoreflective subcategory, Epireflective subcategory, Coproduct, Generalized elementary event, Generalized measurable space, Generalized probability measure, Product, Observable, Duality, State, Effect algebra, Fuzzy random variable |
13 | Parikshit Shah, Pablo A. Parrilo |
A Partial order approach to decentralized control. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Richard N. Ball, Ales Pultr, Jirí Sichler |
More on Configurations in Priestley Spaces, and Some New Problems. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06D55, 06A11, Secondary 06D20, 03C05, 54F05 |
13 | Paola Bonizzoni |
A Linear-Time Algorithm for the Perfect Phylogeny Haplotype Problem. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Branimir Seselja, Andreja Tepavcevic |
Fuzzy Ordering Relation and Fuzzy Poset. |
PReMI |
2007 |
DBLP DOI BibTeX RDF |
Lattice valued fuzzy ordering relation, fuzzy weak ordering relation, fuzzy poset, cutworthy approach |
13 | Hubert de Fraysseix, Patrice Ossona de Mendez, Pierre Rosenstiehl |
Representation of Planar Hypergraphs by Contacts of Triangles. |
GD |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Mike Develin |
Rook Poset Equivalence of Ferrers Boards. |
Order |
2006 |
DBLP DOI BibTeX RDF |
Schubert varieties, Ferrers boards, rook equivalence, rook placements |
13 | Zdenka Riecanová |
Embeddings of generalized effect algebras into complete effect algebras. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Gábor Hetyei |
The Stirling Polynomial of a Simplicial Complex. |
Discret. Comput. Geom. |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Krzysztof Onak, Pawel Parys |
Generalization of Binary Search: Searching in Trees and Forest-Like Partial Orders. |
FOCS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Andrew R. Curtis, Clemente Izurieta, Benson L. Joeris, Scott M. Lundberg, Ross M. McConnell |
An Implicit Representation of Chordal Comparabilty Graphs in Linear-Time. |
WG |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Christoph Ambühl, Monaldo Mastrolilli, Ola Svensson |
Approximating Precedence-Constrained Single Machine Scheduling by Coloring. |
APPROX-RANDOM |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Elena Barcucci, Antonio Bernini, Luca Ferrari 0001, Maddalena Poneti |
A Distributive Lattice Structure Connecting Dyck Paths, Noncrossing Partitions and 312-avoiding Permutations. |
Order |
2005 |
DBLP DOI BibTeX RDF |
Dyck paths, noncrossing partitions, 312-avoiding permutations, Bell and Catalan numbers, strong Bruhat order, distributive lattice |
13 | Michael Braun, Adalbert Kerber, Reinhard Laue |
Systematic Construction of q-Analogs of t-(v, k, lambda)-Designs. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
designs over finite fields, Kramer-Mesner method, group actions, q-analogs, t-designs |
13 | Dae San Kim |
Dual MacWilliams pair. |
IEEE Trans. Inf. Theory |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Vetterlein |
BL-algebras and effect algebras. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Weak effect algebra, D-poset, Weak D-poset, Effect algebra, BL-algebra |
13 | Marcello M. Bonsangue, Alexander Kurz 0001 |
Duality for Logics of Transition Systems. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Aguzzoli, Brunella Gerla, Corrado Manara |
Poset Representation for Gödel and Nilpotent Minimum Logics. |
ECSQARU |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Pawel Waszkiewicz |
Completeness and Compactness of Quantitative Domains. |
FCT |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Cliff A. Joslyn, William J. Bruno |
Weighted Pseudo-distances for Categorization in Semantic Hierarchies. |
ICCS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Alexander A. Sapozhenko |
Systems of Containers and Enumeration Problems. |
SAGA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Iztok Peterin |
Characterizing Flag Graphs and Induced Subgraphs of Cartesian Product Graphs. |
Order |
2004 |
DBLP DOI BibTeX RDF |
flag graphs, induced subgraphs, edge-labellings, Cartesian product graphs, quotient graphs |
13 | Uwe Leck |
Nonexistence of a Kruskal-Katona Type Theorem for Subword Orders. |
Comb. |
2004 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 06A07, 68R15, 05D05 |
13 | Lucia Pomello, Luca Bernardinello |
Formal Tools for Modular System Development. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Cliff A. Joslyn |
Poset Ontologies and Concept Lattices as Semantic Hierarchies. |
ICCS |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Robert E. Jamison |
Transforming Toric Digraphs. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Zhenghao Wang, Richard R. Muntz |
On Stage Ordering in Staged Computation. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Kamal Lodaya, D. Ranganayakulu, K. Rangarajan |
Hierarchical Structure of 1-Safe Petri Nets. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Anatolij Dvurecenskij, Thomas Vetterlein |
Algebras in the Positive Cone of po-Groups. |
Order |
2002 |
DBLP DOI BibTeX RDF |
cone algebras, generalized effect algebras, po-groups, positive minimal clans, pseudoeffect algebras, semiclans, BCK-algebras |
13 | Jirí Adámek, Horst Herrlich, Jirí Rosický, Walter Tholen |
Weak Factorization Systems and Topological Functors. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
weak factorization systems, full functor, topological functor, cofibrantly generated, poset |
13 | Andrée C. Ehresmann |
Localization of Universal Problems. Local Colimits. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
universal problem, colimit, category, poset, Galois theory |
13 | Roman Fric |
Measures on MV-algebras. |
Soft Comput. |
2002 |
DBLP DOI BibTeX RDF |
Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space |
13 | Eldar Fischer, Ilan Newman |
Testing of matrix properties. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
matrix properties, property testing |
13 | Alan J. Hanna, T. Brian M. McMaster |
Splittability for Partially Ordered Sets. |
Order |
2000 |
DBLP DOI BibTeX RDF |
splittability, partially ordered set |
13 | Bernhard Reus, Tatjana Hein |
Towards a Machine-Checked Java Specification Book. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Wendy Belluomini, Chris J. Myers, H. Peter Hofstee |
Verification of Delayed-Reset Domino Circuits Using ATACS. |
ASYNC |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Paul H. Edelman, Victor Reiner |
Visibility Complexes and the Baues Problem for Triangulations in the Plane. |
Discret. Comput. Geom. |
1998 |
DBLP DOI BibTeX RDF |
|
13 | David A. Naumann |
Beyond Fun: Order and Membership in Polytypic Imperative Programming. |
MPC |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Peter Bürgisser |
On the Structure of Valiant's Complexity Classes. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Y. Y. Yao |
On Generalizing Pawlak Approximation Operators. |
Rough Sets and Current Trends in Computing |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Luca Forlizzi, Enrico Nardelli |
Some Results on the Modelling of Spatial Data. |
SOFSEM |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Dmitry N. Kozlov |
Convex Hulls of f- and $\beta$-Vectors. |
Discret. Comput. Geom. |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Fabio Alessi, Paolo Baldan, Furio Honsell |
Partializing Stone Spaces using SFP Domains (Extended Abstract). |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Roy L. Crole, Andrew D. Gordon 0001 |
A Sound Metalogical Semantics for Input/Output Effects. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Hans-E. Porst |
The algebraic theory of order. |
Appl. Categorical Struct. |
1993 |
DBLP DOI BibTeX RDF |
Essentially equational theory, essentially algebraic category, order and preorder, ordered algebras |
13 | Michael Huth 0001 |
Linear Domains and Linear Maps. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer |
Towards an Epistemic Approach to Reasoning about Concurrent Programs. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
verification of distributed programs, Communicating Sequential Processes, logics of knowledge, semantics of concurrency |
13 | Ryszard Janicki, Maciej Koutny |
Invariant Semantics of Nets with Inhibitor Arcs. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Maciej M. Syslo |
Bounds to the Page Number of Partially Ordered Sets. |
WG |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone |
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Karel Hrbacek |
A Powerdomain Construction. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Jürgen Koslowski |
Continuous Categories. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
13 | M. W. Shields |
Deterministic asynchronous automata. |
Automata on Infinite Words |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #801 - #888 of 888 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9] |
|