Works matching DE "REWRITING systems (Computer science)"

Results: 89

Inducing production rules to extend existing design grammars: The parse/derive method.

Published in:

Computer-Aided Design & Applications, 2017, v. 14, n. 4, p. 535, doi. 10.1080/16864360.2016.1257195

By:

Eichhoff, Julian R.;
Schmidt, Jens;
Roller, Dieter

Publication type:

Article

Sound, complete and minimal UCQ-rewriting for existential rules.

Published in:

Semantic Web (1570-0844), 2015, v. 6, n. 5, p. 451, doi. 10.3233/SW-140153

By:

König, Mélanie;
Leclère, Michel;
Mugnier, Marie-Laure;
Thomazo, Michaël

Publication type:

Article

Internal Scaffold Architecture Designs using Lindenmayer Systems.

Published in:

Computer-Aided Design & Applications, 2007, v. 4, n. 1-4, p. 395, doi. 10.1080/16864360.2007.10738559

By:

Starly, Binil;
Wei Sun

Publication type:

Article

Constraint Generation for Alternative Dimensional Specifications.

Published in:

Computer-Aided Design & Applications, 2004, v. 1, n. 1-4, p. 675, doi. 10.1080/16864360.2004.10738313

By:

Lin Jietong;
Thimm, Georg

Publication type:

Article

Widening techniques for regular tree model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 145, doi. 10.1007/s10009-011-0208-8

By:

Bouajjani, Ahmed;
Touili, Tayssir

Publication type:

Article

Free operated monoids and rewriting systems.

Published in:

Semigroup Forum, 2018, v. 97, n. 3, p. 435, doi. 10.1007/s00233-018-9939-0

By:

Zhang, Jin;
Gao, Xing

Publication type:

Article

Finitely presented monoids with linear Dehn function need not have regular cross-sections.

Published in:

Semigroup Forum, 2014, v. 88, n. 2, p. 300, doi. 10.1007/s00233-013-9531-6

By:

Cain, Alan;
Maltcev, Victor

Publication type:

Article

Reductions for vector ( n, m)-presentations of ( n, m)-semigroups.

Published in:

Semigroup Forum, 2013, v. 86, n. 3, p. 663, doi. 10.1007/s00233-012-9452-9

By:

Dimovski, Dončo;
Stojmenovska, Irena

Publication type:

Article

P-99: Increasing Rewriting Speed of Optically Rewritable E-Paper by Electric Field.

Published in:

SID Symposium Digest of Technical Papers, 2015, v. 46, n. 1, p. 1531, doi. 10.1002/sdtp.10073

By:

Sun, Jiatong;
Zhang, Wanlong;
Chigrinov, Vladimir;
Kwok, Hoi Sing

Publication type:

Article

ON CONTEXT-FREE REWRITING WITH A SIMPLE RESTRICTION AND ITS COMPUTATIONAL COMPLETENESS.

Published in:

RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 2, p. 365, doi. 10.1051/ita/2009002

By:

Masopust, Tomáš;
Meduna, Alexander

Publication type:

Article

PORGY: A Visual Graph Rewriting Environment for Complex Systems.

Published in:

Computer Graphics Forum, 2012, v. 31, n. 3pt4, p. 1265, doi. 10.1111/j.1467-8659.2012.03119.x

By:

Pinaud, B.;
Melançon, G.;
Dubois, J.

Publication type:

Article

LARS: A learning algorithm for rewriting systems.

Published in:

Machine Learning, 2007, v. 66, n. 1, p. 7, doi. 10.1007/s10994-006-9593-8

By:

Rémi Eyraud;
Colin de la Higuera;
Jean-Christophe Janodet

Publication type:

Article

Prefix probabilities for linear context-free rewriting systems.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 2, p. 331, doi. 10.1093/logcom/exs081

By:

Nederhof, Mark-Jan;
Satta, Giorgio

Publication type:

Article

Paramodulation with Well-founded Orderings.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 2, p. 263

By:

BOFILL, MIQUEL;
RUBIO, ALBERT

Publication type:

Article

Book Review.

Published in:

2006

By:

Banach, R.

Publication type:

Book Review

Interaction Net Implementation of Additive and Multiplicative Structures.

Published in:

Journal of Logic & Computation, 2005, v. 15, n. 2, p. 219, doi. 10.1093/logcom/exi011

By:

Mackie, Ian

Publication type:

Article

Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting.

Published in:

Journal of Logic & Computation, 2005, v. 15, n. 2, p. 201, doi. 10.1093/logcom/exi010

By:

Sinot, François-Régis

Publication type:

Article

PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 2, p. 253, doi. 10.1142/S0218194010004712

By:

OGATA, KAZUHIRO;
FUTATSUGI, KOKICHI

Publication type:

Article

String Rewriting Systems and Finiteness Conditions for Monoids.

Published in:

Southeast Asian Bulletin of Mathematics, 2008, v. 32, n. 5, p. 999

By:

Jing Wang

Publication type:

Article

Explicit substitutions calculi with one step Eta-reduction decided explicitly.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 697, doi. 10.1093/jigpal/jzp027

By:

Ventura, Daniel;
Ayala-Rincón, Mauricio;
Kamareddine, Fairouz

Publication type:

Article

Verification of Complex Real-time Systems Using Rewriting Logic.

Published in:

Journal of Computing & Information Technology, 2009, v. 17, n. 3, p. 265, doi. 10.2498/cit.1001272

By:

Bourahla, Mustapha

Publication type:

Article

Automating the database schema evolution process.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2013, v. 22, n. 1, p. 73, doi. 10.1007/s00778-012-0302-x

By:

Curino, Carlo;
Moon, Hyun;
Deutsch, Alin;
Zaniolo, Carlo

Publication type:

Article

QFilter: rewriting insecure XML queries to secure ones using non-deterministic finite automata.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2011, v. 20, n. 3, p. 397, doi. 10.1007/s00778-010-0202-x

By:

Bo Luo;
Dongwon Lee;
Wang-Chien Lee;
Peng Liu

Publication type:

Article

Type introduction for equational rewriting.

Published in:

Acta Informatica, 2000, v. 36, n. 12, p. 1007, doi. 10.1007/PL00013300

By:

Middeldorp, Aart;
Ohsaki, Hitoshi

Publication type:

Article

Code generation based on formal BURS theory and heuristic search.

Published in:

Acta Informatica, 1997, v. 34, n. 8, p. 597, doi. 10.1007/s002360050099

By:

Nymeyer, A.;
Katoen, J.-P.

Publication type:

Article

Unconditional transfer in regulated rewriting.

Published in:

Acta Informatica, 1997, v. 34, n. 11, p. 837, doi. 10.1007/s002360050108

By:

Fernau, Henning

Publication type:

Article

Membrane Calculus: a formal method for Grid transactions.

Published in:

Concurrency & Computation: Practice & Experience, 2006, v. 18, n. 14, p. 1799, doi. 10.1002/cpe.1030

By:

Zhengwei Qi;
Minglu Li;
Cheng Fu;
Dongyu Shi;
Jinyuan You

Publication type:

Article

Hierarchical Petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems.

Published in:

International Journal of Computer Integrated Manufacturing, 2009, v. 22, n. 2, p. 158, doi. 10.1080/09511920802014904

By:

Dai, X.;
Li, J.;
Meng, Z.

Publication type:

Article

A uniform model for almost convexity and rewriting systems.

Published in:

Journal of Group Theory, 2015, v. 18, n. 5, p. 805, doi. 10.1515/jgth-2015-0011

By:

Brittenham, Mark;
Hermiller, Susan

Publication type:

Article

GROUP EXTENSIONS OVER INFINITE WORDS.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 5, p. 1001, doi. 10.1142/S0129054112400424

By:

DIEKERT, VOLKER;
MYASNIKOV, ALEXEI

Publication type:

Article

P SYSTEMS AND TOPOLOGY:: SOME SUGGESTIONS FOR RESEARCH.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 179, doi. 10.1142/S0129054111007939

By:

FRISCO, PIERLUIGI;
HOOGEBOOM, HENDRIK JAN;
Gheorghe, Marian

Publication type:

Article

HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 837, doi. 10.1142/S0129054109006917

By:

BOICHUT, YOHAN;
COURBIS, ROMEO;
HEAM, PIERRE-CYRILLE;
KOUCHNARENKO, OLGA

Publication type:

Article

ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 669, doi. 10.1142/S0129054109006802

By:

ALMEIDA, MARCO;
MOREIRA, NELMA;
REIS, ROGÉRIO

Publication type:

Article

REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 3, p. 395, doi. 10.1142/S0129054109006644

By:

Lucanu, Dorel

Publication type:

Article

TERMINATION OF ABSTRACT REDUCTION SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 57, doi. 10.1142/S0129054109006450

By:

Dawson, Jeremy E.;
Goré, Rajeev

Publication type:

Article

CONTEXT-FREE GRAMMARS WITH LINKED NONTERMINALS.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1271, doi. 10.1142/S0129054107005315

By:

KLEIN, ANDREAS;
KUTRIB, MARTIN;
Stiebe, R.

Publication type:

Article

COOPERATING DISTRIBUTED SYSTEMS OF RESTARTING AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1333, doi. 10.1142/S0129054107005376

By:

MESSERSCHMIDT, HARTMUT;
OTTO, FRIEDRICH;
Truthe, B.

Publication type:

Article

P SYSTEMS WITH SINGLE PASSENGER CARRIERS.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1227, doi. 10.1142/S0129054107005273

By:

GAO, YAN;
HOOGEBOOM, HENDRIK JAN;
Stiebe, R.

Publication type:

Article

AMBIGUITY BY RESTARTING AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1343

By:

MRÁZ, FRANTIŠEK;
PLÁTEK, MARTIN;
JURDZIŃSKI, TOMASZ;
Truthe, B.

Publication type:

Article

TWO RELATED ALGORITHMS FOR ROOT-TO-FRONTIER TREE PATTERN MATCHING.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 6, p. 1253, doi. 10.1142/S012905410600439X

By:

CLEOPHAS, LOEK;
HEMERIK, KEES;
ZWAAN, GERARD

Publication type:

Article

GENERATION OF LANGUAGES BY REWRITING SYSTEMS THAT RESEMBLE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 5, p. 1223

By:

KŘIVKA, ZBYNĚK;
MEDUNA, ALEXANDER;
SCHÖNECKER, RUDOLF;
Păun, Gheorghe

Publication type:

Article

FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2005, v. 16, n. 3, p. 471, doi. 10.1142/S0129054105003108

By:

Geser, Alfons;
Hofbauer, Dieter;
Waldmann, Johannes;
Zantema, Hans

Publication type:

Article

PROBABILISTIC REWRITING P SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 1, p. 157, doi. 10.1142/S0129054103001649

By:

Madhu, Mutyam

Publication type:

Article

Formal specification and analysis of functional properties of graph rewriting-based model transformation.

Published in:

Software Testing: Verification & Reliability, 2013, v. 23, n. 5, p. 405, doi. 10.1002/stvr.1502

By:

Asztalos, Márk;
Lengyel, László;
Levendovszky, Tihamér

Publication type:

Article

IMPROVED NET REWRITING SYSTEMS–EXTENDED PETRI NETS SUPPORTING DYNAMIC CHANGES.

Published in:

Journal of Circuits, Systems & Computers, 2008, v. 17, n. 6, p. 1027, doi. 10.1142/S0218126608004794

By:

LI, JUN;
DAI, XIANZHONG;
MENG, ZHENGDA;
XU, LIBO

Publication type:

Article

Markov and Artin Normal Form Theorem for Braid Groups.

Published in:

Communications in Algebra, 2007, v. 35, n. 7, p. 2105, doi. 10.1080/00927870701302115

By:

Bokut, L. A.;
Chaynikov, V. V.;
Shum, K. P.

Publication type:

Article

Software Reuse in Product Populations.

Published in:

IEEE Transactions on Software Engineering, 2005, v. 31, n. 7, p. 537, doi. 10.1109/TSE.2005.84

By:

van Ommering, Rob

Publication type:

Article

Automatically Checking an Implementation against Its Formal Specification.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 1, p. 55, doi. 10.1109/32.825766

By:

Antoy, Sergio;
Hamlet, Dick

Publication type:

Article

LIVENESS VERIFICATION IN TRSS USING TREE AUTOMATA AND TERMINATION ANALYSIS.

Published in:

Computing & Informatics, 2010, v. 29, n. 3, p. 407

By:

MOUSAZADEH, Mousa;
LADANI, Behrouz TORK;
ZANTEMA, Hans

Publication type:

Article

Enhanced graph rewriting systems for complex software domains.

Published in:

Software & Systems Modeling, 2016, v. 15, n. 3, p. 685, doi. 10.1007/s10270-014-0433-1

By:

Eichler, Cédric;
Monteil, Thierry;
Stolf, Patricia;
Grieco, Luigi;
Drira, Khalil

Publication type:

Article