Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
122 | Hilary A. Priestley |
Ordered Sets and Complete Lattices. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
76 | George Georgescu, Andrei Popescu 0001 |
Non-commutative fuzzy Galois connections. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation |
73 | Patrick Cousot, Radhia Cousot |
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis |
65 | Radim Belohlávek, Tatána Funioková, Vilém Vychodil |
Galois Connections with Truth Stressers: Foundations for Formal Concept Analysis of Object-Attribute Data with Fuzzy Attributes. |
Fuzzy Days |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Gabriele Castellini, David B. Holgate |
A Link Between Two Connectedness Notions. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
morphism orthogonality, closure operator, connectedness, Galois connection |
63 | Asger Eir |
Relating Domain Concepts Intensionally by Ordering Connections. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension |
51 | Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg |
Galois Connection for Hyperclones. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
hyperoperation, hyperclones, Galois connection |
50 | Jean Diatta, Daniel Rajaonasy Feno, André Totohasina |
Galois Lattices and Bases for MGK-Valid Association Rules. |
CLA |
2006 |
DBLP DOI BibTeX RDF |
Quality measure, Closure operator, Galois connection, Basis, Negative association rule |
50 | Jan Midtgaard, Thomas P. Jensen |
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani |
IGB: A New Informative Generic Base of Association Rules. |
PAKDD |
2005 |
DBLP DOI BibTeX RDF |
Generic base, Axio-matic system, Association rules, Galois connection |
40 | George Georgescu, Andrei Popescu 0001 |
Non-dual fuzzy connections. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
Isotone structure, conjugated pair, Duality, Fuzzy set theory, Closure operator, Galois connection |
40 | Boris A. Romov |
Completeness Theory for Vector Partial Multiple-Valued Logic Functions. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection |
38 | David Darais, David Van Horn |
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
38 | David Darais, David Van Horn |
Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
38 | Ali Jaoua, Samir Elloumi |
Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier. |
J. Syst. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Patrick Cousot, Radhia Cousot |
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
36 | Klaus Denecke, Dara Phusanga |
Hyperformulas and Solid Algebraic Systems. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B50, 08A46, 08A30 |
32 | Amedeo Napoli, Florence Le Ber |
The Galois lattice as a hierarchical structure for topological relations. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06B99 |
32 | Tomasz Brzezinski, Ryan B. Turner |
The Galois Theory of Matrix C-rings. |
Appl. Categorical Struct. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 16W30 |
31 | Nadia Creignou, Henning Schnoor, Ilka Schnoor |
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Manuel Bodirsky, Martin Hils, Barnaby Martin |
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Galois Connection, Model Theory |
27 | Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia |
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
Formal Concept Analysis, Galois Connection, Minimal representation |
27 | Sukriti Bhattacharya, Agostino Cortesi |
A Generic Distortion Free Watermarking Technique for Relational Databases. |
ICISS |
2009 |
DBLP DOI BibTeX RDF |
Database Watermarking, Abstract Interpretation, Galois Connection, HMAC |
27 | Raffaella Bernardi, Anna Szabolcsi |
Optionality, Scope, and Licensing: An Application of Partially Ordered Categories. |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
Boolean connectives, Typed feature structures, Natural language syntax, Polarity items, Partial order, Licensing, Residuation, Galois-connection, Scope, Optionality |
27 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Refinement preserving approximations for the design and verification of heterogeneous systems. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization |
27 | Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
On Multi-adjoint Concept Lattices: Definition and Representation Theorem. |
ICFCA |
2007 |
DBLP DOI BibTeX RDF |
multi-adjoint lattices, implication triples, concept lattices, Galois connection |
27 | Heribert Vollmer |
Computational Complexity of Constraint Satisfaction. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems |
27 | Florent Domenach, Bruno Leclerc |
Biclosed Binary Relations and Galois Connections. |
Order |
2001 |
DBLP DOI BibTeX RDF |
join irreducible, lattice, relation, closure, Galois connection |
27 | Gabriele Castellini |
Connectedness with Respect to a Closure Operator. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
constant morphism, closure operator, connectedness, Galois connection |
27 | Maria I. Sessa |
Translations and similarity-based logic programming. |
Soft Comput. |
2001 |
DBLP DOI BibTeX RDF |
Logic Programming, Abstract interpretation, Approximate reasoning, Galois connection, Similarity relation |
27 | Ralph-Johan Back, Joakim von Wright |
Encoding, Decoding and Data Refinement. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Predicate transformer semantics, Abstraction, Galois connection, Data refinement |
27 | Carroll Morgan, Annabelle McIver, Karen Seidel 0002 |
Probabilistic Predicate Transformers. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation |
27 | Henning Schnoor, Ilka Schnoor |
Partial Polymorphisms and Constraint Satisfaction Problems. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
partial polymorphisms, computational complexity, constraint satisfaction problems, clones |
27 | Jifeng He 0001, C. A. R. Hoare |
Linking Theories of Concurrency. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Alain Casali, Rosine Cicchetti, Lotfi Lakhal |
Extracting semantics from data cubes using cube transversals and closures. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
algorithm, lattices, closures, version spaces, datacubes, hypergraph transversals |
24 | Isabella Mastroeni, Michele Pasqua |
Domain Precision in Galois Connection-Less Abstract Interpretation. |
SAS |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Yang Xu 0040, Haibin Kan, Guangyue Han |
A Galois Connection Approach to Wei-Type Duality Theorems. |
IEEE Trans. Inf. Theory |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora 0001 |
A Galois connection between partial formal contexts and attribute sets. |
CLA |
2022 |
DBLP BibTeX RDF |
|
24 | Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco |
Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection. |
CLA |
2022 |
DBLP BibTeX RDF |
|
24 | Yang Xu 0040, Haibin Kan, Guangyue Han |
A Galois Connection Approach to Wei-Type Duality Theorems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
24 | Ryuta Arisaka, Takayuki Ito 0001 |
Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
24 | Vasco Brattka |
A Galois connection between Turing jumps and limits. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
24 | Vasco Brattka |
A Galois connection between Turing jumps and limits. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Radoslaw Antoni Kycia |
Landauer's Principle as a Special Case of Galois Connection. |
Entropy |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Emil Jerábek |
Galois connection for multiple-output operations. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
24 | Peter Fulla, Stanislav Zivný |
A Galois Connection for Weighted (Relational) Clones of Infinite Size. |
ACM Trans. Comput. Theory |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Peter Fulla, Stanislav Zivný |
A Galois Connection for Valued Constraint Languages of Infinite Size. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
24 | Peter Fulla, Stanislav Zivný |
A Galois Connection for Valued Constraint Languages of Infinite Size. |
ICALP (1) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Simon Kramer 0001 |
A Galois-Connection between Cattell's and Szondi's Personality Profiles. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
24 | Simon Kramer 0001 |
A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
24 | Patrick Cousot, Radhia Cousot |
A Galois connection calculus for abstract interpretation. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Wojciech Dzik, Jouni Järvinen, Michiro Kondo |
Intuitionistic modal logic with a galois connection has the finite model property1. |
Log. J. IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Ciraulo, Giovanni Sambin |
A constructive Galois connection between closure and interior. |
J. Symb. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Huawen Liu, Lei Liu, Huijie Zhang |
A fast pruning redundant rule method using Galois connection. |
Appl. Soft Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
24 | David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivný |
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Paulo F. Silva 0001, José Nuno Oliveira |
'Galculator': functional prototype of a Galois-connection based proof assistant. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
point-free notation, haskell, DSL, Galois connections, proof assistant, GADT |
24 | Meng Sun |
Pre-Galois Connection on Coalgebras for Generic Component Refinement. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jianmin Ma, Wen-Xiu Zhang, Yee Leung, Xiaoxue Song |
Granular computing and dual Galois connection. |
Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Stan J. Surma |
A Galois Connection. |
Logica Universalis |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Dragan Bosnacki |
On Some Galois Connection Based Abstractions for the Mu-Calculus. |
FM |
2005 |
DBLP DOI BibTeX RDF |
model checking, abstraction, mu-calculus, property preservation |
24 | Sadok Ben Yahia, Narjes Doggaz, Yahya Slimani, Jihem Rezgui |
A Galois connection semantics-based approach for deriving generic bases of association rules. |
EGC |
2004 |
DBLP BibTeX RDF |
|
24 | Ali Jaoua, Faisal Alvi, Samir Elloumi, Sadok Ben Yahia |
Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
24 | Patrick Cousot, Radhia Cousot |
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. |
JTASPEFT/WSA |
1991 |
DBLP BibTeX RDF |
|
23 | Jean Diatta |
Galois closed entity sets and k -balls of quasi-ultrametric multi-way dissimilarities. |
Adv. Data Anal. Classif. |
2007 |
DBLP DOI BibTeX RDF |
JEL Classification C00, C45 |
23 | Ken-etsu Fujita |
Galois Embedding from Polymorphic Types into Existential Types. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ruggero G. Pensa, Jean-François Boulicaut |
Towards Fault-Tolerant Formal Concept Analysis. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jérémy Besson, Céline Robardet, Jean-François Boulicaut |
Mining Formal Concepts with a Bounded Number of Exceptions from Transactional Data. |
KDID |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Kevin Backhouse, Roland Carl Backhouse |
Logical Relations and Galois Connections. |
MPC |
2002 |
DBLP DOI BibTeX RDF |
|
23 | David A. Schmidt |
Structure-Preserving Binary Relations for Program Abstraction. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Danvy, Julia L. Lawall |
Back to Direct Style II: First-Class Continuations. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
13 | Agostinho Almeida |
Canonical Extensions and Relational Representations of Lattices with Negation. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
canonical extension, Lattice, duality, negation |
13 | Yassine Djouadi, Henri Prade |
Interval-Valued Fuzzy Formal Concept Analysis. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Florent R. Madelaine, Barnaby Martin |
The Complexity of Positive First-order Logic without Equality. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Xueyou Chen |
Concept Lattices in L-Rough Sets. |
ISNN (2) |
2009 |
DBLP DOI BibTeX RDF |
L-set, The object (property) oriented concept lattice, Rough set, Formal concept analysis |
13 | Oana Agrigoroaiei, Gabriel Ciobanu |
Non-interleaving Semantics with Causality for Nondeterministic Dataflow. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze |
Conway's Question: The Chase for Completeness. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30 |
13 | Céline Hébert, Alain Bretto, Bruno Crémilleux |
Optimizing hypergraph transversal computation with an anti-monotone constraint. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Abdelsalam Shanneb, John Potter |
Lock Selection Made Easy. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jeff W. Sanders |
Computations and Relational Bundles. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jifeng He 0001, Jeff W. Sanders |
Unifying Probability. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Helmut Röhrl |
On N-Summations, II. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
semimodules, N-summation, unconditionally summable, semirings |
13 | Nicolas Pasquier, Rafik Taouil, Yves Bastide, Gerd Stumme, Lotfi Lakhal |
Generating a Condensed Representation for Association Rules. |
J. Intell. Inf. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Galois closure operator, min-max association rules, basis for association rules, data mining, generators, frequent closed itemsets, condensed representation |
13 | Mineichi Kudo, Tetsuya Murai |
A New Treatment and Viewpoint of Information Tables. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau |
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. |
ICCS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jaume Baixeries, José L. Balcázar |
Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis. |
ICFCA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jifeng He 0001 |
Linking Theories of Concurrency. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Baptiste Jeudy, François Rioult |
Database Transposition for Constrained (Closed) Pattern Mining. |
KDID |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Lei Jia, Jun Yao, Renqing Pei |
Mining Association Rules with Frequent Closed Itemsets Lattice. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Alexej P. Pynko |
Extensions of Halkowska-Zajac's three-valued paraconsistent logic. |
Arch. Math. Log. |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Mirko Zanotti |
Security Typings by Abstract Interpretation. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau |
Generalized Automata and Their Net Representations. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Yves Bastide, Nicolas Pasquier, Rafik Taouil, Gerd Stumme, Lotfi Lakhal |
Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Laurent Chaudron, Nicolas Maille |
Generalized Formal Concept Analysis. |
ICCS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
compiling, continuations, category theory, Galois connections |
13 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Janos J. Sarbo, József Farkas |
Concept Sublattices. |
ECML |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis |
Property Preserving Simulations. |
CAV |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Elias Dahlhaus, Marek Karpinski |
A Fast Parallel Algorithm for Computing all Maximal Cliques in a Graph and the Related Problems (Extended Abstract). |
SWAT |
1988 |
DBLP DOI BibTeX RDF |
|