Search results for "antichains"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Wouter Kuijper, Jaco van de Pol	Computing Weakest Strategies for Safety Games of Imperfect Information.	TACAS	2009	DBLP DOI BibTeX RDF
75	Brenda J. Latka	Antichains of Bounded Size in the Class of Tournaments.	Order	2003	DBLP DOI BibTeX RDF	subtournament, embedding, tournament, antichain
71	Paolo Boldi, Sebastiano Vigna	Efficient Lazy Algorithms for Minimal-Interval Semantics.	SPIRE	2006	DBLP DOI BibTeX RDF
65	Michel Habib, Michel Morvan, Jean-Xavier Rampon	Remarks on Some Concurrency Measures.	WG	1990	DBLP DOI BibTeX RDF	disgraphs, computational complexity, parallelism, concurrency, distributed computations, partial orders, interval orders, antichains
57	Chi Tat Chong, Liang Yu	Thin Maximal Antichains in the Turing Degrees.	CiE	2007	DBLP DOI BibTeX RDF
57	Jan Foniok, Jaroslav Nesetril, Claude Tardif	Generalised Dualities and Finite Maximal Antichains.	WG	2006	DBLP DOI BibTeX RDF
51	Martin Goldstern, Saharon Shelah	Antichains in Products of Linear Orders.	Order	2002	DBLP DOI BibTeX RDF	size of antichains, product of chains, pcf theory, Delta system
47	Philippe Baldy, Michel Morvan	Height Preserving Minimal Interval Extensions.	Order	2001	DBLP DOI BibTeX RDF	lattice of maximal antichains, minimal interval extensions, lattices, partially ordered sets, interval orders, height
47	Javier Esparza, Bernhard von Stengel	The Asynchronous Committee Meeting Problem.	WG	1993	DBLP DOI BibTeX RDF	Committee meeting problem, maximal antichains, N-free posets, Petri net unfolding
40	Martin De Wulf, Laurent Doyen 0001, Nicolas Maquet, Jean-François Raskin	Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.	TACAS	2008	DBLP DOI BibTeX RDF
40	Assaf Rinot	Antichains in partially ordered sets of singular cofinality.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E04, 06A07, 03E35
40	Erkko Lehtonen	Descending Chains and Antichains of the Unary, Linear, and Monotone Subfunction Relations.	Order	2006	DBLP DOI BibTeX RDF	Mathematical Subject Classifications (2000) 08A40, 08A02, 06A06
40	Martin De Wulf, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin	Antichains: A New Algorithm for Checking Universality of Finite Automata.	CAV	2006	DBLP DOI BibTeX RDF
22	Irina Ðankovic, Maria-Romina Ivan	Saturation for Small Antichains.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
22	Jerrold R. Griggs, Thomas Kalinowski, Uwe Leck, Ian T. Roberts, Michael Schmitz	The Saturation Spectrum for Antichains of Subsets.	Order	2023	DBLP DOI BibTeX RDF
22	Jerrold R. Griggs, Thomas Kalinowski, Uwe Leck, Ian T. Roberts, Michael Schmitz	Sizes of flat maximal antichains of subsets.	CoRR	2023	DBLP DOI BibTeX RDF
22	Yunjing Shan, Junling Zhou	Suboptimal s-union families and s-union antichains for vector spaces.	Discret. Math.	2023	DBLP DOI BibTeX RDF
22	Max Pitz	A note on minor antichains of uncountable graphs.	J. Graph Theory	2023	DBLP DOI BibTeX RDF
22	Dmitry I. Ignatov	A Note on the Number of (Maximal) Antichains in the Lattice of Set Partitions.	ICCS	2023	DBLP DOI BibTeX RDF
22	Kyveli Doveri, Pierre Ganty, Luka Hadzi-Dokic	Antichains Algorithms for the Inclusion Problem Between ømega-VPL.	TACAS (1)	2023	DBLP DOI BibTeX RDF
22	H. W. Willie Wong, Eng Guan Tay	Kruskal-Katona function and variants of cross-intersecting antichains.	Discret. Math.	2022	DBLP DOI BibTeX RDF
22	Milos S. Kurilic, Borisa Kuzeljevic	Antichains of copies of ultrahomogeneous structures.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
22	Jerrold R. Griggs, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts	Minimum Weight Flat Antichains of Subsets.	Order	2021	DBLP DOI BibTeX RDF
22	Raphaël Carroy, Benjamin D. Miller, Zoltán Vidnyánszky	On the existence of small antichains for definable quasi-orders.	J. Math. Log.	2021	DBLP DOI BibTeX RDF
22	Jerrold R. Griggs, Thomas Kalinowski, Uwe Leck, Ian T. Roberts, Michael Schmitz	Maximal antichains of subsets I: The shadow spectrum.	CoRR	2021	DBLP BibTeX RDF
22		Maximal antichains of subsets II: Constructions.	CoRR	2021	DBLP BibTeX RDF
22	Hong-Bin Chen, Yen-Jen Cheng, Wei-Tian Li, Chia-An Liu	The Boolean Rainbow Ramsey Number of Antichains, Boolean Posets and Chains.	Electron. J. Comb.	2020	DBLP DOI BibTeX RDF
22	Barnabás Janzer	Projections of Antichains.	Electron. J. Comb.	2020	DBLP DOI BibTeX RDF
22	Benjamin D. Miller, Zoltán Vidnyánszky	On the existence of Large Antichains for Definable quasi-Orders.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
22	Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Abstraction refinement and antichains for trace inclusion of infinite state systems.	Formal Methods Syst. Des.	2020	DBLP DOI BibTeX RDF
22	Shen-Fu Tsai	Two properties of maximal antichains in strict chain product posets.	Contributions Discret. Math.	2020	DBLP BibTeX RDF
22	Paul Hein, Otmar Spinas	Antichains of perfect and splitting trees.	Arch. Math. Log.	2020	DBLP DOI BibTeX RDF
22	Ryszard Janicki, Maciej Koutny	Operational Semantics, Interval Orders and Sequences of Antichains.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
22	Shen-Fu Tsai	A Simple Upper Bound on the Number of Antichains in [t]n.	Order	2019	DBLP DOI BibTeX RDF
22	Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar	Nested antichains for WS1S.	Acta Informatica	2019	DBLP DOI BibTeX RDF
22	Anes Bendimerad, Jefrey Lijffijt, Marc Plantevit, Céline Robardet, Tijl De Bie	Contrastive Antichains in Hierarchies.	KDD	2019	DBLP DOI BibTeX RDF
22	Paolo Boldi, Sebastiano Vigna	On the Lattice of Antichains of Finite Intervals.	Order	2018	DBLP DOI BibTeX RDF
22	Jinwook Lee	The Chain of Antichains - Box Protocol: the Dual-Blockchain and a Stablecoin.	CoRR	2018	DBLP BibTeX RDF
22	Ryszard Janicki	Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains.	Petri Nets	2018	DBLP DOI BibTeX RDF
22	Chao-Ping Dong, Suijie Wang	Orbits of Antichains in Certain Root Posets.	Electron. J. Comb.	2017	DBLP DOI BibTeX RDF
22	Milos S. Kurilic	The Minimal Size of Infinite Maximal Antichains in Direct Products of Partial Orders.	Order	2017	DBLP DOI BibTeX RDF
22	Péter L. Erdös, Dömötör Pálvölgyi, Claude Tardif, Gábor Tardos	Regular families of forests, antichains and duality pairs of relational structures.	Comb.	2017	DBLP DOI BibTeX RDF
22	Lukás Holík	Simulations and Antichains for Efficient Handling of Finite Automata.	CoRR	2017	DBLP BibTeX RDF
22	Jerrold R. Griggs, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts	Full and maximal squashed flat antichains of minimum weight.	CoRR	2017	DBLP BibTeX RDF
22	Lukás Holík, Roland Meyer 0001, Sebastian Muskalla	Antichains for Inclusion Games.	CoRR	2016	DBLP BibTeX RDF
22	Maurício Collares Neto, Robert Morris 0001	Maximum-size antichains in random set-systems.	Random Struct. Algorithms	2016	DBLP DOI BibTeX RDF
22	Thomas Kalinowski, Uwe Leck, Christian Reiher, Ian T. Roberts	Minimizing the regularity of maximal regular antichains of 2- and 3-sets.	Australas. J Comb.	2016	DBLP BibTeX RDF
22	Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.	TACAS	2016	DBLP DOI BibTeX RDF
22	Otmar Spinas, Marek Wyszkowski	Silver Antichains.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
22	Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar	Nested Antichains for WS1S.	CoRR	2015	DBLP BibTeX RDF
22	Lukás Holík, Roland Meyer 0001	Antichains for the Verification of Recursive Programs.	NETYS	2015	DBLP DOI BibTeX RDF
22	Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar	Nested Antichains for WS1S.	TACAS	2015	DBLP DOI BibTeX RDF
22	Martin Grüttmüller, Ian T. Roberts, Leanne J. Rylands	Antichains and completely separating systems - A catalogue and applications.	Discret. Appl. Math.	2014	DBLP DOI BibTeX RDF
22	Henri Mühle	Counting proper mergings of chains and antichains.	Discret. Math.	2014	DBLP DOI BibTeX RDF
22	Thomas Kalinowski, Uwe Leck, Ian T. Roberts	Maximal Antichains of Minimum Size.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
22	Eric Ould Dadah Andriantiana, Stephan G. Wagner, Hua Wang 0003	Greedy Trees, Subtrees and Antichains.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
22	L. Ilinca, Jeff Kahn 0001	Counting Maximal Antichains and Independent Sets.	Order	2013	DBLP DOI BibTeX RDF
22	Ian T. Roberts, Matthias Böhm 0003	On the existence of regular antichains.	Discret. Math.	2013	DBLP DOI BibTeX RDF
22	Véronique Bruyère, Marc Ducobu, Olivier Gauwin	Visibly Pushdown Automata: Universality and Inclusion via Antichains.	LATA	2013	DBLP DOI BibTeX RDF
22	Roman Glebov	Bijective mapping preserving intersecting antichains for k-valued cubes.	Discret. Math.	2012	DBLP DOI BibTeX RDF
22	Octavio Alberto Agustín-Aquino	Antichains and counterpoint dichotomies.	Contributions Discret. Math.	2012	DBLP BibTeX RDF
22	Matthias Böhm 0003	k-regular antichains on [m] with k ≤ m-2.	Australas. J Comb.	2012	DBLP BibTeX RDF
22	Vadim V. Lozin, Colin Mayhill	Canonical Antichains of Unit Interval and Bipartite Permutation Graphs.	Order	2011	DBLP DOI BibTeX RDF
22	Emmanuel Filiot, Naiyong Jin, Jean-François Raskin	Antichains and compositional algorithms for LTL synthesis.	Formal Methods Syst. Des.	2011	DBLP DOI BibTeX RDF
22	Ron Aharoni, Eli Berger	Strongly maximal antichains in posets.	Discret. Math.	2011	DBLP DOI BibTeX RDF
22	Jun Wang 0132	Intersecting antichains and shadows in linear lattices.	J. Comb. Theory, Ser. A	2011	DBLP DOI BibTeX RDF
22	Natalie Hine, James G. Oxley	When excluding one matroid prevents infinite antichains.	Adv. Appl. Math.	2010	DBLP DOI BibTeX RDF
22	David M. Howard 0002, William T. Trotter	On the size of maximal antichains and the number of pairwise disjoint maximal chains.	Discret. Math.	2010	DBLP DOI BibTeX RDF
22	Dwight Duffus, Bill Sands	On the size of maximal chains and the number of pairwise disjoint maximal antichains.	Discret. Math.	2010	DBLP DOI BibTeX RDF
22	Ian T. Roberts, Leanne J. Rylands, Terry Montag, Martin Grüttmüller	On the number of minimal completely separating systems and antichains in a Boolean lattice.	Australas. J Comb.	2010	DBLP BibTeX RDF
22	Parosh Aziz Abdulla, Yu-Fang Chen 0001, Lukás Holík, Richard Mayr, Tomás Vojnar	When Simulation Meets Antichains.	TACAS	2010	DBLP DOI BibTeX RDF
22	Martin Grüttmüller, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts	Maximal Flat Antichains of Minimum Weight.	Electron. J. Comb.	2009	DBLP DOI BibTeX RDF
22	Dmitri I. Panyushev	On orbits of antichains of positive roots.	Eur. J. Comb.	2009	DBLP DOI BibTeX RDF
22	Laurent Doyen 0001, Jean-François Raskin	Antichains for the Automata-Based Approach to Model-Checking	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
22	Guoli Ding	On canonical antichains.	Discret. Math.	2009	DBLP DOI BibTeX RDF
22	Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight	Chains and antichains in partial orderings.	Arch. Math. Log.	2009	DBLP DOI BibTeX RDF
22	Jan Foniok, Jaroslav Nesetril, Claude Tardif	Generalised dualities and maximal finite antichains in the homomorphism order of relational structures.	Eur. J. Comb.	2008	DBLP DOI BibTeX RDF
22	Jan Foniok, Jaroslav Nesetril, Claude Tardif	On Finite Maximal Antichains in the Homomorphism Order.	Electron. Notes Discret. Math.	2007	DBLP DOI BibTeX RDF
22	Péter L. Erdös, Lajos Soukup	How To Split Antichains In Infinite Posets.	Comb.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 06A07, 03E05
22	Ákos Kisvölcsey	Flattening Antichains.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05D05
22	Grzegorz Kubicki, Jeno Lehel, Michal Morayne	Counting chains and antichains in the complete binary tree.	Ars Comb.	2006	DBLP BibTeX RDF
22	James Cummings 0001, Ernest Schimmerling	Diamond and antichains.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
22	Paulette Lieby	Antichains on Three Levels.	Electron. J. Comb.	2004	DBLP DOI BibTeX RDF
22	Siaw-Lynn Ng	A Characterisation of Posets that Are nearly Antichains.	Order	2004	DBLP DOI BibTeX RDF	linear discrepancy, poset
22	Dmitri I. Panyushev	Short antichains in root systems, semi-Catalan arrangements, and B-stable subspaces.	Eur. J. Comb.	2004	DBLP DOI BibTeX RDF
22	Walther Janous, J. P. V. Abad	Maximum Antichains in the Divisor Lattice: 10942.	Am. Math. Mon.	2004	DBLP BibTeX RDF
22	Christian Bey, Garth Isaak	Maximum Antichains of Sets of Distinct Sizes: 10932.	Am. Math. Mon.	2004	DBLP BibTeX RDF
22	Jaroslav Nesetril, Claude Tardif	On maximal finite antichains in the homomorphism order of directed graphs.	Discuss. Math. Graph Theory	2003	DBLP DOI BibTeX RDF
22	Chaz Schlindwein	SH plus CH does not imply stationary antichains.	Ann. Pure Appl. Log.	2003	DBLP DOI BibTeX RDF
22	Muktar E. Elzobi, Zbigniew Lonc	Partitioning Boolean lattices into antichains.	Discret. Math.	2003	DBLP DOI BibTeX RDF
22	Rudolf Ahlswede, Harout K. Aydinian, Levon H. Khachatrian	Maximal antichains under dimension constraints.	Discret. Math.	2003	DBLP DOI BibTeX RDF
22	Stephen J. Greenfield, Brenda J. Latka	Embedded antichains in tournaments.	Electron. Notes Discret. Math.	2002	DBLP DOI BibTeX RDF
22	James G. Oxley, Charles Semple, Dirk L. Vertigan, Geoffrey P. Whittle	Infinite antichains of matroids with characteristic set {p}.	Discret. Math.	2002	DBLP DOI BibTeX RDF
22	Matthias Beck, Thomas Zaslavsky	A Shorter, Simpler, Stronger Proof of the Meshalkin-Hochberg-Hirsch Bounds on Componentwise Antichains.	J. Comb. Theory, Ser. A	2002	DBLP DOI BibTeX RDF
22	Jason Alexis Valentine Crampton	Authorization and antichains.		2002	RDF
22	Eberhard Herrmann	Infinite Chains and Antichains in Computable Partial Orderings.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
22	Oktay M. Kasim-Zade	On minimal coverings of the Boolean cube by centered antichains.	Discret. Appl. Math.	2001	DBLP DOI BibTeX RDF
22	Jason Crampton, George Loizou	Authorisation and antichains.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
22	Gregory L. Cherlin, Brenda J. Latka	Minimal Antichains in Well-founded Quasi-orders with an Application to Tournaments.	J. Comb. Theory, Ser. B	2000	DBLP DOI BibTeX RDF
22	Deryk Osthus	Maximum Antichains in Random Subsets of a Finite Set.	J. Comb. Theory, Ser. A	2000	DBLP DOI BibTeX RDF