Search results for "Equivalences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Bogdan Aman, Gabriel Ciobanu	Behavioural Equivalences in Real-Time P Systems.	Int. Conf. on Membrane Computing	2013	DBLP DOI BibTeX RDF
16	Elena S. Oshevskaya, Irina B. Virbitskaite, Eike Best	Unifying Equivalences for Higher Dimensional Automata.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
16	Marina Meila	Local equivalences of distances between clusterings - a geometric perspective.	Mach. Learn.	2012	DBLP DOI BibTeX RDF
16	Yifeng Zeng, Prashant Doshi	Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams.	J. Artif. Intell. Res.	2012	DBLP DOI BibTeX RDF
16	Weien Chen, Yongzhi Cao, Hanpin Wang	Behavioural equivalences of a probabilistic pi-calculus.	Sci. China Inf. Sci.	2012	DBLP DOI BibTeX RDF
16	Perdita Stevens	Observations relating to the equivalences induced on model sets by bidirectional transformations.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
16	Fabian Lim	Two Embedding Theorems for Data with Equivalences under Finite Group Action	CoRR	2012	DBLP BibTeX RDF
16	Martin Lange, Étienne Lozes, Manuel Vargas Guzmán	Model-Checking Process Equivalences	GandALF	2012	DBLP DOI BibTeX RDF
16	Tom Hirschowitz, Damien Pous	Innocent Strategies as Presheaves and Interactive Equivalences for CCS.	Sci. Ann. Comput. Sci.	2012	DBLP DOI BibTeX RDF
16	Furio Honsell, Marina Lenisa, Rekha Redamalla	Equivalences and Congruences on Infinite Conway Games.	RAIRO Theor. Informatics Appl.	2012	DBLP DOI BibTeX RDF
16	Martin Emms, Hector-Hugo Franco-Penya	On Order Equivalences between Distance and Similarity Measures on Sequences and Trees.	ICPRAM (1)	2012	DBLP BibTeX RDF
16	Krzysztof Chris Ciesielski, Jayaram K. Udupa, Alexandre X. Falcão, Paulo A. V. Miranda	A unifying graph-cut image segmentation framework: algorithms it encompasses and equivalences among them.	Medical Imaging: Image Processing	2012	DBLP DOI BibTeX RDF
16	Marc Finthammer, Christoph Beierle	Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals.	KI	2012	DBLP DOI BibTeX RDF
16	Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best	Unifying Equivalences for Timed Transition Systems.	Turing-100	2012	DBLP DOI BibTeX RDF
16	Marco Bernardo 0001, Rocco De Nicola, Michele Loreti	Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.	FoSSaCS	2012	DBLP DOI BibTeX RDF
16	Krzysztof Kluza, Krzysztof Kaczor	Overview of BPMN Model Equivalences. Towards normalization of BPMN diagrams.	KESE@ECAI	2012	DBLP BibTeX RDF
16	Douglas Negrini, Deise de Brum Saccol, Francisco Tiago Machado de Avelar, Eduardo Kessler Piveta	CMAP: Tracking equivalences from XML documents to relational schemas.	IRI	2012	DBLP DOI BibTeX RDF
16	Bogdan Aman, Gabriel Ciobanu, Maciej Koutny	Behavioural Equivalences over Migrating Processes with Timers.	FMOODS/FORTE	2012	DBLP DOI BibTeX RDF
16	Gracinda Carvalho, David Martins de Matos, Vítor Rocio	Building and Exploring Semantic Equivalences Resources.	LREC	2012	DBLP BibTeX RDF
16		Extensional Equivalences.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
16	Rocco De Nicola	Behavioral Equivalences.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
16	Benoit Da Mota	Équivalences et forme prénexe pour les formules booléennes quantifiées.	Rev. d'Intelligence Artif.	2011	DBLP DOI BibTeX RDF
16	Krzysztof Chris Ciesielski, Jayaram K. Udupa	A framework for comparing different image segmentation methods and its use in studying equivalences between level set and fuzzy connectedness frameworks.	Comput. Vis. Image Underst.	2011	DBLP DOI BibTeX RDF
16	Vashti Galpin	Equivalences for a biological process algebra.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
16	Gennady Shtakser, Leonid Leonenko	Tracks of Relations and Equivalences-based Reasoning.	Stud Logica	2011	DBLP DOI BibTeX RDF
16	Tom Hirschowitz, Damien Pous	Innocent strategies as presheaves and interactive equivalences for CCS	ICE	2011	DBLP DOI BibTeX RDF
16	Tom Hirschowitz, Damien Pous	Strategies as sheaves and interactive equivalences for CCS	CoRR	2011	DBLP BibTeX RDF
16	Rémy Haemmerlé	Observational equivalences for linear logic CC languages	CoRR	2011	DBLP BibTeX RDF
16	Arpan Saha, Karthik C. S.	A Few Equivalences of Wall-Sun-Sun Prime Conjecture	CoRR	2011	DBLP BibTeX RDF
16	Liam Roditty, Virginia Vassilevska Williams	Minimum Weight Cycles and Triangles: Equivalences and Algorithms	CoRR	2011	DBLP BibTeX RDF
16	Zbigniew Lonc, Miroslaw Truszczynski	On graph equivalences preserved under extensions.	Discret. Math.	2011	DBLP DOI BibTeX RDF
16	Cezary Cieslinski	T-Equivalences for positive Sentences.	Rev. Symb. Log.	2011	DBLP DOI BibTeX RDF
16	Michael Fink 0001	A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
16	Rémy Haemmerlé	Observational equivalences for linear logic concurrent constraint languages.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
16	Natalya Gribovskaya	A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
16	Liam Roditty, Virginia Vassilevska Williams	Minimum Weight Cycles and Triangles: Equivalences and Algorithms.	FOCS	2011	DBLP DOI BibTeX RDF
16	Thomas Cluzeau, Alban Quadrat	A constructive version of Fitting's theorem on isomorphisms and equivalences of linear systems.	nDS	2011	DBLP DOI BibTeX RDF
16	Chaodong He, Yuxi Fu, Hongfei Fu 0001	Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.	FSEN	2011	DBLP DOI BibTeX RDF
16	Josje Lodder, Bastiaan Heeren	A Teaching Tool for Proving Equivalences between Logical Formulae.	TICTTL	2011	DBLP DOI BibTeX RDF
16	Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen	Bisimulations Meet PCTL Equivalences for Probabilistic Automata.	CONCUR	2011	DBLP DOI BibTeX RDF
16	Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge	Decomposing constraint systems: equivalences and computational properties.	AAMAS	2011	DBLP BibTeX RDF
16	Kathleen M. Gates, Peter C. M. Molenaar, Frank G. Hillary, Nilam Ram, Michael J. Rovine	Automatic search for fMRI connectivity mapping: An alternative to Granger causality testing using formal equivalences among SEM path modeling, VAR, and unified SEM.	NeuroImage	2010	DBLP DOI BibTeX RDF
16	Irina B. Virbitskaite, Natalya Gribovskaya	Unifying behavioral equivalences of timed transition systems.	Program. Comput. Softw.	2010	DBLP DOI BibTeX RDF
16	Michael Fink 0001	A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There	CoRR	2010	DBLP BibTeX RDF
16	Roberto Giuntini, Francesco Paoli, Antonio Ledda	Categorical Equivalences for sqrt(') quasi-MV Algebras.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
16	Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota 0001, Zdenek Sawa	Non-interleaving bisimulation equivalences on Basic Parallel Processes.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
16	Antonín Kucera 0001, Richard Mayr	On the complexity of checking semantic equivalences between pushdown processes and finite-state processes.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
16	Yongzhi Cao	A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels.	Comput. J.	2010	DBLP DOI BibTeX RDF
16	José Luis Aznarte, José Manuel Benítez	Equivalences between neural-autoregressive time series models and fuzzy systems.	IEEE Trans. Neural Networks	2010	DBLP DOI BibTeX RDF
16	Dionís Boixader, Jordi Recasens	Approximating fuzzy preorders and equivalences. A similarity based approach.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
16	Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor	Weak Equivalences in Psi-Calculi.	LICS	2010	DBLP DOI BibTeX RDF	pi-calculus extension, weak bisimulation, barbed bisimulation
16	Virginia Vassilevska Williams, Ryan Williams 0001	Subcubic Equivalences between Path, Matrix and Triangle Problems.	FOCS	2010	DBLP DOI BibTeX RDF
16	Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum	Safe Equivalences for Security Properties.	IFIP TCS	2010	DBLP DOI BibTeX RDF
16	Marco Bernardo 0001	Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes.	QAPL	2009	DBLP DOI BibTeX RDF
16	Sibylle B. Fröschle, Slawomir Lasota 0001	Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences.	INFINITY	2009	DBLP DOI BibTeX RDF
16	Nicholas A. Loehr, Jeffrey B. Remmel	Rook-by-rook rook theory: Bijective proofs of rook and hit equivalences.	Adv. Appl. Math.	2009	DBLP DOI BibTeX RDF
16	Vakhtang Lomadze	ARMA-models and their equivalences.	Int. J. Control	2009	DBLP DOI BibTeX RDF
16	Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay	Qualitative Logics and Equivalences for Probabilistic Systems	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
16	Amy Glen, Florence Levé, Gwénaël Richomme	Directive words of episturmian words: equivalences and normalization.	RAIRO Theor. Informatics Appl.	2009	DBLP DOI BibTeX RDF
16	Hans Hüttel, Naoki Kobayashi 0001, Takashi Suto	Undecidable equivalences for basic parallel processes.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
16	Dionís Boixader, Jordi Recasens	Approximate fuzzy preorders and equivalences.	FUZZ-IEEE	2009	DBLP DOI BibTeX RDF
16	Ming-Hong Bai, Jia-Ming You, Keh-Jiann Chen, Jason S. Chang	Acquiring Translation Equivalences of Multiword Expressions by Normalized Correlation Frequencies.	EMNLP	2009	DBLP BibTeX RDF
16	Nikesh Garera, Chris Callison-Burch, David Yarowsky	Improving Translation Lexicon Induction from Monolingual Corpora via Dependency Contexts and Part-of-Speech Equivalences.	CoNLL	2009	DBLP BibTeX RDF
16	Zining Cao	Distributed Viewpoint Equivalences for Higher Order Processes.	CSIE (7)	2009	DBLP DOI BibTeX RDF
16	Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci	On the Use of Behavioural Equivalences for Web Services' Development.	Fundam. Informaticae	2008	DBLP BibTeX RDF
16	Sergio Maffeis, Philippa Gardner	Behavioural equivalences for dynamic Web data.	J. Log. Algebraic Methods Program.	2008	DBLP DOI BibTeX RDF
16	Bruno Blanchet, Martín Abadi, Cédric Fournet	Automated verification of selected equivalences for security protocols.	J. Log. Algebraic Methods Program.	2008	DBLP DOI BibTeX RDF
16	Vitus S. W. Lam	Theory for classifying equivalences of unified modelling language activity diagrams.	IET Softw.	2008	DBLP DOI BibTeX RDF
16	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.	FICS	2008	DBLP DOI BibTeX RDF
16	Marco Bernardo 0001, Stefania Botta	A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.	Math. Struct. Comput. Sci.	2008	DBLP DOI BibTeX RDF
16	Alberto Facchini, Rogelio Fernández-Alonso	Subdirect Products of Preadditive Categories and Weak Equivalences.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 18E05, Secondary 08B26
16	Tuan-Fang Fan, Churn-Jung Liau, Tsau Young Lin	A theoretical investigation of regular equivalences for fuzzy graphs.	Int. J. Approx. Reason.	2008	DBLP DOI BibTeX RDF
16	Anak Agung Julius, Jan Willem Polderman, Arjan van der Schaft	Parametrization of the Regular Equivalences of the Canonical Controller.	IEEE Trans. Autom. Control.	2008	DBLP DOI BibTeX RDF
16	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini	Compositional semantics and behavioral equivalences for P Systems.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
16	Amy Glen, Florence Levé, Gwénaël Richomme	Directive words of episturmian words: equivalences and normalization	CoRR	2008	DBLP BibTeX RDF
16	Yongzhi Cao	A hierarchy of behavioral equivalences in the π-calculus with noisy channels	CoRR	2008	DBLP BibTeX RDF
16	Martin Charles Golumbic, Marina Lipshteyn, Michal Stern	Equivalences and the complete hierarchy of intersection graphs of paths in a tree.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
16	Mihir Bellare, Marc Fischlin, Adam O'Neill, Thomas Ristenpart	Deterministic Encryption: Definitional Equivalences and Constructions without Random Oracles.	IACR Cryptol. ePrint Arch.	2008	DBLP BibTeX RDF
16	Gabriel Ciobanu	Behaviour Equivalences in Timed Distributed pi-Calculus.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
16	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
16	Bala Krushna Tripathy, Anirban Mitra, Jaladhar Ojha	On Rough Equalities and Rough Equivalences of Sets.	RSCTC	2008	DBLP DOI BibTeX RDF	bottom R-equal, top R-equal, R-equal, bottom R-equivalent, top R-equivalent and R-equivalent
16	Alessandro Aldini, Marco Bernardo 0001	Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.	WADS	2008	DBLP DOI BibTeX RDF
16	Xiaowei Huang 0001, Li Jiao, Weiming Lu	Weak Parametric Failure Equivalences and Their Congruence Formats.	CATS	2008	DBLP BibTeX RDF
16	Marco Bernardo 0001	Non-bisimulation-based Markovian behavioral equivalences.	J. Log. Algebraic Methods Program.	2007	DBLP DOI BibTeX RDF
16	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
16	Michele Pagani	Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic.	Math. Struct. Comput. Sci.	2007	DBLP DOI BibTeX RDF
16	Philippe Gaucher	T-Homotopy and Refinement of Observation - Part II: Adding New T-Homotopy Equivalences.	Int. J. Math. Math. Sci.	2007	DBLP DOI BibTeX RDF
16	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
16	Yuxin Deng	A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences.	Bull. EATCS	2007	DBLP BibTeX RDF
16	Janusz A. Brzozowski, Helmut Jürgensen	Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules.	Int. J. Found. Comput. Sci.	2007	DBLP DOI BibTeX RDF
16	L. Méhats, Sergei Soloviev 0001	Coherence in SMCCS and equivalences on derivations in IMLL with unit.	Ann. Pure Appl. Log.	2007	DBLP DOI BibTeX RDF
16	Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay	Qualitative Logics and Equivalences for Probabilistic Systems.	QEST	2007	DBLP DOI BibTeX RDF
16	Naoki Kobayashi 0001, Takashi Suto	Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the pi -Calculus.	ICALP	2007	DBLP DOI BibTeX RDF
16	Rajeev Alur, Pavol Cerný, Swarat Chaudhuri	Model Checking on Trees with Path Equivalences.	TACAS	2007	DBLP DOI BibTeX RDF
16	Maria V. Andreeva, Irina B. Virbitskaite	Observational Equivalences for Timed Stable Event Structures.	Fundam. Informaticae	2006	DBLP BibTeX RDF
16	Marco Bernardo 0001, Stefania Botta	Modal Logic Characterization of Markovian Testing and Trace Equivalences.	LMCS	2006	DBLP DOI BibTeX RDF
16	Paolo Baldan, Fabio Gadducci, Ugo Montanari	Modelling Calculi with Name Mobility using Graphs with Equivalences.	TERMGRAPH@ETAPS	2006	DBLP DOI BibTeX RDF
16	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Process Equivalences as Global Bisimulations.	J. Univers. Comput. Sci.	2006	DBLP DOI BibTeX RDF
16	Janusz A. Brzozowski, Helmut Jürgensen	Errata: "representation of Semiautomata by Canonical Words and Equivalences".	Int. J. Found. Comput. Sci.	2006	DBLP DOI BibTeX RDF
16	Dorel Mihet, Viorel Radu	T-equalities as fuzzy non-Archimedean metrics and Δ+-fuzzy equivalences of type S.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF