Search results for "Equivalences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Albert R. Meyer	Concurrent Process Equivalences: Some Decision Problems (Abstract).	STACS	1995	DBLP DOI BibTeX RDF
16	Monica Lara de Souza, Robert de Simone	Using PO Methods for Verfying Behavioural Equivalences.	FORTE	1995	DBLP BibTeX RDF
16	Till Mossakowski	Equivalences among Various Logical Frameworks of Partial Algebras.	CSL	1995	DBLP DOI BibTeX RDF
16	Rosario Uceda-Sosa	A modular approach to observational equivalences.		1995	RDF
16	Simonetta Balsamo, Vittoria de Nitto Persone	A survey of product form queueing networks with blocking and their equivalences.	Ann. Oper. Res.	1994	DBLP DOI BibTeX RDF
16	Astrid Kiehn	Comparing Locality and Causality Based Equivalences.	Acta Informatica	1994	DBLP DOI BibTeX RDF
16	Dung T. Huynh, Lu Tian	On Deciding some Equivalences for Concurrent Processes.	RAIRO Theor. Informatics Appl.	1994	DBLP DOI BibTeX RDF
16	Jan Friso Groote, Hans Hüttel	Undecidable Equivalences for Basic Process Algebra	Inf. Comput.	1994	DBLP DOI BibTeX RDF
16	Hong-Cheu Liu, Kotagiri Ramamohanarao	Algebraic Equivalences Among Nested Relational Expressions.	CIKM	1994	DBLP DOI BibTeX RDF
16	Patrick Bosc, Olivier Pivert	Quelques aspects de la sémantique et des équivalences de requêtes dans le langage SOLf.	BDA	1994	DBLP BibTeX RDF
16	Hans Hüttel	Undecidable Equivalences for Basic Parallel Processes.	TACS	1994	DBLP DOI BibTeX RDF
16	Jon G. Riecke, Ramesh Subrahmanyam	Extensions to Type Systems Can Preserve Operational Equivalences.	TACS	1994	DBLP DOI BibTeX RDF
16	Milan Mares	Algebraic equivalences over fuzzy quantities.	Kybernetika	1993	DBLP BibTeX RDF
16	Dung T. Huynh, Lu Tian	On deciding trace equivalences for processes.	Inf. Sci.	1993	DBLP DOI BibTeX RDF
16	Harald Tveit Alvestrand, Steven J. Thompson	Equivalences between 1988 X.400 and RFC-822 Message Bodies.	RFC	1993	DBLP DOI BibTeX RDF
16	Joachim Parrow	Structural and Behavioural Equivalences of Networks	Inf. Comput.	1993	DBLP DOI BibTeX RDF
16	Bengt Jonsson 0001, Joachim Parrow	Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs	Inf. Comput.	1993	DBLP DOI BibTeX RDF
16	Pasquale Malacaria	Equivalences of Transition Systems in an Algebraic Framework.	AMAST	1993	DBLP BibTeX RDF
16	Astrid Kiehn	Proof Systems for Cause Based Equivalences.	MFCS	1993	DBLP DOI BibTeX RDF
16	André Arnold, Anne Dicky	Equivalences and Preorders of Transition Systems.	MFCS	1993	DBLP DOI BibTeX RDF	temporal logic, bisimulation, transition system
16	Pascal Bernard	Some elements of methods to deal with equivalences in specification and program development.	JFPL	1993	DBLP BibTeX RDF
16	Kai Salomaa, Derick Wood, Sheng Yu 0001	Structural Equivalences and ET0L Grammars (Extended Abstract).	FCT	1993	DBLP DOI BibTeX RDF
16	Jinzhao Wu, Lian Li	The Regular Problem and Green Equivalences for Special Monoids.	ISSAC	1993	DBLP DOI BibTeX RDF
16	Michele Boreale, Paola Inverardi, Monica Nesi	Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
16	Karlis Cerans	Decidability of Bisimulation Equivalences for Parallel Timer Processes.	CAV	1992	DBLP DOI BibTeX RDF
16	Irek Ulidowski	Equivalences on Observable Processes	LICS	1992	DBLP DOI BibTeX RDF
16	Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo	Observational Equivalences for Logic Programs.	JICSLP	1992	DBLP BibTeX RDF
16	Huajun Qin, Philip Lewis	Factorisation of Finite State Machines under Strong and Observational Equivalences.	Formal Aspects Comput.	1991	DBLP DOI BibTeX RDF
16	Jean-Claude Fernandez, Laurent Mounier	"On the Fly" Verification of Behavioural Equivalences and Preorders.	CAV	1991	DBLP DOI BibTeX RDF
16	Huajun Qin, Philip Lewis	Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences.	AMAST	1991	DBLP BibTeX RDF
16	John Shawe-Taylor	Threshold Network Learning in the Presence of Equivalences.	NIPS	1991	DBLP BibTeX RDF
16	Jean-Claude Fernandez, Laurent Mounier	A Tool Set for deciding Behavioral Equivalences.	CONCUR	1991	DBLP DOI BibTeX RDF
16	Rob van Glabbeek, Ursula Goltz	Equivalences and refinement	Forschungsberichte, TU Munich	1990	RDF
16	Chilukuri K. Mohan	Equivalences of Rewrite Programs.	CTRS	1990	DBLP DOI BibTeX RDF
16	Chi-Chang Jou, Scott A. Smolka	Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes.	CONCUR	1990	DBLP DOI BibTeX RDF
16	Gianfranco Mascari, Antonio Vincenzi	Model-Theoretic Specifications and Back-and-Forth Equivalences.	ADT	1990	DBLP DOI BibTeX RDF
16	Yehuda Rav	Lattice Theoretical Equivalences of the Ultrafilter Principle.	Math. Log. Q.	1989	DBLP DOI BibTeX RDF
16	Mike Livesey	Stable Families of Behavioural Equivalences.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
16	André Arnold, Anne Dicky	An Algebraic Characterization of Transition System Equivalences	Inf. Comput.	1989	DBLP DOI BibTeX RDF
16	Bengt Jonsson 0001, Joachim Parrow	Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs.	STACS	1989	DBLP DOI BibTeX RDF
16	Michael J. Maher	Equivalences of Logic Programs	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
16	Roberto M. Amadio	A fixed point extension of the second order lambda-calculus: observable equivalences and models	LICS	1988	DBLP DOI BibTeX RDF
16	James S. Prater, Charles M. Loeffler	Equivalences and optimal designs of PTV systems.	ICASSP	1988	DBLP DOI BibTeX RDF
16	Aïda Batarekh, V. S. Subrahmanian	Semantical Equivalences of (Non-Classical) Logic Programs.	ICLP/SLP	1988	DBLP BibTeX RDF
16	Rocco De Nicola	Extensional Equivalences for Transition Systems.	Acta Informatica	1987	DBLP DOI BibTeX RDF
16	Michael G. Main	Trace, failure and testing equivalences for communicating processes.	Int. J. Parallel Program.	1987	DBLP DOI BibTeX RDF
16	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Observational equivalences for concurrency models.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
16	Bruno Courcelle	Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
16	R. P. Nederpelt	Bijections between formulae and trees which are compatible with equivalences of the type ((f·g)·h)~((f·h)·g).	Discret. Math.	1986	DBLP DOI BibTeX RDF
16	Luca Aceto, Rocco De Nicola, Alessandro Fantechi	Testing Equivalences for Event Structures.	Mathematical Models for the Semantics of Parallelism	1986	DBLP DOI BibTeX RDF
16	Rocco De Nicola	Testing equivalences and fully abstract models for communicating systems.		1986	RDF
16	Raul Cordovil, Ilda P. F. da Silva	A Problem of McMullen on the Projective Equivalences of Polytopes.	Eur. J. Comb.	1985	DBLP DOI BibTeX RDF
16	Bruno Courcelle	Equivalences and Transformations of Recursive Definitions	FOCS	1985	DBLP DOI BibTeX RDF
16	Rocco De Nicola, Matthew Hennessy	Testing Equivalences for Processes.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
16	Albert R. Meyer, Jerzy Tiuryn	Equivalences among Logics of Programs.	J. Comput. Syst. Sci.	1984	DBLP DOI BibTeX RDF
16	Jorma Rissanen	On Equivalences of Database Schemes.	PODS	1982	DBLP DOI BibTeX RDF
16	Peter H. Farquhar, Peter C. Fishburn	Equivalences and Continuity in Multivalent Preference Structures.	Oper. Res.	1981	DBLP DOI BibTeX RDF
16	Albert R. Meyer, Jerzy Tiuryn	A Note On Equivalences Among Logics of Programs.	Logic of Programs	1981	DBLP DOI BibTeX RDF
16	Yehoshua Sagiv, Mihalis Yannakakis	Equivalences Among Relational Expressions with the Union and Difference Operators.	J. ACM	1980	DBLP DOI BibTeX RDF
16	Jonell Duda Comerford	Affine and General Linear Equivalences of Boolean Functions	Inf. Control.	1980	DBLP DOI BibTeX RDF
16	Susan E. Conry, J. Robert Jump	On Functional Equivalences in a Model for Parallel Computation	Inf. Control.	1979	DBLP DOI BibTeX RDF
16	Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman	Equivalences Among Relational Expressions.	SIAM J. Comput.	1979	DBLP DOI BibTeX RDF
16	Gary L. Peterson	Time-Space Trade-Offs for Asynchronous Parallel Models: Reducibilities and Equivalences	STOC	1979	DBLP DOI BibTeX RDF
16	Sik K. Leung-Yan-Cheong, Thomas M. Cover	Some equivalences between Shannon entropy and Kolmogorov complexity.	IEEE Trans. Inf. Theory	1978	DBLP DOI BibTeX RDF
16	Jirí Demel	Maximal frequencies of equivalences with small classes.	Discret. Math.	1978	DBLP DOI BibTeX RDF
16	Joel V. Brawley, Jack Levine	Equivalences of Vigenere Systems.	Cryptologia	1977	DBLP DOI BibTeX RDF
16	Marek Karpinski	The Equivalences Problems for Binary EOL-Systems are Decidable.	FCT	1977	DBLP DOI BibTeX RDF
16	Karel Culík	Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams.	MFCS	1973	DBLP BibTeX RDF
16	Hisao Yamada, Serafino Amoroso	Structural and Behavioral Equivalences of Tessellation Automata	Inf. Control.	1971	DBLP DOI BibTeX RDF
16	Robin Milner	Equivalences on Program Schemes.	J. Comput. Syst. Sci.	1970	DBLP DOI BibTeX RDF
16	Carl V. Page	Equivalences between Probalistic and Deterministic Sequential Machines	Inf. Control.	1966	DBLP DOI BibTeX RDF
16	Jack W. Carlyle	State-calculable stochastic sequential machines, equivalences, and events	SWCT	1965	DBLP DOI BibTeX RDF
10	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
10	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
10	Michael Schmidt 0002, Michael Meier 0002, Georg Lausen	Foundations of SPARQL query optimization.	ICDT	2010	DBLP DOI BibTeX RDF	SPARQL algebra, complexity, query optimization, RDF, SPARQL, semantic query optimization
10	Gianpiero Cabodi, Sergio Nocco, Stefano Quer	Strengthening Model Checking Techniques With Inductive Invariants.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
10	Balder ten Cate, Maarten Marx	Axiomatizing the Logical Core of XPath 2.0.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	XML, XPath, Query rewriting, Axiomatization
10	E. Patrick Shironoshita, Yves R. Jean-Mary, Ray M. Bradley, Mansur R. Kabuka	semQA: SPARQL with Idempotent Disjunction.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
10	Shyue-Wen Yang, Ming-Hwa Sheu, Jun-Jie Lin, Chuang-Chun Hu, Tzu-Hsiung Chen, Shau-Yin Tseng	Parallel 3-Pixel Labeling Method and its Hardware Architecture Design.	IAS	2009	DBLP DOI BibTeX RDF
10	Brendan Nagle, Annika Poerschke, Vojtech Rödl, Mathias Schacht	Hypergraph regularity and quasi-randomness.	SODA	2009	DBLP DOI BibTeX RDF
10	Gilles Nachouki, Mirna Nachouki, Marie-Pierre Chastang	Semantic reconciliation in peer multi-data source management system.	IDEAS	2009	DBLP DOI BibTeX RDF	multi-data source fusion language, semantic reconciliation, XML, interoperability, P2P, PDMS
10	Derek Dreyer, Amal Ahmed 0001, Lars Birkedal	Logical Step-Indexed Logical Relations.	LICS	2009	DBLP DOI BibTeX RDF
10	Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner	Equality saturation: a new approach to optimization.	POPL	2009	DBLP DOI BibTeX RDF	equality reasoning, compiler optimization, intermediate representation
10	Hugo L. Jonker, Sjouke Mauw, Jun Pang 0001	Measuring Voter-Controlled Privacy.	ARES	2009	DBLP DOI BibTeX RDF
10	Kristian Støvring, Søren B. Lassen	A Complete, Co-inductive Syntactic Theory of Sequential Control and State.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
10	Imène Kadi, Nihal Pekergin, Jean-Marc Vincent	Different Monotonicity Definitions in Stochastic Modelling.	ASMTA	2009	DBLP DOI BibTeX RDF
10	Jan Kofron, Pavel Parízek, Ondrej Sery	On Teaching Formal Methods: Behavior Models and Code Analysis.	TFM	2009	DBLP DOI BibTeX RDF
10	Elena S. Oshevskaya	Open Maps Bisimulations for Higher Dimensional Automata Models.	FCT	2009	DBLP DOI BibTeX RDF
10	José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira	Verifying Cryptographic Software Correctness with Respect to Reference Implementations.	FMICS	2009	DBLP DOI BibTeX RDF
10	Luke Simon	Optimizing Pointer Analysis Using Bisimilarity.	SAS	2009	DBLP DOI BibTeX RDF
10	Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann 0001	Relational semantics for effect-based program transformations: higher-order store.	PPDP	2009	DBLP DOI BibTeX RDF	higher-order store, logical relation, side effect
10	Michinori Nakata, Hiroshi Sakai	Rough Sets under Non-deterministic Information.	RSKT	2009	DBLP DOI BibTeX RDF	Imprecise values, Possible equivalence classes, Rough sets, Incomplete information, Non-deterministic information
10	Rohit Chadha, Stéphanie Delaune, Steve Kremer	Epistemic Logic for the Applied Pi Calculus.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
10	Paolo Tranquilli	Confluence of Pure Differential Nets with Promotion.	CSL	2009	DBLP DOI BibTeX RDF
10	Eijiro Sumii	A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References.	CSL	2009	DBLP DOI BibTeX RDF
10	Hong Yao, Howard J. Hamilton	Mining functional dependencies from data.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Discovering functional dependencies, Mining functional dependencies, Implication rule, FD_Mine, Data mining, Relational databases, Knowledge discovery, Functional dependencies
10	Matteo Magnani, Danilo Montesi	Management of interval probabilistic data.	Acta Informatica	2008	DBLP DOI BibTeX RDF
10	José L. Castiglioni, Matías Menni, Marta Sagastume	On Some Categories of Involutive Centered Residuated Lattices.	Stud Logica	2008	DBLP DOI BibTeX RDF	Kalman functor, residuated lattices, involution
10	A. Mani	Esoteric Rough Set Theory: Algebraic Semantics of a Generalized VPRS and VPFRS.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	Esoteric Rough Set Theory, Variable Precision Rough Set Theory, Algebraic Semantics of Generalized Rough Set Theory, Irreflexive Rough Set Theory, VPRFS, GVPRFS, Rough Sets
10	Louis L. Scharf, Edwin K. P. Chong, Michael D. Zoltowski, J. Scott Goldstein, Irving S. Reed	Subspace Expansion and the Equivalence of Conjugate Direction and Multistage Wiener Filters.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF