The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Equivalence with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1953-1964 (17) 1965-1968 (21) 1969 (17) 1970-1972 (37) 1973 (17) 1974 (32) 1975 (19) 1976 (21) 1977 (29) 1978 (28) 1979 (43) 1980 (42) 1981 (46) 1982 (43) 1983 (42) 1984 (49) 1985 (55) 1986 (64) 1987 (58) 1988 (60) 1989 (75) 1990 (92) 1991 (128) 1992 (96) 1993 (128) 1994 (145) 1995 (123) 1996 (148) 1997 (151) 1998 (160) 1999 (239) 2000 (222) 2001 (242) 2002 (260) 2003 (315) 2004 (374) 2005 (481) 2006 (495) 2007 (512) 2008 (548) 2009 (417) 2010 (212) 2011 (214) 2012 (186) 2013 (215) 2014 (246) 2015 (227) 2016 (231) 2017 (222) 2018 (242) 2019 (307) 2020 (254) 2021 (270) 2022 (258) 2023 (243) 2024 (78)
Publication types (Num. hits)
article(4303) book(3) data(3) incollection(48) inproceedings(5086) phdthesis(50) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4003 occurrences of 2151 keywords

Results
Found 9496 publication records. Showing 9496 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
70Thomas Eiter, Michael Fink 0001 Uniform Equivalence of Logic Programs under the Stable Model Semantics. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics
60In-Ho Moon Compositional verification of retiming and sequential optimizations. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conditional equivalence, retime offset, sequential equivalence, retiming, compositional verification
58Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich Dependent types and program equivalence. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependent types, program equivalence
57M. P. Reddy, Bandreddi E. Prasad, P. G. Reddy, Amar Gupta A Methodology for Integration of Heterogeneous Databases. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF heterogeneous database integration methodology, local databases, diverse global application needs, total schema integration, virtual integration, 4-layered schema architecture, local schemata, local object schemata, global schema, global view schemata, object equivalence classes, property equivalence classes, logical integration, heterogeneous schemata, object instance equivalence classes, property instance equivalence classes, naming conflicts, scaling conflicts, type conflicts, abstraction level conflicts, data inconsistencies, data integration, database management systems, equivalence classes, naming services
56Chiaki Sakama, Katsumi Inoue Inductive Equivalence of Logic Programs. Search on Bibsonomy ILP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa 0001 Towards a theory of schema-mapping optimization. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conjunctive-query equivalence, data-exchange equivalence, data integration, data exchange, schema mapping
53Christopher A. Stone, Robert Harper 0001 Extensional equivalence and singleton types. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF equivalence algorithms, logical relations, Singleton types
53Matthias Berth, Günter Czichowski Using Invariants to Solve the Equivalence Problem for Ordinary Differential Equations. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Equivalence problem for differential equations, Emden-Fowler equations, Differential invariants
52Katsumi Inoue, Chiaki Sakama Equivalence of Logic Programs Under Updates. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Hans Kleine Büning, Xishun Zhao Equivalence Models for Quantified Boolean Formulas. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equivalence model, model checking, complexity, satisfiability, equivalence, Quantified Boolean formula
49Michael Fink 0001 Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF uniform equivalence, knowledge representation, program optimization, answer-set programming
49Rob J. van Glabbeek, W. P. Weijland Branching Time and Abstraction in Bisimulation Semantics. Search on Bibsonomy J. ACM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time
49Martin Hesketh, Maciej Koutny An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation
49B. Gammatie Safe Implementation Equivalence for Asynchronous Nondeterministic Processes. Search on Bibsonomy MFCS The full citation details ... 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
47Chi-Chang Jou, Scott A. Smolka Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
47Radu Mateescu 0001, Emilie Oudot Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Stefan Woltran Characterizations for Relativized Notions of Equivalence in Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47J. Howard Johnson Rational Equivalence Relations. Search on Bibsonomy ICALP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
44Sara Cohen, Werner Nutt, Yehoshua Sagiv Deciding equivalences among conjunctive aggregate queries. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bag-set semantics, Aggregation, Datalog, query equivalence
44Fritz Henglein Optimizing relational algebra operations using generic equivalence discriminators and lazy products. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
44David DeHaan Equivalence of nested queries with mixed semantics. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bag-set semantics, normalized bags, set semantics, aggregation, conjunctive queries, query equivalence
44Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel S01 and P01 Equivalence Structures. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF equivalence structures, effective categoricity, computability theory, computable model theory
44Luca Breveglieri, Alessandra Cherubini, Marco Macchetti On the Generalized Linear Equivalence of Functions Over Finite Fields. Search on Bibsonomy ASIACRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF linear equivalence, APN functions, Boolean functions, differential cryptanalysis, S-boxes, linear cryptanalysis
44Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee Efficient equivalence checking of multi-phase designs using phase abstraction and retiming. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF binary decision, encoding density, multi-phase FSM, product machine, sequential hardware equivalence, diagram, steady states
42Thomas A. Henzinger, Peter W. Kopke State Equivalences for Rectangular Hybrid Automata. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
42Hiroaki Yoshida, Masahiro Fujita Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences. Search on Bibsonomy ISQED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42In-Ho Moon, Per Bjesse, Carl Pixley A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Francesco Ranzato, Francesco Tapparo A New Efficient Simulation Equivalence Algorithm. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Ka-Shu Wong A Stronger Notion of Equivalence for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Li Tan An Abstract Schema for Equivalence-Checking Games. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov Probabilistic Polynomial-Time Equivalence and Security Analysis. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42Peter Buchholz 0001 A Notion of Equivalence for Stochastic Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
42Lucia Pomello Some equivalence notions for concurrent systems. An overview. Search on Bibsonomy Applications and Theory in Petri Nets The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
42Stephen D. Brookes, William C. Rounds Behavioural Equivalence Relations Induced by Programming Logics. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
42Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
42Helmut Thiele On the Mutual Definability of Fuzzy Tolerance Relations and Fuzzy Tolerance Coverings. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF tolerance analysis, mutual definability, fuzzy tolerance relations, fuzzy tolerance coverings, systems of sets, fixed universe, crisp set theory, bijections, fuzzy equivalence relations, crisp tolerance relations, crisp coverings, pattern recognition, cluster analysis, symmetry, fuzzy clusters, fuzzy set theory, equivalence classes, similarity relations, universal algebras, binary relations, reflexivity, fuzzy partitions, lattice isomorphisms
41Kathy J. Horadam EA and CCZ Equivalence of Functions over GF(2n). Search on Bibsonomy WAIFI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CCZ-equivalence, EA-equivalence, APN function, bundle
41Pranav Ashar, Aarti Gupta, Sharad Malik Using complete-1-distinguishability for FSM equivalence checking. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Bisimulation relation, complete-1-distinguishability, finite state machine equivalence, sequential logic synthesis, equivalence checking
41N. Schmechel On Lattice-Isomorphism Between Fuzzy Equivalence Relations and Fuzzy Partitions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fuzzy equivalence relations, bijection, pattern recognition, cluster analysis, fuzzy set theory, partial orderings, equivalence classes, lattice theory, fuzzy partitions, lattice-isomorphism, lattice isomorphism
40Michinori Nakata, Hiroshi Sakai Applying Rough Sets to Information Tables Containing Possibilistic Values. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Imprecise value, Weighted equivalence class, Rough sets, Missing value, Lower and upper approximations, Possibility distribution
40Helle Hvid Hansen, Clemens Kupke, Eric Pacuit Bisimulation for Neighbourhood Structures. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation
40Sara Cohen, Yehoshua Sagiv, Werner Nutt Equivalences among aggregate queries with negation. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Aggregation, Datalog, negation, query equivalence
39Sara Cohen Equivalence of queries that are sensitive to multiplicities. Search on Bibsonomy VLDB J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bag semantics, Set semantics, Combined semantics, Datalog, Query equivalence
39Rada Chirkova, Michael R. Genesereth Equivalence of SQL queries in presence of embedded dependencies. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF embedded dependencies, conjunctive queries, query equivalence
39Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma Non-cycle-accurate sequential equivalence checking. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF unit product machine, model checking, formal verification, high level synthesis, sequential equivalence checking
39Bijan Alizadeh, Masahiro Fujita Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal Verification, System on a Chip (SoC), Communication System, Canonical Representation, Sequential Equivalence Checking
39Jinyan Li 0001, Guimei Liu, Limsoon Wong Mining statistically important equivalence classes and delta-discriminative emerging patterns. Search on Bibsonomy KDD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF itemsets with ranked statistical merit, equivalence classes
39Rona Machlin Index-based multidimensional array queries: safety and equivalence. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF array query languages, integer linear constraints, aggregation, multidimensional data, scientific data, query equivalence
39Leonor Becerra-Bonache, Adrian-Horia Dediu, Cristina Tîrnauca Learning DFA from Correction and Equivalence Queries. Search on Bibsonomy ICGI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF learning DFA, Active learning, membership query, equivalence query, correction query
39Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters Process Equivalence: Comparing Two Process Models Based on Observed Behavior. Search on Bibsonomy Business Process Management The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Process Equivalence, Petri Nets, Process Mining
39Sara Cohen Equivalence of queries combining set and bag-set semantics. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bag semantics, combined semantics, set semantics, Datalog, query equivalence
39José M. Sempere A Note on the Equivalence and Complexity of Linear Grammars. Search on Bibsonomy Grammars The full citation details ... 2003 DBLP  DOI  BibTeX  RDF linear grammars, equivalence properties, reversal complexity, formal languages, Kolmogorov complexity
39Luca Durante, Riccardo Sisto, Adriano Valenzano Automatic testing equivalence verification of spi calculus specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF equivalence verification, Cryptographic protocols, state space exploration
39Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple Combinational equivalence checking through function transformation. Search on Bibsonomy ICCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF combinational verification, equivalence checking
39Debabrata Ghosh, Nevin Kapur, Franc Brglez, Justin E. Harlow III Synthesis of Wiring Signature-Invariant Equivalence Class Circuit Mutants and Applications to Benchmarking. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF signature-invariance, circuit mutants, benchmarking, equivalence class
38Sumit Nain, Moshe Y. Vardi Branching vs. Linear Time: Semantical Perspective. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Tuan-Fang Fan, Churn-Jung Liau, Tsau Young Lin Positional Analysis in Fuzzy Social Networks. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Stefanie Rinderle-Ma, Manfred Reichert, Martin Jurisch Equivalence of Web Services in Process-Aware Service Compositions. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Radu Mateescu 0001, Emilie Oudot Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Eldar Fischer, Frédéric Magniez, Michel de Rougemont Approximate Satisfiability and Equivalence. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. Search on Bibsonomy ISQED The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Donglin Liang, Mary Jean Harrold Equivalence analysis and its application in improving the efficiency of program slicing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program slicing, data-flow analysis, Alias analysis
37Narayanan Krishnamurthy, Jayanta Bhadra, Magdy S. Abadir, Jacob A. Abraham Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs? Search on Bibsonomy VTS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Isabelle Fagnot On the Subword Equivalence Problem for Infinite Words. Search on Bibsonomy STACS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Carl Pixley Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37Lili Wu, Yongli Li, He Lin Generalized rough equivalence and generalized rough inclusion based on equivalence operator of pansystems of rough sets. Search on Bibsonomy GrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Thuy Duong Vu Deciding orthogonal bisimulation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Orthogonal bisimulation equivalence, Branching bisimulation equivalence, Silent step, Labeled transition system, Concurrency theory
37Kuo-Hua Wang, Jia-Hung Chen Symmetry detection for incompletely specified functions. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equivalence symmetry, non-equivalence symmetry
37Dominik Stoffel, Wolfgang Kunz Record & play: a structural fixed point iteration for sequential circuit verification. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF circuit resynthesis, circuit retiming, combinational verification techniques, instruction queue, iterative circuit array, local circuit transformation, sequential circuit verification, sequential logic equivalence checking, structural fixed point iteration, time frame equivalence, logic testing, finite state machine, logic design
37Eugene Goldberg On equivalence checking and logic synthesis of circuits with a common specification. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF common specification, scalable equivalence checking, scalable logic synthesis, toggle equivalence
37Saharon Shelah On nice equivalence relations on ?2. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Definable equivalence relation, Generalized descriptive set theory to uncountable cardinals, Perfect sets of pairwise non equivalence, Ext, Set theory, Abelian group
37Byung-Ho Park, Shigetomo Kimura, Eun-Seok Lee 0001, Norio Shiratori An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF equivalence algorithm, OSI protocol layers, equivalence relation verification, educational support system, distributed system, specification, prototype, specification languages, error detection, error correction, mathematical model, LOTOS, formal description technique
37Pranav Ashar, Aarti Gupta, Sharad Malik Using complete-1-distinguishability for FSM equivalence checking. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF sequential logic synthesis and verification, finite state machine equivalence, bisimulation relation, 1-distinguishability, 1-equivalence, formal verification
37James A. Larson, Shamkant B. Navathe, Ramez Elmasri A Theory of Attribute Equivalence in Databases with Application to Schema Integration. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF attributed equivalence, entity sets, relationship sets, attribute integration, database theory, schema integration, equivalence classes
35Tathagato Rai Dastidar, P. P. Chakrabarti 0001 A verification system for transient response of analog circuits. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ana CTL, model checking, query language, Analog circuits, equivalence checking, transient response
35Michinori Nakata, Hiroshi Sakai Lower and Upper Approximations in Data Tables Containing Possibilistic Information. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Imprecise value, Correctness criterion, Weighted equivalence class, Rough sets, Lower and upper approximations
35Michinori Nakata, Hiroshi Sakai Applying Rough Sets to Information Tables Containing Probabilistic Values. Search on Bibsonomy MDAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Probabilistic value, Weighted equivalence class, Rough sets, Lower and upper approximations, Imprecise information
35Liao Zekai, Shu Lan Minimization of Lattice Automata. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lattice Automata, Refining Equivalence, Refining Congruence, Quotient Lattice Automata, Minimization
35Sara Cohen, Yaacov Y. Weiss Bag equivalence of XPath queries. Search on Bibsonomy ICDT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bag semantics, multiset semantics, XPath, query equivalence
35Bishop Brock, Matt Kaufmann, J Strother Moore Rewriting with Equivalence Relations in ACL2. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Refinement, Rewriting, Congruence, Equivalence relations
35Michael Domaratzki Equivalence in template-guided recombination. Search on Bibsonomy Nat. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Template-guided recombination, DNA recombination, Equivalence, Ciliates
35José Antonio Martín H., Matilde Santos Peñas, Andrés García, Javier de Lope Asiaín A Computational Model of the Equivalence Class Formation Psychological Phenomenon. Search on Bibsonomy Innovations in Hybrid Intelligent Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Neuro-Computing, Reinforcement Learning, Self-Organization, Equivalence classes, behavioral simulation
35Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi Semirigid Equivalence Relations on a Finite Set. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF semirigid, lattice, clone, universal algebra, equivalence relation
35Dan Zhu, Tun Li, Yang Guo 0003, Sikun Li 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. Search on Bibsonomy ISQED The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cutpoints, Program slicing, Sequential equivalence checking
35Pascal Urard, Asma Maalej, Roberto Guizzetti, Nitin Chawla Leveraging sequential equivalence checking to enable system-level to RTL flows. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal verification, high-level synthesis, equivalence checking, system-level models, RTL models
35Stefan Disch, Christoph Scholl 0001 Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF shared circuit structures, incremental SAT techniques, bounded model checking, combinational equivalence checking
35Shaohui Liu, Hongxun Yao, Wen Gao 0001, Dingguo Yang Minimizing the Distortion Spatial Data Hiding Based on Equivalence Class. Search on Bibsonomy ICIC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Data hiding, Equivalence class, LSB
35Lawrence C. Paulson Defining functions on equivalence classes. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF theorem proving, Equivalence classes, quotients
35Gregor Leander, Andy Rupp On the Equivalence of RSA and Factoring Regarding Generic Ring Algorithms. Search on Bibsonomy ASIACRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Computational Equivalence, RSA Problem, Factorization Problem, Generic Algorithms
35Xiushan Feng, Alan J. Hu Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cutpoints, formal equivalence checking, software, RTL
35Xiushan Feng, Alan J. Hu Cutpoints for formal equivalence verification of embedded software. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF formal verification, embedded software, equivalence checking
35Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nicolau Equivalence checking of arithmetic expressions using fast evaluation. Search on Bibsonomy CASES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF expression equivalence, mutual exclusion, interval analysis
35Kamel Bentahar The Equivalence Between the DHP and DLP for Elliptic Curves Used in Practical Applications, Revisited. Search on Bibsonomy IMACC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF DHP-DLP equivalence, Elliptic Curve Cryptosystems
35Jirí Adámek, Francis Borceux Morita Equivalence of Sketches. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Morita equivalence, sketch
35Vishwani D. Agrawal Choice of Tests for Logic Verification and Equivalence Checking. Search on Bibsonomy VLSI Design The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fault simulation, Equivalence checking, Hamming codes, logic verification
35Ghassan Chehaibar Replacement of Open Interface Subnets and Stable State Transformation Equivalence. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Place-Transition Nets, Hierarchical Design and Analysis, Open Interface, Nets and Systems, Stable State Transformation Equivalence and Preorder, Robust Open Interface Nets, Expansion, Replacement
33Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay Qualitative Logics and Equivalences for Probabilistic Systems. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Matt Webster, Grant Malcolm Detection of metamorphic computer viruses using algebraic specification. Search on Bibsonomy J. Comput. Virol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Raja K. K. R. Sandireddy, Vishwani D. Agrawal Diagnostic and Detection Fault Collapsing for Multiple Output Circuits. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Jürgen Lerner Role Assignments. Search on Bibsonomy Network Analysis The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 9496 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license