Search results for "Equivalences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Judith Gal-Ezer, Mark B. Trakhtenbrot	Algebraic characterization of regular languages: how to cope with all these equivalences?	ITiCSE	2006	DBLP DOI BibTeX RDF	reasoning problems, automata theory, equivalence relations
16	Gianpiero Cattaneo, Davide Ciucci	Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness - Part II.	RSKT	2006	DBLP DOI BibTeX RDF	topological operators, BZ lattices, similarity approximations
16	Gianpiero Cattaneo, Davide Ciucci	Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness - Part I.	RSKT	2006	DBLP DOI BibTeX RDF	abstract approximations, topological operators, BZ lattice
16	Stelios Piperidis, Ioannis Harlas	Mining Bilingual Lexical Equivalences Out of Parallel Corpora.	SETN	2006	DBLP DOI BibTeX RDF
16	Augusto Sarti, Giovanni De Sanctis	Structural equivalences in Wave Digital systems based on dynamic scattering cells.	EUSIPCO	2006	DBLP BibTeX RDF
16	Cédric Fournet, Georges Gonthier	A hierarchy of equivalences for asynchronous calculi.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
16	Marco Bernardo 0001	Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity.	APC 25	2005	DBLP DOI BibTeX RDF
16	Zdenek Sawa, Petr Jancar	Behavioural Equivalences on Finite-State Systems are PTIME-hard.	Comput. Artif. Intell.	2005	DBLP BibTeX RDF
16	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
16	Martin W. Bunder, W. J. M. Dekkers	Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic.	Notre Dame J. Formal Log.	2005	DBLP DOI BibTeX RDF
16	Sven Beuchler, Reinhold Schneider, Christoph Schwab	Multiresolution weighted norm equivalences and applications.	Numerische Mathematik	2005	DBLP DOI BibTeX RDF
16	Thomas Eiter, Michael Fink 0001, Stefan Woltran	Semantical Characterizations and Complexity of Equivalences in Answer Set Programming	CoRR	2005	DBLP BibTeX RDF
16	Janusz A. Brzozowski, Helmut Jürgensen	Representation of semiautomata by canonical words and equivalences.	Int. J. Found. Comput. Sci.	2005	DBLP DOI BibTeX RDF
16	Hong-Cheu Liu, Jeffrey Xu Yu	Algebraic equivalences of nested relational operators.	Inf. Syst.	2005	DBLP DOI BibTeX RDF
16	Rade T. Zivaljevic	WI-posets, graph complexes and Z2-equivalences.	J. Comb. Theory, Ser. A	2005	DBLP DOI BibTeX RDF
16	Radu Mateescu 0001	On-the-fly state space reductions for weak equivalences.	FMICS	2005	DBLP DOI BibTeX RDF
16	Irina B. Virbitskaite, Natalya S. Gribovskaja	Open Maps and Observational Equivalences for Timed Partial Order Models.	Fundam. Informaticae	2004	DBLP BibTeX RDF
16	Suzana Andova, Tim A. C. Willemse	Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).	EXPRESS	2004	DBLP DOI BibTeX RDF
16	Riccardo Pucella	On Equivalences for a Class of Timed Regular Expressions.	CMCS	2004	DBLP DOI BibTeX RDF
16	Harald Fecher	A completed hierarchy of true concurrent equivalences.	Inf. Process. Lett.	2004	DBLP DOI BibTeX RDF
16	Dror G. Feitelson	On identifying name equivalences in digital libraries.	Inf. Res.	2004	DBLP BibTeX RDF
16	Matthew Hennessy, Julian Rathke	Typed behavioural equivalences for processes in the presence of subtyping.	Math. Struct. Comput. Sci.	2004	DBLP DOI BibTeX RDF
16	Sven Beuchler, Reinhold Schneider, Christoph Schwab	Multiresolution weighted norm equivalences and applications.	Numerische Mathematik	2004	DBLP DOI BibTeX RDF
16	Feng Dai, Kunyang Wang	A note on the equivalences between the averages and the K-functionals related to the Laplacian.	J. Approx. Theory	2004	DBLP DOI BibTeX RDF
16	Rocco A. Servedio, Steven J. Gortler	Equivalences and Separations Between Quantum and Classical Learnability.	SIAM J. Comput.	2004	DBLP DOI BibTeX RDF
16	Natalia López, Manuel Núñez 0001	An Overview of Probabilistic Process Algebras and their Equivalences.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
16	Janusz A. Brzozowski, Helmut Jürgensen	Representation of Semiautomata by Canonical Words and Equivalences.	DCFS	2004	DBLP BibTeX RDF
16	Antonín Kucera 0001, Richard Mayr	A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata.	IFIP TCS	2004	DBLP DOI BibTeX RDF
16	Sergio Maffeis, Philippa Gardner	Behavioural Equivalences for Dynamic Web Data.	IFIP TCS	2004	DBLP DOI BibTeX RDF
16	Jan Rothe	Behavioural equivalences for coalgebras.		2004	RDF
16	Dirk A. Lorenz	Wavelet shrinkage in signal & image processing: an investigation of relations and equivalences.		2004	RDF
16	Dug Hun Hong	T-equivalences generated by shape function on the real line.	Kybernetika	2003	DBLP BibTeX RDF
16	Jan Rothe, Dragan Masulovic	Modal Logics for Observation Equivalences.	CMCS	2003	DBLP DOI BibTeX RDF
16	Furio Honsell, Marina Lenisa, Rekha Redamalla	Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language.	COMETA	2003	DBLP DOI BibTeX RDF
16	Lucian Ilie, Sheng Yu 0001	Reducing NFAs by invariant equivalences.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
16	Valentin Goranko	The Basic Algebra of Game Equivalences.	Stud Logica	2003	DBLP DOI BibTeX RDF	game operations, game algebra, game identities, completeness, modal logic, axiomatization
16	Huimin Lin	Complete inference systems for weak bisimulation equivalences in the pi-calculus.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
16	Michele Bugliesi, Ambra Ceccato, Sabina Rossi	Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.	FCT	2003	DBLP DOI BibTeX RDF
16	Vitus S. W. Lam, Julian A. Padget	Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations.	HCC	2003	DBLP DOI BibTeX RDF
16	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Quantitative Relations and Approximate Process Equivalences.	CONCUR	2003	DBLP DOI BibTeX RDF
16	Matthew Hennessy, Julian Rathke	Typed behavioural equivalences for processes in the presence of subtyping.	CATS	2002	DBLP DOI BibTeX RDF
16	Vincent van Oostrom, Roel C. de Vrijer	Four equivalent equivalences of reductions.	WRS	2002	DBLP DOI BibTeX RDF
16	Mauricio Ayala-Rincón, Alexsandro F. da Fonseca, Haydée Werneck Poubel, José de Siqueira	A framework to visualize equivalences between computational models of regular languages.	Inf. Process. Lett.	2002	DBLP DOI BibTeX RDF
16	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Equivalences Among Aggregate Queries with Negation	CoRR	2002	DBLP BibTeX RDF
16	Martin Kochol	Equivalences between hamiltonicity and flow conjectures, and the sublinear defect property.	Discret. Math.	2002	DBLP DOI BibTeX RDF
16	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	Bisimulation Equivalences for Graph Grammars.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
16	Antonín Kucera 0001, Richard Mayr	On the Complexity of Semantic Equivalences for Pushdown Automata and BPA.	MFCS	2002	DBLP DOI BibTeX RDF
16	Julian C. Bradfield, Sibylle B. Fröschle	On Logical and Concurrent Equivalences.	EXPRESS	2001	DBLP DOI BibTeX RDF
16	Mariangiola Dezani-Ciancaglini, Elio Giovannetti	From Bohm's Theorem to Observational Equivalences: an Informal Account.	BOTH	2001	DBLP DOI BibTeX RDF
16	Jorge L. Ramírez Alfonsín	Lawrence Oriented Matroids and a Problem of McMullen on Projective Equivalences of Polytopes.	Eur. J. Comb.	2001	DBLP DOI BibTeX RDF
16	Xiao Jun Chen, Rocco De Nicola	Algebraic characterizations of trace and decorated trace equivalences over tree-like structures.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
16	Petr Jancar	Nonprimitive recursive complexity and undecidability for Petri net equivalences.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
16	Petr Jancar, Antonín Kucera 0001, Richard Mayr	Deciding bisimulation-like equivalences with finite-state processes.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
16	John P. Boyd 0002, Kai J. Jonas	Are social equivalences ever regular?: Permutation and exact tests.	Soc. Networks	2001	DBLP DOI BibTeX RDF
16	Susana Montes, Inés Couso, Pedro Gil	One-to-one correspondences between ε-partitions, (1-ε)-equivalences and ε-pseudometrics.	Fuzzy Sets Syst.	2001	DBLP DOI BibTeX RDF
16	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Equivalences among Aggregate Queries with Negation. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
16	Philippe Schnoebelen	Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems.	TACS	2001	DBLP DOI BibTeX RDF
16	Anatolij Dvurecenskij	On Categorical Equivalences of Commutative BCK-algebras.	Stud Logica	2000	DBLP DOI BibTeX RDF
16	Vashti Galpin	A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.	South Afr. Comput. J.	2000	DBLP BibTeX RDF
16	Prakash Ishwar, Pierre Moulin	Fundamental equivalences between set-theoretic and maximum-entropy methods in multiple-domain image restoration.	ICASSP	2000	DBLP DOI BibTeX RDF
16	Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Equivalences for Fair Kripke Structures.	Chic. J. Theor. Comput. Sci.	1999	DBLP BibTeX RDF
16	Sotiris Boutsis, Stelios Piperidis, Iason Demiros	Generating Bilingual Lexical Equivalences from Parallel Texts.	Appl. Artif. Intell.	1999	DBLP DOI BibTeX RDF
16	Enrico Nardelli, Guido Proietti	Probabilistic models for images and quadtrees: differences and equivalences.	Image Vis. Comput.	1999	DBLP DOI BibTeX RDF
16	K. C. Gupta, Tajinder Pal Singh	Fuzzy G-equivalences and G-congruences on a groupoid under semibalanced maps.	Fuzzy Sets Syst.	1999	DBLP DOI BibTeX RDF
16	Zhoujun Li, Huowang Chen	Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.	TACAS	1999	DBLP DOI BibTeX RDF
16	C. Balzarotti, Fiorella de Cindio, Lucia Pomello	Observation equivalences for the semantics of inheritance.	FMOODS	1999	DBLP BibTeX RDF
16	Antti Puhakka, Antti Valmari	Weakest-Congruence Results for Livelock-Preserving Equivalences.	CONCUR	1999	DBLP DOI BibTeX RDF
16	Igor V. Tarasyuk	Equivalences for concurrent and distributed systems: a survey of dissertation.		1999	RDF
16	Luís Monteiro	Semantic domains based on sets with families of equivalences.	CMCS	1998	DBLP DOI BibTeX RDF
16	Igor V. Tarasyuk	Place bisimulation equivalences for design of concurrent and sequential systems.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
16	Allan Cheng, Mogens Nielsen	Open Maps, Behavioural Equivalences, and Congruences.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
16	Paola Quaglia	Pi-Congruences as CCS Equivalences.	AMAST	1998	DBLP DOI BibTeX RDF
16	Werner Nutt, Yehoshua Sagiv, Sara Shurin	Deciding Equivalences Among Aggregate Queries.	PODS	1998	DBLP DOI BibTeX RDF	SQL
16	Astrid Kiehn, Matthew Hennessy	On the Decidability of Non-Interleaving Process Equivalences.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
16	Dusko Pavlovic	Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories.	Math. Struct. Comput. Sci.	1997	DBLP DOI BibTeX RDF
16	Manuel Alfonseca 0001, Alfonso Ortega 0002	A study of the representation of fractal curves by L systems and their equivalences.	IBM J. Res. Dev.	1997	DBLP DOI BibTeX RDF
16	Mads Dam	On the Decidability of Process Equivalences for the pi-Calculus.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
16	Jaana Eloranta, Martti Tienari, Antti Valmari	Essential Transitions to Bisimulation Equivalences.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
16	Lane A. Hemaspaandra, Zhigen Jiang	Logspace Reducibility: Models and Equivalences.	Int. J. Found. Comput. Sci.	1997	DBLP DOI BibTeX RDF
16	Peter Sewell	Nonaxiomatisability of Equivalences over Finite State Processes.	Ann. Pure Appl. Log.	1997	DBLP DOI BibTeX RDF
16	Marina Lenisa	Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi.	TLCA	1997	DBLP DOI BibTeX RDF
16	Igor V. Tarasyuk	Back-Forth Equivalences for Design of Concurrent Systems.	LFCS	1997	DBLP DOI BibTeX RDF
16	V. Yu. Shavrukov	Remarks on Uniformly Finitely Precomplete Positive Equivalences.	Math. Log. Q.	1996	DBLP DOI BibTeX RDF
16	Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao	Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
16	Lalita Jategaonkar, Albert R. Meyer	Deciding True Concurrency Equivalences on Safe, Finite Nets.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
16	Artur Czumaj, Alan Gibbons	Guthrie's Problem: New Equivalences and Rapid Reductions.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
16	Allan Cheng, Mogens Nielsen	Open Maps, Behavioural Equivalences, and Congruences.	CAAP	1996	DBLP DOI BibTeX RDF	Open maps, P-bisimilarity, P-factorisability, process algebra, category theory, congruences
16	Thomas A. Henzinger, Peter W. Kopke	State Equivalences for Rectangular Hybrid Automata.	CONCUR	1996	DBLP DOI BibTeX RDF
16	Philippa Gardner	Equivalences between Logics and Their Representing Type Theories.	Math. Struct. Comput. Sci.	1995	DBLP DOI BibTeX RDF
16	Dany Serrato, Jean-Pierre Olivier	Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras.	Math. Log. Q.	1995	DBLP DOI BibTeX RDF
16	Pasquale Malacaria	Studying Equivalences of Transition Systems with Algebraic Tools.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
16	Petr Jancar	All action-based behavioural equivalences are undecidable for labelled Petri nets.	Bull. EATCS	1995	DBLP BibTeX RDF
16	Sylvie Galichet, Laurent Foulloy	Fuzzy controllers: synthesis and equivalences.	IEEE Trans. Fuzzy Syst.	1995	DBLP DOI BibTeX RDF
16	Stefan Brüning	Exploiting Equivalences in Connection Calculi.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
16	Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo	Observable Behaviors and Equivalences of Logic Programs	Inf. Comput.	1995	DBLP DOI BibTeX RDF
16	John Shawe-Taylor	Sample Sizes for Threshold Networks with Equivalences	Inf. Comput.	1995	DBLP DOI BibTeX RDF
16	Dung T. Huynh, Lu Tian	On Deciding Readiness and Failure Equivalences for Processes	Inf. Comput.	1995	DBLP DOI BibTeX RDF
16	Antti Valmari	Failure-based Equivalences Are Faster Than Many Believe.	STRICT	1995	DBLP DOI BibTeX RDF
16	Mads Dam	On the Decidability of Process Equivalences for the pi-calculus.	AMAST	1995	DBLP DOI BibTeX RDF
16	Daniela Florescu, Louiqa Raschid, Patrick Valduriez	Using Heterogeneous Equivalences for Query Rewriting in Multidatabase Systems.	CoopIS	1995	DBLP BibTeX RDF