Search results for "Confluence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Pablo Arrighi, Gilles Dowek	Linear-algebraic lambda-calculus: higher-order, encodings, and confluence..	RTA	2008	DBLP DOI BibTeX RDF
27	Ioana Leahu, Ferucio Laurentiu Tiplea	The Confluence Property for Petri Nets and its Applications.	SYNASC	2006	DBLP DOI BibTeX RDF
27	Alois Ferscha, Stefan Resmerita, Clemens Holzmann	Human Computer Confluence.	Universal Access in Ambient Intelligence Environments	2006	DBLP DOI BibTeX RDF
27	Jeroen Ketema, Jakob Grue Simonsen	On Confluence of Infinitary Combinatory Reduction Systems.	LPAR	2005	DBLP DOI BibTeX RDF
27	Guillem Godoy, Ashish Tiwari 0001	Confluence of Shallow Right-Linear Rewrite Systems.	CSL	2005	DBLP DOI BibTeX RDF
27	Sara Comai, Letizia Tanca	Termination and Confluence by Rule Prioritization.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	database dynamics, deductive databases, termination, determinism, Active databases
27	José Espírito Santo, Luís Pinto 0001	Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus.	TYPES	2003	DBLP DOI BibTeX RDF
27	René Vestergaard, James Brotherston	A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.	RTA	2001	DBLP DOI BibTeX RDF
27	Felix Joachimski, Ralph Matthes	Standardization and Confluence for a Lambda Calculus with Generalized Applications.	RTA	2000	DBLP DOI BibTeX RDF
27	Frédéric Blanqui	Termination and Confluence of Higher-Order Rewrite Systems.	RTA	2000	DBLP DOI BibTeX RDF
27	Alexandre Boudet, Evelyne Contejean	About the Confluence of Equational Pattern Rewrite Systems.	CADE	1998	DBLP DOI BibTeX RDF
27	Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy	Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.	J. ACM	1996	DBLP DOI BibTeX RDF	confluency, explicit substitutions
27	Bernhard Gramlich	Confluence without Termination via Parallel Critical Pairs.	CAAP	1996	DBLP DOI BibTeX RDF
27	Bernhard Gramlich, Claus-Peter Wirth	Confluence of Terminating Conditional Rewrite Systems Revisited.	RTA	1996	DBLP DOI BibTeX RDF
27	Anna Philippou, David Walker 0008	Social Confluence in Client-Server Systems.	CSL	1996	DBLP DOI BibTeX RDF
27	Jan Friso Groote, M. P. A. Sellink	Confluence for Process Verification.	CONCUR	1995	DBLP DOI BibTeX RDF
27	Franco Barbanera, Maribel Fernández	Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega.	ICALP	1993	DBLP DOI BibTeX RDF
27	Daniel J. Buehrer, Chin-Chen Chang 0001	Application of a Reciprocal Confluence Tree Unit to Similar-Picture Retrieval.	SSD	1993	DBLP DOI BibTeX RDF
27	Chilukuri K. Mohan	Priority Rewriting: Semantics, Confluence, and Conditional.	RTA	1989	DBLP DOI BibTeX RDF
27	Harald Ganzinger	Ground Term Confluence in Parametric Conditional Equational Specifications.	STACS	1987	DBLP DOI BibTeX RDF
27	Friedrich Otto	Some Results about Confluence on a Given Congruence Class.	RTA	1987	DBLP DOI BibTeX RDF
21	Nidhi Arora, Kiran Chandramohan, Nagaraju Pothineni, Anshul Kumar	Instruction Selection in ASIP Synthesis Using Functional Matching.	VLSI Design	2010	DBLP DOI BibTeX RDF	Functional Matching, ASIP, Covering, Confluence, Structural Matching
21	Shawn M. Plummer, Laurie J. Fox	A Wiki: one tool for communication, collaboration, and collection of documentation.	SIGUCCS	2009	DBLP DOI BibTeX RDF	DokuWiki, SUNY Geneseo, collaboration, Wiki, documentation, confluence
21	Nicolas Passat, Michel Couprie, Loïc Mazo, Gilles Bertrand 0001	Topology-Preserving Thinning in 2-D Pseudomanifolds.	DGCI	2009	DBLP DOI BibTeX RDF	simple sets, pseudomanifolds, confluence, Topology preservation, simple points, collapse, cubical complexes
21	Alexis Saurin	On the Relations between the Syntactic Theories of lambda-mu-Calculi.	CSL	2008	DBLP DOI BibTeX RDF	Classical ?-calculi, ??-calculi, Streams, Type Systems, Confluence, Strong Normalization
21	Max I. Kanovich	A Note on Rewriting Proofs and Fibonacci Numbers.	LFCS	2007	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, Fibonacci numbers, strong normalization, Church-Rosser property, integer partitions
21	Elena Baralis, Jennifer Widom	An algebraic approach to static analysis of active database rules.	ACM Trans. Database Syst.	2000	DBLP DOI BibTeX RDF	database rule processing, database trigger processing, SQL, termination, confluence, active database systems
21	Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt	Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems.	J. ACM	1995	DBLP DOI BibTeX RDF	left-linearity, term-rewriting systems, confluence
21	Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom	Static Analysis Techniques for Predicting the Behavior of Active Database Rules.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	database rule processing, static analysis, termination, confluence, active database systems
21	Norbert Eisinger	What You Always Wanted to Know About Clause Graph Resolution.	CADE	1986	DBLP DOI BibTeX RDF	Clause Graphs, Completeness, Strategies, Resolution, Confluence, Connection Graphs
21	H. Perdrix	Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible.	STACS	1984	DBLP DOI BibTeX RDF	Fr Système de réécriture, Théorie équationnelle, Paire critique, Cohérence, Terminaison uniforme, Forme normale, Church-Rosser, Preuve automatique, Unification, Confluence
20	Jakob Grue Simonsen	The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity).	RTA	2009	DBLP DOI BibTeX RDF
20	Jörg Endrullis, Herman Geuvers, Hans Zantema	Degrees of Undecidability in Term Rewriting.	CSL	2009	DBLP DOI BibTeX RDF
20	Naoki Kobayashi 0001, Davide Sangiorgi	A Hybrid Type System for Lock-Freedom of Mobile Processes.	CAV	2008	DBLP DOI BibTeX RDF
20	Karl Gyllstrom, Craig A. N. Soules, Alistair C. Veitch	Activity put in context: identifying implicit task context within the user's document interaction.	IIiX	2008	DBLP DOI BibTeX RDF	contextual search
20	Frank Raiser	Graph Transformation Systems in CHR.	ICLP	2007	DBLP DOI BibTeX RDF
20	Olivier Gasquet, Bilal Said	Tableaux with Dynamic Filtration for Layered Modal Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF	Layered Modal Logic, Dynamic Filtration, Satisfaction problem, Complexity, Tableau
20	Malcolm Dowse, Andrew Butterfield	Modelling deterministic concurrent I/O.	ICFP	2006	DBLP DOI BibTeX RDF	concurrency, determinism, effects, monads, I/O
20	Ricardo Caferra, Rachid Echahed, Nicolas Peltier	Rewriting term-graphs with priority.	PPDP	2006	DBLP DOI BibTeX RDF
20	Bernhard Gramlich, Salvador Lucas	Generalizing Newman's Lemma for Left-Linear Rewrite Systems.	RTA	2006	DBLP DOI BibTeX RDF
20	John R. W. Glauert, Delia Kesner, Zurab Khasidashvili	Expression Reduction Systems and Extensions: An Overview.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
20	Guillem Godoy, Ashish Tiwari 0001	Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.	IJCAR	2004	DBLP DOI BibTeX RDF
20	Dimitri Hendriks, Vincent van Oostrom	adbmal	CADE	2003	DBLP DOI BibTeX RDF
20	J. B. Wells, Detlef Plump, Fairouz Kamareddine	Diagrams for Meaning Preservation.	RTA	2003	DBLP DOI BibTeX RDF
20	Paul-André Melliès	Axiomatic Rewriting Theory VI Residual Theory Revisited.	RTA	2002	DBLP DOI BibTeX RDF
20	Matthias M. Hölzl, John N. Crossley	Constraint-Lambda Calculi.	FroCoS	2002	DBLP DOI BibTeX RDF
20	Michaël Rusinowitch	Rewriting for Deduction and Verification.	RTA	2001	DBLP DOI BibTeX RDF
20	Hongjing Wu, Paul De Bra	Sufficient Conditions for Well-Behaved Adaptive Hypermedia Systems.	Web Intelligence	2001	DBLP DOI BibTeX RDF	user modeling, adaptive hypermedia, production rules
20	Annegret Habel, Detlef Plump	Complete Strategies for Term Graph Narrowing.	WADT	1998	DBLP DOI BibTeX RDF
20	Slim Abdennadher, Thom W. Frühwirth	On Completion of Constraint Handling Rules.	CP	1998	DBLP DOI BibTeX RDF
20	Roberto Di Cosmo, Neil Ghani	On Modular Properties of Higher Order Extensional Lambda Calculi.	ICALP	1997	DBLP DOI BibTeX RDF
20	Ulrich Kühler, Claus-Peter Wirth	Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving.	RTA	1997	DBLP DOI BibTeX RDF
20	Richard Statman	Effective Reduction and Conversion Strategies for Combinators.	RTA	1997	DBLP DOI BibTeX RDF
20	Anna Philippou, David Walker 0008	On Transformations of Concurrent Object Programs.	CONCUR	1996	DBLP DOI BibTeX RDF
20	Roberto Di Cosmo	On the Power of Simple Diagrams.	RTA	1996	DBLP DOI BibTeX RDF
20	Matthias Baaz, Alexander Leitsch	Fast Cut-Elimination by Projection.	CSL	1996	DBLP DOI BibTeX RDF
20	Fairouz Kamareddine, Alejandro Ríos 0001	A Lambda-Calculus à la de Bruijn with Explicit Substitutions	PLILP	1995	DBLP DOI BibTeX RDF
20	Tobias Nipkow	Higher-Order Rewrite Systems (Abstract).	RTA	1995	DBLP DOI BibTeX RDF
20	Detlef Plump	Critical Pairs in Term Graph Rewriting.	MFCS	1994	DBLP DOI BibTeX RDF
20	David A. McAllester	Grammar Rewriting.	CADE	1992	DBLP DOI BibTeX RDF
20	Daniel J. Dougherty	Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract).	RTA	1991	DBLP DOI BibTeX RDF
20	Uday S. Reddy	Term Rewriting Induction.	CADE	1990	DBLP DOI BibTeX RDF
20	Volker Diekert	Combinatorial Rewriting on Traces.	STACS	1990	DBLP DOI BibTeX RDF
20	Volker Diekert	Word Problems over TRaces Which are Solvable in Linear Time.	STACS	1989	DBLP DOI BibTeX RDF
20	Norbert Kuhn, Klaus Madlener	A Method for Enumerating Cosets of a Group Presented by a Canonical System.	ISSAC	1989	DBLP DOI BibTeX RDF
20	Jean-Pierre Jouannaud	Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types.	CAAP	1983	DBLP DOI BibTeX RDF
17	Jorge Eduardo Rivadeneira, Oscar Torres Sanchez, Moisés Dias, André Rodrigues 0001, Fernando Boavida, Jorge Sá Silva	CONFLUENCE: An Integration Model for Human-in-the-Loop IoT Privacy-Preserving Solutions Toward Sustainability in a Smart City.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
17	Prakirt Raj Jhunjhunwala, Daniela Hurtado-Lange, Siva Theja Maguluri	Exponential Tail Bounds on Queues: A Confluence of Non- Asymptotic Heavy Traffic and Large Deviations.	SIGMETRICS Perform. Evaluation Rev.	2024	DBLP DOI BibTeX RDF
17	Siva Sai, Manish Prasad, Aniket Upadhyay, Vinay Chamola, Norbert Herencsar	Confluence of Digital Twins and Metaverse for Consumer Electronics: Real World Case Studies.	IEEE Trans. Consumer Electron.	2024	DBLP DOI BibTeX RDF
17	Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp	Confluence of Logically Constrained Rewrite Systems Revisited.	CoRR	2024	DBLP DOI BibTeX RDF
17	Quanyan Zhu	Foundations of Cyber Resilience: The Confluence of Game, Control, and Learning Theories.	CoRR	2024	DBLP DOI BibTeX RDF
17	Zack While, R. Jordan Crouser, Ali Sarvghad	GerontoVis: Data Visualization at the Confluence of Aging.	CoRR	2024	DBLP DOI BibTeX RDF
17	Kiraku Shintani, Nao Hirokawa	Compositional Confluence Criteria.	Log. Methods Comput. Sci.	2024	DBLP BibTeX RDF
17	Deepika Kaushik, Mohammad Nadeem	Confluence metaheuristic: a novel initialization strategy for metaheuristic algorithms.	Evol. Syst.	2024	DBLP DOI BibTeX RDF
17	Salvador Lucas	Local confluence of conditional and generalized term rewriting systems.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
17	Hubie Chen, Stefan Mengel	Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity.	ICDT	2024	DBLP DOI BibTeX RDF
17	Nao Hirokawa, Dohan Kim 0001, Kiraku Shintani, René Thiemann	Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.	CPP	2024	DBLP DOI BibTeX RDF
17	Salvador Lucas	Confluence of Conditional Rewriting Modulo.	CSL	2024	DBLP DOI BibTeX RDF
17	Olaotse Lokwalo Thabeng, Elhadi Adam, Stefania Merlo	Evaluating the Performance of Geographic Object-Based Image Analysis in Mapping Archaeological Landscapes Previously Occupied by Farming Communities: A Case of Shashi-Limpopo Confluence Area.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
17	Jamil Abedalrahim Jamil Alsayaydeh, Irianto, Ahmed Jamal Abdullah Al-Gburi, Safarudin Gazali Herawan	Improving Application Support in 6G Networks With CAPOM: Confluence-Aided Process Organization Method.	IEEE Access	2023	DBLP DOI BibTeX RDF
17	Nan Li, Xiaofei Xu, Qi Sun 0001, Jie Wu, Qiao Zhang, Gangyi Chi, Chih-Lin I, Nurit Sprecher	Transforming the 5G RAN With Innovation: The Confluence of Cloud Native and Intelligence.	IEEE Access	2023	DBLP DOI BibTeX RDF
17	Siva Sai, Vinay Chamola, Kim-Kwang Raymond Choo, Biplab Sikdar 0001, Joel J. P. C. Rodrigues	Confluence of Blockchain and Artificial Intelligence Technologies for Secure and Scalable Healthcare Solutions: A Review.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
17	Vinit Katariya, Fatema-E. Jannat, Armin Danesh Pazho, Ghazal Alinezhad Noghre, Hamed Tabkhi	VegaEdge: Edge AI Confluence Anomaly Detection for Real-Time Highway IoT-Applications.	CoRR	2023	DBLP DOI BibTeX RDF
17	Thaïs Baudon, Carsten Fuhs, Laure Gonnord	On Complexity Bounds and Confluence of Parallel Term Rewriting.	CoRR	2023	DBLP DOI BibTeX RDF
17	Kiraku Shintani, Nao Hirokawa	Compositional Confluence Criteria.	CoRR	2023	DBLP DOI BibTeX RDF
17	Gilles Dowek	Confluence as a cut elimination property.	CoRR	2023	DBLP DOI BibTeX RDF
17	Roozbeh Aliabadi, Aditi Singh, Eryka Wilson	Transdisciplinary AI Education: The Confluence of Curricular and Community Needs in the Instruction of Artificial Intelligence.	CoRR	2023	DBLP DOI BibTeX RDF
17	Ning Zhang, Timothy Shea, Arto V. Nurmikko	Event-Driven Imaging in Turbid Media: A Confluence of Optoelectronics and Neuromorphic Computation.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jonas Schöpf, Aart Middeldorp	Confluence Criteria for Logically Constrained Rewrite Systems (Full Version).	CoRR	2023	DBLP DOI BibTeX RDF
17	Andrew Shepley, Gregory Falzon, Paul Kwan, Ljiljana Brankovic	Confluence: A Robust Non-IoU Alternative to Non-Maxima Suppression in Object Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	2023	DBLP DOI BibTeX RDF
17	Amira Bourechak, Ouarda Zedadra, Mohamed Nadjib Kouahla, Antonio Guerrieri, Hamid Seridi, Giancarlo Fortino	At the Confluence of Artificial Intelligence and Edge Computing in IoT-Based Applications: A Review and New Perspectives.	Sensors	2023	DBLP DOI BibTeX RDF
17	Jean-Pierre Jouannaud, Fernando Orejas	Unification of drags and confluence of drag rewriting.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
17	Zhihan Lv, Jaime Lloret Mauri, Houbing Song, Jingyan Wang	Digital Twins: The Confluence of Virtual Reality With IoT.	IEEE Consumer Electron. Mag.	2023	DBLP DOI BibTeX RDF
17	Reza Montasari	Countering Cyberterrorism - The Confluence of Artificial Intelligence, Cyber Forensics and Digital Policing in US and UK National Cybersecurity		2023	DOI RDF
17	Farouk Jeffar, Pierluigi Plebani	Federated Data Products: A Confluence of Data Mesh and Gaia-X for Data Sharing.	ICSOC Workshops	2023	DBLP DOI BibTeX RDF
17	Ronghui Wu, Younghwan Pan	Navigating the Confluence: Advancements and Trends in Artificial Intelligence-Driven Design Education Based on CiteSpace's Visual Analytics.	ISCAI	2023	DBLP DOI BibTeX RDF
17	Jonas Schöpf, Aart Middeldorp	Confluence Criteria for Logically Constrained Rewrite Systems.	CADE	2023	DBLP DOI BibTeX RDF
17	Bowen Yuan, Zirui Xiao, Tamil Selvan Gunasekaran, Qianyuan Zou, Zhuang Chang, Misha Mirza, Gun A. Lee, Mark Billinghurst	The Fusion Nexus: Exploring the Confluence of Virtual and Real Worlds through Biocognitive Audio-Verbal Interface in Immersive XR Environments.	SIGGRAPH Asia XR	2023	DBLP DOI BibTeX RDF
17	Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi	String diagram rewrite theory III: Confluence with and without Frobenius.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Cyrille Chenavier, Benjamin Dupont, Philippe Malbos	Confluence of algebraic rewriting systems.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF