Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Adel Bouhoula |
Simultaneous checking of completeness and ground confluence for algebraic specifications. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction |
99 | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
Observable Confluence for Constraint Handling Rules. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
89 | Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma |
Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. |
Appl. Algebra Eng. Commun. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Rewriting, Confluence, Terms |
79 | Stefan Blom, Jaco van de Pol |
State Space Reduction by Proving Confluence. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
on-the-fly state space reduction, symbolic transformation, 7CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation |
78 | Silvia Ghilezan, Viktor Kuncak |
Confluence of Untyped Lambda Calculus via Simple Types. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
72 | Yoshihito Toyama |
Confluent Term Rewriting Systems. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
68 | Takahito Aoto 0001, Junichi Yoshida, Yoshihito Toyama |
Proving Confluence of Term Rewriting Systems Automatically. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
68 | Femke van Raamsdonk |
Confluence and Superdevelopments. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
58 | Kentaro Kikuchi |
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution |
58 | Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard |
The Confluence Problem for Flat TRSs. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Flat, Term rewriting system, Confluence, Decision problem |
58 | Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari 0001 |
Classes of term rewrite systems with polynomial confluence problems. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
Rewriting, confluence |
58 | Karl Gyllstrom, Craig A. N. Soules, Alistair C. Veitch |
Confluence: enhancing contextual desktop search. |
SIGIR |
2007 |
DBLP DOI BibTeX RDF |
human factors, experimentation |
58 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the Confluence of lambda-Calculus with Conditional Rewriting. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer |
Confluence of Typed Attributed Graph Transformation Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
58 | Adel Bouhoula |
Simultaneous Checking of Completeness and Ground Confluence. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
58 | Markus Lohrey |
Complexity Results for Confluence Problems. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
52 | Rakesh M. Verma, Ara Hayrapetyan |
A new decidability technique for ground term rewriting systems with applications. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma |
51 | Paula Severi, Fer-Jan de Vries |
An Extensional Böhm Model. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Yahia Rabih, Michel Schneider |
Analysis of Active Database Rules Behavior Using Rewriting Logic. |
DEXA |
1999 |
DBLP DOI BibTeX RDF |
|
50 | M. R. K. Krishna Rao |
Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems. |
Acta Informatica |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Jean-Pierre Jouannaud, Vincent van Oostrom |
Diagrammatic Confluence and Completion. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
decreasing diagrams, completion, rewriting, confluence |
48 | Nebojsa Jojic, Thomas S. Huang |
Computer Vision and Graphics Techniques for Modeling Dressed Humans. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Andrew Wojdala |
Can Virtual Look Real? A Review of Virtual Studio Techniques. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Gordon J. Clapworthy, Igor R. Belousov, Alexander Savenko, Wei Sun, JiaCheng Tan, Serge L. Van Sint Jan |
Medical Visualisation, Biomechanics, Figure Animation and Robot Teleoperation: Themes and Links. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Gudrun Klinker |
Augmented Reality: A Problem in Need of Many Computer Vision-Based Solutions. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Gilles Simon, Vincent Lepetit, Marie-Odile Berger |
Registration Methods for Harmonious Integration of Real World and Computer Generated Objects. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Kostas Daniilidis, Jane Mulligan, Raymond McKendall, David Schmid, Gerda Kamberova, Ruzena Bajcsy |
Real-Time 3D-Teleimmersion. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Danijel Skocaj, Ales Leonardis |
Acquiring Range Images of Objects with Non-Uniform Reflectance Using High Dynamic Scale Radiance Maps. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Radim Sára |
Accurate Natural Surface Reconstruction from Polynocular Stereo. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Andrew Zisserman, Andrew W. Fitzgibbon, Caroline Baillard, Geoffrey Cross |
From Images to Virtual and Augmented Reality. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | André Gagalowicz, Philippe Gérard |
3D Object Tracking Using Analysis/Synthesis Techniques. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Geoffrey Cross, Andrew Zisserman |
Surface Reconstruction from Multiple Views Using Apparent Contours and Surface Texture. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Russell A. Manning, Charles R. Dyer |
Dynamic View Interpolation Without Affine Reconstruction. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Franz W. Leberl, Konrad F. Karner, Markus Maresch |
Urban Site Models: Accurate, Detailed, Rapid and Inexpensive. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Gerhard Roth |
Building Models from Sensor Data: An Application Shared by the Computer Vision and the Computer Graphics Community. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Hai Tao, Thomas S. Huang |
Facial Motion Capturing Using an Explanation-Based Approach. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Martin Urban, Tomás Pajdla, Václav Hlavác |
Consistent Projective Reconstruction from Multiple Views. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Vittorio Murino, Andrea Fusiello |
Augmented Reality by Integrating Multiple Sensory Modalities for Underwater Scene Understanding. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Luc Van Gool, Filip Defoort, Johannes Hug, Gregor Arthur Kalberer, Reinhard Koch, Danny Martens, Marc Pollefeys, Marc Proesmans, Maarten Vergauwen, Alexey Zalesny |
Image-Based 3D Modeling: Modeling from Reality. |
Confluence of Computer Vision and Computer Graphics |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Vincent van Oostrom |
Modularity of Confluence. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Horatiu Cirstea, Germain Faure |
Confluence of Pattern-Based Calculi. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Zena M. Ariola, Stefan Blom |
Skew and omega-Skew Confluence and Abstract Böhm Semantics. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Lukasz Kaiser |
Confluence of Right Ground Term Rewriting Systems Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Gordon J. Pace, Frédéric Lang, Radu Mateescu 0001 |
Calculating-Confluence Compositionally. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma |
On the Confluence of Linear Shallow Term Rewrite Systems. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Ashish Tiwari 0001 |
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Michael Marte |
A Modular Approach to Proving Confluence. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Delia Kesner |
Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract). |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Enno Ohlebusch |
On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
47 | Klaus Becker 0002 |
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
47 | Kai Salomaa |
Decidability of Confluence and Termination of Monadic Term Rewriting Systems. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
41 | Jochen Malte Küster |
Definition and validation of model transformations. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Roberto Di Cosmo, Delia Kesner |
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch |
Deciding the confluence of ordered term rewrite systems. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
ordered rewriting, path orderings, Rewrite systems, confluence |
38 | Géraud Sénizergues |
A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
two tape finite automata, confluence, semi-Thue systems |
37 | Frédéric Lang, Radu Mateescu 0001 |
Partial Order Reductions Using Compositional Confluence Detection. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Paolo Tranquilli |
Confluence of Pure Differential Nets with Promotion. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen |
Confluence in Domain-Independent Product Line Transformations. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Vincent van Oostrom |
Confluence by Decreasing Diagrams. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas |
Embedding and Confluence of Graph Transformations with Negative Application Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Rémy Haemmerlé, François Fages |
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Detlef Plump |
Confluence of Graph Transformation Revisited. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Jakob Grue Simonsen |
On the Modularity of Confluence in Infinitary Term Rewriting. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Gilles Dowek |
Confluence as a Cut Elimination Property. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Toshiyuki Yamada |
Confluence and Termination of Simply Typed Term Rewriting Systems. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Markus Lohrey |
Word Problems and Confluence Problems for Restricted Semi-Thue Systems. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Anna Philippou, David Walker 0008 |
On Confluence in the pi-Calculus. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Xinxin Liu 0008, David Walker 0008 |
Confluence of Processes and Systems of Objects. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Taro Suzuki, Aart Middeldorp, Tetsuo Ida |
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Bernhard Gramlich |
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
37 | Pierre-Louis Curien, Giorgio Ghelli |
On Confluence for Weakly Normalizing Systems. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
37 | Ursula Martin, Tobias Nipkow |
Ordered Rewriting and Confluence. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Raúl Gutiérrez, Salvador Lucas, Miguel Vítores |
Proving Confluence in the Confluence Framework with CONFident. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Raúl Gutiérrez, Miguel Vítores, Salvador Lucas |
Confluence Framework: Proving Confluence with CONFident. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Pat Helland |
Don't Get Stuck in the "Con" Game: Consistency, convergence, and confluence are not the same! Eventual consistency and eventual convergence aren't the same as confluence, either. |
ACM Queue |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Gaspard Férey |
Higher-Order Confluence and Universe Embedding in the Logical Framework. (Confluence d'ordre supérieur et encodage d'univers dans le Logical Framework). |
|
2021 |
RDF |
|
34 | Jiaxiang Liu 0001 |
Confluence properties of rewrite rules by decreasing diagrams. (Propriétés de confluence des règles de réécriture par des diagrammes décroissants). |
|
2016 |
RDF |
|
34 | Mehdi Dogguy |
Déterminisme et Confluence dans des systèmes concurrents et synchrones. (Determinacy and confluence in concurrent and synchronous process calculi). |
|
2012 |
RDF |
|
34 | Colin Riba |
Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage. (Definitions by rewriting in the lambda-calculus : confluence, reducibility and typing). |
|
2007 |
RDF |
|
34 | Ludovic Henrio |
Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy). |
|
2003 |
RDF |
|
34 | Friedrich Otto |
On Confluence Versus Strong Confluence for One-Rule Trace-Rewriting Systems. |
Math. Syst. Theory |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Kai Salomaa |
Confluence, ground confluence, and termination of monadic term rewriting systems. |
J. Inf. Process. Cybern. |
1992 |
DBLP BibTeX RDF |
|
34 | Wadoud Bousdira |
Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos. (Study of conditional term rewriting system properties. Making use of two algorithms for testing confluence on ground terms). |
|
1990 |
RDF |
|
31 | René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp |
Adding constants to string rewriting. |
Appl. Algebra Eng. Commun. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Termination, Term rewriting, Confluence, String rewriting |
31 | Maribel Fernández, Murdoch Gabbay |
Nominal rewriting with name generation: abstraction vs. locality. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders |
31 | Bernhard Möller, Georg Struth |
Greedy-Like Algorithms in Modal Kleene Algebra. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra |
31 | Max I. Kanovich |
Bijections between Partitions by Two-Directional Rewriting Techniques. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions |
31 | Hongjing Wu, Erik de Kort, Paul De Bra |
Design issues for general-purpose adaptive hypermedia systems. |
Hypertext |
2001 |
DBLP DOI BibTeX RDF |
adaptation rules, user modeling, termination, adaptive hypermedia, active databases, confluence |
31 | Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner |
Linearity and the pi-calculus. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
linear types, concurrency, pi-calculus, process calculi, confluence |
31 | Salvador Lucas |
Context-Sensitive Computations in Confluent Programs. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
functional programming, term rewriting systems, confluence |
31 | Tachio Terauchi, Alex Aiken |
A capability calculus for concurrency and determinism. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
type systems, Determinism, capabilities |
31 | Anna Philippou, George Michael |
Verification Techniques for Distributed Algorithms. |
OPODIS |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
Asynchronous and deterministic objects. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures |
31 | Elena Machkasova, Franklyn A. Turbak |
A Calculus for Link-Time Compilation. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez |
Algorithms and Reductions for Rewriting Problems. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Di Cosmo, Delia Kesner |
A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Daniel J. Dougherty |
Some Lambda Calculi with Categorial Sums and Products. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Volker Diekert, Edward Ochmanski, Klaus Reinhardt |
On Confluent Semi-Commutations - Decidability and Complexity Results. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Robert Strandh |
Optimizing Equational Programs. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Sébastien Konieczny, Ramón Pino Pérez |
Confluence Operators. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|