Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	William Millan	New Cryptographic Applications of Boolean Function Equivalence Classes.	ACISP	2005	DBLP DOI BibTeX RDF
23	Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu 0001	BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.	TACAS	2005	DBLP DOI BibTeX RDF
23	Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu	Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths.	ICCD	2005	DBLP DOI BibTeX RDF
23	Ping Guo 0003, Li Fan, Lian Ye	A Method to Eliminate Incompatible Knowledge and Equivalence Knowledge.	ICMLC	2005	DBLP DOI BibTeX RDF
23	Dominik Stoffel, Wolfgang Kunz	Equivalence checking of arithmetic circuits on the arithmetic bit level.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
23	Hiroshi Sakai	Possible Equivalence Relations and Their Application to Hypothesis Generation in Non-deterministic Information Systems.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
23	Zining Cao	A Uniform Reduction Equivalence for Process Calculi.	APLAS	2004	DBLP DOI BibTeX RDF
23	David Pearce 0001, Agustín Valverde	Uniform Equivalence for Equilibrium Logic and Logic Programs.	LPNMR	2004	DBLP DOI BibTeX RDF
23	Marijn Heule, Hans van Maaren	Aligning CNF- and Equivalence-Reasoning.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
23	Vojkan Vuksanovic	Canonical Equivalence Relations on Qn.	Order	2003	DBLP DOI BibTeX RDF	canonical Ramsey theory, weakly embedded subtrees, complete binary tree
23	Xiaoming Yu, M. Enamul Amyeen, Srikanth Venkataraman, Ruifeng Guo, Irith Pomeranz	Concurrent Execution of Diagnostic Fault Simulation and Equivalence Identification During Diagnostic Test Generation.	VTS	2003	DBLP DOI BibTeX RDF
23	Kurt Schlacher, Andreas Kugi, Kurt Zehetleitner	Symbolic Methods for the Equivalence Problem for Systems of Implicit Ordinary Differential Equations.	SNSC	2001	DBLP DOI BibTeX RDF
23	Jiunn-Chern Chen, Yirng-An Chen	Equivalence checking of integer multipliers.	ASP-DAC	2001	DBLP DOI BibTeX RDF
23	Vladimir A. Zakharov	The Equivalence Problem for Computational Models: Decidable and Undecidable Cases.	MCU	2001	DBLP DOI BibTeX RDF
23	Hudson Turner	Strong Equivalence for Logic Programs and Default Theories (Made Easy).	LPNMR	2001	DBLP DOI BibTeX RDF
23	C. A. J. van Eijk	Sequential equivalence checking based on structural similarities.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
23	Paul Munteanu, Denis Cau	Efficient Score-Based Learning of Equivalence Classes of Bayesian Networks.	PKDD	2000	DBLP DOI BibTeX RDF
23	Andrew M. Pitts	Operational Semantics and Program Equivalence.	APPSEM	2000	DBLP DOI BibTeX RDF
23	Jens Schönherr, Bernd Straube	Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.	DATE	2000	DBLP DOI BibTeX RDF
23	Reda Alhajj	Deciding on the Equivalence of a Relational Schema and and Object-Oriented Schema.	DEXA	2000	DBLP DOI BibTeX RDF
23	Christopher A. Stone, Robert Harper 0001	Deciding Type Equivalence with Singleton Kinds.	POPL	2000	DBLP DOI BibTeX RDF
23	Mitchell A. Thornton, Rolf Drechsler, Wolfgang Günther 0001	A Method for Approximate Equivalence Checking.	ISMVL	2000	DBLP DOI BibTeX RDF
23	Gerd Ritter	Sequential Equivalence Checking by Symbolic Simulation.	FMCAD	2000	DBLP DOI BibTeX RDF
23	Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe	Restrictive Acceptance Suffices for Equivalence Problems.	FCT	1999	DBLP DOI BibTeX RDF
23	M. Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana	Implication and Evaluation Techniques for Proving Fault Equivalence.	VTS	1999	DBLP DOI BibTeX RDF
23	C. A. J. van Eijk	Sequential Equivalence Checking without State Space Traversal.	DATE	1998	DBLP DOI BibTeX RDF
23	Flavio Corradini, Roberto Gorrieri, Marco Roccetti	Performance Preorder and Competitive Equivalence.	Acta Informatica	1997	DBLP DOI BibTeX RDF
23	Ugo Montanari, Marco Pistore, Daniel Yankelevich	Efficient Minimization up to Location Equivalence.	ESOP	1996	DBLP DOI BibTeX RDF
23	Enno Ohlebusch, Esko Ukkonen	On the Equivalence Problem for E-Pattern Languages.	MFCS	1996	DBLP DOI BibTeX RDF
23	Walter Vogler	The Limit of Split_n-Language Equivalence.	ICALP	1995	DBLP DOI BibTeX RDF	concurrency, action refinement, partial order semantics
23	David G. Von Bank, Charles M. Shub, Robert W. Sebesta	A Unified Model of Pointwise Equivalence of Procedural Computations.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dynamic migration, heterogeneous migration
23	Adnan Aziz, Thomas R. Shiple, Vigyan Singhal	Formula-Dependent Equivalence for Compositional CTL Model Checking.	CAV	1994	DBLP DOI BibTeX RDF
23	Surajit Chaudhuri, Moshe Y. Vardi	On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs.	PODS	1994	DBLP DOI BibTeX RDF	Datalog
23	Yoram Hirshfeld	Petri Nets and the Equivalence Problem.	CSL	1993	DBLP DOI BibTeX RDF
23	Tomás Feder, Yatin P. Saraiya	Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations.	ICDT	1992	DBLP DOI BibTeX RDF
23	Halit Oguztüzün	A Fragment of First Order Logic Adequate for Observation Equivalence.	CSL	1991	DBLP DOI BibTeX RDF
23	Serge Abiteboul, Victor Vianu	Equivalence and optimization of relational transactions.	J. ACM	1988	DBLP DOI BibTeX RDF
23	V. E. Itkin	Local- termal equivalence of program schemata.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
23	Keith B. Gallagher, David W. Binkley	An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence.	WCRE	2003	DBLP DOI BibTeX RDF
23	Vitus S. W. Lam	Equivalences of BPMN processes.	Serv. Oriented Comput. Appl.	2009	DBLP DOI BibTeX RDF	Process equivalence, Equivalence classification, BPMN
23	Petr Jancar, Martin Kot, Zdenek Sawa	Normed BPA vs. Normed BPP Revisited.	CONCUR	2008	DBLP DOI BibTeX RDF	Basic Process Algebra, Basic Parallel Processes, verification, equivalence checking, bisimulation equivalence
23	Thomas Eiter, Michael Fink 0001, Stefan Woltran	Semantical characterizations and complexity of equivalences in answer set programming.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
23	Kevin W. Bowyer, Maha Sallam, David W. Eggert, John H. Stewman	Computing the Generalized Aspect Graph for Objects with Moving Parts.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	generalized aspect graph, articulated assemblies, general views, general configurations, translational connections, computer vision, computer vision, graph theory, graph theory, equivalence classes, equivalence classes
23	Bhargab B. Bhattacharya, Bidyut Gupta	On the Impossible Class of Faulty Functions in Logic Networks Under Short Circuit Faults.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	fan-out-free functions, N-equivalence classes, P-equivalence classes, short circuit faults, fault detection, stuck-at faults, Bridging faults, combinational logic, unate functions
21	Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin	Formal certification of code-based cryptographic proofs.	POPL	2009	DBLP DOI BibTeX RDF	cryptographic proofs, relational hoare logic, program transformations, observational equivalence, coq proof assistant
21	Hongbing Liu, Shengwu Xiong, Qiong Chen	Training fuzzy support vector machines by using boundary of rough set.	GEC Summit	2009	DBLP DOI BibTeX RDF	support vector machines, rough set, boundary, equivalence class, fuzzy support vector machines
21	Yingjie Fan 0001, Chenghong Zhang, Shuyun Wang, Xiulan Hao, Yunfa Hu	An Efficient Structural Index for Graph-Structured Data.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Graph-structured data, XML, Equivalence relation, Structural summary
21	Michael D. Adams 0001, R. Kent Dybvig	Efficient nondestructive equality checking for trees and graphs.	ICFP	2008	DBLP DOI BibTeX RDF	dfa equivalence, eq hash tables, scheme, equality, union-find
21	Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager	A testing scenario for probabilistic processes.	J. ACM	2007	DBLP DOI BibTeX RDF	CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory
21	Ian G. Lisle, Gregory J. Reid	Symmetry Classification Using Noncommutative Invariant Differential Operators.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Lie symmetries of PDEs, Equivalence group, Symmetry classification of PDE, Noncommutative invariant differential operators, Reduced involutive form, Diffusion convection equation, Moving frames
21	Vasileios Koutavas, Mitchell Wand	Small bisimulations for reasoning about higher-order imperative programs.	POPL	2006	DBLP DOI BibTeX RDF	higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence
21	Amaury Habrard, José Oncina	Learning Multiplicity Tree Automata.	ICGI	2006	DBLP DOI BibTeX RDF	multiplicity tree automata, recognizable tree series, learning from equivalence and membership queries
21	Hong Wang, Wen-Xiu Zhang	Relationships Between Concept Lattice and Rough Set.	ICAISC	2006	DBLP DOI BibTeX RDF	rough set, information system, concept lattice, equivalence class, Formal Context
21	Ludovic Perret	A Fast Cryptanalysis of the Isomorphism of Polynomials with One Secret Problem.	EUROCRYPT	2005	DBLP DOI BibTeX RDF	Isomorphism of Polynomials with One Secret (IP1S), Polynomial Linear Equivalence (PLE), Cryptanalysis, Jacobian Matrix
21	Gwen Salaün, J. Christian Attiogbé	Formalising an Integrated Language in PVS.	ICFEM	2003	DBLP DOI BibTeX RDF	Formal Method Integration, Equivalence Proof, Embedding, Process Algebra, Algebraic Specifications, PVS
21	Michele Boreale, Fabio Gadducci	Denotational Testing Semantics in Coinductive Form.	MFCS	2003	DBLP DOI BibTeX RDF	testing equivalence, process calculi, coinduction, formal power series
21	Sasha Novakovsky, Shy Shyman, Ziyad Hanna	High capacity and automatic functional extraction tool for industrial VLSI circuit designs.	ICCAD	2002	DBLP DOI BibTeX RDF	Formal Equivalence Verification (FEV), Hardware Description Languages (HDL), Switch Level Analysis, functional abstraction, satisfiability procedures, synthesis, Design For Testability (DFT), logic simulation, Binary Decision Diagrams (BDDs)
21	Josep Carmona 0001, Jordi Cortadella	Input/Output Compatibility of Reactive Systems.	FMCAD	2002	DBLP DOI BibTeX RDF	Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
21	Diego Nehab, Marcelo Gattass	Ray Path Categorization.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	ray path categorization, image segmentation algorithms, geometrical information extraction, pixel colors, ray-traced images, category information, rendering process, detected edges, ray tracer, edge detection, edge detection, aliasing, equivalence classes, memory requirements, geometrical information, image rendering
21	Dirk W. Hoffmann, Thomas Kropf	Automatic Error Correction of Tri-State Circuits.	ICCD	1999	DBLP DOI BibTeX RDF	Automatic error correction, tri-states, fault diagnosis, BDDs, equivalence checking
21	Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen	In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	software-testing methodologies, object-oriented programming, abstract data types, algebraic specification, observational equivalence
21	Sreejit Chakravarty, Yiming Gong, Srikanth Venkataraman	Diagnostic simulation of stuck-at faults in combinational circuits.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	diagnostic power, diagnostic simulation, diagnosis, equivalence classes, diagnostic resolution
21	David Sands	Total Correctness by Local Improvement in the Transformation of Functional Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	operational equivalence, unfold-fold, program transformation, correctness, improvement
21	Paul Caspi, Jean-Claude Fernandez, Alain Girault	An Algorithm for Reducing Binary Branchings.	FSTTCS	1995	DBLP DOI BibTeX RDF	object code optimization, on the fly bisimulation, observational equivalence
21	Dana Angluin, Lisa Hellerstein, Marek Karpinski	Learning Read-Once Formulas with Queries.	J. ACM	1993	DBLP DOI BibTeX RDF	?-formulas, exact identification, polynomial-time learning, read-once formulas, interpolation, membership queries, equivalence queries
21	Michel Billaud	Axiomatizations of Backtracking.	STACS	1992	DBLP DOI BibTeX RDF	foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages
21	Mauro Negri, Giuseppe Pelagatti, Licia Sbattella	Formal Semantics of SQL Queries.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	query semantics, SQL, SQL, query equivalence
21	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Partial orderings descriptions and observations of nondeterministic concurrent processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages
21	Louise E. Moser	A Decision Procedure for Unquantified Formulas of Graph Theory.	CADE	1988	DBLP DOI BibTeX RDF	congruence closure, equivalence class representative, Directed graph, decision procedure, normal form
21	B. Gamatie	Towards Specification and Proof of Asynchronous Systems.	STACS	1986	DBLP DOI BibTeX RDF	Key-words Asynchronous systems, process interface, equivalence and congruence of processes, least process, nondeterminism
21	Peter Buchholz 0001, Miklós Telek	Composition and Equivalence of Markovian and Non-Markovian Models.	QEST	2011	DBLP DOI BibTeX RDF	Rational Processes, Aggregation, Markov Models, Equivalence, Compositional Modeling
21	Irith Pomeranz, Sudhakar M. Reddy	Equivalence, Dominance, and Similarity Relations between Fault Pairs and a Fault Pair Collapsing Process for Fault Diagnosis.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Diagnostic fault simulation, diagnostic test generation, fault diagnosis, fault collapsing, fault equivalence, fault dominance
21	Mark Horowitz, Metha Jeeradit, Frances Lau, Sabrina Liao, ByongChan Lim, James Mao	Fortifying analog models with equivalence checking and coverage analysis.	DAC	2010	DBLP DOI BibTeX RDF	analog validation, model-first design, design methodology, fault coverage, equivalence checking, formal validation
21	Véronique Cortier, Stéphanie Delaune	A Method for Proving Observational Equivalence.	CSF	2009	DBLP DOI BibTeX RDF	security protocols, observational equivalence, applied pi calculus
21	Levent Erkök, John Matthews	Pragmatic equivalence and safety checking in Cryptol.	PLPV	2009	DBLP DOI BibTeX RDF	sat/smt solving, size polymorphism, formal methods, cryptography, theorem proving, equivalence checking
21	Mike Develin	Rook Poset Equivalence of Ferrers Boards.	Order	2006	DBLP DOI BibTeX RDF	Schubert varieties, Ferrers boards, rook equivalence, rook placements
21	Djamel Bouchaffra, Jun Tan	Structural Hidden Markov Models Using a Relation of Equivalence: Application to Automotive Designs.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	relation of equivalence, statistical decoding, structural decoding, Hidden Markov models, local structures
21	Yongming Li 0001, Witold Pedrycz	The equivalence between fuzzy Mealy and fuzzy Moore machines.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Fuzzy Mealy machine, Fuzzy Moore machine, Fuzzy sequential-like machine, Lattice-ordered monoid, Equivalence
21	Chris H. Q. Ding, Tao Li 0001, Wei Peng 0001	NMF and PLSI: equivalence and a hybrid algorithm.	SIGIR	2006	DBLP DOI BibTeX RDF	PLSI, equivalence, NMF, chi-square
21	Hai Quang Dinh 0001, Sergio R. López-Permouth	On the Equivalence of Codes over Finite Rings.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	Equivalence of codes, Codes over finite rings, Finite Frobenius rings
21	Predrag R. Jelenkovic, Petar Momcilovic, Bert Zwart	Reduced Load Equivalence under Subexponentiality.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	non-Cramér type conditions, reduced load equivalence, independent sampling, large deviations, subexponential distributions
21	Sem C. Borst, Onno J. Boxma, Predrag R. Jelenkovic	Reduced-Load Equivalence and Induced Burstiness in GPS Queues with Long-Tailed Traffic Flows.	Queueing Syst. Theory Appl.	2003	DBLP DOI BibTeX RDF	induced burstiness, long-tailed traffic, reduced-load equivalence, Weighted Fair Queueing, workload asymptotics, Generalized Processor Sharing
21	Martin Grohe	Equivalence in Finite-Variable Logics is Complete for Polynomial Time.	FOCS	1996	DBLP DOI BibTeX RDF	finite-variable logics, finite structures, graph isomorphism problem, complexity theoretic difficulties, quantifier-free reductions, completeness result, counting quantifiers, computational complexity, first order logic, polynomial time, equivalence
21	Xinghao Chen 0003, Michael L. Bushnell	Generation of search state equivalence for automatic test pattern generation.	VLSI Design	1995	DBLP DOI BibTeX RDF	search state equivalence, current search status, prior search decisions, previously-searched decision spaces, enabling theorem, logic testing, integrated circuit testing, sequential circuits, automatic test pattern generation, automatic testing, search problems, sequential circuit test generation
21	Yaron Wolfstahl, Michael Yoeli	An Equivalence Theorem for Labeled Marked Graphs.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	equivalence theorem, labeledmarked graphs, structural determinism, sequential language, firing sequences, Petri nets, Petri nets, multiprocessing systems, formal languages, transitions, concurrent language
21	David Shallcross, Victor Y. Pan, Yu Lin-Kriz	The NC Equivalence of Planar Integer Linear Programming and Euclidean GCD	FOCS	1993	DBLP DOI BibTeX RDF	NC equivalence, planar integer linear programming, Euclidean GCD, NC-reduction, remainder sequence, positive integers, Euclidean algorithm, P-completeness
21	Howard Aizenstein, Lisa Hellerstein, Leonard Pitt	Read-Thrice DNF Is Hard to Learn With Membership and Equivalence Queries	FOCS	1992	DBLP DOI BibTeX RDF	disjunctive normal, nonlearnability, polynomial-time membership, read-thrice DNF formulas, membership, boolean formulas, equivalence queries, exact learning
21	Jon T. Butler, Kriss A. Schueller	On the Equivalence of Cost Functions in the Design of Circuits by Costtable.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	design of circuits by cost-table, least-cost realization, minimal realization, logic design, logic design, equivalence, cost functions
21	Wen-Guey Tzeng	The Equivalence and Learning of Probabilistic Automata (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	learning protocol, coNP, learning, polynomial-time algorithm, upper bound, equivalence, covering, probabilistic automata, nondeterministic finite automata
21	Neil V. Murray	Some Observations on Equivalence Handling Methods.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	path compression, tree balancing, partition, Equivalence, UNION-FIND
19	Liang Sun 0001, Betul Ceran, Jieping Ye	A scalable two-stage approach for a class of dimensionality reduction techniques.	KDD	2010	DBLP DOI BibTeX RDF	scalability, dimensionality reduction, regularization, least squares, generalized eigenvalue problem
19	Francesco Ranzato, Francesco Tapparo	Computing Stuttering Simulations.	CONCUR	2009	DBLP DOI BibTeX RDF
19	Vinod Viswanath, Shobha Vasudevan, Jacob A. Abraham	Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL.	VLSI Design	2009	DBLP DOI BibTeX RDF
19	Kathy J. Horadam, David G. Farmer	Bundles, presemifields and nonlinear functions.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	12K10, 20J06, 11T71, AMS Classifications 94A60
19	Kaiquan Shi, Bingxue Yao	Function S-rough sets and law identification.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	function S-rough sets, system law, law identification, identification criterion, identification theorem
19	Felicidad Aguado, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal	Strongly Equivalent Temporal Logic Programs.	JELIA	2008	DBLP DOI BibTeX RDF
19	Youngsik Kim, Nazanin Mansouri	Automated formal verification of scheduling with speculative code motions.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	formal verification, high level synthesis, automated theorem-proving, speculation
19	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue	Refinement of actions for real-time concurrent systems with causal ambiguity.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Causal ambiguity, Timed bundle event structure with causal ambiguity, Concurrency, Action refinement
19	Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir	On the Axiomatizability of Priority.	ICALP (2)	2006	DBLP DOI BibTeX RDF
19	Puneet Bhateja, Paul Gastin, Madhavan Mukund	A Fresh Look at Testing for Asynchronous Communication.	ATVA	2006	DBLP DOI BibTeX RDF