|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 402 occurrences of 274 keywords
|
|
|
Results
Found 789 publication records. Showing 789 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Venky Harinarayan, Ashish Gupta 0001 |
Optimization Using Tuple Subsumption. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Werner Kießling, Ulrich Güntzer |
Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng |
Subsumption and Refinement in Model Inference. |
ECML |
1993 |
DBLP DOI BibTeX RDF |
|
27 | François Barthélemy, Éric Villemonte de la Clergerie |
Subsumption-oriented Push-Down Automata. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Pierre-Louis Curien, Giorgio Ghelli |
Coherence of Subsumption. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Saswat Anand, Corina S. Pasareanu, Willem Visser |
Symbolic execution with abstraction. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Jianfeng Du, Guilin Qi, Qiu Ji |
Goal-Directed Module Extraction for Explaining OWL DL Entailments. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Hojjat Jafarpour, Sharad Mehrotra, Nalini Venkatasubramanian, Mirko Montanari |
MICS: an efficient content space representation model for publish/subscribe systems. |
DEBS |
2009 |
DBLP DOI BibTeX RDF |
publish/subscribe, event notification |
20 | Sean McLaughlin, Frank Pfenning |
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | HyoJung Han, Fabio Somenzi |
On-the-Fly Clause Improvement. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Yannis Theoharis, Yannis Tzitzikas, Dimitris Kotzinos, Vassilis Christophides |
On Graph Features of Semantic Web Schemas. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
conceptual schemas morphology, Semantic Web, power-laws |
20 | Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Syed Adnan Hussain Shah |
Evaluation of Ontologies and DL Reasoners. |
Intelligent Information Processing |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Steven C. S. Ng, Allan K. Y. Wong |
RCR - A Novel Model for Effective Computer-Aided TCM (Traditional Chinese Medicine) Learning over the Web. |
CSSE (5) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin M. Good, Mark D. Wilkinson |
Ontology engineering using volunteer labor. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
semantic web, knowledge acquisition, ontology engineering |
20 | Changrui Yu, Yan Luo |
Term Consistency Checking of Ontology Model Based on Description Logics. |
KSEM |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Michel Liquiere |
Arc Consistency Projection: A New Generalization Relation for Graphs. |
ICCS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Cliff A. Joslyn, Karin Verspoor, Damian Gessler |
Knowledge Integration in OpenWorlds: Utilizing the Mathematics of Hierarchical Structure. |
ICSC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Myunghee Kim |
The First Step in a Self-Assembling Process in a System: A Picking-Up a Module Algorithm. |
ICNSC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Michael Botros |
Evolving Complex Robotic Behaviors Using Genetic Programming. |
Genetic Systems Programming |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Pramod G. Joisha |
Compiler optimizations for nondeferred reference-counting garbage collection. |
ISMM |
2006 |
DBLP DOI BibTeX RDF |
static analyses, reference counting |
20 | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn |
CEL - A Polynomial-Time Reasoner for Life Science Ontologies. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Gang Wu, Kuo Zhang, Can Liu, Juan-Zi Li |
Adapting Prime Number Labeling Scheme for Directed Acyclic Graphs. |
DASFAA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Yannis Theoharis, Vassilis Christophides, Gregory Karvounarakis |
Benchmarking Database Representations of RDF/S Stores. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Vasile Rus, Arthur C. Graesser, Philip M. McCarthy, King-Ip (David) Lin |
A Study on Textual Entailment. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Hyoung Seok Hong, Hasan Ural |
Using Model Checking for Reducing the Cost of Test Generation. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Franz Baader, Baris Sertkaya |
Applying Formal Concept Analysis to Description Logics. |
ICFCA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Nwe Ni Tun, Satoshi Tojo |
Inheritance of Multiple Identity Conditions in Order-Sorted Logic. |
Australian Conference on Artificial Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jae C. Oh, Madhura S. Tamhankar, Daniel Mossé |
Design of Very Lightweight Agents for Reactive Embedded Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Brandt 0001, Anni-Yasmin Turhan, Ralf Küsters |
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Christel Kemke |
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases. |
ISMIS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Vassilis Christophides, Dimitris Plexousakis, Michel Scholl, Sotirios Tourtounis |
On labeling schemes for the semantic web. |
WWW |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Christel Kemke |
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases. |
AI |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Oliver Ray, Krysia Broda, Alessandra Russo |
Hybrid Abductive Inductive Learning: A Generalisation of Progol. |
ILP |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jin Uemura, Masako Sato |
Compactness and Learning of Classes of Unions of Erasing Regular Pattern Languages. |
ALT |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Henry Hexmoor |
Evolution of Agent Architectures. |
WRAC |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Éric Grégoire |
Fusing Cooperative Technical-Specification Knowledge Components. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Gang Chen |
Full integration of subtyping and if-expression. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
if-expression, Java, subtyping, type checking |
20 | Jörg-Uwe Kietz |
Learnability of Description Logic Programs. |
ILP |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz |
A Quasi-Metric for Machine Learning. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Yolanda Gil, Surya Ramachandran |
PHOSPHORUS: a task-based agent matchmaker. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Peter Geibel, Fritz Wysotzki |
Graphbasierte Lernverfahren für relationale Daten. |
Inform. Forsch. Entwickl. |
2000 |
DBLP DOI BibTeX RDF |
Künstliche Intelligenz, Maschinelles Lernen, Graphen, Induktive Logische Programmierung, Entscheidungsbaumverfahren, Subsumtion, LGG, Knowledge Discovery in Databases |
20 | Mathieu Roger, Ana Simonet, Michel Simonet |
A Description Logics-Like Model for a Knowledge and Data Management System. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Akihiro Yamamoto, Bertram Fronhöfer |
Hypotheses Finding via Residue Hypotheses with the Resolution Principle. |
ALT |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Saurabh Sinha, Mary Jean Harrold |
Criteria for Testing Exception-Handling Constructs in Java Programs. |
ICSM |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Reinhard Pichler |
Completeness and Redundancy in Constrained Clause Logic. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Luigi Liquori |
An Extended Theory of Primitive Objects: FIrst Order System. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
design and semantics of object-oriented languages, Type systems |
20 | Eva Armengol, Enric Plaza |
Induction of Feature Terms With INDIE. |
ECML |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Floriana Esposito, Donato Malerba, Giovanni Semeraro |
Traps and Pitfalls when Learning Logical Definitions from Relations. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng |
Existence and Nonexistence of Complete Refinement Operators. |
ECML |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Peter Jackson |
Computing Prime Implicates Incrementally. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Hans Leiß |
Polymorphic Constructs in Natural and Programming Languages. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
20 | V. S. Subrahmanian |
Algebraic Properties of The Space of Multivalued and Paraconsistent Logic Programs. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Raymond Y. K. Lau, Chapmann C. L. Lai, Yuefeng Li |
Mining Fuzzy Ontology for a Web-Based Granular Information Retrieval System. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy Domain Ontology, Fuzzy Subsumption, Granular IR Systems, Information Retrieval, Granular Computing |
19 | Pradeep Kumar Duraisamy Soundrapandian |
Alias count facilitate ownership transfer. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
alias count, reference exposure, aliasing, subsumption, ownership transfer, dangling pointer |
19 | Ilias Michalarias, Christian Becker 0009 |
Multidimensional querying in wireless ad hoc networks. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
mOLAP, MANET, subsumption |
19 | Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty, Steven Nordstrom, Michael Haney |
Prototype of fault adaptive embedded software for large-scale real-time systems. |
Artif. Intell. Rev. |
2006 |
DBLP DOI BibTeX RDF |
Large-scale real-time systems, Multi-agent systems, Embedded systems, Subsumption architecture |
19 | Salima Benbernou, Mohand-Said Hacid |
Resolution and Constraint Propagation for Semantic Web Services Discovery. |
Distributed Parallel Databases |
2005 |
DBLP DOI BibTeX RDF |
constrained rules, semantic web services, resolution, subsumption |
19 | Anna Formica, Michele Missikoff |
Inheritance processing and conflicts in structural generalization hierarchies. |
ACM Comput. Surv. |
2004 |
DBLP DOI BibTeX RDF |
Generalization hierarchies, structural conceptual modeling, inheritance, subtyping, subsumption, subclassing |
19 | Vitaliy L. Khizder, Grant E. Weddell |
Reasoning about Uniqueness Constraints in Object Relational Databases. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
uniqueness constraints, subsumption algorithms, description logics, Complex objects, object relational databases, semantic query optimization |
19 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
The complexity of acyclic conjunctive queries. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
LOGCFL, acyclic hypergraph, degree of cyclicity, hinge, join tree, qury-idth, algorithm, parallel algorithm, constraint, CSP, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, bounded treewidth, tree query |
19 | Kevin Chen-Chuan Chang, Hector Garcia-Molina, Andreas Paepcke |
Predicate Rewriting for Translating Boolean Queries in a Heterogeneous Information System. |
ACM Trans. Inf. Syst. |
1999 |
DBLP DOI BibTeX RDF |
predicate rewriting, query subsumption, filtering, content-based retrieval, query translation, Boolean queries |
19 | Mark Sanderson, W. Bruce Croft |
Deriving Concept Hierarchies from Text. |
SIGIR |
1999 |
DBLP DOI BibTeX RDF |
multi-document summary, term co-occurence, concept hierarchy, subsumption |
19 | Kevin Chen-Chuan Chang, Hector Garcia-Molina, Andreas Paepcke |
Boolean Query Mapping Across Heterogeneous Information Sources. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
query subsumption, information retrieval, digital libraries, filtering, heterogeneity, query translation, Boolean queries |
19 | Wesley W. Chu, Qiming Chen |
A Structured Approach for Cooperative Query Answering. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
cooperative query answering, type abstraction hierarchy, cooperative query answers, type hierarchy, multilevel object representation, CSQL, type abstraction, knowledge representation, knowledge representation, query processing, relational databases, SQL, SQL, composition, generalization, query languages, query language, database theory, deductive databases, deductive database, association, granularity, query rewrite, specialization, subsumption, semantic information, query relaxation |
19 | Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe |
A Conceptual Clustering Algorithm for Database Schema Design. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
conceptual clustering algorithm, database schema design, complex clusters, class descriptions, default values, family resemblance, class cohesion, subsumption function, realization function, exception condition, schema modification, schema generation, view creation, machine learning, learning (artificial intelligence), data structures, query processing, query processing, database management systems, exception handling, exception handling, case-based reasoning, case-based reasoning, database theory, categorization, operating systems (computers), INTERSECT, schema integration, analogical reasoning, explanation-based learning |
19 | Martin Staudt 0001, Hans W. Nissen, Manfred A. Jeusfeld |
Query by class, rule, and concept. |
Appl. Intell. |
1994 |
DBLP DOI BibTeX RDF |
intensional updates, Query languages, object-oriented databases, deductive databases, view maintenance, subsumption |
19 | A. Ghazal, Aris M. Ouksel |
Termination of programs in constraint query languages. |
SAC |
1994 |
DBLP DOI BibTeX RDF |
logic expressions, termination, probabilistic algorithms, subsumption |
19 | Gerard Ellis |
Efficient Retrieval from Hierarchies of Objects using Lattice Operations. |
ICCS |
1993 |
DBLP DOI BibTeX RDF |
Lattice Operations, Term Encoding, Classification, Subsumption |
19 | David W. Payton, David M. Keirsey, Dan M. Kimble, Jimmy Krozel, Julio K. Rosenblatt |
Do whatever works: A robust approach to fault-tolerant autonomous control. |
Appl. Intell. |
1992 |
DBLP DOI BibTeX RDF |
Hopfield nets, situated activity, unmanned underwater vehicles, fault tolerance, Intelligent agents, mobile robots, subsumption architecture |
19 | Emmanuel Kounalis, Denis Lugiez, Loic Pottier |
A Solution of the Complement Problem in Associative-Commutative Theories. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness |
18 | Robin Coutelier, Laura Kovács, Michael Rawson 0001, Jakob Rath |
SAT-Based Subsumption Resolution. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Yukihiro Shiraishi, Ken Kaneiwa |
A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Jiaoyan Chen, Yuan He 0008, Yuxia Geng, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001 |
Contextual semantic embeddings for ontology subsumption prediction. |
World Wide Web (WWW) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yuan He 0008, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001 |
Language Model Analysis for Ontology Subsumption Inference. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio Neto, Roberto Paulo Andrioli de Araujo |
On subsumption relationships in data flow testing. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yuan He 0008, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001 |
OntoLAMA: LAnguage Model Analysis for Ontology Subsumption Inference. |
|
2023 |
DOI RDF |
|
18 | Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001 |
Bio-ML: Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. |
|
2023 |
DOI RDF |
|
18 | Allen Van Gelder |
Subsumption-Linear Q-Resolution for QBF Theorem Proving. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jingchuan Shi, Jiaoyan Chen, Hang Dong 0002, Ishita Khan, Lizzie Liang, Qunzhi Zhou, Zhe Wu, Ian Horrocks 0001 |
Subsumption Prediction for E-Commerce Taxonomies. |
ESWC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Xiao Li, Eric Chan, Mohsen Lesani |
Quorum Subsumption for Heterogeneous Quorum Systems. |
DISC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Robin Coutelier, Laura Kovács, Michael Rawson 0001, Jakob Rath |
SAT-Based Subsumption Resolution. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yi Liu, Yu Cui, Will N. Browne, Bing Xue 0001, Wen Cheng, Yong Li, Lingfang Zeng |
Absumption and Subsumption based Learning Classifier System for Real-World Continuous-based Problems. |
GECCO Companion |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan |
Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yuan He 0008, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001 |
Language Model Analysis for Ontology Subsumption Inference. |
ACL (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jiaoyan Chen, Yuan He 0008, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001 |
Contextual Semantic Embeddings for Ontology Subsumption Prediction. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
18 | Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001 |
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001 |
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. |
|
2022 |
DOI RDF |
|
18 | Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001 |
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. |
|
2022 |
DOI RDF |
|
18 | Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001 |
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. |
ISWC |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ignacio Bettosini, Agustín Clavelli, Guillermo Trinidad Barnech, Jorge Visca, Facundo Benavides |
Torocó: A Subsumption Architecture Implementation. |
ICARA |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan |
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. |
NMR |
2022 |
DBLP BibTeX RDF |
|
18 | Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach |
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Dennis Lopes Da Silva, Marcos Lordello Chaim, Higor Amario de Souza |
Data flow Subsumption and its Impact on Spectrum-based Fault Localization. |
SAST |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili 0001 |
Generalized Mutant Subsumption. |
ICSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili 0001 |
Three Forms of Mutant Subsumption: Basic, Strict and Broad. |
ICSOFT (Selected Papers) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jakob Rath, Armin Biere, Laura Kovács |
First-Order Subsumption via SAT Solving. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Bruno Blanchet, Vincent Cheval, Véronique Cortier |
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. |
SP |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Lennart Beringer, Andrew W. Appel |
Abstraction and subsumption in modular verification of C programs. |
Formal Methods Syst. Des. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Marcos Lordello Chaim, Kesina Baral, Jeff Offutt |
A Data Flow Analysis Framework for Data Flow Subsumption. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
18 | Rohit Gheyi, Márcio Ribeiro 0001, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca |
Identifying method-level mutation subsumption relations using Z3. |
Inf. Softw. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 789 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|