Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Takahito Aoto 0001, Toshiyuki Yamada, Yuki Chiba |
Natural Inductive Theorems for Higher-Order Rewriting. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Friedrich Neurauter, Aart Middeldorp |
Revisiting Matrix Interpretations for Proving Termination of Term Rewriting. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Marc Brockschmidt, Carsten Otto, Jürgen Giesl |
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Ashish Tiwari 0001 |
Rewriting in Practice. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe |
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Takahito Aoto 0001, Yoshihito Toyama |
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Bahr |
Modes of Convergence for Term Graph Rewriting. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Sophie Tison |
Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen |
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise |
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky |
A Rewriting-Logic-Based Technique for Modeling Thermal Systems |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Gramlich, Felix Schernhammer |
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns |
IWS |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Kristoffer H. Rose |
Higher-order Rewriting for Executable Compiler Specifications |
HOR |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Maribel Fernández, Olivier Namet |
Strategic programming on graph rewriting systems |
IWS |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Musab AlTurki, José Meseguer 0001 |
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Kahrs |
Infinitary Rewriting: Foundations Revisited. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Bahr |
Partial Order Infinitary Term Rewriting and Böhm Trees. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom |
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl |
Automated Termination Analysis of Java Bytecode by Term Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Jakob Grue Simonsen |
Weak Convergence and Uniform Normalization in Infinitary Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Samuel Mimram |
Computing Critical Pairs in 2-Dimensional Rewriting Systems. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Mark Hills 0001, Grigore Rosu |
A Rewriting Logic Semantics Approach to Modular Program Analysis. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Irène Durand, Géraud Sénizergues, Marc Sylvestre |
Termination of linear bounded term rewriting systems. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Natarajan Shankar |
Rewriting, Inference, and Proof. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Fernando Rosa-Velardo |
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Michael Katelman, Sean Keller, José Meseguer 0001 |
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Kyungmin Bae, José Meseguer 0001 |
The Linear Temporal Logic of Rewriting Maude Model Checker. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | José Meseguer 0001 |
Twenty Years of Rewriting Logic. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Traian-Florin Serbanuta, Grigore Rosu |
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Rakesh M. Verma |
Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems. |
Fundam. Informaticae |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Gramlich, Felix Schernhammer |
Extending Context-Sensitivity in Term Rewriting |
WRS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Beatriz Alarcón, Salvador Lucas |
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Kyungmin Bae, José Meseguer 0001 |
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. |
RULE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Steve Barker, Clara Bertolissi, Maribel Fernández |
Action Control by Term Rewriting. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Adrià Gascón, Guillem Godoy, Florent Jacquemard |
Closure of Tree Automata Languages under Innermost Rewriting. |
WRS@RTA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan K. Millen |
Rewriting Techniques in the Constraint Solver. |
SecReT@LICS/CSF |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Oana Agrigoroaiei, Gabriel Ciobanu |
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Stephan Falke 0001, Deepak Kapur |
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. |
WRS@RTA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
A Rewriting Semantics for Maude Strategies. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Mark Hills 0001 |
Memory Representations in Rewriting Logic Semantics Definitions. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
Hierarchical Design Rewriting with Maude. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Rachid Echahed, Nicolas Peltier |
A Needed Rewriting Strategy for Data-Structures with Pointers. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe |
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. |
WRS@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Felix Schernhammer, Bernhard Gramlich |
Termination of Lazy Rewriting Revisited. |
WRS@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner |
Towards a Sharing Strategy for the Graph Rewriting Calculus. |
WRS@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Masahiko Sakai, Yi Wang |
Undecidable Properties on Length-Two String Rewriting Systems. |
WRS@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Guillem Godoy, Eduard Huntingford, Ashish Tiwari 0001 |
Termination of Rewriting with Right-Flat Rules. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Dominique Duval, Rachid Echahed, Frédéric Prost |
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot |
From Functional Programs to Interaction Nets via the Rewriting Calculus. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Muck van Weerdenburg |
An Account of Implementing Applicative Term Rewriting. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça |
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Michael Katelman, José Meseguer 0001 |
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta |
Rewriting Logic Systems. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Anderson Santana de Oliveira |
Rewriting-Based Access Control Policies. |
SecReT@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Azadeh Farzan, José Meseguer 0001 |
Partial Order Reduction for Rewriting Semantics of Programming Languages. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Gustavo Santos-García, Miguel Palomino |
Solving Sudoku Puzzles with Rewriting Rules. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister |
A Rewriting Logic Framework for Soft Constraints. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Antoy, Daniel W. Brown, Su-Hui Chiang |
Lazy Context Cloning for Non-Deterministic Graph Rewriting. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Naoki Nishida 0001, Tomohiro Mizutani, Masahiko Sakai |
Transformation for Refining Unraveled Conditional Term Rewriting Systems. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ahmed Bouajjani, Javier Esparza |
Rewriting Models of Boolean Programs. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Armando, Luca Compagna, Silvio Ranise |
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Stefano Guerrini |
Sharing Implementations of Graph Rewriting Systems. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang |
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom |
Vicious Circles in Orthogonal Term Rewriting Systems. |
WRS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi |
Ambient Graph Rewriting. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ralf Lämmel |
Programmable Rewriting Strategies in Haskell: -- White Paper --. |
WRS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Luigi Liquori, Benjamin Wack |
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Iliano Cervesato, Mark-Oliver Stehr |
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner |
A Rewriting Calculus for Cyclic Higher-order Term Graphs. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Christiano Braga, José Meseguer 0001 |
Modular Rewriting Semantics in Practice. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Claude Kirchner |
Strategic Rewriting. |
WRS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Herman Geuvers, Rob Nederpelt |
Rewriting for Fitch Style Natural Deductions. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Martin Kappes |
Multi-Bracketed Contextual Rewriting Grammars with Obligatory Rewriting. |
Grammars and Automata for String Processing |
2003 |
DBLP BibTeX RDF |
|
21 | Mizuhito Ogawa |
Call-by-need reduction for membership conditional term rewriting Systems. |
WRS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Gramlich, Salvador Lucas |
Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings. |
WRS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Guillaume Feuillade, Thomas Genet |
Reachability in Conditional Term Rewriting Systems. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe |
Narrowing-based simulation of term rewriting systems with extra variables. |
WFLP |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Clara Bertolissi, Horatiu Cirstea, Claude Kirchner |
Translating Combinatory Reduction Systems into the Rewriting Calculus. |
RULE@RDP |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ginés Moreno |
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations. |
WFLP |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Monica Nesi, Giuseppina Rucci, Massimo Verdesca |
A rewriting strategy for protocol verification. |
WRS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack |
Rewrite strategies in the rewriting calculus. |
WRS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Gadducci, Ugo Montanari |
Comparing logics for rewriting: rewriting logic, action calculi and tile logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Maribel Fernández, Ian Mackie |
Call-by-Value lambda-Graph Rewriting Without Rewriting. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Rewriting-Based Verification of Authentication Protocols. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Manuel Clavel, José Meseguer 0001, Miguel Palomino |
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Grit Denker, Jonathan K. Millen |
Modeling Group Communication Protocols Using Multiset Term Rewriting. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Gadducci, Ugo Montanari |
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Andrea Corradini 0001, Fabio Gadducci, Wolfram Kahl, Barbara König 0001 |
Inequational Deduction as Term Graph Rewriting. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Rewriting Calculus with(out) Types. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Mark van den Brand, Paul Klint, Jurgen J. Vinju |
Term Rewriting with Type-safe Traversal Functions. |
WRS |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Enno Ohlebusch |
Conditional Term Graph Rewriting with Indirect Sharing. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Adam Bakewell |
Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Bruni, José Meseguer 0001, Ugo Montanari |
Tiling Transactions in Rewriting Logic. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Salvador Lucas |
Lazy Rewriting and Context-Sensitive Rewriting. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Enno Ohlebusch |
Implementing conditional term rewriting by graph rewriting. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Quang Huy Nguyen 0002 |
Compact Normalisation Trace via Lazy Rewriting. |
WRS |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Gramlich, Salvador Lucas |
1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface. |
WRS |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Eelco Visser |
Stratego: A Language for Program Transformation Based on Rewriting Strategies. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan K. Millen |
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Joseph A. Goguen, Kai Lin, Grigore Rosu |
Behavioral and Coinductive Rewriting. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|