Search results for "poset"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Wit Forys, Tom Head	The poset of retracts of a free monoid.	Int. J. Comput. Math.	1990	DBLP DOI BibTeX RDF
18	Frederick J. Portier, Theresa P. Vaughan	Whitney Numbers of the Second Kind for the Star Poset.	Eur. J. Comb.	1990	DBLP DOI BibTeX RDF
18	Graham R. Brightwell	Events correlated with respect to every subposet of a fixed poset.	Graphs Comb.	1990	DBLP DOI BibTeX RDF
18	Aldo V. Figallo, Luiz Monteiro, Alicia Ziliani	Free Three-valued Lukasiewicz, Post and Moisil Algebras over a Poset.	ISMVL	1990	DBLP DOI BibTeX RDF
18	Nguyen Cat Ho, Helena Rasiowa	Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability.	Stud Logica	1989	DBLP DOI BibTeX RDF
18	John P. Robinson	Edges in the poset of partitions of an integer.	J. Comb. Theory, Ser. A	1988	DBLP DOI BibTeX RDF
18	William T. Trotter, Douglas B. West	Poset boxicity of graphs.	Discret. Math.	1987	DBLP DOI BibTeX RDF
18	Richard P. Stanley	Two Poset Polytopes.	Discret. Comput. Geom.	1986	DBLP DOI BibTeX RDF
18	Günter M. Ziegler	On the poset of partitions of an integer.	J. Comb. Theory, Ser. A	1986	DBLP DOI BibTeX RDF
18	Andrew Vince, Michelle L. Wachs	A shellable poset that is not lexicographically shellable.	Comb.	1985	DBLP DOI BibTeX RDF
18	James W. Walker	A Poset which is Shellable but not Lexicographically Shellable.	Eur. J. Comb.	1985	DBLP DOI BibTeX RDF
18	Nathan Linial, Michael E. Saks	Every Poset Has a Central Element.	J. Comb. Theory, Ser. A	1985	DBLP DOI BibTeX RDF
18	Jeff Kahn 0001, Michael E. Saks	Every Poset Has a Good Comparison	STOC	1984	DBLP DOI BibTeX RDF
18	Emden R. Gansner	On the lattice of order ideals of an up-down poset.	Discret. Math.	1982	DBLP DOI BibTeX RDF
12	Pierre Fraigniaud, Amos Korman	An optimal ancestry scheme and small universal posets.	STOC	2010	DBLP DOI BibTeX RDF	informative labeling schemes, XML, partially ordered sets
12	David Michael Knipe	The Partial Ordering on the Automorphism Group of the Countable Generic Partial Order.	Order	2009	DBLP DOI BibTeX RDF	Partially ordered group, Reduction scheme, Group, Partial order
12	Milan Matousek, Pavel Pták	Orthocomplemented Posets with a Symmetric Difference.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06C15, 03G12, 81B10
12	Arnab Bhattacharyya 0001, Elena Grigorescu, Kyomin Jung, Sofya Raskhodnikova, David P. Woodruff	Transitive-closure spanners.	SODA	2009	DBLP DOI BibTeX RDF
12	Stefano Brocchi, Andrea Frosini, Simone Rinaldi	The 1-Color Problem and the Brylawski Model.	DGCI	2009	DBLP DOI BibTeX RDF
12	Guram Bezhanishvili, Nick Bezhanishvili	Profinite Heyting Algebras.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 54F05
12	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
12	Richard N. Ball, Ales Pultr, Jirí Sichler	A Priestley Sum of Finite Trees is Acyclic.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D55, 06A11, Secondary 06D20, 03C05, 54F05
12	Joseph M. Morris, Malcolm Tyrrell	Modelling higher-order dual nondeterminacy.	Acta Informatica	2008	DBLP DOI BibTeX RDF
12	Peter Jipsen, Georg Struth	The Structure of the One-Generated Free Domain Semiring.	RelMiCS	2008	DBLP DOI BibTeX RDF
12	Sadaaki Miyamoto	Generalized Agglomerative Clustering with Application to Information Systems.	MDAI	2008	DBLP DOI BibTeX RDF
12	Keye Martin, Prakash Panangaden	Domain Theory and the Causal Structure of Space-Time.	CiE	2008	DBLP DOI BibTeX RDF
12	Richard S. Bird	Spider Spinning for Dummies.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
12	Christine T. Cheng	The Generalized Median Stable Matchings: Finding Them Is Not That Easy.	LATIN	2008	DBLP DOI BibTeX RDF
12	David M. Howard 0002, Mitchel T. Keller, Stephen J. Young	A Characterization of Partially Ordered Sets with Linear Discrepancy Equal to 2.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06A07
12	Patrick Baier, Bartlomiej Bosek, Piotr Micek	On-line Chain Partitioning of Up-growing Interval Orders.	Order	2007	DBLP DOI BibTeX RDF	Chain partitioning, On-line, Interval order
12	George Voutsadakis	Dedekind-MacNeille Completion of n -ordered Sets.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary: 06A23, Secondary: 62-07
12	Reinhard Börger	Joins and Meets of Symmetric Idempotents.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Subject classification 06A20, 15A63, 16A20, 18C10, 18D10
12	Marcel Erné, Mai Gehrke, Ales Pultr	Complete Congruences on Topologies and Down-set Lattices.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D10, Secondary 06A15, 06D22, 54H10, 08A30
12	Anurag Agarwal, Vijay K. Garg	Efficient dependency tracking for relevant events in concurrent systems.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Dependency tracking, Vector clock, Predicate detection
12	Mohamed Bekkali, Maurice Pouzet, Driss Zhani	Incidence structures and Stone-Priestley duality.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G05, 08A62, 03G10
12	Sasu Tarkoma	Chained forests for fast subsumption matching.	DEBS	2007	DBLP DOI BibTeX RDF
12	Sadaaki Miyamoto	Data Clustering Algorithms for Information Systems.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Information system, kernel function, K-means algorithms, agglomerative clustering
12	Sasu Tarkoma, Jaakko Kangasharju	Optimizing content-based routers: posets and forests.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Publish/Subscribe, Content-based routing, Event systems
12	Antonio Montalbán	There is no ordering on the classes in the generalized high/low hierarchies.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
12	Gábor Hetyei	The Stirling Polynomial of a Simplicial Complex.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
12	Marina Kyureghyan	Monotonicity Checking.	GTIT-C	2006	DBLP DOI BibTeX RDF
12	Yongtae Kim, Chang Han Kim, Taek-Young Youn	On the Security of Multilevel Cryptosystems over Class Semigroups of Imaginary Quadratic Non-maximal Orders.	EuroPKI	2006	DBLP DOI BibTeX RDF	Key generation algorithm, Class semigroup, Key exchange system, Hierarchy
12	Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes	A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.	ICTAC	2006	DBLP DOI BibTeX RDF	denotational models, communicating sequential processes, nondeterminacy
12	Christoph Ambühl, Monaldo Mastrolilli, Ola Svensson	Approximating Precedence-Constrained Single Machine Scheduling by Coloring.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
12	Young Jun, Jong Youl Kim, Hee Kim	On Q-Upper Algebras.	Order	2005	DBLP DOI BibTeX RDF	upper set, Q-upper algebra, (positive) implicative, quasi-commutative, commutative, BCK-algebra
12	Richard N. Ball, Ales Pultr, Jirí Sichler	Configurations in Coproducts of Priestley Spaces.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	Priestley space, ultrafilter, coproduct, distributive lattice
12	Jiang Wu 0001, Ruizhong Wei	An Access Control Scheme for Partially Ordered Set Hierarchy with Provable Security.	Selected Areas in Cryptography	2005	DBLP DOI BibTeX RDF
12	François Lamarche, Lutz Straßburger	Naming Proofs in Classical Propositional Logic.	TLCA	2005	DBLP DOI BibTeX RDF
12	François Lamarche, Lutz Straßburger	Constructing Free Boolean Categories.	LICS	2005	DBLP DOI BibTeX RDF
12	Akimitsu Ono, Shin-Ichi Nakano	Constant Time Generation of Linear Extensions.	FCT	2005	DBLP DOI BibTeX RDF
12	Cliff A. Joslyn, William J. Bruno	Weighted Pseudo-distances for Categorization in Semantic Hierarchies.	ICCS	2005	DBLP DOI BibTeX RDF
12	Anurag Agarwal, Vijay K. Garg	Efficient dependency tracking for relevant events in shared-memory systems.	PODC	2005	DBLP DOI BibTeX RDF	shared-memory, vector clock, predicate detection
12	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
12	Maciej Malicki, Aleksander Rutkowski	On Operations and Linear Extensions of Well Partially Ordered Sets.	Order	2004	DBLP DOI BibTeX RDF	well-founded order, partially well order, rank, tree, ordered set, linear extension, width, antichain
12	Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Inmaculada Perez de Guzmán	A New Algebraic Tool for Automatic Theorem Provers.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory
12	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
12	Joseph M. Morris	Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.	MPC	2004	DBLP DOI BibTeX RDF
12	Jean Diatta	Concept Extensions and Weak Clusters Associated with Multiway Dissimilarity Measures.	ICFCA	2004	DBLP DOI BibTeX RDF
12	Jan Verschelde, Yusong Wang	Computing Feedback Laws for Linear Systems with a Parallel Pieri Homotopy.	ICPP Workshops	2004	DBLP DOI BibTeX RDF	control of linear systems, feedback laws, numerical Schubert calculus, Pieri homotopies, pole placement, load balancing, continuation methods, path tracking
12	Robert E. Jamison	Transforming Toric Digraphs.	AGTIVE	2003	DBLP DOI BibTeX RDF
12	Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani	Relative Definability and Models of Unary PCF.	TLCA	2003	DBLP DOI BibTeX RDF
12	Nathan Reading	Order Dimension, Strong Bruhat Order and Lattice Properties for Posets.	Order	2002	DBLP DOI BibTeX RDF	Bruhat, clivage, Coxeter, critical complex, Dilworth, MacNeille completion, monotone triangle, congruence, distributive lattice, order dimension, dissective
12	Andrea Vietri	Combinatorial Aspects of Total Weight Orders over Monomials of Fixed Degree.	Order	2002	DBLP DOI BibTeX RDF	Gröbner bases, monomial ordering, weight order, coloring, linearization, primes, linear inequalities, logical consequence
12	Hugh Thomas	New Combinatorial Descriptions of the Triangulations of Cyclic Polytopes and the Second Higher Stasheff-Tamari Posets.	Order	2002	DBLP DOI BibTeX RDF	cyclic polytopes, 2-dimension, higher Stasheff-Tamari posets, triangulations
12	David Linnan Li, Shahriar Shahriari	Games of Chains and Cutsets in the Boolean Lattice II.	Order	2001	DBLP DOI BibTeX RDF	Boolean lattice, games on the Boolean lattice, independent chains, maximal chain, width, cutset
12	Jonathan David Farley, Bernd S. W. Schröder	Strictly Order-Preserving Maps into Z, II. A 1979 Problem of Erné.	Order	2001	DBLP DOI BibTeX RDF	(partially) ordered set, (strictly) order-preserving map, lattice, chain
12	Csaba Szabó, László Zádori	Idempotent Totally Symmetric Operations on Finite Posets.	Order	2001	DBLP DOI BibTeX RDF	idempotent Malcev conditions, posets, zigzags
12	Peter C. Fishburn, James A. Reeds	Counting Split Semiorders.	Order	2001	DBLP DOI BibTeX RDF	forbidden posets, split semiorder, partial order, semiorder
12	James A. Reeds, Peter C. Fishburn	Counting Split Interval Orders.	Order	2001	DBLP DOI BibTeX RDF	forbidden posets, split interval order, partial order, interval order
12	Paul J. Tanenbaum, Ann N. Trenk, Peter C. Fishburn	Linear Discrepancy and Weak Discrepancy of Partially Ordered Sets.	Order	2001	DBLP DOI BibTeX RDF	linear discrepancy, weak discrepancy, weak extension, linear extension
12	Marcel Erné, Jürgen Reinhold	Embedding Structures.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
12	Jean Marcel Pallo	The Rotation chi-Lattice of Ternary Trees.	Computing	2001	DBLP DOI BibTeX RDF	AMS Subject Classifications: 06A07, 06A08
12	Lubomir Ivanov, Ramakrishna Nunna	Modeling and verification of cache coherence protocols.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
12	Eldar Fischer, Ilan Newman	Testing of matrix properties.	STOC	2001	DBLP DOI BibTeX RDF	matrix properties, property testing
12	Louis J. Billera, Gábor Hetyei	Decompositions of Partially Ordered Sets.	Order	2000	DBLP DOI BibTeX RDF	Cohen-Macaulay, EL-labeling, flag, flag f-vector, leveled planar, lexicographically shellable, shellable, lattice, planar, partially ordered set, chain
12	Ralph McKenzie	Arithmetic of Finite Ordered Sets: Cancellation of Exponents, II.	Order	2000	DBLP DOI BibTeX RDF	cancellation of exponents, exponentiation, posets
12	Alan J. Hanna, T. Brian M. McMaster	Splittability for Partially Ordered Sets.	Order	2000	DBLP DOI BibTeX RDF	splittability, partially ordered set
12	Wendy Belluomini, Chris J. Myers	Timed state space exploration using POSETs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
12	Reinhold Heckmann	Approximation of Metric Spaces by Partial Metric Spaces.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	generalised metric spaces, Scott topology, domains, preorder
12	Vasilis Delis, Thanasis Hadzilacos	Binary String Relations: A Foundation for Spatiotemporal Knowledge Representation.	CIKM	1999	DBLP DOI BibTeX RDF	conceptual neighbourhoods, spatiotemporal reasoning, spatiotemporal relations
12	Patrice Ossona de Mendez	Geometric Realization of Simplicial Complexes.	GD	1999	DBLP DOI BibTeX RDF
12	Peter Bürgisser	On the Structure of Valiant's Complexity Classes.	STACS	1998	DBLP DOI BibTeX RDF
12	Zurab Khasidashvili, John R. W. Glauert	Relating Conflict-Free Stable Transition and Event Models (Extended Abstract).	MFCS	1997	DBLP DOI BibTeX RDF
12	Joachim Lambek	Type Grammar Revisited.	LACL	1997	DBLP DOI BibTeX RDF
12	Daniel Bleichenbacher, Ueli M. Maurer	Optimal Tree-Based One-Time Digital Signature Schemes.	STACS	1996	DBLP DOI BibTeX RDF	Cryptography, trees, partially ordered sets, digital signature schemes
12	David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann	Specification and Analysis of System Architecture Using Rapide.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	partially ordered event sets, formal constraints, constraint-based specification, event patterns, simulation, architecture, concurrency, prototyping, causality, Rapide, architecture definition languages
12	Daniel Bleichenbacher, Ueli M. Maurer	Directed Acyclic Graphs, One-way Functions and Digital Signatures.	CRYPTO	1994	DBLP DOI BibTeX RDF
12	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
12	Michael Huth 0001	Cartesian Closed Categories of Domains and the Space Proj(D).	MFPS	1991	DBLP DOI BibTeX RDF
12	Tsau Young Lin	Relational Data Models and Category Theory (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
12	Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr	Efficient Implementation of Lattice Operations.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
12	Maciej M. Syslo	Bounds to the Page Number of Partially Ordered Sets.	WG	1989	DBLP DOI BibTeX RDF
12	Giorgio Gambosi, Marco Protasi, Maurizio Talamo	An Efficient Implicit Data Structure for Path Testing and Searching in Rooted Trees and Forests.	FSTTCS	1989	DBLP DOI BibTeX RDF	CR Classification E1 (Data structures), F2 (Analysis of algorithms and problem complexity)
12	Gérard Boudol, Ilaria Castellani	On the Semantics of Concurrency: Partial Orders and Transition Systems.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
12	Helena Rasiowa	Logic of Approximation Reasoning.	CSL	1987	DBLP DOI BibTeX RDF
12	Jürgen Koslowski	Continuous Categories.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
12	Eike Best, Agathe Merceron	Concurrency axioms and D-continuous posets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF