Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
120 | Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi |
Büchi Complementation Made Tighter. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
105 | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
Decomposing Non-redundant Sharing by Complementation. |
SAS |
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. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
80 | Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato |
Complementation in Abstract Interpretation. |
ACM Trans. Program. Lang. Syst. |
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. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
69 | Moshe Y. Vardi |
The Büchi Complementation Saga. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Qiqi Yan |
Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
69 | Orna Kupferman, Moshe Y. Vardi |
From Complementation to Certification. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Kumar Neeraj Verma |
On Closure under Complementation of Equational Tree Automata for Theories Extending AC. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Nils Klarlund |
Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic |
FOCS |
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. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Joachim Biskup, Sebastian Link |
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi |
On Complementing Nondeterministic Büchi Automata. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
48 | V. Vinay |
Hierarchies of Circuit Classes that are Closed under Complement. |
CCC |
1996 |
DBLP DOI BibTeX RDF |
Circuits, Complexity Theory, Complementation |
44 | Hrishikesh Karmarkar, Supratik Chakraborty |
On Minimal Odd Rankings for Büchi Complementation. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Lars Eirik Danielsen, Matthew Geoffrey Parker |
Edge local complementation and equivalence of binary linear codes. |
Des. Codes Cryptogr. |
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. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Birgit Jenner |
Closure under Complementation of Logspace Complexity Classes - A Survey. |
Foundations of Computer Science: Potential - Theory - Cognition |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Roberto Giacobazzi, Isabella Mastroeni |
A characterization of symmetric semantics by domain complementation. |
PPDP |
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. |
IEEE Trans. Computers |
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. |
Adv. Appl. Math. |
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). |
|
2019 |
RDF |
|
39 | Chloé Rispal |
Automates sur les ordres linéaires : Complémentation. (Automata on Linear Orderings: Complementation). |
|
2004 |
RDF |
|
35 | Skander Belhaj |
A fast method to block-diagonalize a Hankel matrix. |
Numer. Algorithms |
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. |
WoLLIC |
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. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
weak alternating automata, complementation |
35 | Gheorghe Paun |
(DNA) computing by carving. |
Soft Comput. |
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. |
EDBT |
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. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages |
32 | Christian Kissig, Yde Venema |
Complementation of Coalgebra Automata. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Christian Dax, Felix Klaedtke |
Alternation Elimination by Complementation (Extended Abstract). |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Oliver Kullmann |
Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Okhotin, Oksana Yakimova |
Language Equations with Complementation. |
Developments in Language Theory |
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. |
AES Conference |
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. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Olivier Carton, Chloe Rispal |
Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank. |
LATIN |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Stefan Schwoon |
Determinization and Complementation of Streett Automata. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Felix Klaedtke |
Complementation of Büchi Automata Using Alternation. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira |
Using Complementation and Resequencing to Minimize Transitions. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
reconfigurable computing, event-driven simulation |
32 | Roope Kaivola |
Fixpoints for Rabin Tree Automata Make Complementation Easy. |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
32 | Anca Muscholl |
On the Complementation of Büchi Asynchronous Cellular Automata. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Balder ten Cate, Carsten Lutz |
The complexity of query containment in expressive fragments of XPath 2.0. |
J. ACM |
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. |
Ann. Math. Artif. Intell. |
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. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
XML, complexity, satisfiability, XPath, containment |
25 | Léonard Kwuida |
When Is a Concept Algebra Boolean? |
ICFCA |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Orna Kupferman, Sharon Zuhovitzky |
An Improved Algorithm for the Membership Problem for Extended Regular Expressions. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Markus Holzer 0001, Martin Kutrib |
State Complexity of Basic Operations on Nondeterministic Finite Automata. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Jarkko Kari, Cristopher Moore |
New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Roberto Giacobazzi, Francesco Ranzato |
Complementing Logic Program Semantics. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Nils Klarlund, Madhavan Mukund, Milind A. Sohoni |
Determinizing Büchi Asnchronous Automata. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Carsten Damm, Markus Holzer 0001 |
Inductive Counting Below LOGSPACE. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Shen-Chuan Tai, M. W. Du, Richard C. T. Lee |
A transformational approach to synthesizing combinational circuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli |
PLATYPUS: a PLA test pattern generation tool. |
DAC |
1985 |
DBLP DOI BibTeX RDF |
|
25 | James W. Welch, J. Wesley Graham |
Information Retrieval in Files Described Using Sets. |
SIGMOD Conference |
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. |
Diagrams |
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. |
KDD |
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. |
ACM Trans. Asian Lang. Inf. Process. |
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. |
SIGMETRICS Perform. Evaluation Rev. |
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) |
FOCS |
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. |
IEEE Trans. Computers |
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. |
Remote. Sens. |
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. |
Neural Process. Lett. |
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. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
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. |
IEEE Trans. Multim. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Mingxuan Luo, Xiaoshan Yang |
Postpartum pelvic organ prolapse assessment via adversarial feature complementation in heterogeneous data. |
Neural Comput. Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Daeyi Jung |
Experimental Validation of Artificial Neural Network Based Road Condition Classifier and its Complementation. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yuzhen Niu, Zhihua Lin, Wenxi Liu, Wenzhong Guo |
Progressive Moire Removal and Texture Complementation for Image Demoireing. |
IEEE Trans. Circuits Syst. Video Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Andrew Tedder |
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics. |
Stud Logica |
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. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep |
Algorithms for subgraph complementation to some classes of graphs. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Gilles Dowek, Ying Jiang |
Complementation: a bridge between finite and infinite proofs. |
CoRR |
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). |
CoRR |
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. |
Biomed. Signal Process. Control. |
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. |
Knowl. Based Syst. |
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. |
Neural Networks |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Olga Martynova 0001, Alexander Okhotin |
Non-closure under complementation for unambiguous linear grammars. |
Inf. Comput. |
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. |
Inf. Comput. |
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. |
IEEE Trans. Image Process. |
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. |
BigDataSecurity/HPSC/IDS |
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. |
AAAI |
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. |
TACAS (1) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zichen Yin, Dongmei Liu |
MFC-Net: A Multiple Feature Complementation Network for Person Re-identification in Aerial Imagery. |
ICMIP |
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. |
BIBM |
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. |
WorldCIST (2) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Calum Buchanan, Christopher Purcell, Puck Rombach |
Subgraph Complementation and Minimum Rank. |
Electron. J. Comb. |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Siyuan Du, Hao Wang |
Addressing Syntax-Based Semantic Complementation: Incorporating Entity and Soft Dependency Constraints into Metonymy Resolution. |
Future Internet |
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. |
IEEE Access |
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. |
IEEE Trans. Geosci. Remote. Sens. |
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. |
Algorithmica |
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. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
19 | Olga Martynova 0001, Alexander Okhotin |
Non-closure under complementation for unambiguous linear grammars. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
Int. J. Comput. Assist. Radiol. Surg. |
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. |
Entropy |
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. |
Entropy |
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. |
Principles of Systems Design |
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. |
TACAS (2) |
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. |
LATIN |
2022 |
DBLP DOI BibTeX RDF |
|