Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Marek Olszewski, Jeremy Cutler, J. Gregory Steffan |
JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory. |
PACT |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Ulrike Ranger, Erhard Weinell |
The Graph Rewriting Language and Environment PROGRES. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Sam Lindley |
Extensional Rewriting with Sums. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Stephan Falke 0001, Deepak Kapur |
Dependency Pairs for Rewriting with Non-free Constructors. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Oana Andrei, Hélène Kirchner |
Graph Rewriting and Strategies for Modeling Biochemical Networks. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler |
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Object-Based Programming. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Reflection, Metalevel Computation, and Strategies. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
System Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Tiago Lopes Telecken, José Valdeni de Lima |
Increasing XML interoperability in Visual Rewriting Systems. |
WebMedia |
2006 |
DBLP DOI BibTeX RDF |
interoperability, visual languages, SVG |
22 | Maria-Esther Vidal, Louiqa Raschid, Natalia Marquez, Marelis Cardenas, Yao Wu |
Query Rewriting in the Semantic Web7. |
ICDE Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Ralf Rantzau, Christoph Mangold |
Laws for Rewriting Queries Containing Division Operators. |
ICDE |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Giorgio Delzanno, Roberto Montagna |
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Giorgio Delzanno, Javier Esparza, Jirí Srba |
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Carlos Morra, M. Sackmann, Sunil Shukla, Jürgen Becker 0001, Reiner W. Hartenstein |
From Equation to VHDL: Using Rewriting Logic for Automated Function Generation. |
FPL |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jörg Endrullis, Johannes Waldmann, Hans Zantema |
Matrix Interpretations for Proving Termination of Term Rewriting. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz |
Consistency and Completeness of Rewriting in the Calculus of Constructions. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Steve Barker, Maribel Fernández |
Term Rewriting for Access Control. (PDF / PS) |
DBSec |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Verena Kantere, Timos K. Sellis |
Reusing Classical Query Rewriting in P2P Databases. |
DBISP2P |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Chafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun'delanji Vestergaard, René Vestergaard |
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jinghua Groppe, Sven Groppe |
Satisfiability-Test, Rewriting and Refinement of Users' XPath Queries According to XML Schema Definitions. |
ADBIS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer |
Prototyping 3APL in the Maude Term Rewriting Language. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Andrew Walenstein, Rachit Mathur, Mohamed R. Chouchane, Arun Lakhotia |
Normalizing Metamorphic Malware Using Term Rewriting. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Ming-Yee Iu, Willy Zwaenepoel |
Queryll: Java Database Queries Through Bytecode Rewriting. |
Middleware |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Yo Ohta, Masahito Hasegawa |
A Terminating and Confluent Linear Lambda Calculus. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Mathieu Turuani |
The CL-Atse Protocol Analyser. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Traian-Florin Serbanuta, Grigore Rosu |
Computationally Equivalent Elimination of Conditions. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Ian Wehrman, Aaron Stump, Edwin M. Westbrook |
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Kohji Tomita, Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa |
Self-description for Construction and Execution in Graph Rewriting Automata. |
ECAL |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse |
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
22 | José Meseguer 0001 |
A Rewriting Logic Sampler. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Artur Boronat, José A. Carsí, Isidro Ramos |
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. |
CSMR |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Karina Olmos, Eelco Visser |
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Xia Yang, Mong-Li Lee, Tok Wang Ling, Gillian Dobbie |
A Semantic Approach to Query Rewriting for Integrated XML Data. |
ER |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Serge Abiteboul, Tova Milo, Omar Benjelloun |
Regular rewriting of active XML and unambiguity. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jin Ho You, Seong Chae Seo, Young Dae Kim, Jun Yong Choi, Sang Jun Lee, Byung Ki Kim |
Kimchi: A Binary Rewriting Defense Against Format String Attacks. |
WISA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Aurelia Profir, Emilian Gutuleac, Elena Boian |
Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jin Ho You, Seong Chae Seo, Young Dae Kim, Jun Yong Choi, Sang Jun Lee, Byung Ki Kim |
Protection Against Format String Attacks by Binary Rewriting. |
CIS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 |
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini |
On the equivalence and rewriting of aggregate queries. |
Acta Informatica |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Xiaochun Yang 0001, Bin Wang 0015, Guoren Wang, Ge Yu 0001 |
A Query Rewriting System for Enhancing the Queriability of Form-Based Interface. |
ICADL |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Antoine Meyer |
On Term Rewriting Systems Having a Rational Derivation. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema |
Finding Finite Automata That Certify Termination of String Rewriting. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
22 | José Meseguer 0001, Grigore Rosu |
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Niels Van Eetvelde, Dirk Janssens |
Extending Graph Rewriting for Refactoring. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Oded Shmueli, George A. Mihaila, Sriram Padmanabhan |
Query-Customized Rewriting and Deployment of DB-to-XML Mappings. |
EDBT |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Frédéric Blanqui |
A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Sébastien Limet, Gernot Salzer |
Proving Properties of Term Rewrite Systems via Logic Programs. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Abdelhak Seriai |
An Object-Oriented Representation and Reasoning Model to Rewriting Queries Using Views. |
IDEAS |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Abdelhak Seriai |
Object Oriented Mechanisms to Rewriting Queries Using Views. |
DEXA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Mauricio Ayala-Rincón, Rodrigo Borges Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein |
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic. |
SBCCI |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Daniela Besozzi, Giancarlo Mauri, György Vaszil, Claudio Zandron |
Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts. |
Workshop on Membrane Computing |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Cristina Borralleras, Albert Rubio |
Monotonic AC-Compatible Semantic Path Orderings. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
The Maude 2.0 System. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Gilles Barthe, Sorin Stratulat |
Validation of the JavaCard Platform with Implicit Induction Techniques. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Louis Giavitto |
Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Feng Chen 0006, Grigore Rosu, Ram Prasad Venkatesan |
Rule-Based Analysis of Dimensional Safety. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu |
A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Christof Löding |
Model-Checking Infinite Systems Generated by Ground Tree Rewriting. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Nasreddine Aoumeur, Gunter Saake |
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Daniela Besozzi, Giancarlo Mauri, Claudio Zandron |
Parallel Rewriting P Systems without Target Conflicts. |
WMC-CdeA |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Hideaki Suzuki |
String Rewriting Grammar Optimized Using an Evolvability Measure. |
ECAL |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Genet, Valérie Viet Triem Tong |
Reachability Analysis of Term Rewriting Systems with Timbuk. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Jacek Plodzien, Kazimierz Subieta |
Applying Low-Level Query Optimization Techniques by Rewriting. |
DEXA |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Claudio Zandron, Claudio Ferretti, Giancarlo Mauri |
Two Normal Forms for Rewriting P Systems. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Nadia Nedjah, Luiza de Macedo Mourelle |
Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Alessandro Armando, Clemens Ballarin |
Maple's evaluation process as constraint contextual rewriting. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
Maple |
22 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Matching Power. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses |
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Genet, Francis Klay |
Rewriting for Cryptographic Protocol Verification. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Barbara König 0001 |
A General Framework for Types in Graph Rewriting. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin |
CDR: A Rewriting Based Tool to Design FPLA Circuits. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
22 | José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos |
Formalizing Rewriting in the ACL2 Theorem Prover. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Paolo Bottoni, Maria Francesca Costabile, Piero Mussio |
Specification and dialogue control of visual interaction through visual rewriting systems. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
control automaton, dialogue control, visual languages |
22 | Peter J. Rodgers, Natalia Vidal |
A Demonstration of the Grrr Graph Rewriting Programming Language. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Marinus J. Plasmeijer, Marko C. J. D. van Eekelen |
Term Graph Rewriting and Mobile Expressions in Functional Languages. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Yahia Rabih, Michel Schneider |
Analysis of Active Database Rules Behavior Using Rewriting Logic. |
DEXA |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Peter J. Rodgers, Natalia Vidal |
Pragmatic Graph Rewriting Modifications. |
VL |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Joachim Kröger, Regina Illner, Steffen Rost, Andreas Heuer 0001 |
Query Rewriting and Search in CROQUE. |
ADBIS |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Ian Welch, Robert J. Stroud |
Kava - A Reflective Java Based on Bytecode Rewriting. |
Reflection and Software Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Friedrich Otto |
On S-Regular Prefix-Rewriting Systems and Automatic Structures. |
COCOON |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Jürgen Giesl, Aart Middeldorp |
Transforming Context-Sensitive Rewrite Systems. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Stephan Kepser, Jörn Richts |
UNIMOK: A System for Combining Equational Unification Algorithm. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Hélène Touzet |
A Characterisation of Multiply Recursive Functions with Higman's Lemma. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang 0001 |
Clifford Term Rewriting for Geometric Reasoning in 3D. |
Automated Deduction in Geometry |
1998 |
DBLP DOI BibTeX RDF |
|
22 | W. Marco Schorlemmer |
Term Rewriting in a Logic of Special Relations. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Renate Klempien-Hinrichs |
Net Refinement by Pullback Rewriting. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach |
Building Program Optimizers with Rewriting Strategies. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
ML |
22 | Stéphane Fèvre, Dongming Wang 0001 |
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Friedrich Otto, Andrea Sattler-Klein, Klaus Madlener |
Automatic Monoids Versus Monoids with Finite Convergent Presentations. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Enno Ohlebusch |
Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Irène Durand, Aart Middeldorp |
Decidable Call by Need Computations in term Rewriting (Extended Abstract). |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Maribel Fernández, Ian Mackie |
Interaction Nets and Term Rewriting Systems (Extended Abstract). |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Giulio Balestreri |
Term Rewriting Systems: An h-Categorical Semantic. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer |
Graph Rewriting Semantics for Functional Programming Languages. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema |
Relative Undecidability in Term Rewriting. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Vincent van Oostrom |
Higher-Order Families. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
22 | 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 |
|
22 | Roberto Di Cosmo, Delia Kesner |
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Karl-Heinz Buth |
Simulation of SOS Definitions with Term Rewriting Systems. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|