Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Klaus Schneider 0001	Proving the Equivalence of Microstep and Macrostep Semantics.	TPHOLs	2002	DBLP DOI BibTeX RDF
19	Thomas Mailund	Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.	ICATPN	2002	DBLP DOI BibTeX RDF	Timed Coloured Petri Nets, Infinite-State Systems, State Space Analysis, Reduction Techniques
19	Kai-Pui Lam, Sui-Tung Mak	On Computing Transitive-Closure Equivalence Sets Using a Hybrid GA-DP Approach.	FPL	2002	DBLP DOI BibTeX RDF
19	Kumar N. Dwarakanath, R. D. (Shawn) Blanton	Exploiting Dominance and Equivalence using Fault Tuples.	VTS	2002	DBLP DOI BibTeX RDF
19	A. V. S. S. Prasad, Vishwani D. Agrawal, Madhusudan V. Atre	A New Algorithm for Global Fault Collapsing into Equivalence and Dominance Sets.	ITC	2002	DBLP DOI BibTeX RDF
19	Jeremy T. Bradley	A Passage-Time Preserving Equivalence for Semi-Markov Processes.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
19	Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen	Verifying sequential equivalence using ATPG techniques.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF
19	Petr Slavík, Venu Govindaraju	Equivalence of Different Methods for Slant and Skew Corrections in Word Recognition Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	slant normalization, skew normalization, handwriting recognition, Image preprocessing
19	Harry Foster	Applied Boolean Equivalence Verification and RTL Static Sign-Off.	IEEE Des. Test Comput.	2001	DBLP DOI BibTeX RDF
19	Barbara König 0001, Ugo Montanari	Observational Equivalence for Synchronized Graph Rewriting with Mobility.	TACS	2001	DBLP DOI BibTeX RDF
19	Shoji Hirano, Tomohiro Okuzaki, Yutaka Hata, Shusaku Tsumoto, Kouhei Tsumoto	A Rough Set-Based Clustering Method with Modification of Equivalence Relations.	PAKDD	2001	DBLP DOI BibTeX RDF
19	Amir Pnueli, Yoav Rodeh, Ofer Strichman	Range Allocation for Equivalence Logic.	FSTTCS	2001	DBLP DOI BibTeX RDF
19	Mauricio Osorio 0001, Juan Antonio Navarro Pérez, José Arrazola	Equivalence in Answer Set Programming.	LOPSTR	2001	DBLP DOI BibTeX RDF
19	Béatrice Bérard, Anne Labroue, Philippe Schnoebelen	Verifying Performance Equivalence for Timed Basic Parallel Processes.	FoSSaCS	2000	DBLP DOI BibTeX RDF
19	François Laroussinie, Philippe Schnoebelen	The State Explosion Problem from Trace to Bisimulation Equivalence.	FoSSaCS	2000	DBLP DOI BibTeX RDF
19	Douglas Frey	On the equivalence of various methods for finding the periodic steady state solution of nonlinear networks.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
19	Debabrata Ghosh, Franc Brglez	Equivalence classes of circuit mutants for experimental design.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
19	Michael D. Hutton, Jonathan Rose	Equivalence classes of clone circuits for physical-design benchmarking.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
19	Mihir Bellare, Amit Sahai	Non-malleable Encryption: Equivalence between Two Notions, and an Indistinguishability-Based Characterization.	CRYPTO	1999	DBLP DOI BibTeX RDF
19	Vladimir A. Zakharov	An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.	ICALP	1998	DBLP DOI BibTeX RDF
19	Marc Fischlin	Cryptographic Limitations on Parallelizing Membership and Equivalence Queries with Applications to Random Self-Reductions.	ALT	1998	DBLP DOI BibTeX RDF
19	Giovanna Melideo, Stefano Varricchio	Learning Unary Output Two-Tape Automata from Multiplicity and Equivalence Queries.	ALT	1998	DBLP DOI BibTeX RDF
19	Philipp A. Heuberger	Two Strategies to Data-Refine an Equivalence to a Forest.	B	1998	DBLP DOI BibTeX RDF
19	Wojciech Fraczak, Elisabeth Pelz	Improved Implementations via a New Structural Equivalence on Labelled Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
19	Petr Jancar	Bisimulation Equivalence is Decidable for One-Counter Processes.	ICALP	1997	DBLP DOI BibTeX RDF
19	Viktor K. Sabelfeld	The Tree Equivalence Problem for Linear Recursion Schemes.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
19	Michel Bidoit, Andrzej Tarlecki	Behavioural Satisfaction and Equivalence in Concrete Model Categories.	CAAP	1996	DBLP DOI BibTeX RDF
19	Otmane Aït Mohamed	Mechanizing a pi-Calculus Equivalence in HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
19	Kai Salomaa	Decidability of Equivalence for Deterministic Synchronized Tree Automata.	TAPSOFT	1995	DBLP DOI BibTeX RDF
19	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	The Weak Late pi-Calculus Semantics as Observation Equivalence.	CONCUR	1995	DBLP DOI BibTeX RDF
19	Paul W. Goldberg, Sally A. Goldman, H. David Mathias	Learning Unions of Boxes with Membership and Equivalence Queries.	COLT	1994	DBLP DOI BibTeX RDF
19	Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier	Symbolic Equivalence Checking.	CAV	1993	DBLP DOI BibTeX RDF
19	Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
19	Søren Christensen, Yoram Hirshfeld, Faron Moller	Bisimulation Equivalence is Decidable for Basic Parallel Processes.	CONCUR	1993	DBLP DOI BibTeX RDF
19	Lalita Jategaonkar, Albert R. Meyer	Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report.	CONCUR	1992	DBLP DOI BibTeX RDF
19	Dipayan Gangopadhyay, Thierry Barsalou	On the Semantic Equivalence of Heterogeneous Representations in Multimodel Multidatabase Systems.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF
19	Wenbo Mao, George J. Milne	An Automated Proof Technique for Finite-State Machine Equivalence.	CAV	1991	DBLP DOI BibTeX RDF
19	Bernhard Josko	A Context Dependent Equivalence Relation Between Kripke Structures.	CAV	1990	DBLP DOI BibTeX RDF	temporal logic, bisimulation, reactive systems, modular specification, hierarchical design, Kripke structures
19	Edmund M. Clarke, Anca Browne, Robert P. Kurshan	A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.	CAAP	1990	DBLP DOI BibTeX RDF
19	Karel Culík II, Juhani Karhumäki	On the Equivalence Problem for Deterministic Multitape Automata and Transducers.	STACS	1989	DBLP DOI BibTeX RDF
19	Didier Caucal	A Fast Algorithm to Decide on Simple Grammars Equivalence.	Optimal Algorithms	1989	DBLP DOI BibTeX RDF
19	Ivan Christoff	A Method for Verification of Trace and Test Equivalence.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
19	Karel Culík II	New Techniques for Proving the Decidability of Equivalence Problems.	ICALP	1988	DBLP DOI BibTeX RDF
19	Pratul Dublish, S. N. Maheshwari	On O(N²) Equivalence Algorithm for Fan-Out Free Queries.	ICDT	1988	DBLP DOI BibTeX RDF
19	Michio Oyamaguchi	The equivalence problem for real-time DPDAs.	J. ACM	1987	DBLP DOI BibTeX RDF
19	Rodney R. Howell, Louis E. Rosier	Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems.	ICALP	1987	DBLP DOI BibTeX RDF
19	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.	PARLE (2)	1987	DBLP DOI BibTeX RDF
19	Björn Lisper	Synthesis and Equivalence of Concurrent Systems.	ICALP	1986	DBLP DOI BibTeX RDF
19	Karel Culík II, Juhani Karhumäki	The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable.	MFCS	1986	DBLP DOI BibTeX RDF
19	Kim Guldstrand Larsen	A Context Dependent Equivalence between Processes.	ICALP	1985	DBLP DOI BibTeX RDF
19	Karel Culík II, Ivan Fris	The Sequence Equivalence Problem for D0L Systems is Decidable.	ICALP	1977	DBLP DOI BibTeX RDF
19	Dennis Tsichritzis	The Equivalence Problem of Simple Programs.	J. ACM	1970	DBLP DOI BibTeX RDF
19	Bruce W. Arden, Bernard A. Galler, Robert M. Graham	An algorithm for equivalence declarations.	Commun. ACM	1961	DBLP DOI BibTeX RDF
18	Pierre Bouvier	Systèmes concurrents hiérarchiques : équivalence, analyse et structuration. (Hierarchical concurrent systems : equivalence, analysis and structuring).		2023	RDF
18	Simeon Ball, James Dixon	The equivalence of linear codes implies semi-linear equivalence.	Des. Codes Cryptogr.	2022	DBLP DOI BibTeX RDF
18	Grzegorz Marcin Koczan	Proof of Equivalence of Carnot Principle to II Law of Thermodynamics and Non-Equivalence to Clausius I and Kelvin Principles.	Entropy	2022	DBLP DOI BibTeX RDF
18	Yuliya Lierler	Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
18	Diana Davidova, Lilya Budaghyan, Claude Carlet, Tor Helleseth, Ferdinand Ihringer, Tim Penttila	Relation between o-equivalence and EA-equivalence for Niho bent functions.	Finite Fields Their Appl.	2021	DBLP DOI BibTeX RDF
18	Asieh Abolpour Mofrad, Anis Yazidi, Samaneh Abolpour Mofrad, Hugo Lewi Hammer, Erik Arntzen	Enhanced Equivalence Projective Simulation: A Framework for Modeling Formation of Stimulus Equivalence Classes.	Neural Comput.	2021	DBLP DOI BibTeX RDF
18	Simeon Ball, James Dixon	The equivalence of linear codes implies semi-linear equivalence.	CoRR	2021	DBLP BibTeX RDF
18	Puntipa Wanitjirattikal	Superiority, Non-inferiority, Equivalence Test, and Innovative Equivalence Test.	ICoMS	2021	DBLP DOI BibTeX RDF
18	Laureline Pinault	From automata to cyclic proofs : equivalence algorithms and descriptive complexity. (Des automates aux preuves cycliques : algorithmes d'équivalence et complexité descriptive).		2021	RDF
18	Yunong Zhang, Min Yang 0010, Binbin Qiu, Jian Li 0018, Mingjie Zhu	From mathematical equivalence such as Ma equivalence to generalized Zhang equivalency including gradient equivalency.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
18	Asieh Abolpour Mofrad, Anis Yazidi, Hugo Lewi Hammer, Erik Arntzen	Equivalence Projective Simulation as a Framework for Modeling Formation of Stimulus Equivalence Classes.	Neural Comput.	2020	DBLP DOI BibTeX RDF
18	Janaky Murthy, Vineet Nair, Chandan Saha 0001	Randomized polynomial-time equivalence between determinant and trace-IMM equivalence tests.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
18	Jacob Carson, Douglas Cenzer, Jeffrey B. Remmel	Effective Categoricity of Automatic Equivalence and Nested Equivalence Structures.	Theory Comput. Syst.	2020	DBLP DOI BibTeX RDF
18	Janaky Murthy, Vineet Nair, Chandan Saha 0001	Randomized polynomial-time equivalence between determinant and trace-IMM equivalence tests.	CoRR	2020	DBLP BibTeX RDF
18	Janaky Murthy, Vineet Nair, Chandan Saha 0001	Randomized Polynomial-Time Equivalence Between Determinant and Trace-IMM Equivalence Tests.	MFCS	2020	DBLP DOI BibTeX RDF
18	Anne Canteaut, Léo Perrin	On CCZ-equivalence, extended-affine equivalence, and function twisting.	Finite Fields Their Appl.	2019	DBLP DOI BibTeX RDF
18	Yuliya Lierler	Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs.	CoRR	2019	DBLP BibTeX RDF
18	Diana Davidova, Lilya Budaghyan, Claude Carlet, Tor Helleseth, Ferdinand Ihringer, Tim Penttila	Relation between o-equivalence and EA-equivalence for Niho bent functions.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
18	Yuliya Lierler	Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs.	PADL	2019	DBLP DOI BibTeX RDF
18	Puntipa Wanitjirattikal	Comparing The Equivalence Testing With Using Two One-Sided Test, Square Root Of F Distribution And 2-DF For Shift-Scale-Equivalence Testing.	ECMS	2019	DBLP DOI BibTeX RDF
18	Ghajendran Poovanandran, Wen Chean Teh	On M-Equivalence and Strong M-Equivalence for Parikh Matrices.	Int. J. Found. Comput. Sci.	2018	DBLP DOI BibTeX RDF
18	Anne Canteaut, Léo Perrin	On CCZ-Equivalence, Extended-Affine Equivalence, and Function Twisting.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
18	Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans	Model-based mutant equivalence detection using automata language equivalence and simulations.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
18	Milos S. Kurilic, Nenad Moraca	Condensational equivalence, equimorphism, elementary equivalence and similar similarities.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
18	Michael Gene Dobbins	Antiprismlessness, or: Reducing Combinatorial Equivalence to Projective Equivalence in Realizability Problems for Polytopes.	Discret. Comput. Geom.	2017	DBLP DOI BibTeX RDF
18	Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans	Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.	ICST	2017	DBLP DOI BibTeX RDF
18	Mohamed Ahmed Saeed	Algebraic Approach for Code Equivalence. (Approche algébrique sur l'équivalence de codes).		2017	RDF
18	Binbin Qiu, Yunong Zhang, Zhi Yang 0004	Revisit and compare Ma equivalence and Zhang equivalence of minimum velocity norm (MVN) type.	Adv. Robotics	2016	DBLP DOI BibTeX RDF
18	Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche	Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries.	VLDB J.	2016	DBLP DOI BibTeX RDF
18	Gabriel Scherer	Which types have a unique inhabitant? : Focusing on pure program equivalence. (Quels types ont un habitant unique ? / Quels types ont un habitant unique ? : Focalisons-nous sur l'équivalence de programmes).		2016	RDF
18	Rémy Chrétien	Automated analysis of equivalence properties for cryptographic protocols. (Analyse automatique de propriétés d'équivalence pour les protocoles cryptographiques).		2016	RDF
18	Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche	Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries.	CoRR	2015	DBLP BibTeX RDF
18	Alexander V. Evako	Classification of graphs using contractible transformations. Homotopy equivalence of graphs. Basic representatives and complexity of homotopy equivalence classes.	CoRR	2015	DBLP BibTeX RDF
18	Guilhem Jaber	A logical study of program equivalence. (Une étude logique de l'équivalence de programmes).		2014	RDF
18	Juan Ignacio Alonso-Barba, Luis delaOssa, José A. Gámez 0001, José Miguel Puerta	Scaling up the Greedy Equivalence Search algorithm by constraining the search space of equivalence classes.	Int. J. Approx. Reason.	2013	DBLP DOI BibTeX RDF
18	Markus Holzer 0001, Sebastian Jakobi	From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors.	Int. J. Found. Comput. Sci.	2013	DBLP DOI BibTeX RDF
18	Markus Holzer 0001, Sebastian Jakobi	From Equivalence to Almost-Equivalence, and Beyond - Minimizing Automata with Errors - (Extended Abstract).	Developments in Language Theory	2012	DBLP DOI BibTeX RDF
18	Juan Ignacio Alonso-Barba, Luis de la Ossa, José A. Gámez 0001, José Miguel Puerta	Scaling Up the Greedy Equivalence Search Algorithm by Constraining the Search Space of Equivalence Classes.	ECSQARU	2011	DBLP DOI BibTeX RDF
18	Xiaowei Huang 0001, Li Jiao, Weiming Lu	Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.	Comput. J.	2010	DBLP DOI BibTeX RDF
18	Miroslav Ciric 0001, Jelena Ignjatovic, Stojan Bogdanovic	Fuzzy equivalence relations and their equivalence classes.	Fuzzy Sets Syst.	2007	DBLP DOI BibTeX RDF
18	Raouf Dridi	Utilisation de la méthode d'équivalence de Cartan dans la construction d'un solveur d'équations différentielles. (Utilization of Cartan's equivalence method in the construction of an ODE solver).		2007	RDF
18	David Pearce 0001, Hans Tompits, Stefan Woltran	Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report.	CENT	2007	DBLP BibTeX RDF
18	Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran	Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.	CENT	2007	DBLP BibTeX RDF
18	David Pearce 0001, Agustín Valverde	Interpretability and Equivalence in Quantified Equilibrium Logic.	CENT	2007	DBLP BibTeX RDF
18	Stefan Woltran	A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming.	CENT	2007	DBLP BibTeX RDF
18	Joohyung Lee 0002, Ravi Palla	Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.	CENT	2007	DBLP BibTeX RDF
18	Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita	Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis.	HLDVT	2006	DBLP DOI BibTeX RDF