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 |
|