Search results for "congruence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	Rob J. van Glabbeek	Axiomatizing Flat Iteration.	CONCUR	1997	DBLP DOI BibTeX RDF
87	Joseph A. Cazier, Benjamin B. M. Shao, Robert D. St. Louis	Sharing information and building trust through value congruence.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Value congruence, Privacy, Trust, Knowledge management, Information sharing, Ethics
87	Leo Bachmair, Ashish Tiwari 0001, Laurent Vigneron	Abstract Congruence Closure.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	congruence closure, associative-commutative theories, term rewriting
79	Yuxi Fu, Zhenrong Yang	The Ground Congruence for Chi Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF
71	Mohammad Reza Mousavi 0001, Murdoch Gabbay, Michel A. Reniers	SOS for Higher Order Processes.	CONCUR	2005	DBLP DOI BibTeX RDF	Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics
70	Joost Engelfriet, Tjalling Gelsema	A new natural structural congruence in the pi-calculus with replication.	Acta Informatica	2004	DBLP DOI BibTeX RDF
70	Antti Puhakka	Weakest Congruence Results Concerning "Any-Lock".	TACS	2001	DBLP DOI BibTeX RDF
69	Peter de Vries, Thomas J. L. Van Rompay	Subtle persuasion: the unobtrusive effect of website-banner congruence on trust.	PERSUASIVE	2009	DBLP DOI BibTeX RDF	congruity, initial trust, trustworthiness, congruence, online trust
63	Liao Zekai, Shu Lan	Minimization of Lattice Automata.	ICFIE	2007	DBLP DOI BibTeX RDF	Lattice Automata, Refining Equivalence, Refining Congruence, Quotient Lattice Automata, Minimization
63	Nathan Reading	Lattice Congruences of the Weak Order.	Order	2004	DBLP DOI BibTeX RDF	Cambrian lattice, congruence uniform, Coxeter group, parabolic subgroup, poset of regions, shard, simplicial hyperplane arrangement, Tamari lattice, weak order
61	Rob J. van Glabbeek	A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.	MFCS	1993	DBLP DOI BibTeX RDF
60	Adish Singla, Ingmar Weber	Camera brand congruence in the Flickr social graph.	WSDM	2009	DBLP DOI BibTeX RDF	brand congruence, brand loyalty, social network, Flickr
60	Dominique Bourn	Congruence Distributivity in Goursat and Mal'cev Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	congruence distributivity, Goursat, Malcev and arithmetical category, preservation of intersections by direct image
55	Hai-Yang Li, Sheng-Gang Li	Congruences and ideals in pseudoeffect algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Pseudoeffect algebras, Riesz ideals, Normal weak Riesz ideals, Strong congruences, Riesz strong congruences, Congruences, Ideals
54	Hong-Ru Li, Wen-Xiu Zhang, Ping Xu, Hong Wang	Rough Set Attribute Reduction in Decision Systems.	RSKT	2006	DBLP DOI BibTeX RDF	C-closed set, dependence space, congruence, knowledge reduction, semilattice
52	Vilém Vychodil	A note on congruence permutability and fuzzy logic.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Mal'cev-condition, Fuzzy logic, Permutability, Fuzzy equality
52	Robert Nieuwenhuis, Albert Oliveras	Proof-Producing Congruence Closure.	RTA	2005	DBLP DOI BibTeX RDF
52	Mohammad Reza Mousavi 0001, Michel A. Reniers, Jan Friso Groote	Congruence for SOS with Data.	LICS	2004	DBLP DOI BibTeX RDF
52	Antti Puhakka, Antti Valmari	Weakest-Congruence Results for Livelock-Preserving Equivalences.	CONCUR	1999	DBLP DOI BibTeX RDF
52	Jan Friso Groote, Frits W. Vaandrager	Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).	ICALP	1989	DBLP DOI BibTeX RDF
52	Greg Nelson, Derek C. Oppen	Fast Decision Procedures Based on Congruence Closure.	J. ACM	1980	DBLP DOI BibTeX RDF
51	T. S. Blyth, Jie Fang	Congruence Coherent Symmetric Extended de Morgan Algebras.	Stud Logica	2007	DBLP DOI BibTeX RDF	congruence coherent, extended de Morgan algebra
51	Philippe Granger	Static Analysis of Linear Congruence Equalities among Variables of a Program.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF	Semantic Analysis of Programs, Diophantine Linear Congruence Equation Systems, Compilers, Abstract Interpretation, Automatic Vectorization
46	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Environmental Bisimulations for Higher-Order Languages.	LICS	2007	DBLP DOI BibTeX RDF
46	Holger Hermanns, Markus Lohrey	Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
46	Oded Maler, Ludwig Staiger	On Syntactic Congruences for Omega-Languages.	STACS	1993	DBLP DOI BibTeX RDF
45	Andrei A. Krokhin	Congruences of Clone Lattices, II.	Order	2001	DBLP DOI BibTeX RDF	clone lattice, clone, congruence
43	Andy King, Harald Søndergaard	Inferring Congruence Equations Using SAT.	CAV	2008	DBLP DOI BibTeX RDF
43	Michael Mendler, Gerald Lüttgen	Is Observational Congruence Axiomatisable in Equational Horn Logic?	CONCUR	2007	DBLP DOI BibTeX RDF
43	Taolue Chen, Tingting Han 0001, Jian Lu 0001	On the Bisimulation Congruence in chi-Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
43	Christelle Scharff, Leo Bachmair	On the Combination of Congruence Closure and Completion.	AISC	2004	DBLP DOI BibTeX RDF
43	Samuel Larsen, Emmett Witchel, Saman P. Amarasinghe	Increasing and Detecting Memory Address Congruence.	IEEE PACT	2002	DBLP DOI BibTeX RDF
43	Mario Bravetti, Roberto Gorrieri	A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.	ICALP	2000	DBLP DOI BibTeX RDF
43	Leo Bachmair, Ashish Tiwari 0001	Abstract Congruence Closure and Specializations.	CADE	2000	DBLP DOI BibTeX RDF
43	Jean McLendon, Gerald M. Weinberg	Beyond Blaming: Congruence in Large Systems Development Projects.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
43	Gilles Barthe, Herman Geuvers	Congruence Types.	CSL	1995	DBLP DOI BibTeX RDF
43	Jens Lagergren, Stefan Arnborg	Finding Minimal Forbidden Minors Using a Finite Congruence.	ICALP	1991	DBLP DOI BibTeX RDF
42	Ruggero Lanotte, Simone Tini	Probabilistic bisimulation as a congruence.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	probabilistic process algebra, transition rule format, Bisimulation, congruence
42	Eve E. Hoggan, Topi Kaaresoja, Pauli Laitinen, Stephen A. Brewster	Crossmodal congruence: the look, feel and sound of touchscreen widgets.	ICMI	2008	DBLP DOI BibTeX RDF	auditory/tactile/visual congruence, mobile touchscreen interaction, touchscreen widgets, crossmodal interaction
42	Emad Gad, Michel S. Nakhla	Model order reduction of nonuniform transmission lines using integrated congruence transform.	DAC	2003	DBLP DOI BibTeX RDF	integrated congruence transform, nonuniform transmission lines, circuit simulation, signal integrity, model-order reduction, high-speed circuits
42	Kevin J. Kerns, Ivan L. Wemple, Andrew T. Yang	Stable and efficient reduction of substrate model networks using congruence transforms.	ICCAD	1995	DBLP DOI BibTeX RDF	mixed-signal integrated circuits, rc network reduction, congruence transform, pade approximation, lanczos process, stability, voronoi tesselation, substrate noise
37	Markus Müller-Olm, Helmut Seidl	A Generic Framework for Interprocedural Analyses of Numerical Properties.	LPAR	2004	DBLP DOI BibTeX RDF
37	Yuxi Fu, Zhenrong Yang	Chi Calculus with Mismatch.	CONCUR	2000	DBLP DOI BibTeX RDF
37	Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger	The Observational Power of Clocks.	CONCUR	1994	DBLP DOI BibTeX RDF
37	Ugo Montanari, Vladimiro Sassone	CCS Dynamic Bisimulation is Progressing.	MFCS	1991	DBLP DOI BibTeX RDF
36	Jean-Yves Béziau	Sentence, proposition and identity.	Synth.	2007	DBLP DOI BibTeX RDF	Language, Identity, Syntax, Congruence, Formula, Sentence, Proposition
36	Boyuan Yan, Sheldon X.-D. Tan, Pu Liu, Bruce McGaughy	Passive Interconnect Macromodeling Via Balanced Truncation of Linear Systems in Descriptor Form.	ASP-DAC	2007	DBLP DOI BibTeX RDF	moment-matching methods, passive interconnect macromodeling, descriptor form, passive model order reduction, projection-based truncated balanced realization method, large RLC interconnect circuits, Lur'e equation, algebraic Riccati equations, generalized Lyapunov equations, passivity preservation, congruence transformation, large scale interconnect circuit, linear systems, structure information, Krylov-subspace methods, block structure, balanced truncation
36	Dali Zangurashvili	Some Categorical Algebraic Properties: Counter-Examples for Functor Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	congruence extension properties, functor category, cogenerating set, integral domain, metric space, transferability, field, finite group, amalgamation
36	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
36	Craig Gentry, Michael Szydlo	Cryptanalysis of the Revised NTRU Signature Scheme.	EUROCRYPT	2002	DBLP DOI BibTeX RDF	NSS, NTRUSign, Orthogonal Lattice, Cyclotomic Integer, Galois Congruence, Cryptanalysis, Signature Scheme, Lattice Reduction, NTRU
36	Peter Buchholz 0001, Peter Kemper	Quantifying the Dynamic Behavior of Process Algebras.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF	process algebras, bisimulation, congruence, semiring
36	Clifford Bergman, Giora Slutzki	Computational Complexity of Some Problems Involving Congruences on Algebras.	LICS	2000	DBLP DOI BibTeX RDF	fully invariant, subdirectly irreducible, nondeterministic log-space, nondeterministic polynomial time, congruence, simple
36	David R. Lester, Sava Mintchev	Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.	CSL	1994	DBLP DOI BibTeX RDF	Congruence Proof, Lambda Calculus, Denotational Semantics, Theorem Prover, Compiler Correctness
36	B. Gammatie	Safe Implementation Equivalence for Asynchronous Nondeterministic Processes.	MFCS	1986	DBLP DOI BibTeX RDF	Key-words process behaviour, equivalence and congruence relations for processes, process interface, order relations for process action set, nondeterminism, divergence
35	Josep Maria Font, Ramon Jansana, Don Pigozzi	On the Closure Properties of the Class of Full G-models of a Deductive System.	Stud Logica	2006	DBLP DOI BibTeX RDF	Leibniz congruence, Tarski congruence, generalized matrix, full generalized model, fully adequate Gentzen system, algebraizable logic, abstract algebraic logic, protoalgebraic logic
35	George Voutsadakis	Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
34	Marcelo Cataldo, Steve M. Easterbrook, Daniela E. Damian, James D. Herbsleb, Premkumar T. Devanbu, Audris Mockus	2nd international workshop on socio-technical congruence (STC 2009).	ICSE Companion	2009	DBLP DOI BibTeX RDF
34	Marcelo Cataldo, James D. Herbsleb, Kathleen M. Carley	Socio-technical congruence: a framework for assessing the impact of technical and work dependencies on software development productivity.	ESEM	2008	DBLP DOI BibTeX RDF	coordination, collaborative software development, software dependencies
34	Francisco José Madrid-Cuevas, Rafael Medina Carnicer, Ángel Carmona-Poyato, Nicolás Luis Fernández García	Dominant Points Detection Using Phase Congruence.	IbPRIA (2)	2007	DBLP DOI BibTeX RDF
34	Daniel Hirschkoff, Damien Pous	A Distribution Law for CCS and a New Congruence Result for the pi-Calculus.	FoSSaCS	2007	DBLP DOI BibTeX RDF
34	Giuseppe Valetto, Mary E. Helander, Kate Ehrlich, Sunita Chulani, Mark N. Wegman, Clay Williams	Using Software Repositories to Investigate Socio-technical Congruence in Development Projects.	MSR	2007	DBLP DOI BibTeX RDF
34	Emil W. Kiss, Matthew Valeriote	On Tractability and Congruence Distributivity.	LICS	2006	DBLP DOI BibTeX RDF
34	Marcelo P. Fiore, Sam Staton	A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.	LICS	2006	DBLP DOI BibTeX RDF
34	Rob J. van Glabbeek	On Cool Congruence Formats for Weak Bisimulations.	ICTAC	2005	DBLP DOI BibTeX RDF
34	Bas Luttik, Nikola Trcka	Stuttering Congruence for chi.	SPIN	2005	DBLP DOI BibTeX RDF
34	Pedro R. D'Argenio, Biniam Gebremichael	The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.	CONCUR	2005	DBLP DOI BibTeX RDF
34	Jian Zhang 0001, Hantao Zhang 0001	Extending Finite Model Searching with Congruence Closure Computation.	AISC	2004	DBLP DOI BibTeX RDF
34	Robert Nieuwenhuis, Albert Oliveras	Congruence Closure with Integer Offsets.	LPAR	2003	DBLP DOI BibTeX RDF
34	Christian Richter	Congruence by Dissection of Topological Discs - An Elementary Approach to Tarski's Circle Squaring Problem.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
34	Silvano Dal-Zilio	Spatial Congruence for Ambients Is Decidable.	ASIAN	2000	DBLP DOI BibTeX RDF
34	Zhoujun Li, Huowang Chen	Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.	TACAS	1999	DBLP DOI BibTeX RDF
34	Zhoujun Li, Huowang Chen	Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
34	Kevin J. Kerns, Andrew T. Yang	Stable and efficient reduction of large, multiport RC networks by pole analysis via congruence transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
34	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	Reducing the Cost of Data Flow Analysis By Congruence Partitioning.	CC	1994	DBLP DOI BibTeX RDF
34	Joachim Parrow, Peter Sjödin	The Complete Axiomatization of Cs-congruence.	STACS	1994	DBLP DOI BibTeX RDF
34	Xinxin Liu	Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
34	Friedrich Otto	Restrictions of Congruence Generated by Finite Canonical String-Rewriting Systems.	RTA	1989	DBLP DOI BibTeX RDF
34	Sebastian Iwanowski	Linear Time Algorithms for Testing Approximate Congruence in the Plane.	WG	1988	DBLP DOI BibTeX RDF
34	Friedrich Otto	Some Results about Confluence on a Given Congruence Class.	RTA	1987	DBLP DOI BibTeX RDF
34	Susanne Graf, Joseph Sifakis	A Modal Characterization of Observational Congruence on Finite Terms of CCS.	ICALP	1984	DBLP DOI BibTeX RDF
33	Victor Khomenko, Roland Meyer 0001	Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete.	ACSD	2009	DBLP DOI BibTeX RDF	Structural Congruence, Computational Complexity, Graph Isomorphism, pi-Calculus
33	James D. Herbsleb, Marcelo Cataldo, Daniela E. Damian, Premkumar T. Devanbu, Steve M. Easterbrook, Audris Mockus	Socio-technical congruence (STC 2008).	ICSE Companion	2008	DBLP DOI BibTeX RDF	architecture, coordination, organization, teams, congruence
33	C. H. Gao, Frank C. Langbein, A. David Marshall, Ralph R. Martin	Approximate Congruence Detection of Model Features for Reverse Engineering.	Shape Modeling International	2003	DBLP DOI BibTeX RDF	Approximate Congruence Detection, Reverse Engineering, Geometric Modelling, Beautification
31	Ivan Chajda	A congruence modular variety that is neither congruence distributive nor 3-permutable.	Soft Comput.	2013	DBLP DOI BibTeX RDF
31	Jirí Tuma, Friedrich Wehrung	Congruence Lifting of Diagrams of Finite Boolean Semilattices Requires Large Congruence Varieties.	Int. J. Algebra Comput.	2006	DBLP DOI BibTeX RDF
31	Yanmei Li, Imin Kao	On the Stiffness Control and Congruence Transformation Using the Conservative Congruence Transformation (CCT).	ICRA	2001	DBLP DOI BibTeX RDF
27	Andreas Maletti	Myhill-Nerode Theorem for Recognizable Tree Series Revisited.	LATIN	2008	DBLP DOI BibTeX RDF
27	Victoria Mitchell, Hasan Mohammad, Tracey Stock, Xueqi (David) Wei	Fit Perspectives and Theory Building in Information Systems.	HICSS	2007	DBLP DOI BibTeX RDF
27	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt	Sortings for Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
27	Massimo Merro, Francesco Zappa Nardelli	Behavioral theory for mobile ambients.	J. ACM	2005	DBLP DOI BibTeX RDF	Behavioral theories, concurrency, programming languages, bisimulation, process calculi
27	Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001	Congruences for Visibly Pushdown Languages.	ICALP	2005	DBLP DOI BibTeX RDF
27	Steve Reeves, David Streader	Atomic Components.	ICTAC	2004	DBLP DOI BibTeX RDF
27	Zining Cao	A Uniform Reduction Equivalence for Process Calculi.	APLAS	2004	DBLP DOI BibTeX RDF
27	Sumit Gulwani, Ashish Tiwari 0001, George C. Necula	Join Algorithms for the Theory of Uninterpreted Functions.	FSTTCS	2004	DBLP DOI BibTeX RDF
27	Marco Bernardo 0001, Mario Bravetti	Reward Based Congruences: Can We Aggregate More?	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
27	Chintien Huang, Imin Kao	Geometrical Interpretation of the CCT Stiffness Mapping for Serial Manipulators.	ISRR	2001	DBLP DOI BibTeX RDF
27	Davide Sangiorgi, David Walker 0008	On Barbed Equivalences in pi-Calculus.	CONCUR	2001	DBLP DOI BibTeX RDF
27	Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari	Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.	CONCUR	2000	DBLP DOI BibTeX RDF
27	James J. Leifer, Robin Milner	Deriving Bisimulation Congruences for Reactive Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
27	Roberto Bruni, Ugo Montanari, Vladimiro Sassone	Open Ended Systems, Dynamic Bisimulation and Tile Logic.	IFIP TCS	2000	DBLP DOI BibTeX RDF	SOS formats, dynamic bisimulation, tile logic, Bisimulation