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 |