Search results for "Confluence"

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, &#55CRL 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