Search results for "posets"

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