Search results for "Equivalences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Filippo Bonchi	Abstract Semantics by Observable Contexts.	ICGT	2008	DBLP DOI BibTeX RDF
20	I. Burhan Türksen	Ontological and Epistemological Grounding of Fuzzy Theory.	IFSA (2)	2007	DBLP DOI BibTeX RDF
20	Michele Bugliesi, Marco Giunti	Secure implementations of typed channel abstractions.	POPL	2007	DBLP DOI BibTeX RDF	language encodings, typed behavioral theories, full abstraction
20	Lijun Zhang 0001, Holger Hermanns	Deciding Simulations on Probabilistic Automata.	ATVA	2007	DBLP DOI BibTeX RDF
20	Jiu-Tao Nie, Xu Cheng 0001	An Efficient SSA-Based Algorithm for Complete Global Value Numbering.	APLAS	2007	DBLP DOI BibTeX RDF
20	Miroslav Ciric 0001, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic	Factorization of Fuzzy Automata.	FCT	2007	DBLP DOI BibTeX RDF
20	Lifeng He, Yuyan Chao, Kenji Suzuki 0001	A Run-Based Two-Scan Labeling Algorithm.	ICIAR	2007	DBLP DOI BibTeX RDF	label equivalence, run data, pattern recognition, connected components, linear-time algorithm, Labeling algorithm
20	Dunren Che, Karl Aberer, M. Tamer Özsu	Query optimization in XML structured-document databases.	VLDB J.	2006	DBLP DOI BibTeX RDF	XML query optimization, Deterministic query optimization, XML database, XML query processing, Query transformation
20	Luis Paricio	Homotopy Categories for Simply Connected Torsion Spaces.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2001) 55U35, 55U40, 55N25, 55Q70
20	Fai Wong, Dong-Cheng Hu, Yu-Hang Mao, Ming-Chui Dong, Yi-Ping Li	Machine Translation Based on Constraint-Based Synchronous Grammar.	IJCNLP	2005	DBLP DOI BibTeX RDF
20	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Bisimulations Up-to for the Linear Time Branching Time Spectrum.	CONCUR	2005	DBLP DOI BibTeX RDF
20	Norman May, Sven Helmer, Guido Moerkotte	Nested Queries and Quantifiers in an Ordered Context.	ICDE	2004	DBLP DOI BibTeX RDF
20	Yuxin Deng, Davide Sangiorgi	Towards an Algebraic Theory of Typed Mobile Processes.	ICALP	2004	DBLP DOI BibTeX RDF
20	Mark Lawford, Hong Zhang 0016	Equivalence Verification of Timed Transition Models.	ACSD	2004	DBLP DOI BibTeX RDF
20	Yuxi Fu, Xiaoju Dong	Formalizing the Environment View of Process Equivalence.	CIS	2004	DBLP DOI BibTeX RDF
20	Norman May, Sven Helmer, Guido Moerkotte	Quantifiers in XQuery.	WISE	2003	DBLP DOI BibTeX RDF
20	Mariëlle Stoelinga, Frits W. Vaandrager	A Testing Scenario for Probabilistic Automata.	ICALP	2003	DBLP DOI BibTeX RDF
20	Norman May, Sven Helmer, Guido Moerkotte	Three Cases for Query Decorrelation in XQuery.	Xsym	2003	DBLP DOI BibTeX RDF
20	Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass	Bringing Order to Query Optimization.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
20	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	2002	DBLP DOI BibTeX RDF	reasoning on security, process calculi, axiomatization
20	Dan Olteanu, Holger Meuss, Tim Furche, François Bry	XPath: Looking Forward.	EDBT Workshops	2002	DBLP DOI BibTeX RDF
20	Flavio Corradini, Marco Pistore	'Closed Interval Process Algebra' versus 'Interval Process Algebra'.	Acta Informatica	2001	DBLP DOI BibTeX RDF
20	Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass	A Foundation for Conventional and Temporal Query Optimization Addressing Duplicates and Ordering.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	temporal algebra, query optimization, Temporal databases, transformation rules, duplicate elimination, coalescing
20	Irina B. Virbitskaite	Observational Semantics for Timed Event Structures.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
20	Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello	Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems.	WICSA	2001	DBLP DOI BibTeX RDF
20	Cédric Fournet, Georges Gonthier	The Join Calculus: A Language for Distributed Mobile Programming.	APPSEM	2000	DBLP DOI BibTeX RDF
20	Torben Amtoft, Franklyn A. Turbak	Faithful Translations between Polyvariant Flows and Polymorphic Types.	ESOP	2000	DBLP DOI BibTeX RDF
20	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Proof Techniques for Cryptographic Processes.	LICS	1999	DBLP DOI BibTeX RDF	Logical aspects of protocol security, Formal methods, Semantics, Concurrency
20	Luigi Di Stefano, Andrea Bulgarelli	A Simple and Efficient Connected Components Labeling Algorithm.	ICIAP	1999	DBLP DOI BibTeX RDF
20	Femke van Raamsdonk	Higher-Order Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
20	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the \pi-Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
20	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Representing and Reasoning on SGML Documents.	ISMIS	1997	DBLP DOI BibTeX RDF
20	Kim Sunesen, Mogens Nielsen	Behavioural Equivalence for Infinite Systems - Partially Decidable!	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods
20	Ursula Goltz, Heike Wehrheim	Causal Testing.	MFCS	1996	DBLP DOI BibTeX RDF
20	Marina Lenisa	Final Semantics for a Higher Order Concurrent Language.	CAAP	1996	DBLP DOI BibTeX RDF	second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction
20	Jon G. Riecke, Ramesh Viswanathan	Isolating Side Effects in Sequential Languages.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
20	Mogens Nielsen, Allan Cheng	Obseving Behaviour Categorically.	FSTTCS	1995	DBLP DOI BibTeX RDF
20	André Arnold	Verification and Comparison of Transition Systems.	TAPSOFT	1993	DBLP DOI BibTeX RDF
20	Rob J. van Glabbeek	The Linear Time - Branching Time Spectrum II.	CONCUR	1993	DBLP DOI BibTeX RDF
20	Davide Sangiorgi	A Theory of Bisimulation for the pi-Calculus.	CONCUR	1993	DBLP DOI BibTeX RDF
20	Padmanabhan Krishnan	Distributed CCS.	CONCUR	1991	DBLP DOI BibTeX RDF
20	Philippe Schnoebelen	Experiments on Processes with Backtracking.	CONCUR	1991	DBLP DOI BibTeX RDF
20	Sophie Pinchinat	Ordinal Processes in Comparative Concurrency Semantics.	CSL	1991	DBLP DOI BibTeX RDF
20	Rocco De Nicola, Gian-Luigi Ferrari 0002	Observational Logics and Concurrency Models.	FSTTCS	1990	DBLP DOI BibTeX RDF
20	Rance Cleaveland, Matthew Hennessy	Testing Equivalence as a Bisimulation Equivalence.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
20	Pierre-Louis Curien	Typed Categorial Combinatory Logic.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
20	Stephen D. Brookes, William C. Rounds	Behavioural Equivalence Relations Induced by Programming Logics.	ICALP	1983	DBLP DOI BibTeX RDF
20	Rocco De Nicola, Matthew Hennessy	Testing Equivalence for Processes.	ICALP	1983	DBLP DOI BibTeX RDF
20	Günter Hotz	Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen.	Computing	1969	DBLP DOI BibTeX RDF
20	Philip Gilbert	On the Syntax of Algorithmic Languages.	J. ACM	1966	DBLP DOI BibTeX RDF
16	Azadeh Farzan, Umang Mathur 0001	Coarser Equivalences for Causal Concurrency.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
16	Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà	(Extra)ordinary Equivalences with the ascending/descending sequence Principle.	J. Symb. Log.	2024	DBLP DOI BibTeX RDF
16	Michael Ren	Wilf equivalences for patterns in rooted labeled forests.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
16	Tomohiko Uyematsu, Tetsunao Matsuta	Equivalences among Some Information Measures for Individual Sequences and Their Applications for Fixed-Length Coding Problems.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2024	DBLP DOI BibTeX RDF
16	Frederico Messa, André Grahl Pereira	Policy-Space Search: Equivalences, Improvements, and Compression.	CoRR	2024	DBLP DOI BibTeX RDF
16	Anand Kumar Narayanan, Youming Qiao, Gang Tang	Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
16	Anand Kumar Narayanan, Youming Qiao, Gang Tang	Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants.	EUROCRYPT (3)	2024	DBLP DOI BibTeX RDF
16	Linan Chen, Florence Clerc, Prakash Panangaden	Behavioural equivalences for continuous-time Markov processes.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Hui Deng	Exploring Equivalences in Multi-Valued Systems: Concepts, Properties, and Generation Methods.	IEEE Access	2023	DBLP DOI BibTeX RDF
16	Amir Abboud, Fabrizio Grandoni 0001, Virginia Vassilevska Williams	Subcubic Equivalences between Graph Centrality Problems, APSP, and Diameter.	ACM Trans. Algorithms	2023	DBLP DOI BibTeX RDF
16	Qinglun Zhong, Chang'an Xu, Rudong Yang, Qingwei Zhong	Equivalences between analytical railway capacity methods.	J. Rail Transp. Plan. Manag.	2023	DBLP DOI BibTeX RDF
16	Vaibhav Krishan	MidBit+, Torus Polynomials and Non-classical Polynomials: Equivalences for ACC Lower Bounds.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
16	Minna Hirvonen	The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences.	CoRR	2023	DBLP DOI BibTeX RDF
16	Nhan-Phu Chung, Jaeseong Jeong, Namhun Koo, Soonhak Kwon	cc-differential uniformity, (almost) perfect cc-nonlinearity, and equivalences.	CoRR	2023	DBLP DOI BibTeX RDF
16	Tim Seppelt	Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors.	CoRR	2023	DBLP DOI BibTeX RDF
16	Pratik Patil, Jin-Hong Du	Generalized equivalences between subsampling and ridge regularization.	CoRR	2023	DBLP DOI BibTeX RDF
16	Chiraag Kaushik, Andrew D. McRae, Mark A. Davenport, Vidya Muthukumar	New Equivalences Between Interpolation and SVMs: Kernels and Structured Features.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jin-Hong Du, Pratik Patil, Arun Kumar Kuchibhotla	Subsample Ridge Ensembles: Equivalences and Generalized Cross-Validation.	CoRR	2023	DBLP DOI BibTeX RDF
16	Kevin Kappelmann	Transport via Partial Galois Connections and Equivalences.	CoRR	2023	DBLP DOI BibTeX RDF
16	Arnaldo Cesco, Roberto Gorrieri	Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Kevin Kappelmann	Transport via Partial Galois Connections and Equivalences.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
16	Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine	Compositional equivalences based on open pNets.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
16	Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	Formal lumping of polynomial differential equations through approximate equivalences.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
16	Anuj Dawar, Erich Grädel, Moritz Lichter	Limitations of the invertible-map equivalences.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
16	Ugur Gözütok, Hüsnü Anil Çoban, Yasemin Sagiroglu, Juan Gerardo Alcázar	A new method to detect projective equivalences and symmetries of rational 3D curves.	J. Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
16	Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui	Optimized exploration of quantum circuits space based on sub-circuits equivalences.	Quantum Inf. Process.	2023	DBLP DOI BibTeX RDF
16	Hyunjoon Kim, Yunyoung Choi, Kunsoo Park, Xuemin Lin 0001, Seok-Hee Hong 0001, Wook-Shin Han	Fast subgraph query processing and subgraph matching via static and dynamic equivalences.	VLDB J.	2023	DBLP DOI BibTeX RDF
16	Kevin Kappelmann	Transport via Partial Galois Connections and Equivalences.	APLAS	2023	DBLP DOI BibTeX RDF
16	Tim Seppelt	Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors.	MFCS	2023	DBLP DOI BibTeX RDF
16	Shufan Mao, Jon Willits	Structural and Processing Equivalences Between Graphical and Vector-based Models of Knowledge Representation.	CogSci	2023	DBLP BibTeX RDF
16	Pratik Patil, Jin-Hong Du	Generalized equivalences between subsampling and ridge regularization.	NeurIPS	2023	DBLP BibTeX RDF
16	Jin-Hong Du, Pratik Patil, Arun K. Kuchibhotla	Subsample Ridge Ensembles: Equivalences and Generalized Cross-Validation.	ICML	2023	DBLP BibTeX RDF
16	Tilmann Gneiting, Peter Vogel	Receiver operating characteristic (ROC) curves: equivalences, beta model, and minimum distance estimation.	Mach. Learn.	2022	DBLP DOI BibTeX RDF
16	Azadeh Farzan, Umang Mathur 0001	Coarser Equivalences for Concurrent Program Runs.	CoRR	2022	DBLP DOI BibTeX RDF
16	An-Dan Nguyen, Duc-Thinh Pham, Nimrod Lilith, Sameer Alam	Model Generalization in Arrival Runway Occupancy Time Prediction by Feature Equivalences.	CoRR	2022	DBLP BibTeX RDF
16	Dipak K. Bhunia, Cristina Fernández-Córdoba, Carlos Vela, Mercè Villanueva	Equivalences among Z_{p^s}-linear Generalized Hadamard Codes.	CoRR	2022	DBLP DOI BibTeX RDF
16	Benjamin Bisping, David N. Jansen, Uwe Nestmann	Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Clément Aubert, Daniele Varacca	Processes against tests: On defining contextual equivalences.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
16	Juan Gerardo Alcázar, Georg Muntingh	Affine equivalences of surfaces of translation and minimal surfaces, and applications to symmetry detection and design.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
16	Juan Gerardo Alcázar, Carlos Hermoso, Sonia Pérez-Díaz, Li-Yong Shen	Using μ-bases to reduce the degree in the computation of projective equivalences between rational curves in n-space.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
16	Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo	Characterising spectra of equivalences for event structures, logically.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
16	Vincent Cheval, Raphaëlle Crubillé, Steve Kremer	Symbolic protocol verification with dice: process equivalences in the presence of probabilities.	CSF	2022	DBLP DOI BibTeX RDF
16	Yuichi Asahiro, Jesper Jansson 0001, Guohui Lin, Eiji Miyano, Hirotaka Ono 0001, Tadatoshi Utashima	Polynomial-Time Equivalences and Refined Algorithms for Longest Common Subsequence Variants.	CPM	2022	DBLP DOI BibTeX RDF
16	Jean Basset, Badr Ouannas, Ludovic Hoyet, Franck Multon, Stefanie Wuhrer	Impact of Self-Contacts on Perceived Pose Equivalences.	MIG	2022	DBLP DOI BibTeX RDF
16	Minna Hirvonen	The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences.	FoIKS	2022	DBLP DOI BibTeX RDF
16	Stavros Vologiannidis, Efstathios N. Antoniou, Nicholas P. Karampetakis, Antonis-Ioannis G. Vardulakis	Polynomial matrix equivalences: system transformations and structural invariants.	IMA J. Math. Control. Inf.	2021	DBLP DOI BibTeX RDF
16	Juan Gerardo Alcázar, Carlos Hermoso	Computing projective equivalences of planar curves birationally equivalent to elliptic and hyperelliptic curves.	Comput. Aided Geom. Des.	2021	DBLP DOI BibTeX RDF
16	Juan S. Auli, Sergi Elizalde	Wilf equivalences between vincular patterns in inversion sequences.	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
16	Arpit Sharma 0002	The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	A. Gupta, Bart De Schutter, Jacob W. van der Woude, Ton J. J. van den Boom	Max-algebraic hybrid automata: Modelling and equivalences.	CoRR	2021	DBLP BibTeX RDF