Search results for "P-equivalence"

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