Search results for "type-graphs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
41	Jacob Katzenelson, Shlomit S. Pinter, Eugen Schenfeld	Type Matching, Type-Graphs, and the Schanuel Conjecture.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	Schanuel conjecture, graph hashing, mapping graphs to numbers, type matching, compilers, types, type-graphs
36	Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier	Type Analysis of Prolog Using Type Graphs. (long version: JLP 22(3): 179-209 (1995))	PLDI	1994	DBLP DOI BibTeX RDF	Prolog
25	John B. Polhill	New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 05B10
24	Gabriele Taentzer, Arend Rensink	Ensuring Structural Constraints in Graph-Based Models with Type Inheritance.	FASE	2005	DBLP DOI BibTeX RDF
23	Cong-Cong Xing, Boumediene Belkhouche	The movable point problem and its resolution in object type graphs.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	type, object-oriented languages, subtyping
17	Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange	Consistent Integration of Models Based on Views of Visual Languages.	FASE	2008	DBLP DOI BibTeX RDF
16	Frank Hermann 0001, Hartmut Ehrig, Claudia Ermel	Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.	FASE	2009	DBLP DOI BibTeX RDF
16	Arno Puder, Kurt Geihs	System support for knowledge-based trading in open service markets.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF	Open distributed environments, service knowledge base, conceptual graphs, trading, service matching, type graphs
16	Arno Puder, S. Markwitz, F. Gudermann	Service Trading Using Conceptual Structures.	ICCS	1995	DBLP DOI BibTeX RDF	Open distributed environments, service knowledge base, conceptual graphs, trading, service matching, type graphs
14	Amit Kumar, Govind, Céline Alec, Marc Spaniol	Blogger or President? Exploitation of Patterns in Entity Type Graphs for Representative Entity Type Classification.	WebSci	2020	DBLP DOI BibTeX RDF
14	Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano 0001	Type Directives and Type Graphs in Elm.	IFL	2016	DBLP DOI BibTeX RDF
14	Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier	Type Analysis of Prolog Using Type Graphs.	J. Log. Program.	1995	DBLP DOI BibTeX RDF
13	Gabriele Taentzer, Florian Mantz, Yngve Lamo	Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution.	ICGT	2012	DBLP DOI BibTeX RDF
13	John Bray, Christopher Parker, Peter Rowley	Cayley type graphs and cubic graphs of large girth.	Discret. Math.	2000	DBLP DOI BibTeX RDF
11	Cong-Cong Xing	An Object Type Graph System.	TASE	2007	DBLP DOI BibTeX RDF
11	Cong-Cong Xing	An algorithm for computing links.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
11	Qingguo Zhang, Huayong Liu, Wei Zhang, Yajun Guo	Drawing Undirected Graphs with Genetic Algorithms.	ICNC (3)	2005	DBLP DOI BibTeX RDF
9	Bilal A. Rather, Hilal A. Ganie, Yilun Shang	Distance Laplacian spectral ordering of sun type graphs.	Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
9	Jörg Endrullis, Roy Overbeek	Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.	CoRR	2023	DBLP DOI BibTeX RDF
9	John A. Arredondo, Camilo Ramírez Maluendas, Luz Edith Santos Guerrero	Symmetry type graphs on 4-orbit maps.	Discret. Math. Algorithms Appl.	2022	DBLP DOI BibTeX RDF
9	Mohammad Farrokhi Derakhshandeh Ghouchan, Ebrahim Ghorbani, Hamid Reza Maimani, Farhad Rahimi Mahid	Some algebraic properties of Sierpiński-type graphs.	Ars Math. Contemp.	2021	DBLP DOI BibTeX RDF
9	Lei Yu 0003, Venkat Anantharam, Jun Chen 0005	Type Graphs and Small-Set Expansion.	ISIT	2021	DBLP DOI BibTeX RDF
9	Bryan J. Freyberg	On constant sum partitions and applications to distance magic-type graphs.	AKCE Int. J. Graphs Comb.	2020	DBLP DOI BibTeX RDF
9	Dmitriy Zakharov	Chromatic numbers of Kneser-type graphs.	J. Comb. Theory, Ser. A	2020	DBLP DOI BibTeX RDF
9	Sergey Bereg, Mohammadreza Haghpanah	Constructing Order Type Graphs using an Axiomatic Approach.	CoRR	2020	DBLP BibTeX RDF
9	Fei Ma, Ping Wang 0003	Trapping problem on star-type graphs with applications.	CoRR	2020	DBLP BibTeX RDF
9	Addie Armstrong, Nancy Eaton	New restrictions on defective coloring with applications to steinberg-type graphs.	J. Comb. Optim.	2020	DBLP DOI BibTeX RDF
9	Sergey Bereg, Mohammadreza Haghpanah	Constructing Order Type Graphs Using an Axiomatic Approach.	COCOA	2020	DBLP DOI BibTeX RDF
9	Andrea Corradini 0001, Barbara König 0001, Dennis Nolte	Specifying graph languages with type graphs.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
9	Lili Yuan, Baoyindureng Wu, Biao Zhao	Feedback vertex number of Sierpiński-type graphs.	Contributions Discret. Math.	2019	DBLP BibTeX RDF
9	Dennis Nolte	Analysis and Abstraction of Graph Transformation Systems via Type Graphs.		2019	RDF
9	Andrea Corradini 0001, Barbara König 0001, Dennis Nolte	Specifying Graph Languages with Type Graphs.	CoRR	2017	DBLP BibTeX RDF
9	María del Río Francos	Truncation Symmetry Type Graphs.	Ars Comb.	2017	DBLP BibTeX RDF
9	Andreas M. Hinz, Sandi Klavzar, Sara Sabrina Zemljic	A survey and classification of Sierpiński-type graphs.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
9	Christian Avart, Bill Kay, Christian Reiher, Vojtech Rödl	The chromatic number of finite type-graphs.	J. Comb. Theory, Ser. B	2017	DBLP DOI BibTeX RDF
9	Andrea Corradini 0001, Barbara König 0001, Dennis Nolte	Specifying Graph Languages with Type Graphs.	ICGT	2017	DBLP DOI BibTeX RDF
9	János Barát, Gábor N. Sárközy	Partitioning 2-Edge-Colored Ore-Type Graphs by Monochromatic Cycles.	J. Graph Theory	2016	DBLP DOI BibTeX RDF
9	Linhong Zhu, Majid Ghasemi-Gol, Pedro A. Szekely, Aram Galstyan, Craig A. Knoblock	Unsupervised Entity Resolution on Multi-type Graphs.	ISWC (1)	2016	DBLP DOI BibTeX RDF
9	H. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema	Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings.	CoRR	2015	DBLP BibTeX RDF
9	Frédéric Chazal, Ruqi Huang, Jian Sun 0002	Gromov-Hausdorff Approximation of Filamentary Structures Using Reeb-Type Graphs.	Discret. Comput. Geom.	2015	DBLP DOI BibTeX RDF
9	H. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema	Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.	ICGT	2015	DBLP DOI BibTeX RDF
9	Isabel Hubard, María del Río Francos, Alen Orbanic, Tomaz Pisanski	Medial Symmetry Type Graphs.	Electron. J. Comb.	2013	DBLP DOI BibTeX RDF
9	Hao Wu 0017, Rosemary Monahan, James F. Power	Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver.	TASE	2013	DBLP DOI BibTeX RDF
9	Christine Natschläger, Klaus-Dieter Schewe	A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
9	Gabriele Taentzer	Instance Generation from Type Graphs with Arbitrary Multiplicities.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
9	Tomasz Tylenda, Mauro Sozio, Gerhard Weikum	Einstein: physicist or vegetarian? summarizing semantic type graphs for knowledge discovery.	WWW (Companion Volume)	2011	DBLP DOI BibTeX RDF
9	Gianni Tedesco, Uwe Aickelin	Real-Time Alert Correlation with Type Graphs	CoRR	2010	DBLP BibTeX RDF
9	Gianni Tedesco, Uwe Aickelin	Real-Time Alert Correlation with Type Graphs.	ICISS	2008	DBLP DOI BibTeX RDF
9	James A. Davis, Qing Xiang	Amorphic association schemes with negative Latin square-type graphs.	Finite Fields Their Appl.	2006	DBLP DOI BibTeX RDF
9	Benoît Larose, Claudia Malvenuto	Stable sets of maximal size in Kneser-type graphs.	Eur. J. Comb.	2004	DBLP DOI BibTeX RDF
9	Sanming Zhou	Disjoint Hamiltonian cycles in fan 2k-type graphs.	J. Graph Theory	1993	DBLP DOI BibTeX RDF
9	Miroslav Petrovic	Finite type graphs and some graph operations, II.	Discret. Math.	1986	DBLP DOI BibTeX RDF
7	Cong-Cong Xing	Enhancing program verifications by restricting object types.	SAC	2006	DBLP DOI BibTeX RDF	object types, OOP, program verification
7	Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer	Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.	VL/HCC	2005	DBLP DOI BibTeX RDF
5	Gregor Engels, Reiko Heckel, Alexey Cherchago	Flexible Interconnection of Graph Transformation Modules.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
5	Tom Mens, Serge Demeyer, Dirk Janssens	Formalising Behaviour Preserving Program Transformations.	ICGT	2002	DBLP DOI BibTeX RDF