The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1996-2006 (16) 2007-2024 (11)
Publication types (Num. hits)
article(5) inproceedings(22)
Venues (Conferences, Journals, ...)
RTA(4) IJCAR(3) Appl. Algebra Eng. Commun. Com...(2) ICTAC(2) AISC(1) CAAP(1) CADE(1) CONCUR(1) CoRR(1) CSL(1) DEXA(1) FroCoS(1) ICDE(1) ICGT(1) IEEE Symposium on Security and...(1) IPEC(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 11 keywords

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