Search results for "confluence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi	Confluence and Concurrent Constraint Programming.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
17	Franco Barbanera, Maribel Fernández, Herman Geuvers	Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube	LICS	1994	DBLP DOI BibTeX RDF
17	Renate Klempien-Hinrichs	Node Replacement in Hypergrahps: Simulation of Hyperedge Replacement, and Decidability of Confluence.	TAGT	1994	DBLP DOI BibTeX RDF
17	Bernhard Gramlich	On Termination and Confluence of Conditional Rewrite Systems.	CTRS	1994	DBLP DOI BibTeX RDF
17	Reinhard Bündgen	Preserving Confluence for Rewrite Systems with Built-in Operations.	CTRS	1994	DBLP DOI BibTeX RDF
17	Ramón Pino Pérez, Christian Even	An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus.	LFCS	1994	DBLP DOI BibTeX RDF
17	Vincent van Oostrom, Femke van Raamsdonk	Weak Orthogonality Implies Confluence: The Higher Order Case.	LFCS	1994	DBLP DOI BibTeX RDF
17	Leonie van der Voort, Arno Siebes	Termination and Confluence of Rule Execution.	CIKM	1993	DBLP DOI BibTeX RDF
17	Leonie van der Voort, Arno Siebes	Enforcing Confluence of Rule Execution.	Rules in Database Systems	1993	DBLP DOI BibTeX RDF
17	Linda Seltzer	A Confluence of Computer Music and Ancient Chinese Aesthetics.	ICMC	1993	DBLP BibTeX RDF
17	Hassan Aït-Kaci, Jacques Garrigue	Label-Selective lambda-Calculus Syntax and Confluence.	FSTTCS	1993	DBLP DOI BibTeX RDF	record calculus, communication, concurrency, Calculus
17	Fritz Müller 0001	Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
17	Friedrich Otto	The Problem of Deciding Confluence on a Given Congruence Class is Tractable for Finite Special String-Rewriting Systems.	Math. Syst. Theory	1992	DBLP DOI BibTeX RDF
17	Celia Wrathall, Volker Diekert, Friedrich Otto	One-Rule Trace-Rewriting Systems and Confluence.	MFCS	1992	DBLP DOI BibTeX RDF
17	Lars With	Completeness and Confluence of Order-Sorted Term Rewriting.	CTRS	1992	DBLP DOI BibTeX RDF
17	Detlef Plump	Collapsed Tree Rewriting: Completeness, Confluence, and Modularity.	CTRS	1992	DBLP DOI BibTeX RDF
17	Junnosuke Yamada	Confluence of Terminating Membership Conditional TRS.	CTRS	1992	DBLP DOI BibTeX RDF
17	Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein	Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
17	H. Luckhardt	Complexity Versus the Church-Rosser Property and Confluence.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
17	Pierre-Louis Curien, Giorgio Ghelli	Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=.	TACS	1991	DBLP DOI BibTeX RDF
17	Chin-Chen Chang 0001, Chu-Hsing Lin	A Reciprocal Confluence Tree Unit and Its Applications.	BIT	1990	DBLP DOI BibTeX RDF
17	Deepak Kapur, Paliath Narendran, Friedrich Otto	On Ground-Confluence of Term Rewriting Systems	Inf. Comput.	1990	DBLP DOI BibTeX RDF
17	Max Dauchet, Thierry Heuillard, Pierre Lescanne, Sophie Tison	Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems	Inf. Comput.	1990	DBLP DOI BibTeX RDF
17	Celia Wrathall	Confluence of One-Rule Thue Systems.	IWWERT	1990	DBLP DOI BibTeX RDF
17	Yiyun Chen, Michael J. O'Donnell	Testing Confluence of Nonterminating Rewriting Systems.	CTRS	1990	DBLP DOI BibTeX RDF
17	Aart Middeldorp	Confluence of the Disjoint Union of Conditional Term Rewriting Systems.	CTRS	1990	DBLP DOI BibTeX RDF
17	Norbert Kuhn, Klaus Madlener, Friedrich Otto	A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem.	ISSAC	1990	DBLP DOI BibTeX RDF
17	Friedrich Otto	On Deciding Confluence of Finite String-Rewriting Systems Modulo Partial Commutativity.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
17	Thérèse Hardin	Confluence Results for the Pure Strong Categorical Logic CCL: lambda-Calculi as Subsystems of CCL.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
17	Norman Biggs	Confluence of some presentations associated with graphs.	Discret. Math.	1989	DBLP DOI BibTeX RDF
17	Val Tannen, Jean H. Gallier	Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence.	ICALP	1989	DBLP DOI BibTeX RDF
17	P. M. van den Broek	Confluence of Indirection Reductions in Graph Rewrite Systems.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
17	Norbert Eisinger	Completeness, confluence, and related properties of clause graph resolution.		1988	RDF
17	Friedrich Otto	On Deciding the Confluence of a Finite String-Rewriting System on a Given Congruence Class.	J. Comput. Syst. Sci.	1987	DBLP DOI BibTeX RDF
17	Stéphane Kaplan	Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence.	J. Symb. Comput.	1987	DBLP DOI BibTeX RDF
17	Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne	Decidability of the Confluence of Ground Term Rewriting Systems	LICS	1987	DBLP BibTeX RDF
17	Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar	Confluence of Conditional Rewrite Systems.	CTRS	1987	DBLP DOI BibTeX RDF
17	Richard Göbel	Ground Confluence.	RTA	1987	DBLP DOI BibTeX RDF
17	Jan A. Bergstra, Jan Willem Klop	Conditional Rewrite Rules: Confluence and Termination.	J. Comput. Syst. Sci.	1986	DBLP DOI BibTeX RDF
17	David A. Plaisted	Semantic Confluence Tests and Completion Methods	Inf. Control.	1985	DBLP DOI BibTeX RDF
17	Max Dauchet, Sophie Tison	Decidability of confluence for ground term rewriting systems.	FCT	1985	DBLP DOI BibTeX RDF
17	Wolfgang Küchlin	A Confluence Criterion Based on the Generalised Neman Lemma.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
17	Stéphane Kaplan	Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence.	ADT	1984	DBLP DOI BibTeX RDF
17	Alan J. Weissberger	Datalink controls and LSI circuits - the confluence of architecture and technology.	Comput. Commun.	1978	DBLP DOI BibTeX RDF
17	Arthur Gill	Analysis of Linear Sequential Circuits by Confluence Sets.	IEEE Trans. Electron. Comput.	1964	DBLP DOI BibTeX RDF
10	Susan L. Graham, Deborah Estrin, Eric Horvitz, Isaac S. Kohane, Elizabeth D. Mynatt, Ida Sim	Information Technology research challenges for healthcare: from discovery to delivery.	SIGHIT Rec.	2011	DBLP DOI BibTeX RDF
10	Simon N. Foley	Virtual environment for the navigation of ideas and concepts in education (V.E.N.I.C.E).	AVI	2010	DBLP DOI BibTeX RDF
10	Thibaut Balabonski	Optimality for dynamic patterns.	PPDP	2010	DBLP DOI BibTeX RDF	dynamic patterns, labelled calculi, optimality, pattern matching, sharing
10	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002	Customising Web Information Systems According to User Preferences.	World Wide Web	2009	DBLP DOI BibTeX RDF	critical pair completion, media type, deontic constraint, preference rule, termination, term rewriting, personalisation, web information system, Church-Rosser property, Kleene algebra with tests
10	Guillem Godoy, Hugo Hernández	Undecidable properties of flat term rewrite systems.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16S15, 68Q42
10	Michel Couprie, Gilles Bertrand 0001	New Characterizations of Simple Points in 2D, 3D, and 4D Discrete Spaces.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
10	Angel Arroyo, Francisco Serradilla, Oscar Calvo	Multimodal Agents in Second Life and the New Agents of Virtual 3D Environments.	IWINAC (1)	2009	DBLP DOI BibTeX RDF
10	David Gurzick, Kevin F. White	Developers and Moderators: Observations in the Co-development of an Online Social Space.	HCI (14)	2009	DBLP DOI BibTeX RDF	Design, Tools, Online Communities, Moderation, Adolescents, Sociotechnical Systems
10	Yannis Georgalis, Dimitris Grammenos, Constantine Stephanidis	Middleware for Ambient Intelligence Environments: Reviewing Requirements and Communication Technologies.	HCI (6)	2009	DBLP DOI BibTeX RDF
10	Ariza Nordin, Nor Laila Md. Noor, Ahmad Zainuddin	Batik KR Semantic Network: Visualizations of Creative Process and Design Knowledge for the Malaysian Batik Designers' Community.	HCI (9)	2009	DBLP DOI BibTeX RDF	storytelling, aesthetic, semantic network, design knowledge, creative process
10	Noah Falstein, Nicolle Ruetz	The First Two W's: Fostering Multicultural Awareness in Children.	HCI (12)	2009	DBLP DOI BibTeX RDF
10	Takeshi Tsukada, Atsushi Igarashi	A Logical Foundation for Environment Classifiers.	TLCA	2009	DBLP DOI BibTeX RDF
10	Hejiao Huang, Hélène Kirchner	Component-Based Security Policy Design with Colored Petri Nets.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF	security policy, colored Petri net, specification and verification, property-preservation
10	Fernando Orejas, Martin Wirsing	On the Specification and Verification of Model Transformations.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
10	Anastasios Gounaris	A Vision for Next Generation Query Processors and an Associated Research Agenda.	Globe	2009	DBLP DOI BibTeX RDF
10	Michele Pagani, Paolo Tranquilli	Parallel Reduction in Resource Lambda-Calculus.	APLAS	2009	DBLP DOI BibTeX RDF
10	Delia Kesner, Fabien Renaud	The Prismoid of Resources.	MFCS	2009	DBLP DOI BibTeX RDF
10	Hejiao Huang, Hélène Kirchner	Policy Composition Based on Petri Nets.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
10	Gerhard Fischer, Pamela Jennings, Mary Lou Maher, Mitchel Resnick, Ben Shneiderman	Creativity challenges and opportunities in social computing.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	creativity, social computing
10	Cecilia R. Aragon, Sarah S. Poon, Cláudio T. Silva	The changing face of digital science: new practices in scientific collaborations.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	scientific collaboratories, scientific data analysis, scientific groupware, visualization
10	Leila Ribeiro 0001, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes	Model Transformation Using Graph Transactions.	ICSR	2009	DBLP DOI BibTeX RDF
10	Mihály Csíkszentmihályi	The creative person and the creative system.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	individual and systems perspectives, creativity, innovation
10	Chei Sian Lee, Dion Hoe-Lian Goh, Alton Yeow-Kuan Chua, Rebecca Pei-Hui Ang	Understanding Perceived Gratifications for Mobile Content Sharing and Retrieval in a Game-Based Environment.	AMT	2009	DBLP DOI BibTeX RDF
10	Juan de Lara, Esther Guerra	Formal Support for QVT-Relations with Coloured Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF
10	John A. Stankovic	Cyber physical systems: aspects as a basis for robustness and openness.	AOSD	2009	DBLP DOI BibTeX RDF	robustness, aspect oriented programming, openness, cyber physical systems
10	Marc de Falco	An Explicit Framework for Interaction Nets.	RTA	2009	DBLP DOI BibTeX RDF
10	Jos de Bruijn, Martín Rezk	A Logic Based Approach to the Static Analysis of Production Systems.	RR	2009	DBLP DOI BibTeX RDF
10	Frank Hermann 0001, Hartmut Ehrig, Claudia Ermel	Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.	FASE	2009	DBLP DOI BibTeX RDF
10	John A. Stankovic	Wireless Sensor Networks.	Computer	2008	DBLP DOI BibTeX RDF
10	Angela M. Kessell, Barbara Tversky	Cognitive Methods for Visualizing Space, Time, and Agents.	Diagrams	2008	DBLP DOI BibTeX RDF	agent, time, production, diagram, preference, space, comprehension
10	Jasrul Nizam Ghazali, Amirrudin Kamsin	A Real Time Simulation of Flood Hazard.	CGIV	2008	DBLP DOI BibTeX RDF
10	Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto	A Conditional Logical Framework.	LPAR	2008	DBLP DOI BibTeX RDF
10	Toby Burrows, Ela Majocha	Building a Digital Research Community in the Humanities.	ECDL	2008	DBLP DOI BibTeX RDF
10	Toby Burrows	Discovering Early Europe in Australia: The Europa InventaResource Discovery Service.	ICADL	2008	DBLP DOI BibTeX RDF
10	Sylvain Lebresne	A System F with Call-by-Name Exceptions.	ICALP (2)	2008	DBLP DOI BibTeX RDF
10	David Herman, Mitchell Wand	A Theory of Hygienic Macros.	ESOP	2008	DBLP DOI BibTeX RDF
10	Geng Lin, Glenn Dasmalchi, Jinzy Zhu	Cloud Computing and IT as a Service: Opportunities and Challenges.	ICWS	2008	DBLP DOI BibTeX RDF
10	Tom Schrijvers	Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
10	Timothy J. Foley, Christine Roysdon	Library resources to enhance the undergraduate experience.	SIGUCCS	2008	DBLP DOI BibTeX RDF	merged organizations, special collections, portal, restructuring
10	Abdulmotaleb El-Saddik, Jongeun Cha, Kanav Kahol	Haptics technologies: theory and applications from a multimedia perspective.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	haptic user interfaces
10	Kenneth Choi, Wo-Shun Luk	Processing Aggregate Queries on Spatial OLAP Data.	DaWaK	2008	DBLP DOI BibTeX RDF
10	Bin Lai, Dengyi Zhang, Zhiyong Yuan, Jianhui Zhao 0001	Crowd Segmentation from a Static Camera.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Crowd Segmentation, Active Basis Model, Detection Cascade
10	Glenn H. Chapman, Vijay K. Jain	Defect Tolerance for a Capacitance Based Nanoscale Biosensor.	DFT	2008	DBLP DOI BibTeX RDF
10	Yves Lafont, Pierre Rannou	Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks.	RTA	2008	DBLP DOI BibTeX RDF	critical pair, diagram rewriting, Zamolodchikov, orthogonal matrix
10	Hartmut Ehrig, Ulrike Prange	Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.	ICGT	2008	DBLP DOI BibTeX RDF
10	Rachid Echahed	Inductively Sequential Term-Graph Rewrite Systems.	ICGT	2008	DBLP DOI BibTeX RDF
10	Filippo Bonchi, Fabio Gadducci, Tobias Heindel	Parallel and Sequential Independence for Borrowed Contexts.	ICGT	2008	DBLP DOI BibTeX RDF
10	François Fages, Julien Martin	From Rules to Constraint Programs with the Rules2CP Modelling Language.	CSCLP	2008	DBLP DOI BibTeX RDF
10	Paul Chippendale, Oswald Lanz	Optimised Meeting Recording and Annotation Using Real-Time Video Analysis.	MLMI	2008	DBLP DOI BibTeX RDF	Gestures, Person Tracking, Head Orientation, Active Camera
10	Shantanu Godbole, Shourya Roy	Text to Intelligence: Building and Deploying a Text Mining Solution in the Services Industry for Customer Satisfaction Analysis.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Customer Satisfaction Analysis, Text Classification, Contact Center
10	Wim Janssen, Alexandr Korlyukov, Jan Van den Bussche	On the tree-transformation power of XSLT.	Acta Informatica	2007	DBLP DOI BibTeX RDF
10	Dianne Solomon	Balancing Privacy and Risk in the E-Messaging World.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
10	Horatiu Cirstea, Germain Faure, Claude Kirchner	A rho-calculus of explicit constraint application.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Rewriting calculus, Explicit matching, Pattern matching, Explicit substitution
10	Julien Forest, Delia Kesner	Expression Reduction Systems with Patterns.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Expression reduction systems, Higher-order rewriting, Pattern matching
10	Uday P. Khedker, Amitabha Sanyal, Amey Karkare	Heap reference analysis using access graphs.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	heap references, data flow analysis, liveness, Aliasing