Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
120 | Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi |
Büchi Complementation Made Tighter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 64-78, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
105 | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
Decomposing Non-redundant Sharing by Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 69-84, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis |
82 | Orna Kupferman, Moshe Y. Vardi |
Complementation Constructions for Nondeterministic Automata on Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 206-221, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
80 | Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato |
Complementation in Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(1), pp. 7-47, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain |
69 | Yang Cai 0001, Ting Zhang, Haifeng Luo |
An Improved Lower Bound for the Complementation of Rabin Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 167-176, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
69 | Moshe Y. Vardi |
The Büchi Complementation Saga. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings, pp. 12-22, 2007, Springer, 978-3-540-70917-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Qiqi Yan |
Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 589-600, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
69 | Orna Kupferman, Moshe Y. Vardi |
From Complementation to Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 591-606, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Kumar Neeraj Verma |
On Closure under Complementation of Equational Tree Automata for Theories Extending AC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 183-197, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Nils Klarlund |
Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 358-367, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
complementation omega -automata, languages of infinite words, Buchi automata, Streett automata, optimal complementation, temporal logic, finite-state automata, ETLs, graph-theoretic approach |
57 | Seth Fogarty, Moshe Y. Vardi |
Büchi Complementation and Size-Change Termination. ![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. 16-30, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Joachim Biskup, Sebastian Link |
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings, pp. 58-77, 2008, Springer, 978-3-540-77683-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi |
On Complementing Nondeterministic Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings, pp. 96-110, 2003, Springer, 3-540-20363-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | V. Vinay |
Hierarchies of Circuit Classes that are Closed under Complement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996, pp. 108-117, 1996, IEEE Computer Society, 0-8186-7386-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Circuits, Complexity Theory, Complementation |
44 | Hrishikesh Karmarkar, Supratik Chakraborty |
On Minimal Odd Rankings for Büchi Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 228-243, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Lars Eirik Danielsen, Matthew Geoffrey Parker |
Edge local complementation and equivalence of binary linear codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 49(1-3), pp. 161-170, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
05C30, AMS Classifications 94B05 |
44 | Jozef Jirásek 0001, Galina Jirásková, Alexander Szabari |
State Complexity of Concatenation and Complementation of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers, pp. 178-189, 2004, Springer, 3-540-24318-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Birgit Jenner |
Closure under Complementation of Logspace Complexity Classes - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computer Science: Potential - Theory - Cognition ![In: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, pp. 163-175, 1997, Springer, 3-540-63746-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Roberto Giacobazzi, Isabella Mastroeni |
A characterization of symmetric semantics by domain complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000, pp. 115-126, 2000, ACM, 1-58113-265-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
domain complementation, abstract interpretation, program semantics, concurrent constraint programming |
42 | Yuke Wang, Carl McCrosky |
Negation Trees: A Unified Approach to Boolean Function Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 45(5), pp. 626-630, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
complementation algorithms, negation trees, Boolean functions, unate functions |
39 | James G. Oxley, Jagdeep Singh |
Complementation, local complementation, and switching in binary matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 126, pp. 102041, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Camille Filiatrault Chastel |
Exploration de sécrétomes d'Aspergillus spp. en vue de la complémentation du cocktail cellulolytique de Trichoderma reesei. (Exploration of Aspergillus spp. secretomes for the complementation of Trichoderma reesei cellulolyticcocktail). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
39 | Chloé Rispal |
Automates sur les ordres linéaires : Complémentation. (Automata on Linear Orderings: Complementation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
35 | Skander Belhaj |
A fast method to block-diagonalize a Hankel matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 47(1), pp. 15-34, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hankel matrix, Block diagonalization, Triangular Toeplitz matrix, Schur complementation |
35 | Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana |
On a Graph Calculus for Algebras of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 298-312, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Relational language, reasoning from hypotheses, graph calculus, completeness, complementation |
35 | Orna Kupferman, Moshe Y. Vardi |
Weak alternating automata are not that weak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(3), pp. 408-429, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
weak alternating automata, complementation |
35 | Gheorghe Paun |
(DNA) computing by carving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 3(1), pp. 30-36, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Chomskyhierarchy, approximation of languages, DNA computing, complementation |
32 | Jens Bleiholder, Sascha Szott, Melanie Herschel, Frank Kaufer, Felix Naumann |
Subsumption and complementation as data fusion operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings, pp. 513-524, 2010, ACM, 978-1-60558-945-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
complement union, minimum union, data integration, data quality |
32 | Marcella Anselmo, Maria Madonia |
A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 147-159, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages |
32 | Christian Kissig, Yde Venema |
Complementation of Coalgebra Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 81-96, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Christian Dax, Felix Klaedtke |
Alternation Elimination by Complementation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 214-229, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Oliver Kullmann |
Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 314-327, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Okhotin, Oksana Yakimova |
Language Equations with Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, pp. 420-432, 2006, Springer, 3-540-35428-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Tri Van Le, Rüdiger Sparr, Ralph Wernsdorf, Yvo Desmedt |
Complementation-Like and Cyclic Properties of AES Round Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AES Conference ![In: Advanced Encryption Standard - AES, 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers, pp. 128-141, 2004, Springer, 3-540-26557-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cyclic properties, AES, invariance, Rijndael, self-duality |
32 | Chloe Rispal, Olivier Carton |
Complementation of Rational Sets on Countable Scattered Linear Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings, pp. 381-392, 2004, Springer, 3-540-24014-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Olivier Carton, Chloe Rispal |
Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings, pp. 292-301, 2004, Springer, 3-540-21258-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Stefan Schwoon |
Determinization and Complementation of Streett Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata, Logics, and Infinite Games ![In: Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001], pp. 79-91, 2001, Springer, 3-540-00388-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Felix Klaedtke |
Complementation of Büchi Automata Using Alternation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata, Logics, and Infinite Games ![In: Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001], pp. 61-78, 2001, Springer, 3-540-00388-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira |
Using Complementation and Resequencing to Minimize Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 694-697, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
reconfigurable computing, event-driven simulation |
32 | Roope Kaivola |
Fixpoints for Rabin Tree Automata Make Complementation Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 312-323, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
32 | Anca Muscholl |
On the Complementation of Büchi Asynchronous Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 142-153, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Balder ten Cate, Carsten Lutz |
The complexity of query containment in expressive fragments of XPath 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(6), pp. 31:1-31:48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XML, complexity, satisfiability, XPath, containment |
25 | Sven Hartmann, Henning Köhler, Sebastian Link |
Full hierarchical dependencies in fixed and undetermined universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 50(1-2), pp. 195-226, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68P15 |
25 | Balder ten Cate, Carsten Lutz |
The complexity of query containment in expressive fragments of XPath 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 73-82, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, complexity, satisfiability, XPath, containment |
25 | Léonard Kwuida |
When Is a Concept Algebra Boolean? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings, pp. 142-155, 2004, Springer, 3-540-21043-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Orna Kupferman, Sharon Zuhovitzky |
An Improved Algorithm for the Membership Problem for Extended Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 446-458, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Markus Holzer 0001, Martin Kutrib |
State Complexity of Basic Operations on Nondeterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers, pp. 148-157, 2002, Springer, 3-540-40391-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Jarkko Kari, Cristopher Moore |
New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, pp. 396-406, 2001, Springer, 3-540-41695-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Roberto Giacobazzi, Francesco Ranzato |
Complementing Logic Program Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, pp. 238-253, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Nils Klarlund, Madhavan Mukund, Milind A. Sohoni |
Determinizing Büchi Asnchronous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 456-470, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Carsten Damm, Markus Holzer 0001 |
Inductive Counting Below LOGSPACE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 276-285, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Shen-Chuan Tai, M. W. Du, Richard C. T. Lee |
A transformational approach to synthesizing combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(3), pp. 286-295, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli |
PLATYPUS: a PLA test pattern generation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 197-203, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
25 | James W. Welch, J. Wesley Graham |
Information Retrieval in Files Described Using Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data, San Jose, California, USA, May 14-16, 1975., pp. 92-98, 1975, ACM, 978-1-4503-7328-9. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
multilist file, information retrieval, boolean functions, retrieval, attributes, inverted file, file organization, boolean queries |
23 | Fabien Schang, Amirouche Moktefi |
Depicting Negation in Diagrammatic Logic: Legacy and Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 236-241, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bivalence, logical negation, internalization, complementation, dichotomy |
23 | Jason V. Davis, Inderjit S. Dhillon |
Estimating the global pagerank of web communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Philadelphia, PA, USA, August 20-23, 2006, pp. 116-125, 2006, ACM, 1-59593-339-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
stochastic complementation, Markov chain, page rank |
23 | Qiang Ma 0001, Katsumi Tanaka |
Topic-structure-based complementary information retrieval and its application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 4(4), pp. 475-503, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Information complementation, complementary information retrieval, content fusion, topic structure |
23 | Alma Riska, Evgenia Smirni, Gianfranco Ciardo |
An aggregation-based method for the exact analysis of a class of GI/G/1-type processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 31(2), pp. 28-30, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
GI/G/1-type processess, GI/M/1-type processes, M/G/1-type processes, matrix-analytic techniques, stochastic complementation, Markov chains, reliability analysis |
23 | E. Allen Emerson, Charanjit S. Jutla |
Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 368-377, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
infinite trees, online algorithms, decidability, finite automata, equivalence, complementation, mu-calculus, infinite games, determinacy |
23 | Jim B. Surjaatmadja |
An Algebra for Switching Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(8), pp. 609-613, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
canonical operators, noncanonical operators, postulates, switching circuit algebra, consensus, Boolean algebra, complementation, theorems, Karnaugh maps |
19 | Dariusz Gosciewski, Malgorzata Gerus-Gosciewska, Agnieszka Szczepanska |
Application of Polynomial Interpolation for Iterative Complementation of the Missing Nodes in a Regular Network of Squares Used for the Construction of a Digital Terrain Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 16(6), pp. 999, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jingsheng Lei, Chente Shu, Qiang Xu, Yunxiang Yu, Shengying Yang |
FCPFNet: Feature Complementation Network with Pyramid Fusion for Semantic Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 56(2), pp. 60, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Rundong Zhao, Panpan Zheng, Cui Zhang, Liejun Wang |
Progressive Complementation Network With Semantics and Details for Salient Object Detection in Optical Remote Sensing Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17, pp. 8626-8641, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jiang Li 0004, Xiaoping Wang 0001, Guoqing Lv, Zhigang Zeng |
GraphCFC: A Directed Graph Based Cross-Modal Feature Complementation Approach for Multimodal Conversational Emotion Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 26, pp. 77-89, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Mingxuan Luo, Xiaoshan Yang |
Postpartum pelvic organ prolapse assessment via adversarial feature complementation in heterogeneous data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 35(19), pp. 13851-13860, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Daeyi Jung |
Experimental Validation of Artificial Neural Network Based Road Condition Classifier and its Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 82696-82708, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yuzhen Niu, Zhihua Lin, Wenxi Liu, Wenzhong Guo |
Progressive Moire Removal and Texture Complementation for Image Demoireing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 33(8), pp. 3608-3621, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Andrew Tedder |
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 111(2), pp. 321-352, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jianchao Fan, Shuai Zhang, Xinzhe Wang, Jun Xing |
Multifeature Semantic Complementation Network for Marine Oil Spill Localization and Segmentation Based on SAR Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16, pp. 3771-3783, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep |
Algorithms for subgraph complementation to some classes of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.15873, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yang Yang, Weijie Ma, Hao Chen, Linlin Ou, Xinyi Yu |
CrossFusion: Interleaving Cross-modal Complementation for Noise-resistant 3D Object Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.09694, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Gilles Dowek, Ying Jiang |
Complementation: a bridge between finite and infinite proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.05085, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Vojtech Havlena, Ondrej Lengál, Yong Li 0031, Barbora Smahlíková, Andrea Turrini |
Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.01890, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yadong Zhu, Conghui Li, Kai Hu 0002, Hongying Luo, Meijun Zhou, Xuanya Li, Xieping Gao |
A new two-stream network based on feature separation and complementation for ultrasound image segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 82, pp. 104567, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Ye Wang, Yaxiong Wang, Guoshuai Zhao, Xueming Qian |
Learning to complement: Relation complementation network for few-shot class-incremental learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 282, pp. 111130, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Chang Wu, Gang He 0002, Xinquan Lai, Yunsong Li |
MPCNet: Compressed multi-view video restoration via motion-parallax complementation network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 167, pp. 601-614, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Olga Martynova 0001, Alexander Okhotin |
Non-closure under complementation for unambiguous linear grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 292, pp. 105031, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Weizhi Feng, Yong Li 0031, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001 |
On the power of finite ambiguity in Büchi complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 292, pp. 105032, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zhong Ji, Zhishen Hou, Xiyao Liu 0002, Yanwei Pang, Xuelong Li 0001 |
Memorizing Complementation Network for Few-Shot Class-Incremental Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 32, pp. 937-948, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Pengyu Zhang, Shijie Gao, Yi Shen, Shiyu Yang, Lizhuang Sun |
SG-RC: SG-CIM Grid Knowledge Graph Relationship Complementation Model Based on Entropy Uncertainty and Semantic Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigDataSecurity/HPSC/IDS ![In: 9th Intl Conference on Big Data Security on Cloud, BigDataSecurity, IEEE Intl Conference on High Performance and Smart Computing, HPSC and IEEE Intl Conference on Intelligent Data and Security IDS 2023, New York, NY, USA, May 6-8, 2023, pp. 181-186, 2023, IEEE, 979-8-3503-1293-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yong Yang 0001, Wenzhi Xu, Shuying Huang, Weiguo Wan |
Low-Light Image Enhancement Network Based on Multi-Scale Feature Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 3214-3221, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Vojtech Havlena, Ondrej Lengál, Yong Li 0031, Barbora Smahlíková, Andrea Turrini |
Modular Mix-and-Match Complementation of Büchi Automata. ![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. 249-270, 2023, Springer, 978-3-031-30822-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zichen Yin, Dongmei Liu |
MFC-Net: A Multiple Feature Complementation Network for Person Re-identification in Aerial Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMIP ![In: Proceedings of the 2023 8th International Conference on Multimedia and Image Processing, ICMIP 2023, Tianjin, China, April 21-23, 2023, pp. 21-27, 2023, ACM, 978-1-4503-9958-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zeming Zhang, Zhuoran Liu, Jingchi Jiang, Chaoran Kong, Yi Guan, Xiguang Liu, Haiyan You, Jing Yang, Yi Lin |
Interpretable Diagnosis of Face Acne via Complementation Learning of Evidence Localization and Severity Level Grading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023, Istanbul, Turkiye, December 5-8, 2023, pp. 3414-3421, 2023, IEEE, 979-8-3503-3748-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Mihály A. Martínez-Miraval, Martha L. García-Rodríguez |
Complementation Between Usage Schemes and Mental Actions in an Approach to the Definite Integral Using GeoGebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WorldCIST (2) ![In: Information Systems and Technologies - WorldCIST 2023, Volume 2, Pisa, Italy, April 4-6, 2023., pp. 395-404, 2023, Springer, 978-3-031-45644-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Calum Buchanan, Christopher Purcell, Puck Rombach |
Subgraph Complementation and Minimum Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 29(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Siyuan Du, Hao Wang |
Addressing Syntax-Based Semantic Complementation: Incorporating Entity and Soft Dependency Constraints into Metonymy Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Internet ![In: Future Internet 14(3), pp. 85, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Qunyan Jiang, Juying Dai, Ting Rui, Faming Shao, Jinkang Wang, Guanlin Lu |
Attention-Based Cross-Modality Feature Complementation for Multispectral Pedestrian Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 53797-53809, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Gongyang Li, Zhi Liu 0003, Weisi Lin, Haibin Ling |
Multi-Content Complementation Network for Salient Object Detection in Optical Remote Sensing Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 60, pp. 1-13, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Dhanyamol Antony, Jay Garchar, Sagartanu Pal, R. B. Sandeep, Sagnik Sen 0001, R. Subashini |
On Subgraph Complementation to H-free Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 84(10), pp. 2842-2870, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep, R. Subashini |
Cutting a tree with Subgraph Complementation is hard, except for some small trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.13620, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Olga Martynova 0001, Alexander Okhotin |
Non-closure under complementation for unambiguous linear grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.02329, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zhong Ji, Zhishen Hou, Xiyao Liu 0002, Yanwei Pang, Xuelong Li 0001 |
Memorizing Complementation Network for Few-Shot Class-Incremental Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.05610, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jiang Li, Xiaoping Wang 0001, Guoqing Lv, Zhigang Zeng |
GraphCFC: A Directed Graph based Cross-modal Feature Complementation Approach for Multimodal Conversational Emotion Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.12261, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Momoko Matsuyama, Norihiro Koizumi, Akihide Otsuka, Kento Kobayashi, Shiho Yagasaki, Yusuke Watanabe, Jiayi Zhou, Yu Nishiyama, Naoki Matsumoto, Hiroyuki Tsukihara, Kazushi Numata |
A novel complementation method of an acoustic shadow region utilizing a convolutional neural network for ultrasound-guided therapy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 17(1), pp. 107-119, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Feng Liu 0039, Siyuan Shen, Ziwang Fu, Hanyang Wang, Aimin Zhou, Jia-Yin Qi |
LGCCT: A Light Gated and Crossed Complementation Transformer for Multimodal Speech Emotion Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(7), pp. 1010, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Tao Liao, Rongmei Huang, Shunxiang Zhang, Songsong Duan, Yanjie Chen, Wenxiang Ma, Xinyuan Chen |
Nested Named Entity Recognition Based on Dual Stream Feature Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(10), pp. 1454, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Moshe Y. Vardi, Seth Fogarty, Yong Li 0031, Yih-Kuen Tsay |
Towards a Grand Unification of Büchi Complementation Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 185-207, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková |
Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, pp. 118-136, 2022, Springer, 978-3-030-99526-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep, R. Subashini |
Cutting a Tree with Subgraph Complementation is Hard, Except for Some Small Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2022: Theoretical Informatics - 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022, Proceedings, pp. 3-19, 2022, Springer, 978-3-031-20623-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|