Search results for "rewriting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder	Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time.	CADE	1988	DBLP DOI BibTeX RDF
16	Pierpaolo Degano, Ugo Montanari	A model for distributed systems based on graph rewriting.	J. ACM	1987	DBLP DOI BibTeX RDF
16	Philippe Schnoebelen	Rewriting Techniques for the Temporal Analysis of Communicating Processes.	PARLE (2)	1987	DBLP DOI BibTeX RDF
16	Duane A. Bailey, Janice E. Cuny	An Approach to Programming Process Interconnections Structures: Aggregate Rewriting Graph Grammars.	PARLE (2)	1987	DBLP DOI BibTeX RDF
16	R. Ramesh 0001, I. V. Ramakrishnan	Optimal Speedups for Parallel Pattern Matching in Trees.	RTA	1987	DBLP DOI BibTeX RDF
16	Alfons Geser, Heinrich Hußmann	Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution.	ESOP	1986	DBLP DOI BibTeX RDF
16	Ahlem Ben Cherifa, Pierre Lescanne	An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations.	CADE	1986	DBLP DOI BibTeX RDF
16	Deepak Kapur, Paliath Narendran, G. Sivakumar	A Path Ordering for Proving Termination of Term Rewriting Systems.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
16	Stavros S. Cosmadakis, Paris C. Kanellakis	Two Applications of Equational Theories to Database Theory.	RTA	1985	DBLP DOI BibTeX RDF
16	Bruno Courcelle, F. Lavandier	A Class of Program Schemes Based on Tree Rewriting Systems.	CAAP	1983	DBLP DOI BibTeX RDF
16	John V. Guttag, Deepak Kapur, David R. Musser	Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems.	ICALP	1982	DBLP DOI BibTeX RDF
16	Nachum Dershowitz	Termination of Linear Rewriting Systems (Preliminary Version).	ICALP	1981	DBLP DOI BibTeX RDF
16	Hans-Josef Jeanrond	Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully.	CADE	1980	DBLP DOI BibTeX RDF
11	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
11	Ziqing Mao, Cormac Herley	A robust link-translating proxy server mirroring the whole web.	SAC	2010	DBLP DOI BibTeX RDF
11	Loïc Petit, Cyril Labbé, Claudia Roncancio	An algebric window model for data stream management.	MobiDE	2010	DBLP DOI BibTeX RDF	data stream, optimisation, algebra, window, transposition
11	Michael Schmidt 0002, Michael Meier 0002, Georg Lausen	Foundations of SPARQL query optimization.	ICDT	2010	DBLP DOI BibTeX RDF	SPARQL algebra, complexity, query optimization, RDF, SPARQL, semantic query optimization
11	Yuan Ni, Chee Yong Chan	Dissemination of heterogeneous XML data in publish/subscibe systems.	CIKM	2009	DBLP DOI BibTeX RDF	data rewritting, XML, heterogeneous, dissemination
11	Hélène Jaudoin, Pierre Colomb, Olivier Pivert	Ranking Approximate Query Rewritings Based on Views.	FQAS	2009	DBLP DOI BibTeX RDF
11	Héctor Pérez-Urbina, Ian Horrocks 0001, Boris Motik	Efficient Query Answering for OWL 2.	ISWC	2009	DBLP DOI BibTeX RDF
11	Friedrich Otto, Heiko Stamer	Single-Path Restarting Tree Automata.	CAI	2009	DBLP DOI BibTeX RDF	restarting tree automaton, single-path top-down tree automaton, classes of tree languages, linear context-free tree language
11	Sebastian Höhn	Model-based reasoning on the achievement of business goals.	SAC	2009	DBLP DOI BibTeX RDF
11	Boris Glavic, Gustavo Alonso	The perm provenance management system in action.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	provenance, query rewrite
11	Dong Kwan Kim, Myoungkyu Song, Eli Tilevich, Calvin J. Ribbens, Shawn A. Bohner	Dynamic Software Updates for Accelerating Scientific Discovery.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Time-to-Discovery, Computationally-Intensive Applications, JVM HotSwap, Bytecode Enhancement, Dynamic Software Updates
11	Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem	Formalizing ARTIS Agent Model Using RT-Maude.	MATES	2009	DBLP DOI BibTeX RDF	ARTIS Agent, Real-Time Maude, Formal specification, Validation
11	Michele Baggi, Demis Ballis, Moreno Falaschi	Quantitative Pathway Logic for Computational Biology.	CMSB	2009	DBLP DOI BibTeX RDF
11	Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro	The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.	CMSB	2009	DBLP DOI BibTeX RDF
11	Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles	TomML: A Rule Language for Structured Data.	RuleML	2009	DBLP DOI BibTeX RDF
11	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001	Termination Modulo Combinations of Equational Theories.	FroCoS	2009	DBLP DOI BibTeX RDF
11	Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto Weber Vasconcelos	A Fine-Grained Approach to Resolving Unsatisfiable Ontologies.	J. Data Semantics	2008	DBLP DOI BibTeX RDF	Description Logics reasoning, Ontologies
11	Cynthia Kop, Femke van Raamsdonk	A Higher-Order Iterative Path Ordering.	LPAR	2008	DBLP DOI BibTeX RDF
11	Lily Li 0001, Kerry L. Taylor	A Framework for Semantic Sensor Network Services.	ICSOC	2008	DBLP DOI BibTeX RDF
11	Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella	Regional Languages and Tiling: A Unifying Approach to Picture Grammars.	MFCS	2008	DBLP DOI BibTeX RDF	picture grammar, 2D language, CKY algorithm, tiling, syntactic pattern recognition, Picture language
11	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar	Compiling self-adjusting programs with continuations.	ICFP	2008	DBLP DOI BibTeX RDF	memoization, continuation-passing style, self-adjusting computation
11	Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran	Unification and Matching Modulo Leaf-Permutative Equational Presentations.	IJCAR	2008	DBLP DOI BibTeX RDF
11	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001	MTT: The Maude Termination Tool (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
11	Germán Vidal	Termination of Narrowing in Left-Linear Constructor Systems.	FLOPS	2008	DBLP DOI BibTeX RDF
11	Michal Moskal	Rocket-Fast Proof Checking for SMT Solvers.	TACAS	2008	DBLP DOI BibTeX RDF
11	Martin Sulzmann, Edmund S. L. Lam	Parallel execution of multi-set constraint rewrite rules.	PPDP	2008	DBLP DOI BibTeX RDF
11	Chafia Bouanaka, Faiza Belala	Towards a mobile architecture description language.	AICCSA	2008	DBLP DOI BibTeX RDF
11	Paolo Baldan, Barbara König 0001	Workshop on Petri Nets and Graph Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
11	Sérgio L. S. Mergen, Juliana Freire, Carlos A. Heuser	Querying structured information sources on the web.	iiWAS	2008	DBLP DOI BibTeX RDF
11	Khalil Djelloul	A Full First-Order Constraint Solver for Decomposable Theories.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
11	Rachel Pottinger, Philip A. Bernstein	Schema merging and mapping creation for relational sources.	EDBT	2008	DBLP DOI BibTeX RDF
11	Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto	Service Oriented Architectural Design.	TGC	2007	DBLP DOI BibTeX RDF
11	Eunsuk Kang, Mark D. Aagaard	Improving the Usability of HOL Through Controlled Automation Tactics.	TPHOLs	2007	DBLP DOI BibTeX RDF
11	Masaki Nakamura 0001, Kokichi Futatsugi	On Equality Predicates in Algebraic Specification Languages.	ICTAC	2007	DBLP DOI BibTeX RDF
11	Silvio Ranise, Christelle Scharff	Building Extended Canonizers by Graph-Based Deduction.	ICTAC	2007	DBLP DOI BibTeX RDF
11	Rafael del Vado Vírseda	A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.	ICTAC	2007	DBLP DOI BibTeX RDF
11	Colin Riba	Strong Normalization as Safe Interaction.	LICS	2007	DBLP DOI BibTeX RDF
11	K. G. Subramanian 0001	P Systems and Picture Languages.	MCU	2007	DBLP DOI BibTeX RDF
11	Mohammad Ashiqur Rahaman, Andreas Schaad	SOAP-based Secure Conversation and Collaboration.	ICWS	2007	DBLP DOI BibTeX RDF
11	Song Wang 0001, Ling Wang 0002, Elke A. Rundensteiner	Isolating Order Semantics in Order-Sensitive XQuery-to-SQL Translation.	BNCOD	2007	DBLP DOI BibTeX RDF
11	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	Comparing the Expressive Power of Well-Structured Transition Systems.	CSL	2007	DBLP DOI BibTeX RDF	well-structured systems, language theory, Expressiveness
11	Ninghui Li, John C. Mitchell	Understanding SPKI/SDSI using first-order logic.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	SPKT, SDSI, Trust, Logic programs, management, Language, Logic
11	Jason Hickey, Aleksey Nogin	Formal compiler construction in a logical framework.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Formal compiler, Higher-order abstract syntax, Logical programming environment
11	Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike	Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
11	David A. Greve	Parameterized congruences in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF
11	Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay	Algebra-Based Identification of Tree Patterns in XQuery.	FQAS	2006	DBLP DOI BibTeX RDF
11	Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno	LMNtal as a Unifying Declarative Language: Live Demonstration.	ICLP	2006	DBLP DOI BibTeX RDF
11	Luca Bianco, Federico Fontana, Giuditta Franco, Vincenzo Manca	P Systems for Biological Dynamics.	Applications of Membrane Computing	2006	DBLP DOI BibTeX RDF
11	Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg	Workshop on Petri Nets and Graph Transformations.	ICGT	2006	DBLP DOI BibTeX RDF
11	François Boisson, Michel Scholl, Imen Sebei, Dan Vodislav	Scalability of Source Identification in Data Integration Systems.	SITIS	2006	DBLP DOI BibTeX RDF
11	Robert Paige	An NSF Proposal.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	data structure selection, program transformation, partial evaluation, software productivity, software performance, language translators
11	Engie Bashir, Jihad Boulos	Relaxing Result Accuracy for Performance in Publish/Subscribe Systems.	WISE	2005	DBLP DOI BibTeX RDF
11	Marisa Llorens, Javier Oliver 0001	MCReNet: a tool for Marked-Controlled Reconfigurable Nets.	QEST	2005	DBLP DOI BibTeX RDF
11	Robin Milner	Embeddings and Contexts for Link Graphs.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
11	Ariel Fuxman, Elham Fazli, Renée J. Miller	ConQuer: Efficient Management of Inconsistent Databases.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
11	Luca Bianco, Federico Fontana, Vincenzo Manca	Reaction-Driven Membrane Systems.	ICNC (2)	2005	DBLP DOI BibTeX RDF
11	Brahim Hamid, Mohamed Mosbah 0001	An Automatic Approach to Self-Stabilization.	SNPD	2005	DBLP DOI BibTeX RDF
11	Tomasz Truderung	Selecting Theories and Recursive Protocols.	CONCUR	2005	DBLP DOI BibTeX RDF
11	László Lengyel, Tihamer Levendovszky, Hassan Charaf	Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF	Metamodel-Based Graph Transformation Steps, Aspect-Oriented Constraints, Crosscutting Constraints, Weaving AO Constraints, VMTS, OCL
11	Artiom Alhazov	Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
11	Christoph Schwarzweller	Gröbner Bases - Theory Refinement in the Mizar System.	MKM	2005	DBLP DOI BibTeX RDF
11	Philippe de Groote, Sylvain Pogodalla	On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	Abstract categorial grammars, lambda-calculus, context-free grammars, formal language theory
11	Yannis Velegrakis, Renée J. Miller, Lucian Popa 0001	Preserving mapping consistency under schema changes.	VLDB J.	2004	DBLP DOI BibTeX RDF
11	Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino	Theoroidal Maps as Algebraic Simulations.	WADT	2004	DBLP DOI BibTeX RDF
11	Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo	Shrinking Reductions in SML.NET.	IFL	2004	DBLP DOI BibTeX RDF
11	Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu	Formal Analysis of Java Programs in JavaFAN.	CAV	2004	DBLP DOI BibTeX RDF
11	Stephen Lack, Pawel Sobocinski 0001	Adhesive Categories.	FoSSaCS	2004	DBLP DOI BibTeX RDF
11	Wenfei Fan, Chee Yong Chan, Minos N. Garofalakis	Secure XML Querying with Security Views. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
11	Espen H. Lian, Tore Langholm, Arild Waaler	Only Knowing with Confidence Levels: Reductions and Complexity.	JELIA	2004	DBLP DOI BibTeX RDF
11	Andreas Behrend, Rainer Manthey	Update Propagation in Deductive Databases Using Soft Stratification.	ADBIS	2004	DBLP DOI BibTeX RDF
11	Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman	The Potential of a Chemical Graph Transformation System.	ICGT	2004	DBLP DOI BibTeX RDF
11	Annegret Habel, Berthold Hoffmann	Parallel Independence in Hierarchical Graph Transformation.	ICGT	2004	DBLP DOI BibTeX RDF
11	Peter Csaba Ölveczky, José Meseguer 0001	Specification and Analysis of Real-Time Systems Using Real-Time Maude.	FASE	2004	DBLP DOI BibTeX RDF
11	Kazunori Ueda, Norio Kato	LMNtal: A Language Model with Links and Membranes.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
11	Eelco Visser	Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
11	Pedro José Marrón, Georg Lausen, Martin Weber 0002	Catalog Integration Made Easy.	ICDE	2003	DBLP DOI BibTeX RDF
11	André Marburger, Bernhard Westfechtel	Behavioral Analysis of Telecommunication Systems by Graph Transformations.	AGTIVE	2003	DBLP DOI BibTeX RDF
11	Ninghui Li, John C. Mitchell	Understanding SPKI/SDSI Using First-Order Logic.	CSFW	2003	DBLP DOI BibTeX RDF
11	Nadia Nedjah, Luiza de Macedo Mourelle	More Efficient Left-to-Right Pattern Matching in Non-sequential Equational Programs.	CPM	2003	DBLP DOI BibTeX RDF
11	Hans Vangheluwe, Juan de Lara	Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.	WSC	2003	DBLP DOI BibTeX RDF
11	Jason Hickey, Aleksey Nogin, Adam Granicz	Compiler implementation in a formal logical framework.	MERLIN	2003	DBLP DOI BibTeX RDF	formal compiler, higher-order abstract syntax, logical programming environment
11	Adam Granicz, Jason Hickey	Phobos: A Front-End Approach to Extensible Compilers.	HICSS	2003	DBLP DOI BibTeX RDF
11	Vincent Danos, Cosimo Laneve	Graphs for Core Molecular Biology.	CMSB	2003	DBLP DOI BibTeX RDF
11	Andrei Paun	P Systems with Global Rules.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
11	Julia Khodor, David K. Gifford	Programmed Mutagenesis Is Universal.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
11	Ahmed Bouajjani, Tayssir Touili	Extrapolating Tree Transformations.	CAV	2002	DBLP DOI BibTeX RDF
11	Marco Bozzano, Giorgio Delzanno	Algorithmic Verification of Invalidation-Based Protocols.	CAV	2002	DBLP DOI BibTeX RDF