The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Antichain with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1998 (15) 1999-2004 (15) 2005-2007 (17) 2008-2011 (15) 2012-2021 (17) 2022-2023 (7)
Publication types (Num. hits)
article(59) inproceedings(27)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 40 occurrences of 30 keywords

Results
Found 86 publication records. Showing 86 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
100Brenda J. Latka Antichains of Bounded Size in the Class of Tournaments. Search on Bibsonomy Order The full citation details ... 2003 DBLP  DOI  BibTeX  RDF subtournament, embedding, tournament, antichain
72Ákos Kisvölcsey Flattening Antichains. Search on Bibsonomy Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 05D05
62Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Péter L. Erdös, Lajos Soukup How To Split Antichains In Infinite Posets. Search on Bibsonomy Comb. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 06A07, 03E05
44Erdong Chen, Hao Yuan, Linji Yang Longest Increasing Subsequences in Windows Based on Canonical Antichain Partition. Search on Bibsonomy ISAAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Martin De Wulf, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin Antichains: A New Algorithm for Checking Universality of Finite Automata. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36James Cummings 0001, Ernest Schimmerling Diamond and antichains. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Martin Goldstern, Saharon Shelah Antichains in Products of Linear Orders. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF size of antichains, product of chains, pcf theory, Delta system
28Jimmy Leblet, Jean-Xavier Rampon Inductive Characterizations of Finite Interval Orders and Semiorders. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Finite order, Decomposition, Characterization, Partially ordered sets, Interval order, Inductive definition, Antichain, Semiorder
28Andrey O. Matveev Relative blocking in posets. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Blocker, Blocker map, Lattice, Poset, Clutter, Committee, Antichain, Farey sequence
28Maciej Malicki, Aleksander Rutkowski On Operations and Linear Extensions of Well Partially Ordered Sets. Search on Bibsonomy Order The full citation details ... 2004 DBLP  DOI  BibTeX  RDF well-founded order, partially well order, rank, tree, ordered set, linear extension, width, antichain
28James H. Schmerl Obstacles to Extending Mirsky's Theorem. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF locally finite poset, chain, antichain
26JinHoo Ahn, Joonhee Kim, Junguk Lee On the antichain tree property. Search on Bibsonomy J. Math. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Dibyayan Chakraborty, Florent Foucaud Isometric path antichain covers: beyond hyperbolic graphs. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Dmitry I. Ignatov Is Canfield Right? On the Asymptotic Coefficients for the Maximum Antichain of Partitions and Related Counting Inequalities. Search on Bibsonomy AIST The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Frank a Campo A Generalization of a Theorem of Erné about the Number of Posets with a Fixed Antichain. Search on Bibsonomy Order The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Éva Czabarka, Stephen J. Smith, László A. Székely An Infinite Antichain of Planar Tanglegrams. Search on Bibsonomy Order The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Paul Balister, Emil Powierski, Alex D. Scott, Jane Tan A Note on Infinite Antichain Density. Search on Bibsonomy SIAM J. Discret. Math. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Benjamin Gunby, Xiaoyu He, Bhargav Narayanan, Sam Spiro Antichain Codes. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Ivan A. Bochkov, Fedor V. Petrov The Bounds for the Number of Linear Extensions Via Chain and Antichain Coverings. Search on Bibsonomy Order The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Iryna Banakh, Taras O. Banakh, Serhii Bardyla A Semigroup Is Finite Iff It Is Chain-Finite and Antichain-Finite. Search on Bibsonomy Axioms The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse Correct and Efficient Antichain Algorithms for Refinement Checking. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2021 DBLP  BibTeX  RDF
26Benjamin Braun, Brian Davis Antichain Simplices. Search on Bibsonomy J. Integer Seq. The full citation details ... 2020 DBLP  BibTeX  RDF
26Maria Carmela Ceparano, Federico Quartieri On Pareto Dominance in Decomposably Antichain-Convex Sets. Search on Bibsonomy J. Optim. Theory Appl. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Michael Joseph Antichain Toggling and Rowmotion. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse Correct and Efficient Antichain Algorithms for Refinement Checking. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
26Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse Correct and Efficient Antichain Algorithms for Refinement Checking. Search on Bibsonomy FORTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Vu Phan Syntactic Conditions for Antichain Property in Consistency Restoring Prolog. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
26Bernhard Möller Towards Antichain Algebra. Search on Bibsonomy RAMiCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26A. Mani Antichain Based Semantics for Rough Sets. Search on Bibsonomy RSKT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Olga Podolskaya On Circuit Complexity of Parity and Majority Functions in Antichain Basis. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
26Alessandro Conflitti, Carlos M. da Fonseca, Ricardo Mamede On the Largest Size of an Antichain in the Bruhat Order for A(2k, k). Search on Bibsonomy Order The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Stephan Foldes, Russ Woodroofe Antichain Cutsets of Strongly Connected Posets. Search on Bibsonomy Order The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Gilles Geeraerts, Joël Goossens, Markus Lindström Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Search on Bibsonomy Real Time Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Vijay K. Garg Maximal Antichain Lattice Algorithms for Distributed Computations. Search on Bibsonomy ICDCN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Alexander Kreuzer Primitive Recursion and the Chain Antichain Principle. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Wouter Kuijper, Michael Weber 0002 Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
26Thomas Brihaye, Véronique Bruyère, Laurent Doyen 0001, Marc Ducobu, Jean-François Raskin Antichain-Based QBF Solving. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Péter L. Erdös, Lajos Soukup No Finite-Infinite Antichain Duality in the Homomorphism Poset of Directed Graphs. Search on Bibsonomy Order The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Bill Sands Posets with the Maximal Antichain Property. Search on Bibsonomy Order The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Laurent Doyen 0001, Jean-François Raskin Antichain Algorithms for Finite Automata. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Emmanuel Filiot, Naiyong Jin, Jean-François Raskin An Antichain Algorithm for LTL Realizability. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Alain Quilliot Preemptive scheduling and antichain polyhedra. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Erdong Chen, Linji Yang, Hao Yuan Longest increasing subsequences in windows based on canonical antichain partition. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Isaac Gorelic External cofinalities and the antichain condition in partial orders. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Guo-Qiang Zhang 0001, Ying Jiang On an open problem of Amadio and Curien: The finite antichain condition. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Vladimir M. Blinovsky, Lawrence H. Harper Size of the Largest Antichain in a Partition Poset. Search on Bibsonomy Probl. Inf. Transm. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Daniel A. Spielman, Miklós Bóna An Infinite Antichain of Permutations. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Gérard D. Cohen, Sylvia B. Encheva, Gilles Zémor Antichain Codes. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26E. Rodney Canfield, Konrad Engel An Upper Bound for the Size of the Largest Antichain in the Poset of Partitions of an Integer. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26E. Rodney Canfield The Size of the Largest Antichain in the Partition Lattice. Search on Bibsonomy J. Comb. Theory, Ser. A The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Frédéric Maire On the flat antichain conjecture. Search on Bibsonomy Australas. J Comb. The full citation details ... 1997 DBLP  BibTeX  RDF
26Changyu Wang, Huishan Zhou A Family of Inequalities for Intersecting Antichain of Subsets of an n-set. Search on Bibsonomy Eur. J. Comb. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Michael R. Anderson Efficient constructions of antichain cutsets. Search on Bibsonomy Ars Comb. The full citation details ... 1996 DBLP  BibTeX  RDF
26Morimasa Tsuchiya On antichain intersection numbers, total clique covers and regular graphs. Search on Bibsonomy Discret. Math. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Gerhard Behrendt The lattice of antichain cutsets of a partially ordered set. Search on Bibsonomy Discret. Math. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Zbigniew Lonc On Complexity of Some Chain and Antichain Partition Problems. Search on Bibsonomy WG The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Peter Frankl A lower bound on the size of a complex generated by an antichain. Search on Bibsonomy Discret. Math. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
26Konrad Engel, Nikolai N. Kuzjurin About the ratio of the size of a maximum antichain to the size of a maximum level in finite partially ordered sets. Search on Bibsonomy Comb. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
26András Frank On chain and antichain families of a partially ordered set. Search on Bibsonomy J. Comb. Theory, Ser. B The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
26G. F. Clements The Minimal Number of Basic Elements in a Multiset Antichain. Search on Bibsonomy J. Comb. Theory, Ser. A The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
18Maurice Pouzet, Imed Zaguia On Minimal Prime Graphs and Posets. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF AMS Subject Classifications (2000) 06A06, 06A07
18Wouter Kuijper, Jaco van de Pol Computing Weakest Strategies for Safety Games of Imperfect Information. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Wouter Kuijper, Jaco van de Pol Compositional Control Synthesis for Partially Observable Systems. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Gemma C. Garriga, Antti Ukkonen, Heikki Mannila Feature Selection in Taxonomies with Applications to Paleontology. Search on Bibsonomy Discovery Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Sangram Raje Strategy Construction for Parity Games with Imperfect Information. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh Completeness and Nondeterminism in Model Checking Transactional Memories. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Assaf Rinot Antichains in partially ordered sets of singular cofinality. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03E04, 06A07, 03E35
18Matthias Baumgart 0001, Stefan Eckhardt, Jan Griebsch, Sven Kosub, Johannes Nowak All-Pairs Ancestor Problems in Weighted Dags. Search on Bibsonomy ESCAPE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Roland Axelsson, Martin Lange Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Bernd S. W. Schröder Examples of Powers of Ordered Sets with the Fixed Point Property. Search on Bibsonomy Order The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06A07
18Sylvia B. Encheva, Sharil Tumin Safe Use of Protected Web Resources. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF E-services
18Jan Foniok, Jaroslav Nesetril, Claude Tardif Generalised Dualities and Finite Maximal Antichains. Search on Bibsonomy WG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Paolo Boldi, Sebastiano Vigna Efficient Lazy Algorithms for Minimal-Interval Semantics. Search on Bibsonomy SPIRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Milos S. Kurilic Mad families, forcing and the Suslin Hypothesis. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Mad families, The Suslin Hypothesis, Forcing
18Siaw-Lynn Ng A Characterisation of Posets that Are nearly Antichains. Search on Bibsonomy Order The full citation details ... 2004 DBLP  DOI  BibTeX  RDF linear discrepancy, poset
18Richard P. Anstee, Lajos Rónyai, Attila Sali Shattering News. Search on Bibsonomy Graphs Comb. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Khaled Al-Agha, Richard Greechie The Involutory Dimension of Involution Posets. Search on Bibsonomy Order The full citation details ... 2001 DBLP  DOI  BibTeX  RDF bounded posets, involution posets, involutory chains, involutory dimension, prime order ideals
18Dietrich Kuske Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable. Search on Bibsonomy Developments in Language Theory The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Mohamed H. El-Zahar On Jump-Critical Posets with Jump-Number Equal to Width. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF jump-number, jump-critical posets, order-critical posets
18Josef Niederle Being a Proper Trapezoid Ordered Set Is a Comparability Invariant. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF autonomous subset, comparability invariant, interval ordered set, proper interval dimension, trapezoid ordered set
18Peter Kleinschmidt, Christian Rank New Heuristics for the Multidimensional Vote Assignment Problem. Search on Bibsonomy Computing The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Vote assignment, set partitioning heuristic, fault tolerance
18Daniel Bleichenbacher, Ueli M. Maurer On the Efficiency of One-Time Digital Signatures. Search on Bibsonomy ASIACRYPT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Cryptography, Digital signature, Directed acyclic graph, One-way function, Partially ordered set
18Daniel Bleichenbacher, Ueli M. Maurer Optimal Tree-Based One-Time Digital Signature Schemes. Search on Bibsonomy STACS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Cryptography, trees, partially ordered sets, digital signature schemes
18Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval Measuring Concurrency of Regular Distributed Computations. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
18Daniel Bleichenbacher, Ueli M. Maurer Directed Acyclic Graphs, One-way Functions and Digital Signatures. Search on Bibsonomy CRYPTO The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #86 of 86 (100 per page; Change: )
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