Search results for "Graph rewriting systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Andy Schürr, Andreas J. Winter, Albert Zündorf	Visual Programming with Graph Rewriting Systems. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
2	Brahim Hamid, Mohamed Mosbah	A Formal Model for Fault-Tolerance in Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems
2	Albert Zündorf, Andy Schürr	Nondeterministic Control Structures for Graph Rewriting Systems.	WG	1991	DBLP DOI BibTeX RDF
2	Yasuyoshi Okada, Masahiro Hayashi	Graph Rewriting Systems and their Application to Network Reliability Analysis.	WG	1991	DBLP DOI BibTeX RDF
2	Chris Hankin	Static Analysis of Term Graph Rewriting Systems.	PARLE	1991	DBLP DOI BibTeX RDF
2	Michel Billaud, Pierre Lafon, Yves Métivier, Eric Sopena	Graph Rewriting Systems with Priorities.	WG	1989	DBLP DOI BibTeX RDF
1	Anton Salikhmetov	Blind graph rewriting systems	CoRR	2012	DBLP BibTeX RDF
1	Bruno Pinaud, Jonathan Dubois, Guy Melançon	PORGY: Interactive and visual reasoning with graph rewriting systems.	IEEE VAST	2011	DBLP DOI BibTeX RDF
1	Maribel Fernández, Olivier Namet	Strategic programming on graph rewriting systems	IWS	2010	DBLP DOI BibTeX RDF
1	Tamás Mészáros, Márk Asztalos, Gergely Mezei, Hassan Charaf	Performance Optimization of Exhaustive Rules in Graph Rewriting Systems.	ICSOFT	2010	DBLP BibTeX RDF
1	Jochen Schimmel, Tom Gelhausen, Christoph Schaefer	Gene Expression with General Purpose Graph Rewriting Systems.	ECEASST	2009	DBLP BibTeX RDF
1	Robert Brijder, Hendrik Jan Hoogeboom	Extending the Overlap Graph for Gene Assembly in Ciliates.	LATA	2008	DBLP DOI BibTeX RDF
1	Emilie Balland, Pierre-Etienne Moreau	Term-Graph Rewriting Via Explicit Paths.	RTA	2008	DBLP DOI BibTeX RDF
1	Ulrike Ranger, Erhard Weinell	The Graph Rewriting Language and Environment PROGRES.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Eugene Syriani, Hans Vangheluwe	Programmed Graph Rewriting with DEVS.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Kohji Tomita, Satoshi Murata, Haruhisa Kurokawa	Asynchronous Graph-Rewriting Automata and Simulation of Synchronous Execution.	ECAL	2007	DBLP DOI BibTeX RDF
1	Dominique Duval, Rachid Echahed, Frédéric Prost	Adjunction for Garbage Collection with Application to Graph Rewriting.	RTA	2007	DBLP DOI BibTeX RDF
1	Paolo Baldan, Fabio Gadducci, Ugo Montanari	Concurrent Rewriting for Graphs with Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	Concurrent graph rewriting, dpo approach, graphical encoding of nominal calculi, graph process semantics
1	Stefano Guerrini	Sharing Implementations of Graph Rewriting Systems.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	An Automatic Approach to Self-Stabilization.	SNPD	2005	DBLP DOI BibTeX RDF
1	Kohji Tomita, Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa	Self-description for Construction and Execution in Graph Rewriting Automata.	ECAL	2005	DBLP DOI BibTeX RDF
1	Norihiro Ogata	A Dynamic Semantics of Modal Subordination.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
1	Medha Shukla Sarkar	GXL: a new graph transformation language.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	tree rewriting, graph grammars, graph rewriting
1	Attila Vizhanyo, Aditya Agrawal, Feng Shi	Towards Generation of Efficient Transformations.	GPCE	2004	DBLP DOI BibTeX RDF
1	Manfred Münch	Generic modelling with graph rewriting systems.		2003	RDF
1	André Marburger, Bernhard Westfechtel	Behavioral Analysis of Telecommunication Systems by Graph Transformations.	AGTIVE	2003	DBLP DOI BibTeX RDF
1	Bernhard Westfechtel	AGTIVE'03: Summary from a Tool Builder's Viewpoint.	AGTIVE	2003	DBLP DOI BibTeX RDF
1	Manfred Münch	Generic modelling with graph rewriting systems: paramateric polymorphism and object-oriented modelling with Progress.		2002	RDF
1	Xuehong Du, Jianxin Jiao, Mitchell M. Tseng	Product family modeling and design support: An approach based on graph rewriting systems.	AI EDAM	2002	DBLP DOI BibTeX RDF
1	Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami	Termination Detection of Distributed Algorithms by Graph Relabelling Systems.	ICGT	2002	DBLP DOI BibTeX RDF
1	Barbara König, Ugo Montanari	Observational Equivalence for Synchronized Graph Rewriting with Mobility.	TACS	2001	DBLP DOI BibTeX RDF
1	Barbara König	A General Framework for Types in Graph Rewriting.	FSTTCS	2000	DBLP DOI BibTeX RDF
1	Dorina C. Petriu, Yimei Sun	Consistent Behaviour Representation in Activity and Sequence Diagrams.	UML	2000	DBLP DOI BibTeX RDF
1	Katja Cremer	Graph-Based Reverse Engineering and Reengineering Tools.	AGTIVE	1999	DBLP DOI BibTeX RDF
1	Dorina C. Petriu, Xin Wang	From UML Descriptions of High-Level Software Architectures to LQN Performance Models.	AGTIVE	1999	DBLP DOI BibTeX RDF
1	Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel	Using UML for Software Process Modeling.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	Software Engineering Tools and Environments, Software Process Models
1	Andy Schürr, Andreas J. Winter	UML Packages for PROgrammed Graph REwriting Systems.	TAGT	1998	DBLP DOI BibTeX RDF
1	Rachid Echahed, Jean-Christophe Janodet	Parallel Admissible Graph Rewriting.	WADT	1998	DBLP DOI BibTeX RDF
1	Andy Schürr	Developing Graphical (Software Engineering) Tools with PROGRES.	ICSE	1997	DBLP DOI BibTeX RDF	prototyping, visual programming, graph rewriting systems
1	Richard Banach, George A. Papadopoulos	Implementing interaction nets in MONSTR.	SAC	1997	DBLP DOI BibTeX RDF	MONSTR, interaction nets, term graph rewriting systems, distributed systems
1	Peter Klein 0002, Andy Schürr	Constructing SDEs with the IPSEN meta environment.	SEE	1997	DBLP DOI BibTeX RDF
1	Andreas Zamperoni	GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering.	ICSE	1996	DBLP BibTeX RDF	project frameworks, software development, meta-modeling, method engineering, model integration, graph rewriting systems
1	George A. Papadopoulos	Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework.	PDP	1996	DBLP DOI BibTeX RDF	Concurrent Object-Oriented Programming Techniques, Records, Term Graph Rewriting
1	Andrea Corradini	Concurrent Graph and Term Graph Rewriting.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer	Graph Rewriting Semantics for Functional Programming Languages.	CSL	1996	DBLP DOI BibTeX RDF
1	Zena M. Ariola	Relating graph and term rewriting via Böhm models.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Term model, Compiler optimizations, Correctness, Term rewriting, Graph rewriting
1	Christian Breiteneder, Thomas A. Mück	Graph Rewriting Systems for the Entity-Relationship Approach.	Data Knowl. Eng.	1995	DBLP DOI BibTeX RDF
1	David Clark, Richard Kennaway	Some properties of non-orthogonal term graph rewriting systems.	Electr. Notes Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
1	James Jianghai Fu	Linear matching-time algorithm for the directed graph isomorphism problem.	ISAAC	1995	DBLP DOI BibTeX RDF
1	Detlef Plump	On Termination of Graph Rewriting.	WG	1995	DBLP DOI BibTeX RDF
1	Heiko Dörr	Bypass Strong V-Structures and Find an Isomorphic Labelled Subgraph in Linear Time.	WG	1994	DBLP DOI BibTeX RDF
1	Konstantin Skodinis, Egon Wanke	Exponential Time Analysis of Confluent and Boundary eNCE Graph Languages.	WG	1994	DBLP DOI BibTeX RDF
1	Bernhard Westfechtel	Using Programmed Graph Rewriting for the Formal Specification of a Configuration Management System.	WG	1994	DBLP DOI BibTeX RDF
1	Igor Litovsky, Yves Métivier	Computing with Graph Rewriting Systems with Priorities.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
1	Chris Hankin	Graph Rewriting Systems and Abstract Interpretation.	Theory and Formal Methods	1993	DBLP BibTeX RDF
1	Zena M. Ariola	Relating Graph and Term Rewriting via Böhm Models.	RTA	1993	DBLP DOI BibTeX RDF
1	Igor Litovsky, Yves Métivier	Computing trees with graph rewriting systems with priorities.	Tree Automata and Languages	1992	DBLP BibTeX RDF
1	Richard Banach	Simple Type Inference for Term Graph Rewriting Systems.	CTRS	1992	DBLP DOI BibTeX RDF
1	Gregor Engels, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, Andy Schürr	Building Integrated Software Development Environments Part I: Tool Specification.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	environment generators, attribute grammars, graph grammars, attributed graphs
1	Michel Billaud	ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities.	RTA	1991	DBLP DOI BibTeX RDF
1	Rudolf Freund, Brigitte Haberstroh	Attributed Elementarz Programmed Graph Grammars.	WG	1991	DBLP DOI BibTeX RDF
1	Andy Schürr	Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems.	Graph-Grammars and Their Application to Computer Science	1990	DBLP DOI BibTeX RDF
1	Richard Banach	Dataflow Analysis if Term Graph Rewriting Systems.	PARLE	1989	DBLP DOI BibTeX RDF
1	David Bolton, Chris Hankin, Paul H. J. Kelly	Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract).	PARLE	1989	DBLP DOI BibTeX RDF	Parallel combinator reduction, object-oriented programming, graph rewriting systems
1	Andy Schürr	Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language.	WG	1989	DBLP DOI BibTeX RDF
1	Bruno Courcelle	A representation of graphs by algebraic expressions and its use for graph rewriting systems.	Graph-Grammars and Their Application to Computer Science	1986	DBLP DOI BibTeX RDF
1	Yoshihito Toyama	How to Prove Equivalence of Term Rewriting Systems without Induction.	CADE	1986	DBLP DOI BibTeX RDF
1	Manfred Nagl	Bibliography on graph-rewriting systems (graph grammars).	Graph-Grammars and Their Application to Computer Science	1982	DBLP DOI BibTeX RDF