|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2430 occurrences of 1145 keywords
|
|
|
Results
Found 6549 publication records. Showing 6549 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Alan Nash, Luc Segoufin, Victor Vianu |
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Jef Wijsen |
On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Guillem Godoy, Eduard Huntingford |
Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Rémy Haemmerlé, François Fages |
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Rachid Echahed, Nicolas Peltier |
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Hans Zantema, Johannes Waldmann |
Termination by Quasi-periodic Interpretations. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Christof Löding |
Reachability Problems on Regular Ground Tree Rewriting Graphs. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the Confluence of lambda-Calculus with Conditional Rewriting. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001 |
Processes for Adhesive Rewriting Systems. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Carlos Morra |
Configware Design Space Exploration Using Rewriting Logic. |
FPL |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Shenghua Bao, Lei Zhang 0007, Chenxi Lin, Yong Yu 0001 |
A Semantic Rewriting Approach to Automatic Information Providing Web Service Composition. |
ASWC |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski |
GrGen: A Fast SPO-Based Graph Rewriting Tool. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Dan Zhao, John Mylopoulos, Iluju Kiringa, Verena Kantere |
An ECA Rule Rewriting Mechanism for Peer Data Management Systems. |
EDBT |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Bernhard Gramlich, Salvador Lucas |
Generalizing Newman's Lemma for Left-Linear Rewrite Systems. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Dietrich Kuske, Markus Lohrey |
Decidable First-Order Theories of One-Step Rewriting in Trace Monoids. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Paul Klint, Tijs van der Storm, Jurgen J. Vinju |
Term Rewriting Meets Aspect-Oriented Programming. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries |
Infinitary Rewriting: From Syntax to Semantics. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Lukasz Kaiser |
Confluence of Right Ground Term Rewriting Systems Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Clara Bertolissi |
The Graph Rewriting Calculus: Confluence and Expressiveness. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jeroen Ketema, Jakob Grue Simonsen |
Infinitary Combinatory Reduction Systems. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | James Cheney |
Equivariant Unification. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Michael Gordon Abbott, Neil Ghani, Christoph Lüth |
Abstract Modularity. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Grigore Rosu |
From Conditional to Unconditional Rewriting. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Andrea Calì |
Query Answering by Rewriting in GLAV Data Integration Systems Under Constraints. |
SWDB |
2004 |
DBLP DOI BibTeX RDF |
|
28 | M. R. K. Krishna Rao |
Inductive Inference of Term Rewriting Systems from Positive Data. |
ALT |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Hartmut Ehrig, Barbara König 0001 |
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Leonid A. Kalinichenko, Dmitry O. Martynov, Sergey A. Stupnikov |
Query Rewriting Using Views in a Typed Mediator Environment. |
ADBIS |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Qingyuan Bai, Jun Hong 0001, Michael F. McTear |
Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views. |
ADVIS |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Paul Klint |
How Understanding and Restructuring Differ from Compiling - A Rewriting Perspective. |
IWPC |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Alfons Geser, Dieter Hofbauer, Johannes Waldmann |
Match-Bounded String Rewriting Systems. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Stefano Crespi-Reghizzi, Matteo Pradella |
Tile Rewriting Grammars. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Sergio Greco, Ester Zumpano |
On the rewriting and efficient computation of bound disjunctive datalog queries. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
magic-set technique, logic programming, constraints, theory, disjunctive datalog |
28 | Yingying Tao, Qiang Zhu 0001, Calisto Zuzarte, Wing Lau |
Optimizing large star-schema queries with snowflakes via heuristic-based query rewriting. |
CASCON |
2003 |
DBLP BibTeX RDF |
query optimization, database management system, query rewrite, complex query, query graph |
28 | Julien Forest, Delia Kesner |
Expression Reduction Systems with Patterns. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Algis Rudys, Dan S. Wallach |
Enforcing Java Run-Time Properties Using Bytecode Rewriting. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Miroslav N. Velev |
Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Dietrich Kuske, Markus Lohrey |
On the Theory of One-Step Rewriting in Trace Monoids. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Chad Huneycutt, Joshua B. Fryman, Kenneth M. Mackenzie |
Software Caching using Dynamic Binary Rewriting for Embedded Devices. |
ICPP |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Chang-Sup Park, Myoung-Ho Kim, Yoon-Joon Lee |
Rewriting OLAP Queries Using Materialized Views and Dimension Hierarchies in Data Warehouses. |
ICDE |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Klaus Havelund, Grigore Rosu |
Monitoring Programs Using Rewriting. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov |
Relating Strands and Multiset Rewriting for Security Protocol Analysis. |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Jaco van de Pol, Hans Zantema |
Binary Decision Diagrams by Shard Rewriting. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Joseph A. Goguen, Kai Lin, Grigore Rosu |
Circular Coinductive Rewriting. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Noll 0001 |
On Coherence Properties in Team Rewriting Models of Concurrency. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Arts, Jürgen Giesl |
Applying Rewriting Techniques to the Verification of Erlang Processes. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Isabel Pita, Narciso Martí-Oliet |
Using Reflection to Specify Transaction Sequences in Rewriting Logic. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Macha Nikolskaïa, Antoine Rauzy, David James Sherman |
Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Hongwei Xi |
Towards Automated Termination Proofs through "Freezing". |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Deepak Kapur |
Shostak's Congruence Closure as Completion. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
28 | José Meseguer 0001 |
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Michel Bauderon |
A Uniform Approach to Graph Rewriting: The Pullback Approach. |
WG |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Andrea Corradini 0001 |
Term Rewriting in CT-Sigma. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Gianni Aguzzi, U. Modigliani |
Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
28 | David A. Plaisted |
Polynomial Time Termination and Constraint Satisfaction Tests. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Michael Hanus |
Incremental Rewriting in Narrowing Derivations. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Berthold Hoffmann |
Term Rewriting with Sharing and Memoïzation. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Bernhard Gramlich |
Generalized Sufficient Conditions for Modular Termination of Rewriting. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Yves Bertot |
Origin Functions in Lambda-Calculus and Term Rewriting Systems. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Ugo Montanari, Francesca Rossi 0001 |
Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Friedrich Otto |
Some Undecidability Results for Weakly Confluent Monadic String-Rewriting Systems. |
AAECC |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Aart Middeldorp, Yoshihito Toyama |
Completeness of Combinations of Constructor Systems. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Uday S. Reddy |
Term Rewriting Induction. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Val Tannen, Jean H. Gallier |
Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep |
Towards an Intermediate Language based on Graph Rewriting. |
PARLE (2) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Mandalagiri S. Chandrasekhar, J. P. Privitera, K. W. Conradt |
Application of Term Rewriting Techniques to Hardware Design Verification. |
DAC |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Leo Bachmair, David A. Plaisted |
Associative Path Orderings. |
RTA |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Garrett Wolf, Aravind Kalavagattu, Hemal Khatri, Raju Balakrishnan, Bhaumik Chokshi, Jianchun Fan, Yi Chen 0001, Subbarao Kambhampati |
Query processing over incomplete autonomous databases: query rewriting using learned data dependencies. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Incomplete databases, Uncertainty, Query rewriting |
27 | Jörg Endrullis, Johannes Waldmann, Hans Zantema |
Matrix Interpretations for Proving Termination of Term Rewriting. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Matrix interpretations, Satisfiability, Termination, Term rewriting |
27 | Nasreddine Aoumeur, Gunter Saake |
A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS. |
UNISCON |
2008 |
DBLP DOI BibTeX RDF |
Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic |
27 | Clara Bertolissi, Maribel Fernández |
A rewriting framework for the composition of access control policies. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
distributed systems, access control, security policies, term rewriting |
27 | Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe Chassot, Mohamed Jmaiel |
Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
rule-driven, autonomic computing, graph rewriting |
27 | Raúl Gutiérrez, Salvador Lucas, Xavier Urbain |
Usable Rules for Context-Sensitive Rewrite Systems. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
termination, term rewriting, Dependency pairs |
27 | Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide |
WinHIPE: an IDE for functional programming based on rewriting and visualization. |
ACM SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
programming environments, functional programming, tracing, term rewriting, program visualization, program animation, expression evaluation |
27 | Keiichirou Kusakari, Masahiko Sakai |
Enhancing dependency pair method using strong computability in simply-typed term rewriting. |
Appl. Algebra Eng. Commun. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Simply-typed term rewriting system, Plain function- passing, Strong computability, Termination, Dependency pair |
27 | Rémi Eyraud, Colin de la Higuera, Jean-Christophe Janodet |
LARS: A learning algorithm for rewriting systems. |
Mach. Learn. |
2007 |
DBLP DOI BibTeX RDF |
Learning context-free languages, Rewriting systems |
27 | Jaydeep Marathe, Frank Mueller 0001, Tushar Mohan, Sally A. McKee, Bronis R. de Supinski, Andy Yoo |
METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
data trace compression, data trace generation, program instrumentation, cache analysis, Dynamic binary rewriting |
27 | Gordon Fraser 0001, Franz Wotawa |
Using LTL rewriting to improve the performance of model-checker based test-case generation. |
A-MOST |
2007 |
DBLP DOI BibTeX RDF |
LTL rewriting, test-case generation with model-checkers, automated software testing |
27 | Mark Hills 0001, Grigore Rosu |
A rewriting approach to the design and evolution of object-oriented languages. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
object-oriented languages, language design, formal analysis, rewriting logic, language semantics |
27 | Musab AlTurki, José Meseguer 0001 |
Real-time rewriting semantics of orc. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude |
27 | Mark Hills 0001, Grigore Rosu |
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
model checking, analysis, object-oriented languages, language design, rewriting logic |
27 | Jacques Chabin, Pierre Réty |
Visibly Pushdown Languages and Term Rewriting. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
term rewriting, tree languages |
27 | Matt Kaufmann, J Strother Moore |
Double rewriting for equivalential reasoning in ACL2. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
double-rewrite, verification, formal methods, rewriting, congruences, equivalence relations |
27 | M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer |
Prototyping 3APL in the Maude term rewriting language. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
prototyping, term rewriting, agent programming languages |
27 | 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 |
27 | Bjorn De Sutter, Bruno De Bus, Koen De Bosschere |
Link-time binary rewriting techniques for program compaction. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
code abstraction, linker, whole-program optimization, compaction, interprocedural analysis, Program representation, binary rewriting |
27 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
formal methods, protocol verification, rewriting logic |
27 | Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles 0001, Joaquín Salvachúa, Luis Llana, Margarita Bradley |
Transforming Information in RDF to Rewriting Logic. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
Semantic Web, formal methods, RDF, rewriting logic, Maude |
27 | Wojciech Moczydlowski, Alfons Geser |
Termination of Single-Threaded One-Rule Semi-Thue Systems. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
uniform termination, one-rule, single-rule, single-threaded, well-behaved, termination, string rewriting, semi-Thue system |
27 | Jeremy E. Dawson, Rajeev Goré |
A General Theorem on Termination of Rewriting. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
well-founded ordering, recursive path ordering, termination, rewriting |
27 | Stefan Blom |
An Approximation Based Approach to Infinitary Lambda Calculi. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
infinitary rewriting, lambda calculus |
27 | Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet |
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394 |
27 | Manfred Göbel |
Rewriting Techniques and Degree Bounds for Higher Order Symmetric Polynomials. |
Appl. Algebra Eng. Commun. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Higher order symmetry, Degree bounds, Rewriting techniques, Generators, Symmetric polynomials |
27 | Kevin Chen-Chuan Chang, Hector Garcia-Molina, Andreas Paepcke |
Predicate Rewriting for Translating Boolean Queries in a Heterogeneous Information System. |
ACM Trans. Inf. Syst. |
1999 |
DBLP DOI BibTeX RDF |
predicate rewriting, query subsumption, filtering, content-based retrieval, query translation, Boolean queries |
27 | George A. Papadopoulos |
Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
Concurrent Object-Oriented Programming Techniques, Records, Term Graph Rewriting |
27 | Michael Bertol, Volker Diekert |
Trace Rewriting: Computing Normal Forms in Time O(n log n). |
STACS |
1996 |
DBLP DOI BibTeX RDF |
rewriting modulo a partial commutation, Mazurkiewicz traces |
27 | Marc Bergman, Pierre Deransart |
Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. |
CAAP |
1981 |
DBLP DOI BibTeX RDF |
proof of equational properties, Knuth-Bendix algorithm, PROLOG, operational semantics, Abstract Data Type, rewriting systems |
27 | Takahito Aoto 0001, Junichi Yoshida, Yoshihito Toyama |
Proving Confluence of Term Rewriting Systems Automatically. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kazunori Ueda |
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
27 | José Meseguer 0001 |
Localized Fairness: A Rewriting Semantics. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati |
Natural Narrowing for General Term Rewriting Systems. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 6549 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|