Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Wouter Kuijper, Jaco van de Pol |
Computing Weakest Strategies for Safety Games of Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 92-106, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
75 | Brenda J. Latka |
Antichains of Bounded Size in the Class of Tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(2), pp. 109-119, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
subtournament, embedding, tournament, antichain |
71 | Paolo Boldi, Sebastiano Vigna |
Efficient Lazy Algorithms for Minimal-Interval Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: String Processing and Information Retrieval, 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings, pp. 134-149, 2006, Springer, 3-540-45774-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
65 | Michel Habib, Michel Morvan, Jean-Xavier Rampon |
Remarks on Some Concurrency Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, WG '90, Berlin, Germany, June 20-22, 1990, Proceedings, pp. 221-238, 1990, Springer, 3-540-53832-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 162-168, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Jan Foniok, Jaroslav Nesetril, Claude Tardif |
Generalised Dualities and Finite Maximal Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006, Revised Papers, pp. 27-36, 2006, Springer, 3-540-48381-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Martin Goldstern, Saharon Shelah |
Antichains in Products of Linear Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(3), pp. 213-222, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 18(1), pp. 69-77, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993, Proceedings, pp. 276-287, 1993, Springer, 3-540-57899-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 63-77, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Assaf Rinot |
Antichains in partially ordered sets of singular cofinality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(5-6), pp. 457-464, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(2-3), pp. 129-142, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 17-30, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Irina Ðankovic, Maria-Romina Ivan |
Saturation for Small Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 30(1), 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 40(3), pp. 537-574, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.07062, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yunjing Shan, Junling Zhou |
Suboptimal s-union families and s-union antichains for vector spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 346(8), pp. 113505, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Max Pitz |
A note on minor antichains of uncountable graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 102(3), pp. 552-555, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Dmitry I. Ignatov |
A Note on the Number of (Maximal) Antichains in the Lattice of Set Partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Graph-Based Representation and Reasoning - 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings, pp. 56-69, 2023, Springer, 978-3-031-40959-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Kyveli Doveri, Pierre Ganty, Luka Hadzi-Dokic |
Antichains Algorithms for the Inclusion Problem Between ømega-VPL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I, pp. 290-307, 2023, Springer, 978-3-031-30822-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | H. W. Willie Wong, Eng Guan Tay |
Kruskal-Katona function and variants of cross-intersecting antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 345(3), pp. 112709, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Milos S. Kurilic, Borisa Kuzeljevic |
Antichains of copies of ultrahomogeneous structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 61(5-6), pp. 867-879, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Jerrold R. Griggs, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts |
Minimum Weight Flat Antichains of Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 38(3), pp. 441-453, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 21(2), pp. 2150005:1-2150005:10, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.02226, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | |
Maximal antichains of subsets II: Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.02230, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 27(4), pp. 4, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Barnabás Janzer |
Projections of Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 27(1), pp. 1, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Benjamin D. Miller, Zoltán Vidnyánszky |
On the existence of Large Antichains for Definable quasi-Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 85(1), pp. 103-108, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 55(3), pp. 137-170, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Shen-Fu Tsai |
Two properties of maximal antichains in strict chain product posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Contributions Discret. Math. ![In: Contributions Discret. Math. 15(3), pp. 130-132, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Paul Hein, Otmar Spinas |
Antichains of perfect and splitting trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 59(3-4), pp. 367-388, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Ryszard Janicki, Maciej Koutny |
Operational Semantics, Interval Orders and Sequences of Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 169(1-2), pp. 31-55, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Shen-Fu Tsai |
A Simple Upper Bound on the Number of Antichains in [t]n. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 36(3), pp. 507-510, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar |
Nested antichains for WS1S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 56(3), pp. 205-228, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Anes Bendimerad, Jefrey Lijffijt, Marc Plantevit, Céline Robardet, Tijl De Bie |
Contrastive Antichains in Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD 2019, Anchorage, AK, USA, August 4-8, 2019., pp. 294-304, 2019, ACM, 978-1-4503-6201-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Paolo Boldi, Sebastiano Vigna |
On the Lattice of Antichains of Finite Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 35(1), pp. 57-81, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Jinwook Lee |
The Chain of Antichains - Box Protocol: the Dual-Blockchain and a Stablecoin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.11871, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Ryszard Janicki |
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, pp. 251-271, 2018, Springer, 978-3-319-91267-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Chao-Ping Dong, Suijie Wang |
Orbits of Antichains in Certain Root Posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 24(4), pp. 4, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Milos S. Kurilic |
The Minimal Size of Infinite Maximal Antichains in Direct Products of Partial Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 34(2), pp. 235-251, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 37(4), pp. 651-672, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Lukás Holík |
Simulations and Antichains for Efficient Handling of Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.03208, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.00067, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Lukás Holík, Roland Meyer 0001, Sebastian Muskalla |
Antichains for Inclusion Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.07256, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Maurício Collares Neto, Robert Morris 0001 |
Maximum-size antichains in random set-systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 49(2), pp. 308-321, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 64, pp. 277-288, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 71-89, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Otmar Spinas, Marek Wyszkowski |
Silver Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 80(2), pp. 503-519, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar |
Nested Antichains for WS1S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.03849, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Lukás Holík, Roland Meyer 0001 |
Antichains for the Verification of Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers, pp. 322-336, 2015, Springer, 978-3-319-26849-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar |
Nested Antichains for WS1S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 658-674, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 163, pp. 165-180, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Henri Mühle |
Counting proper mergings of chains and antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 327, pp. 118-129, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Kalinowski, Uwe Leck, Ian T. Roberts |
Maximal Antichains of Minimum Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 20(2), pp. 3, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Eric Ould Dadah Andriantiana, Stephan G. Wagner, Hua Wang 0003 |
Greedy Trees, Subtrees and Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 20(3), pp. 28, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | L. Ilinca, Jeff Kahn 0001 |
Counting Maximal Antichains and Independent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 30(2), pp. 427-435, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Ian T. Roberts, Matthias Böhm 0003 |
On the existence of regular antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 313(4), pp. 348-356, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Véronique Bruyère, Marc Ducobu, Olivier Gauwin |
Visibly Pushdown Automata: Universality and Inclusion via Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pp. 190-201, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Roman Glebov |
Bijective mapping preserving intersecting antichains for k-valued cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 312(12-13), pp. 2023-2026, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Octavio Alberto Agustín-Aquino |
Antichains and counterpoint dichotomies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Contributions Discret. Math. ![In: Contributions Discret. Math. 7(2), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Matthias Böhm 0003 |
k-regular antichains on [m] with k ≤ m-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 53, pp. 41-52, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Vadim V. Lozin, Colin Mayhill |
Canonical Antichains of Unit Interval and Bipartite Permutation Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 28(3), pp. 513-522, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Antichains and compositional algorithms for LTL synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 39(3), pp. 261-296, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Ron Aharoni, Eli Berger |
Strongly maximal antichains in posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 311(15), pp. 1518-1522, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Jun Wang 0132 |
Intersecting antichains and shadows in linear lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 118(7), pp. 2092-2101, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Natalie Hine, James G. Oxley |
When excluding one matroid prevents infinite antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 45(1), pp. 74-76, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 310(21), pp. 2890-2894, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Dwight Duffus, Bill Sands |
On the size of maximal chains and the number of pairwise disjoint maximal antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 310(21), pp. 2883-2889, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 48, pp. 143-158, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 158-174, 2010, Springer, 978-3-642-12001-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 16(1), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Dmitri I. Panyushev |
On orbits of antichains of positive roots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 30(2), pp. 586-594, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Laurent Doyen 0001, Jean-François Raskin |
Antichains for the Automata-Based Approach to Model-Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 5(1), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
22 | Guoli Ding |
On canonical antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 309(5), pp. 1123-1134, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight |
Chains and antichains in partial orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 48(1), pp. 39-53, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 29(4), pp. 881-899, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Jan Foniok, Jaroslav Nesetril, Claude Tardif |
On Finite Maximal Antichains in the Homomorphism Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 29, pp. 389-396, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Péter L. Erdös, Lajos Soukup |
How To Split Antichains In Infinite Posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 27(2), pp. 147-161, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 06A07, 03E05 |
22 | Ákos Kisvölcsey |
Flattening Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 26(1), pp. 65-82, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 79, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
22 | James Cummings 0001, Ernest Schimmerling |
Diamond and antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(1), pp. 71-76, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Paulette Lieby |
Antichains on Three Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 11(1), 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Siaw-Lynn Ng |
A Characterisation of Posets that Are nearly Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(1), pp. 1-5, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
linear discrepancy, poset |
22 | Dmitri I. Panyushev |
Short antichains in root systems, semi-Catalan arrangements, and B-stable subspaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 25(1), pp. 93-112, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Walther Janous, J. P. V. Abad |
Maximum Antichains in the Divisor Lattice: 10942. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 111(3), pp. 263, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Christian Bey, Garth Isaak |
Maximum Antichains of Sets of Distinct Sizes: 10932. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 111(3), pp. 262-263, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Jaroslav Nesetril, Claude Tardif |
On maximal finite antichains in the homomorphism order of directed graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discuss. Math. Graph Theory ![In: Discuss. Math. Graph Theory 23(2), pp. 325-332, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Chaz Schlindwein |
SH plus CH does not imply stationary antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 124(1-3), pp. 233-265, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Muktar E. Elzobi, Zbigniew Lonc |
Partitioning Boolean lattices into antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 260(1-3), pp. 45-55, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Rudolf Ahlswede, Harout K. Aydinian, Levon H. Khachatrian |
Maximal antichains under dimension constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 273(1-3), pp. 23-29, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Stephen J. Greenfield, Brenda J. Latka |
Embedded antichains in tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 11, pp. 349-357, 2002. The full citation details ...](Pics/full.jpeg) |
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}. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 242(1-3), pp. 175-185, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Matthias Beck, Thomas Zaslavsky |
A Shorter, Simpler, Stronger Proof of the Meshalkin-Hochberg-Hirsch Bounds on Componentwise Antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 100(1), pp. 196-199, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Jason Alexis Valentine Crampton |
Authorization and antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
22 | Eberhard Herrmann |
Infinite Chains and Antichains in Computable Partial Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 66(2), pp. 923-934, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Oktay M. Kasim-Zade |
On minimal coverings of the Boolean cube by centered antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 114(1-3), pp. 147-153, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Jason Crampton, George Loizou |
Authorisation and antichains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 35(3), pp. 6-15, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Gregory L. Cherlin, Brenda J. Latka |
Minimal Antichains in Well-founded Quasi-orders with an Application to Tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 80(2), pp. 258-276, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Deryk Osthus |
Maximum Antichains in Random Subsets of a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 90(2), pp. 336-346, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|