Search results for "Joinability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Guillem Godoy, Eduard Huntingford	Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems.	RTA	2007	DBLP DOI BibTeX RDF
73	Sébastien Limet, Pierre Pillot	Deciding Satisfiability of Positive Second Order Joinability Formulae.	LPAR	2006	DBLP DOI BibTeX RDF
73	Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada	The Joinability and Unification Problems for Confluent Semi-constructor TRSs.	RTA	2004	DBLP DOI BibTeX RDF
73	Jürgen Avenhaus, Bernd Löchner	CCE: Testing Ground Joinability.	IJCAR	2001	DBLP DOI BibTeX RDF
56	Christian Licoppe, Jean Philippe Heurtin	Managing One's Availability to Telephone Communication Through Mobile Phones: A French Case Study of the Development Dynamics of Mobile Phone Use.	Pers. Ubiquitous Comput.	2001	DBLP DOI BibTeX RDF	Joinability, Access, Mobile phone, Use
40	Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma	Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	Rewriting, Confluence, Terms
33	Arash Dargahi Nobari, Davood Rafiei	DTT: An Example-Driven Tabular Transformer for Joinability by Leveraging Large Language Models.	Proc. ACM Manag. Data	2024	DBLP DOI BibTeX RDF
33	Arash Dargahi Nobari, Davood Rafiei	Efficiently Transforming Tables for Joinability.	ICDE	2022	DBLP DOI BibTeX RDF
33	André Duarte 0002, Konstantin Korovin	Ground Joinability and Connectedness in the Superposition Calculus.	IJCAR	2022	DBLP DOI BibTeX RDF
33	Arash Dargahi Nobari, Davood Rafiei	Efficiently Transforming Tables for Joinability.	CoRR	2021	DBLP BibTeX RDF
33	Pern Hui Chia, Damien Desfontaines, Irippuge Milinda Perera, Daniel Simmons-Marengo, Chao Li, Wei-Yen Day, Qiushi Wang, Miguel Guevara	KHyperLogLog: Estimating Reidentifiability and Joinability of Large Data at Scale.	IEEE Symposium on Security and Privacy	2019	DBLP DOI BibTeX RDF
33	Mateus de Oliveira Oliveira	Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth.	IPEC	2016	DBLP DOI BibTeX RDF
33	Frank Raiser, Thom W. Frühwirth	Strong Joinability Analysis for Graph Transformation Systems in CHR.	TERMGRAPH@ETAPS	2009	DBLP DOI BibTeX RDF
20	Guillem Godoy, Hugo Hernández	Undecidable properties of flat term rewrite systems.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16S15, 68Q42
20	Rafael del Vado Vírseda	A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.	ICTAC	2007	DBLP DOI BibTeX RDF
20	Jacques Chabin, Pierre Réty	Visibly Pushdown Languages and Term Rewriting.	FroCoS	2007	DBLP DOI BibTeX RDF	term rewriting, tree languages
20	Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard	The Confluence Problem for Flat TRSs.	AISC	2006	DBLP DOI BibTeX RDF	Flat, Term rewriting system, Confluence, Decision problem
20	Sébastien Limet, Pierre Pillot	Solving First Order Formulae of Pseudo-Regular Theory.	ICTAC	2005	DBLP DOI BibTeX RDF
20	Guillem Godoy, Ashish Tiwari 0001	Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules.	CADE	2005	DBLP DOI BibTeX RDF
20	Guillem Godoy, Ashish Tiwari 0001	Confluence of Shallow Right-Linear Rewrite Systems.	CSL	2005	DBLP DOI BibTeX RDF
20	Guillem Godoy, Ashish Tiwari 0001	Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.	IJCAR	2004	DBLP DOI BibTeX RDF
20	Annegret Habel, Berthold Hoffmann	Parallel Independence in Hierarchical Graph Transformation.	ICGT	2004	DBLP DOI BibTeX RDF
20	Thomas Noll 0001	On Coherence Properties in Team Rewriting Models of Concurrency.	CONCUR	1999	DBLP DOI BibTeX RDF
20	Takashi Nagaya, Yoshihito Toyama	Decidability for Left-Linaer Growing Term Rewriting Systems.	RTA	1999	DBLP DOI BibTeX RDF
20	Sourav S. Bhowmick, Wee Keong Ng, Ee-Peng Lim, Sanjay Kumar Madria	Join Processing in Web Databases.	DEXA	1998	DBLP DOI BibTeX RDF
20	Bernhard Gramlich	Confluence without Termination via Parallel Critical Pairs.	CAAP	1996	DBLP DOI BibTeX RDF
20	Bernhard Gramlich, Claus-Peter Wirth	Confluence of Terminating Conditional Rewrite Systems Revisited.	RTA	1996	DBLP DOI BibTeX RDF