|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|