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 |
|