The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Rewriting with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1974 (18) 1975-1979 (17) 1980-1981 (17) 1982 (16) 1983-1984 (30) 1985 (47) 1986 (36) 1987 (87) 1988 (68) 1989 (98) 1990 (116) 1991 (101) 1992 (132) 1993 (137) 1994 (124) 1995 (175) 1996 (156) 1997 (132) 1998 (171) 1999 (144) 2000 (157) 2001 (206) 2002 (236) 2003 (251) 2004 (242) 2005 (275) 2006 (325) 2007 (350) 2008 (311) 2009 (281) 2010 (205) 2011 (143) 2012 (150) 2013 (162) 2014 (158) 2015 (167) 2016 (127) 2017 (100) 2018 (125) 2019 (118) 2020 (147) 2021 (120) 2022 (161) 2023 (172) 2024 (38)
Publication types (Num. hits)
article(1529) book(13) incollection(53) inproceedings(4777) phdthesis(101) proceedings(76)
Venues (Conferences, Journals, ...)
RTA(782) CoRR(355) WRLA(204) Theor. Comput. Sci.(127) CTRS(126) CADE(76) WRS(59) ICGT(53) ICALP(45) ALP(44) WRLA@ETAPS(42) J. Symb. Comput.(41) Inf. Comput.(40) MFCS(40) SIGMOD Conference(40) Inf. Process. Lett.(37) More (+10 of total 1423)
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
84Ilies Alouini Concurrent Garbage Collection for Concurrent Rewriting. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Concurrent rewriting, Concurrent garbage collection algorithms, Graph rewriting, MIMD architectures
79Grigore Rosu, Klaus Havelund Rewriting-Based Techniques for Runtime Verification. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, rewriting, runtime analysis
78Yoshihito Toyama Confluent Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
77Jordi Levy, Jaume Agustí-Cullell Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
73Maribel Fernández, Murdoch Gabbay, Ian Mackie Nominal rewriting systems. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ?-conversion, first and higher-order rewriting, binders
73Zena M. Ariola Relating graph and term rewriting via Böhm models. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Term model, Compiler optimizations, Correctness, Term rewriting, Graph rewriting
73Yabo Wang, David Lorge Parnas Simulating the Behavior of Software Modules by Trace Rewriting. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
72Andrea Corradini 0001, Fabio Gadducci, Ugo Montanari Relating Two Categorial Models of Term Rewriting. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF concurrency, term rewriting, rewriting logic, categorical models
68Santiago Escobar 0001 Refining weakly outermost-needed rewriting and narrowing. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF neededness, term rewriting, lazy evaluation, demandness, parallel evaluation
67Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati Natural Rewriting for General Term Rewriting Systems. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
67Friedrich Otto On the Connections between Rewriting and Formal Language Theory. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Alfons Geser Loops of Superexponential Lengths in One-Rule String Rewriting. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF uniform termination, one-rule, single-rule Submission category: Regular research paper, termination, loop, string rewriting, semi-Thue system
64Cristina Borralleras, Albert Rubio Orderings and Constraints: Theory and Practice of Proving Termination. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández A simple rewrite notion for call-time choice semantics. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming
62Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky Rewriting Logic as a Unifying Framework for Petri Nets. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
62Aart Middeldorp Term Rewriting. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
62Massimo Marchiori On the Expressive Power of Rewriting. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
62Grigore Rosu On implementing behavioral rewriting. Search on Bibsonomy ACM SIGPLAN Workshop on Rule-Based Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF behavioral rewriting, hidden equational logic, term rewriting, meta-programming
62Ann Grbavec, Dorothea Blostein Mathematics recognition using graph rewriting. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF mathematics recognition, high-level recognition, mathematical notation, symbol recognizer, recursive subexpressions, global context, operator precedence, operator range, two-dimensional patterns manipulation, notational conventions, circuit diagrams, musical scores, pattern recognition, image recognition, rewriting systems, graph rewriting, diagram recognition
61Takahito Aoto 0001, Toshiyuki Yamada Dependency Pairs for Simply Typed Term Rewriting. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
61José Meseguer 0001 Rewriting Logic and Maude: Concepts and Applications. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
61Femke van Raamsdonk Higher-Order Rewriting. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
61Takashi Nagaya, Yoshihito Toyama Decidability for Left-Linaer Growing Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
61John Field A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report). Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
61Salvador Lucas Termination of Context-Sensitive Rewriting by Rewriting. Search on Bibsonomy ICALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF functional programming, termination, term rewriting
61Mark Hills 0001, Grigore Rosu KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF object-oriented languages, term rewriting, formal analysis, rewriting logic, programming language semantics
60Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF orthogonal term rewriting systems, infinitary rewriting, strong converging reductions, infinite Church-Rosser Properties, Böhm Trees, head normal forms, non-unifiable term rewriting systems, normal forms
60Salvador Lucas Transfinite Rewriting Semantics for Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
58Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz Towards Rewriting in Coq. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Medha Shukla Sarkar GXL: a new graph transformation language. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF tree rewriting, graph grammars, graph rewriting
56Rui Zhou 0001, Chengfei Liu, Jianxin Li 0001, Junhu Wang Filtering Techniques for Rewriting XPath Queries Using Views. Search on Bibsonomy WISE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
56Gregory J. Duck, Peter J. Stuckey, Sebastian Brand ACD Term Rewriting. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Jean-Pierre Jouannaud Higher-Order Rewriting: Framework, Confluence and Termination. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Detlef Plump On Termination of Graph Rewriting. Search on Bibsonomy WG The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
56Yoshihito Toyama How to Prove Equivalence of Term Rewriting Systems without Induction. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
56Marc Aiguier, Diane Bahrami Structures for Abstract Rewriting. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
56Christof Löding, Alex Spelten Transition Graphs of Rewriting Systems over Unranked Trees. Search on Bibsonomy MFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Infinite graphs, unranked trees, rewriting, reachability
56Clara Bertolissi, Horatiu Cirstea, Claude Kirchner Expressing combinatory reduction systems derivations in the rewriting calculus. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rewriting calculus, Combinatory reduction systems, Matching
56Horatiu Cirstea, Luigi Liquori, Benjamin Wack Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
56René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp Adding constants to string rewriting. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Termination, Term rewriting, Confluence, String rewriting
56Su Feng Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automated formal proving, cover-set induction, dynamic term rewriting calculus, weakly ground termination, term rewriting system
55Florent Jacquemard, Michaël Rusinowitch Closure of Hedge-Automata Languages by Hedge Rewriting. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Takahito Aoto 0001 Dealing with Non-orientable Equations in Rewriting Induction. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Yohan Boichut, Thomas Genet Feasible Trace Reconstruction for Rewriting Approximations. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Ke Li Optimization of Rewriting and Complexity of Rewriting. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
53Frédéric Blanqui Computability Closure: Ten Years Later. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Xuezheng Fu, Hao Wang, William L. Harrison, Robert W. Harrison RNA Pseudoknot Prediction Using Term Rewriting. Search on Bibsonomy BIBE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. Search on Bibsonomy ICDT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Madhu Mutyam, Kamala Krithivasan Generalized normal form for rewriting P systems. Search on Bibsonomy Acta Informatica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Maxim Grinev, Sergei D. Kuznetsov Towards an Exhaustive Set of Rewriting Rules for XQuery Optimization: BizQuery Experience. Search on Bibsonomy ADBIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Detlef Plump Simplification Orders for Term Graph Rewriting. Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
50Junhu Wang, Jeffrey Xu Yu, Chengfei Liu Independence of Containing Patterns Property and Its Application in Tree Pattern Query Rewriting Using Views. Search on Bibsonomy World Wide Web The full citation details ... 2009 DBLP  DOI  BibTeX  RDF XPath, views, rewriting, containment, tree pattern
50Smriti Kumar Sinha, Azzedine Benameur A formal solution to rewriting attacks on SOAP messages. Search on Bibsonomy SWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF context-free signature, context-sensitive signature, regular tree grammar, xml rewriting attacks, security, formal methods, soap
50Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He Mapping Software Architecture Specification to Rewriting Logic (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Software architecture specification, Petri net, rewriting logic, interleaving semantics
50Makoto Hamana An initial algebra approach to term rewriting systems with variable binders. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Abstract syntax with variable binding, Term rewriting systems, Higher-order abstract syntax, Initial algebra semantics
50Sergio Antoy, Stephen Johnson Formalization and abstract implementation of rewriting with nested rules. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF term rewriting systems, non-determinism, narrowing, functional logic programming, block structured
50Bernhard Gramlich, Salvador Lucas Modular termination of context-sensitive rewriting. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies
50Ugo Montanari, Francesca Rossi 0001 Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF double categories, distributed systems, constraints, coordination, graph rewriting
50Ke Wang, Weining Zhang, Siu-Cheung Chau Decomposition of Magic Rewriting. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF arity reduction, magic rewriting, database, logic program, deductive database, bottom-up evaluation, program decomposition
50Mauricio Ayala-Rincón, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Term Rewriting Systems (TRS), algebraic manipulation, dynamically reconfigurable systems, Fast Fourier Transform (FFT), reconfigurable computing, systolic arrays, rewriting-logic
50Mauricio Ayala-Rincón, Ricardo P. Jacobi, Luis Gustavo A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic. Search on Bibsonomy SBCCI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF configware, morphware, reconfigurable systolic arrays, term rewriting systems (TRS), dynamic programming, rewriting-logic
50Makoto Hamana Term rewriting with variable binding: an initial algebra approach. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF abstract syntax with variable binding, monadic semantics of term rewriting systems, term rewriting systems, higher-order abstract syntax, initial algebra semantics
50Robert Cremanns Prefix-Rewriting on Context-Free Groups. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Context-free groups, Generalized word problem, Prefix-rewriting systems, Subgroups, String-rewriting systems
50Corrie Huijs A Graph Rewriting Approach for Transformational Design of Digital Systems. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
49Sorin Stratulat Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko Finer Is Better: Abstraction Refinement for Rewriting Approximations. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Jaco van de Pol, Hans Zantema Generalized Innermost Rewriting. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Takahito Aoto 0001, Toshiyuki Yamada Termination of Simply Typed Term Rewriting by Translation and Labelling. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Michaël Rusinowitch Rewriting for Deduction and Verification. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Maria C. F. Ferreira, A. L. Ribeiro Context-Sensitive AC-Rewriting. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Rakesh M. Verma, Shalitha Senanayake LarrowR2: A Laboratory fro Rapid Term Graph Rewriting. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49M. R. K. Krishna Rao Modularity of Termination in Term Graph Rewriting. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
49J. F. Th. Kamperman, H. R. Walters Lazy Rewriting and Eager Machinery. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
49Alfons Geser Termination of String Rewriting Rules That Have One Pair of Overlaps. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF one-rule, single-rule, uniform termination, termination, overlap, string rewriting, semi-Thue system
49Salvador Lucas Termination of (Canonical) Context-Sensitive Rewriting. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF (infinitary) normalization, termination, term rewriting
46Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Search on Bibsonomy Logic, Rewriting, and Concurrency The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
46Grigore Rosu From Rewriting Logic, to Programming Language Semantics, to Program Verification. Search on Bibsonomy Logic, Rewriting, and Concurrency The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
46Raúl Gutiérrez, Salvador Lucas Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. Search on Bibsonomy Logic, Rewriting, and Concurrency The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
46Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Search on Bibsonomy Logic, Rewriting, and Concurrency The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
46Hélène Kirchner Rewriting Strategies and Strategic Rewrite Programs. Search on Bibsonomy Logic, Rewriting, and Concurrency The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
46Hélène Kirchner Some Extensions of Rewriting. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Claude Marché Normalized Rewriting - Application to Ground Completion and Standard Bases. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Michael Bertol, Volker Diekert On Efficient Reduction Algorithms for Some Trace Rewriting Systems. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Gerard Lallement The Word Problem for Thue Rewriting Systems. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Max Dauchet Rewriting and Tree Automata. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Géraud Sénizergues Formal Languages and Word-Rewriting. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Philippe Balbiani, Luis Fariñas del Cerro Affine Geometry of Collinearity and Conditional Term Rewriting. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Jean-Pierre Jouannaud Introduction to Rewriting. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Robert H. Gilman 0001 Automatic Groups and String Rewriting. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Bruno Courcelle Graph Rewriting: A Bibliographical Guide. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
46Robert Brijder, Hendrik Jan Hoogeboom Extending the Overlap Graph for Gene Assembly in Ciliates. Search on Bibsonomy LATA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Val Pevzner, Andrew A. Kennings, Andy Fox Physical optimization for FPGAs using post-placement topology rewriting. Search on Bibsonomy ISPD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fpga, timing optimization, physical synthesis
45Luc Segoufin, Victor Vianu Views and queries: determinacy and rewriting. Search on Bibsonomy PODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Alin Deutsch, Bertram Ludäscher, Alan Nash Rewriting Queries Using Views with Access Patterns Under Integrity Constraints. Search on Bibsonomy ICDT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45J. B. Wells, Detlef Plump, Fairouz Kamareddine Diagrams for Meaning Preservation. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya Decidability of Safety Properties of Timed Multiset Rewriting. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, timed automata, decidability, timed Petri nets
45Taizan Chan, Siu Leung Chung, Teck-Hua Ho An Economic Model to Estimate Software Rewriting and Replacement Times. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF software replacement, optimization, Software maintenance, project management, economic modeling
45Sara Porat, Nissim Francez Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
45Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren A lightweight approach to datatype-generic rewriting. Search on Bibsonomy ICFP-WGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF term rewriting, datatype-generic programming
45Yougang Song, Brett D. Fleisch Utilizing Binary Rewriting for Improving End-Host Security. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Performance Evaluation, Web Servers, Traffic Analysis, Security and Protection, Binary Rewriting
Displaying result #1 - #100 of 6549 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license